Model-Theoretic Languages as Formal Ontologies

Abstract

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?”