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.
Olemassaolo
Filosofian historiassa on kuitenkin esiintynyt useita näkemyksiä siitä, onko olemassaolo ominaisuus, joka voidaan predikoida olioille (katso jäljempänä: Olemassaolo filosofian historiassa). Muun muassa Anselm Canterburylaisen tunnettu ontologinen jumalatodistus perustui ajatukseen olemassaolosta ominaisuutena. Viimeistään Immanuel Kantista lähtien on kuitenkin yleisesti katsottu, ettei olemassaolo ole ominaisuus. Tästä seuraa kuitenkin uusi ongelma. Jos olemassaolo ei ole ominaisuus, joka lisäisi jotain olion ominaisuuksien joukkoon, mitä se sitten on? Tuntuu kuitenkin luontevalta ajatella, että jos lauseeseen ”omena on punainen” lisätään olemassaolon käsite ja sanotaan ”omena on punainen ja olemassa”, jälkimmäinen lause sanoo jotain enemmän kuin ensimmäinen lause.