Ontological interpretation of m-logic

pp. 58-81

in: Jacek Paśniczek, The logic of intentional objects, Berlin, Springer, 1998

Abstract

We stressed several times that M-logic does not seem to differ much from classical logic when the syntax and semantics of the two logics are concerned. M-logic appears to be just a slight extension of classical logic. However the expressive power of M-logic, and the potential ways of its interpretation, make it much more attractive philosophically. The starting point of ontological interpretations f M-logic is the assumption that terms and predicates correspond to objects and properties respectively (although the nature of this correspondence is in both cases different). Since the syntactic categories of terms and predicates of M-language are quite rich so will be the respective ontological categories.