One of Russell's objections to Meinong was that the denizens of Aussersein, i.e., beingless objects, are apt to infringe the Law of Non-Contradiction. Suppose a Meinongian subscribes to the following principle:
Unrestricted Satisfaction (US): Every definite description is such that some object satisfies it.
For any definite description we can concoct, there is a corresponding object or item, in many cases a beingless object or item. From (US) we infer that some object satisfies the definite description, 'the existent round square.' This object is existent, round, and square. So the existent round square exists, which is a contradiction. This is one Russell-type argument.
A similar argument can be made re: the golden mountain. By (US), not only is some object the golden mountain, some object is the existent golden mountain. This object is existent, golden, and a mountain. So the existent golden mountain exists, which is false, though not contradictory. This is a second Russell-type argument.
Are these arguments compelling refutations of Meinong's signature thesis? Here is one way one might try to evade the Russellian objections, a way similar to one Meinong himself treads. Make a distinction between nuclear properties and extranuclear properties. (See Terence Parsons, Nonexistent Objects, Yale UP, 1980, p. 42) Nuclear properties are those that are included in an object's Sosein (so-being, what-being, quiddity). Extranuclear properties are those that are not so included. The distinction can be made with respect to existence. There is nuclear existence and extranuclear existence. 'Existent' picks out nuclear existence while 'exists' picks out extranuclear existence.
This distinction blocks the inference from 'The existent round square is existent, round, and square' to the 'The existent round square exists.' Similarly in the golden mountain case. You will be forgiven for finding this distinction between nuclear and extranuclear existence bogus. It looks to be nothing more than an ad hoc theory-saving move.
But there may be a better Meinongian response. The Russellian arguments assume an Unrestricted Characterization Principle:
UCP: An object exemplifies each of the properties referenced in the definite description it satisfies.
From (US) we get the object, the existent golden mountain, and the object, the existent round square. But without (UCP) one cannot move to the claim that the existent golden mountain exists or to the claim that the existent round square exists.
A Meinongian can therefore defeat the Russellian arguments by substituting a restricted characterization principle for (UCP). And he can do this without distinguishing between nuclear and extranuclear existence.
>>Unrestricted Satisfaction (US): Every definite description is such that some object satisfies it.
>>UCP: An object exemplifies each of the properties referenced in the definite description it satisfies.
>>From (US) we get the object, the existent golden mountain … But without (UCP) one cannot move to the claim that the existent golden mountain exists <<
To my mind this violates the no-ad-hoc principle. What is the definition of ‘satisfy’? Surely that
(def) Some object satisfies ‘F’ iff some object is F
That’s what we mean by ‘satisfy’. But now you are making an exception to this definition in order to get over the problem that if some object satisfies ‘existent gold mountain’, then some gold mountain is existent. You are saying that if some object satisfies ‘gold’, then some object is gold, but that if some object satisfies ‘existent’, it does not follow that some object is existent. Looks like ad hoc to me.
Posted by: london ed | Thursday, August 07, 2014 at 03:47 AM
Your post is missing the picture of Meinong.
Posted by: london ed | Thursday, August 07, 2014 at 03:51 AM
That was Pseudo-Meinong of Salacia. Impressionable minds read this site and I take my blogging responsibilities seriously.
You may be equivocating on 'satisfy.' Don't confuse the satisfaction of predicates with the satisfaction of definite descriptions.
D1. a satisfies 'F' =df a is F
D2. The F satisfies 'the F' =df some object is identical to the F.
Posted by: BV | Thursday, August 07, 2014 at 05:09 AM
>>D1. a satisfies 'F' =df a is F
D2. The F satisfies 'the F' =df some object is identical to the F.
<<
I spotted this of course, but discounted it. If some object is identical to the F, then it is identical with some F, yes? But if it is identical with some F, then it is F, by indiscernability of identicals. But if it is an F, then it satisfies ‘F’.
Thus x satisfies ‘the F’ iff x satisfies ‘F’.
If you deny indiscernability, I cry ad hoc again.
Posted by: london ed | Thursday, August 07, 2014 at 05:58 AM
As usual, fascinating stuff Bill. Some thoughts:
From the perspective of Russell, it would seem that the Meinongian can defeat his arguments or principles only by effectively changing the subject. That is, by using the shared terminology differently, or by restricting concepts and relations the Russellian understands as being fully general or universal (and understands them this way precisely because he doesn't recongnize an intelligible restriction).
From Russell's point of view, refuting the tenent that there are no non-existent objects is analogous to refuting the universal generalization:
All Dogs are Mammals
by insisting that some dogs (say, Rover and Sparky) are not in fact mammals but instead are (to borrow a page from Wittgenstein) *quammals*, where "quammals" are defined as being just like mammals except that instead of being warm blooded vertibrates, these are warm blooded *quertibrates* (where a "quertibrate" is just like a vertibrate except instead of having a spinal column, these dogs have a *quinal* column (where of course a "quinal" column is just like a spinal column except that....etc)))
In this example, our Russellian Zoologist will no doubt be left scratching his head at what, if any distinction or differentia has been specified at all.
Has a longstanding tenent of zoology been refuted here? Not easy to tell...
On the flipside, the russellian doesn't seem to be in any position to *demonstrate* that the meinongian's views are unintelligible or nonsensical either. To do that, he would have to reason or form arguments, that is, construct sets of propositions involving quantifier expressions, predications involving property ascriptions, invoking objects and so forth when its precisely the way these expressions and ascriptions are *used* that is the nexus of their disagreement.
At best the russellian can suggest some helpful rules for conducting forthright ontological discourse. But then, you can't really force someone to abide by rules if they are unwilling.
The dispute between Meinong and Russell (and everyone else since then who has taken up one side or the other) seems to highlight an important impasse we reach in philosophy when there is a dispute about the use of concepts so basic to human thought and discourse. There is simply no concepts more basic than quantification, property attribution, objecthood and the like that we can appeal to in order to clarify or adjudicate the dispute.
All that being said, while we might be outside the domain of demonstrative proof on this one, i think its clear Meinong and his acolytes are at a clear disadvantage with respect their theory of objects in terms of simplicity, perspicuity, and perhaps most importantly, intelligbility.
Thoughts?
Posted by: John Bavinck | Thursday, August 07, 2014 at 10:27 PM