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.
Transsendentaalinen teologia
Transsendentaalinen teologia on Immanuel Kantin käyttämä käsite, jonka avulla hän jaotteli teologian aloja. Kantin ajattelussa ontologinen todistus ja kosmologinen todistus kuuluvat transsendentaaliseen teologiaan ontoteologiana ja kosmoteologiana, ja teleologinen todistus ("fysiko-teologia") ja hänen kannattamansa moraaliteologia puolestaan luonnolliseen teologiaan.