Meinongian Type Theory and Its Applications


Edward N. Zalta


Studia Logica, 41/2-3, 1982, 297-307


In this paper, the author proposes a fundamental modification of standard type theory, produces a new kind of type theoretic language, and couches in this language a comprehensive theory of abstract individuals, abstract properties, and abstract relations of every type. He then suggests how to employ the theory to solve the four following philosophical problems: (a) the identification and ontological status of Frege's senses; (b) the deviant behavior of terms in propositional attitude contexts; (c) the non-identity of necessarily equivalent propositions, and (d) the `paradox' of analysis.

Copies of this paper can be obtained by writing to the author at