Ontologiset kategoriat ja ontologinen riippuvuus: formaaliontologian jatkokurssi, 5 op

Formaaliontologia on metafysiikan tutkimussuunta, jonka historialliset juuret ovat Franz Brentanon ja Edmund Husserlin filosofiassa. Jakso tarkastelee olemassaolon muotoa kuten ontologiset riippuvuudet ja eri ontologisia kategoriajärjestelmiä formaaliontologian antamien välineiden avulla.

Formaaliontologisen lähestymistavan mukaan olion kuuluminen johonkin kategoriaan määrittyy sen ontologisen muodon perusteella – missä formaaliontologisissa relaatioissa se on muihin oloihin. Esimerkiksi olio on universaali, koska sillä voi olla yksi tai useampi siihen nähden erillinen yksilöolio instanssinaan. Jaksolla tarkastellaan eri metafyysisten kategoriajärjestelmien välisiä eroja tästä lähtökohdasta. Mitä formaaliontologisia relaatioita tarvitaan jonkin kategoriajärjestelmän muotoilussa? Voidaanko eri järjestelmien keskinäisestä paremmuudesta tehdä päätelmiä tarvittavien formaaliontologisten relaatioiden perusteella. Jaksolla tarkastellaan myös, mitä todellisuuden hierarkkisesta rakenteesta voidaan sanoa lähtemällä formaaliontologisesti määrittyvistä kategorioista.