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.
Platonilainen teologia
Tässä oli kyseessä Prokloksen mielestä teologia siksi, että absoluuttisimmat ja itsenäisimmät ideat olivat jumalallisia. Tämä teologia oli platonilaista siksi, että Platonin katsottiin edenneen esimerkiksi Aristotelesta pidemmälle ohi pelkän järjen, kohti jumaluutta itseään. Proklos käyttää kuitenkin myös Aristotelesta lähteenään; samoin lähteenä esiintyvät muun muassa Kaldean oraakkelit.