Viszonylag régóta izgat, hogy mi is a formális ontológia és hogy filozófiailag ez mennyire lehet érdekes - annyit tudok, hogy 1 nagy csomó ember dolgozik benne: nyelvészek, informatikusok, filozófusok, üzletemberek.

Épp most olvasom Szeredi Péter - Lukácsy Gergely - Benkõ Tamás: A szemantikus világháló elmélete c. könyvét, és abban szó esik ezen ontológiákról (igenigen: többesszámban).

Egy ízben olvastam eddig (és magyarul) tudományfilozófiai értekezést erről (nevet nem említek, de a HPS-en van az illető), amelyben egyfajta mérnökfilozófiának lett titulálva a dolog. Nos, akár így van, akár nem, számomra ez egy erősen lepusztított, és éppen ezért erősen letisztult ontológiai gondolkodásnak tűnik. Sok (jó) szó esik a könyvben továbbá a leíró logikákról is.