This essay re-examines Meinong's "Über Gegenstandstheorie" and undertakes a clarification and revision of it that is faithful to Meinong, overcomes the various objections to his theory, and is capable of offering solutions to various problems in philosophy of mind and philosophy of language. I then turn to a discussion of a historically and technically interesting Russell-style paradox (now known as "Clark's Paradox") that arises in the modified theory. I also examine the alternative Meinong-inspired theories of Hector-Neri Castañeda and Terence Parsons.

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

An axiomatic theory of abstract objects is developed and used to construct models of Plato's Forms, Leibniz's Monads, Possible Worlds, Frege's Senses, stories, and fictional characters. The theory takes six primitive metaphysical notions: object ; n-place relations ,G,...); x,...x exemplify F x...x); x exists ; it is necessary that "); and x encodes F "). Properties and propositions are one place and zero place relations, respectively.objects are objects which necessarily fail to exist E!x"). The two most important proper axioms are (...) that no possibly existing object encodes any properties E!x F)xF)), and for every expressible condition on properties, there is an abstract object which encodes just the properties satisfying the condition x) )), where has no free x's). Semantically, an abstract object encodes a property iff the property is an element of the set of properties correlated with the object. Two abstract objects will be identical just in case they encode the same properties. Abstract objects may exemplify properties as well--being non-red, not having spatial location, etc. ;The models of Forms, Monads, and Possible Worlds consist in: identifying these philosophical entities as different species of abstract objects through definitions of the object language, and either showing that there are consequences of the theory which are reasonable facsimiles of assertions made by important philosophers or showing that there are many interesting theorems which capture our own intuitions about these entities . The model for Frege's Senses consists in: developing a language in which the abstract objects generated by the theory serve as the senses of names and descriptions, and showing that the data may be consistently translated into the language preserving truth. Finally, the model for fictional characters consists in: assigning abstract objects to serve as the denotations of names of stories and characters, and showing that such an assignment allows us to understand how the intuitively true sentences about stories and characters have the truth value that they do. ;The material is structured as follows. In Chapters I, III, and V, the elementary, modal, and typed theories of abstract objects are developed, respectively. In Chapters II, IV, and VI, these theories are applied, respectively. Each of the theoretical chapters is subdivided as follows: 1--The Language; 2--The Semantics; 3--The Logic; and 4--The Proper Axioms. Thus, the proper axioms of the theory are couched in a precisely defined and interpreted language, and the logic allow us to prove the consequences of the theory. (shrink)