Ontologia
Ontologia voidaan jakaa neljään osaan: (1) sen tutkimiseen, mitä on olemassa, (2) sen tutkimiseen, minkälaisia käsityksiä olevaisesta on, (3) sen tutkimiseen, minkälaisia kaikkein yleisluontoisimpia ominaisuuksia ja suhteita olevaisella on, sekä (4) niin sanotun metaontologian eli ontologian päämäärien ja menetelmien sekä ontologisten kysymysten luonteen tutkimiseen. Ontologian ja muun metafysiikan rajanveto on usein vaikeaa.
Ontologinen todistus
Anselm esitti käsityksen Jumalasta täydellisenä olentona, jota täydellisempää ei voi ajatella: ”olento, jota suurempaa ei voida kuvitella”. Anselm erotti kaksi asiaa: että olio on olemassa vain mielessä, ja että olio on olemassa myös todellisuudessa. Jos täydellisin kuviteltavissa oleva olio olisi ainoastaan kuvittelijan mielessä, syntyisi Anselmin mukaan ristiriita: on kuviteltavissa vielä täydellisempi olio, joka on olemassa myös kuvittelijasta riippumattomassa todellisuudessa. Tämän vuoksi täydellisimmän kuviteltavissa olevan olion täytyy olla todellisuudessa olemassa.