Formale Ontologie bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der analytischen Ontologie nach dem sogenannten "ontological turn" entwickelt wurden. Ähnlich wie die formale Logik keine konkreten Gehalte studiert, sondern logische Beziehungen im .....