Repository | Book | Chapter
Two-sorted and intensional m-logic
pp. 139-162
Abstract
In the previous chapter, we distinguished the second level of predication for intentional objects. The predication on this level, the external predication, has the same formal structure as we used to associate with the predication for ordinary individuals. Thus, M-objects as subjects of external predication, like individuals, are insensitive to the complexity of properties predicated of them: possessing a complex property by M-object is tantamount to its possessing simple properties in an appropriate propositional form. In particular, M-objects as subjects of external predication must be consistent and complete from the point of view of classical logic. Because of that insensitivity there is even no need to introduce complex properties to classical logic. And since M-logic comprises the classical syntax, we will utilise this fact for expressing external predication, simply by allowing constants to occupy argument positions in a (relaxed) M-language.
Publication details
Published in:
Paśniczek Jacek (1998) The logic of intentional objects: a Meinongian version of classical logic. Dordrecht, Springer.
Pages: 139-162
DOI: 10.1007/978-94-015-8996-3_7
Full citation:
Paśniczek Jacek (1998) Two-sorted and intensional m-logic, In: The logic of intentional objects, Dordrecht, Springer, 139–162.