Model-Theoretic Languages as Formal Ontologies

Elena Dragalina Chernaya


My purpose in this paper is to interpret model-theoretic languages (abstract
logics) as formal ontologies both in phenomenological and ontological
engineering senses. The main idea of my approach is the interpretation of the
classes of isomorphism as model-theoretic analogues of categorical objects of
Husserl’s formal region. Some principles of demarcation of the bounds of logic
as formal ontology are discussed. This discussion is focused on the question:
“Is the permutation invariance criterion necessary and sufficient for the
demarcation of the bounds of logic as formal ontology?”


philosophy; 20th century philosophy; Wittgenstein Ludwig; abstract logic; formal ontology; generalized quantifier; permutation invariance criterion; ontological engineering; logical space; computational ontology

Full Text:



  • There are currently no refbacks.