Edward of London proposes the following triad
O1. The proposition ‘Bill is looking for a nonexistent thing’ can be true even when there are no nonexistent things.
O2. The proposition ‘Bill is looking for a nonexistent thing’ expresses a relation between two things.
O3. Every relation is such that if it obtains, all of its relata exist.
as a nominalistic equivalent to my
W1. We sometimes think about the nonexistent.
W2. Intentionality is a relation between thinker and object of thought.
W3. Every relation R is such that, if R obtains,then all its relata exist.
Edward imposes the following contraint on aporetic polyads: "The essence of an aporetic polyad is that any proper subset of statements (including the singleton set) should be consistent on its own, and only the whole set being inconsistent." I accept this constraint. It implies that nothing can count as an aporetic polyad if one of its limbs is self-contradictory.
My definition runs as follows. An aporetic polyad is a set S of n self-consistent propositions (n>1) such that (i) any n-1 members of S, taken in conjunction, entail the negation of the remaining member; (ii) each member of S has a strong claim on our acceptance. Edward's constraint follows from this definition. For if any member is self-inconsistent, then it cannot have a strong claim, or any claim, on our acceptance.
If I understand Edward, he is urging two points. His first point is that my formulation of the triad is inept because (W1), unlike (O1), is self-contradictory. If this charge sticks, then my formulation does not count as an aporetic polyad by my own definition. His second point is that his version of the triad has a straightforward and obvious solution: reject (O2).
Reply to the First Point. There is nothing self-contradictory about 'We sometimes think of the nonexistent.' As I made clear earlier, this is a datanic, not a theoretical, claim. On this score it contrasts with the other two limbs. It is meant to record an obvious fact that everyone ought to grant instantly. Because the fact is obvious it is obviously self-consistent. So if Edward denies (W1), then it is not profitable to to continue a discussion with him.
All I can do at this point is speculate as to why Edward fails to get the point. I suppose what he is doing is reading a theory into (W1), a theory he considers self-contradictory. But (W1) simply records a pre-theoretical fact and is neutral with respect to such theories as Meinong's Theory of Objects. Suppose I am imagining a winged horse. If so, then it would be false to say that I am imagining nothing. One cannot simply imagine, or just imagine. It follows that I am imagining something. We are still at the level of data. I have said nothing controversial. One moves beyond data to theory if one interprets my imagining something that does not exist as my standing in a relation to a Meinongian nonexistent object. That is a highly controversial but possible theory, and it is not self-contradictory contrary to what Edward implies. But whether or not it is self-contradictory, the main point for now is that
1. BV is imagining a winged horse
Is neutral as between the following theory-laden interpretations
2. BV (or a mental act of his) stands in a dyadic relation to a Meinongian nonexistent object.
and
3. BV is imagining winged-horse-ly.
The crucial datum is that one cannot just imagine, or simply imagine. We express this by saying that to imagine is to imagine something. But 'imagine something' needn't be read relationally; it could be read adverbially. Accordingly, to imagine Peter (who exists) is to imagine Peter-ly, and to imagine Polonious (who does not exist) is to imagine Polonious-ly. I am not forced by the crucial datum to say that imagining involves a relation between subject and object; I can say that the 'object' reduces to an adverbial modification of my imagining.
So even if the relational reading of (1) were self-contradictory -- which it isn't -- one is not bound to interpret (1) relationally. Now (1) is just an example of (W1). So the same goes for (W1). (W1) is obviously true. He who denies it is either perverse or confused.
Reply to the Second Point. One can of course solve Edward's triad by denying (O2). But the real question is whether one can easily deny the distinct proposition (W2). I say no. For one thing, the alternatives to saying that intentionality is a relation are not at all appetizing. All three of the limbs of my triad lay claim to our acceptance, and none can be easily rejected -- but they cannot all be true. That is why there is a problem.
>>"We sometimes think about the nonexistent" simply records a pre-theoretical fact
You have now expressed more clearly what you mean by W1. My objection to it was mainly that it was unclear, and that the only clear reading of it was (for me) to read it 'the non-existent' as a sort of plural referring term like 'the unemployed'. But if we read it that way, it is clearly inconsistent and self-contradictory: there are some things we think about, and there are no such things. If you are going to claim that something is self-evident, you should be perfectly clear what it means.
Now you argue in the post you link to here http://maverickphilosopher.typepad.com/maverick_philosopher/2009/11/is-meinongs-theory-of-objects-obviously-self-contradictory-van-inwagen-says-yes.html that Meinong's theory is not obviously inconsistent. This appears to invoke the old distinction between 'wide' existence assertion, as in 'no gold mine is in Surrey', and 'narrow' existence assertion as in 'a gold mine in Surrey does not exist/is non-existent'.
This is more about the meaning of the word 'exists'. I hold that 'some F is G' is equivalent to 'some F-that-is-G exists' - I have called this 'Brentano equivalence' and have discussed it a number of times e.g. here http://ocham.blogspot.com/2011/01/nonexistent.html . This is not a metaphysical thesis, it is merely about what some word means.
But even if I agree that 'exist' has the meaning that the Meinongian claims it means, this is no help at all in resolving the intentionality problem, as I have argued here http://ocham.blogspot.com/2011/01/seeking-nonexistent.html and passim. For
(1) Gerald is looking for a gold mine in Surrey
is consistent with
(2) No gold mine is in Surrey
which is 'wide existential denial', and thus inconsistent with
(3) Some non-existing gold mine is in Surrey.
which implies that some gold mine (a non-existent one) is in Surrey. Thus the Meinongian cannot explain the consistency of (1) and (2) by invoking non-existent beings. They are perfectly consistent even though there are no such beings at all. It is vain to explain with more what can explained by less.
Posted by: Edward Ockham | Sunday, January 23, 2011 at 06:25 AM
"the alternatives to saying that intentionality is a relation are not at all appetizing."
Would it be possible to know why? thanks.
Posted by: aresh | Sunday, January 23, 2011 at 02:29 PM
See paper by Pete Mandik addressing these issues, Beware the Unicorn: Consciousness as being represented and other things that don't exist.
Posted by: Eric Thomson | Sunday, January 23, 2011 at 09:05 PM
Hi Eric. I skimmed through Malik’s paper and noted with interest his ‘aporetic triad’
1) Relations can obtain only between relata that exist.
2) There exist mental representations of nonexistent things.
3) Representation is a relation between that which does the representing
and that which is represented.
Note these are differently ordered to Bill’s, but essentially are the same. Malik notes that a standard approach is to use 1 and 2 as premisses to infer the denial of 3. That is essentially the approach I have argued for elsewhere. Note also I disagree with the manner of expressing these assumptions, as making the whole issue seem more problematic than it really is (‘nonexistent things’ e.g.).
Posted by: Edward Ockham | Monday, January 24, 2011 at 01:15 AM
Eric,
Thanks for the reference. I haven't read Mandik's paper, but I will. Here it is once again: http://www.petemandik.com/philosophy/papers/unicorn.pdf
Posted by: Bill Vallicella | Monday, January 24, 2011 at 05:33 AM
I have now read the paper more carefully and I recommend it. Eric, you have a neuroscience blog?
Posted by: Edward Ockham | Monday, January 24, 2011 at 06:06 AM
Thought:
If a house lacks a garden, then it lacks something.
Posted by: Edward Ockham | Monday, January 24, 2011 at 06:13 AM
Certainly. To lack = to want.
Posted by: David Brightly | Monday, January 24, 2011 at 07:52 AM
However the house is a non-animate subject, which cannot have mental states. Consider also
Our bedroom wants a good clean.
That paper deserves an A grade.
This chair is missing a leg.
Are these problems for materialism?
Posted by: Edward Ockham | Monday, January 24, 2011 at 07:58 AM
No. These appear to be analogical uses. It is the writer of the paper who deserves an 'A'. By an analogical extension, the paper deserves an 'A.' Can a dog's food and urine be healthy? Yes, but only analogically. Healthy food is food the consumption of which conduces to health in the animal who eats it; healthy urine is urine that indicates health in the animal whose urine it is, etc.
Posted by: Bill Vallicella | Tuesday, January 25, 2011 at 06:18 PM
That was so not my point. Verbs like ‘lack’, ‘missing’ etc. behave logically very much like intentional verbs. ‘This house lacks a garden’ implies ‘this house lacks something’, yet is consistent with ‘there is no garden belonging to this house’. It is of the form ‘a R some x’, yet does not imply that any x exists. Do we think of this as puzzling? No. Why are we not tempted to construct aporetic puzzles like this?
(1) Some objects lack the nonexistent
(2) Lacking is a relation between an object, and the object that is lacked
(3) Every relation is such that, if it obtains, all its relata exist
Why do some philosophers find the same logical phenomenon so challenging in the case of other verbs (thinks of, wishes, is looking for etc.)? More here http://ocham.blogspot.com/2011/01/metaphysical-reasoning.html
Posted by: Edward Ockham | Wednesday, January 26, 2011 at 09:48 AM
Silence in Phoenicia? I just found this excellent paper by Mark Sainsury – “Intentionality without Exotica” https://webspace.utexas.edu/rms9/www/Publications/RMSIntentionality.pdf . Londonista to the core. Literally so as Mark taught at KCL for many years, although he has moved since to the Texan desert. And theology so: I have corresponded with Mark for a long time about things of this nature. Mark begins with an argument for exotica as follows:
1. The sentence ‘‘John is thinking about Pegasus’’ is true.
2. The sentence is syntactically relational.
3. Hence it is semantically relational.
4. Hence ‘‘Pegasus’’ has a referent.
5. Since ‘‘Pegasus’’ does not have an ordinary object as its referent, it
has an exotic object as its referent: one that is nonexistent, nonactual,
or nonconcrete.
He points out an argument of similar form
1. The sentence ‘‘I did it for John’s sake’’ is true.
2. The sentence is syntactically relational.
3. Hence it is semantically relational.
4. Hence ‘‘John’s sake’’ has a referent.
5. Since ‘‘John’s sake’’ does not have an ordinary object as its referent,
it has an exotic object as its referent.
He explains this by a ‘propositionalist’ account of intentional constructions. Tim Crane, who has objections to the propositionalist approach, discusses Mark’s paper here http://web.mac.com/cranetim/Tims_website/Online_papers_files/Sainsbury%20on%20aboutness.pdf
Londonista slogan “syntactic relationality does not entail semantic relationality.”
Posted by: Edward Ockham | Friday, January 28, 2011 at 04:31 AM