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.
Ontologia
W. V. O Quine katsoi, että tiede oli paras keino saada selville, mitä on olemassa. Ontologian määritteli näin kulloinkin vallitseva tieteellinen teoria. Hän pelkisti olemassaolon määrittelemällä sen ”sidotun muuttujan arvona olemiseksi” – teoria sitoutui siis vain niiden asioiden olemassaoloon, jotka se tarvitsi predikaattikalkyylissä esitettyyn muotoiluunsa.