structure for 'Objects'    |     alphabetical list of themes    |     unexpand these ideas

9. Objects / A. Existence of Objects / 4. Impossible objects

[status of 'objects' that can't actually exist]

17 ideas
Some philosophers say that in some qualified way non-existent things 'are' [Aristotle]
     Full Idea: Some philosophers treat that is which not by making the logical point that that which is not is - not without qualification, but just that it is a thing which is not.
     From: Aristotle (Metaphysics [c.324 BCE], 1030a22)
     A reaction: He is mainly refer to the mature works of Plato, especially 'Parmenides', in which he seems to have been mesmerised by that problem of referring to what doesn't exist. Key question: is there more than one way to 'exist'?
Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan]
     Full Idea: Meinong insisted (ā la Anselm) that any possible object of thought - even a self-contradictory one - has being of a sort even though only a few such things are so lucky as to exist in reality as well.
     From: report of Alexius Meinong (The Theory of Objects [1904]) by William Lycan - Philosophy of Language Ch.1
     A reaction: ['This idea gave Russell fits' says Lycan]. In the English-speaking world this is virtually the only idea for which Meinong is remembered. Russell (Idea 5409) was happy for some things to merely 'subsist' as well as others which could 'exist'.
The objects of knowledge are far more numerous than objects which exist [Meinong]
     Full Idea: The totality of what exists, including what has existed and what will exist, is infinitely small in comparison with the totality of Objects of knowledge.
     From: Alexius Meinong (The Theory of Objects [1904]), quoted by William Lycan - The Trouble with Possible Worlds 01
     A reaction: This is rather profound, but the word 'object' doesn't help. I would say 'What we know concerns far more than what merely exists'.
Common sense agrees with Meinong (rather than Russell) that 'Pegasus is a flying horse' is true [Lackey on Russell]
     Full Idea: Meinong's theory says that 'Pegasus is a flying horse' is true, while Russell's says that this assertion is false. The average man, if he knows his mythology, would probably agree with Meinong.
     From: comment on Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.19
     A reaction: It seems obvious that some disambiguation is needed here. Assenting to that assertion would be blatantly contextual. No one backs Pegasus at a race track.
I prefer to deny round squares, and deal with the difficulties by the theory of denoting [Russell]
     Full Idea: I should prefer to say that there is no such object as 'the round square'. The difficulties of excluding such objects can, I think, be avoided by the theory of denoting.
     From: Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905], p.81)
     A reaction: The 'theory of denoting' is his brand new theory of definite descriptions, which makes implicit claims of existence explicit, so that they can be judged. Why can't we just say that a round square can be an intentional object, but not a real object?
On Meinong's principles 'the existent round square' has to exist [Russell]
     Full Idea: To my contention that, on his principles, 'the existent round square' exists, Meinong replies that it is existent but does not exist. I must confess that I see no difference between existing and being existent, and I have no more to say on this head.
     From: Bertrand Russell (Review: Meinong 'Uber die Stellung...' [1907], p.93)
     A reaction: Russell is obviously invoking the famously dubious ontological argument for God's existence. Normally impossible objects are rejected because of contradictions, but there might also be category mistakes. 'The slow square'.
If the King of France is not bald, and not not-bald, this violates excluded middle [Linsky,B on Russell]
     Full Idea: Russell says one won't find the present King of France on the list of bald things, nor on the list of things that are not bald. It would seem that this gives rise to a violation of the law of excluded middle.
     From: comment on Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 2
     A reaction: It's a bit hard to accuse the poor old King of violating a law when he doesn't exist.
Definite descriptions can't unambiguously pick out an object which doesn't exist [Lycan on Quine]
     Full Idea: Meinong characteristically refers to his Objects using definite descriptions, such as 'the golden mountain'. But on his view there are many golden mountains, with different features. How can 'the golden mountain' then succeed in denoting a single Object?
     From: comment on Willard Quine (works [1961]) by William Lycan - The Trouble with Possible Worlds 01
     A reaction: Use of definite descriptions doesn't seem obligatory in this situation. 'Think of a golden mountain' - 'which one?' - 'never mind which one!'.
Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker]
     Full Idea: Plantinga proposes surrogates for nonexistent things - individual essences that are themselves necessary existents and that correspond one-to-one with all the 'things' that might exist.
     From: report of Alvin Plantinga (World and Essence [1970]) by Robert C. Stalnaker - Mere Possibilities 1
     A reaction: There are an awful lot of competing concepts of essence flying around these days. This one seems to require some abstract 'third realm' (or worse) in which these essences can exist, awaiting the arrival of thinkers. Not for me.
There is an object for every set of properties (some of which exist, and others don't) [Parsons,T, by Sawyer]
     Full Idea: According to Terence Parsons, there is an object corresponding to every set of properties. To some of those sets of properties there corresponds an object that exists, and to others there corresponds an object that does not exist (a nonexistent object).
     From: report of Terence Parsons (Nonexistent Objects [1980]) by Sarah Sawyer - Empty Names 5
     A reaction: This I take to be the main source of the modern revival of Meinong's notorious view of objects (attacked by Russell). I always find the thought 'a round square is square' to be true, and in need of a truthmaker. But must a round square be non-triangular?
Predicates can't apply to what doesn't exist [Stalnaker]
     Full Idea: Nothing can be predicated of something which does not exist.
     From: Robert C. Stalnaker (Merely Possible Propositions [2010], p.28)
     A reaction: [He says he is 'agreeing with Plantinga' on this] This seems very puzzling, as you can obviously say that dragons do not exist, but they breathe fire. Why can't you attach predicates to hypothetical objects?
Maybe non-existent objects are sets of properties [Lycan]
     Full Idea: Meinong's Objects have sometimes been construed as sets of properties.
     From: William Lycan (The Trouble with Possible Worlds [1979], 09)
     A reaction: [Lycan cites Castaņeda and T.Parsons] You still seem to have the problem with any 'bundle' theory of anything. A non-existent object is as much intended to be an object as anything on my desk right now. It just fails to be.
A Meinongian principle might say that there is an object for any modest class of properties [Rosen]
     Full Idea: Meinongian abstraction principles say that for any (suitably restricted) class of properties, there exists an abstract entity (arbitrary object, subsistent entity) that possesses just those properties.
     From: Gideon Rosen (The Limits of Contingency [2006], 04)
     A reaction: This is 'Meinongian' because there will be an object which is circular and square. The nub of the idea presumably resides in what is meant by 'restricted'. An object possessing every conceivable property is, I guess, a step too far.
Fregeans say 'hobbits do not exist' is just 'being a hobbit' is not exemplified [Merricks]
     Full Idea: A Fregean about existence claims would say that 'that hobbits do not exist' is nothing other than the claim that 'being a hobbit' is not exemplified.
     From: Trenton Merricks (Truth and Ontology [2007], 3.II)
     A reaction: 'My passport has ceased to exist' seems to be a bit more dramatic than a relationship with a concept.
Things that don't exist don't have any properties [Azzouni]
     Full Idea: Things that don't exist don't have any properties.
     From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4)
     A reaction: Sounds reasonable! I totally agree, but that is because my notion of properties is sparse and naturalistic. If you identify properties with predicates (which some weird people seem to), then non-existents can have properties like 'absence' or 'nullity'.
's is non-existent' cannot be said if 's' does not designate [Anderson,CA]
     Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1)
     A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'.
We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA]
     Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real.
     From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5)
     A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things.