It is time to recommence 'hostilities' with Edward Ockham. (I do thank him for engaging my ideas.)
I lately made two claims. One is that existence entails completeness. The other is that completeness does not entail existence. In support of the second claim, I wrote:
Why can't there be complete nonexistent objects? Imagine the God of Leibniz, before the creation, contemplating an infinity of possible worlds, each of them determinate down to the last detail. None of them exists or is actual. But each of them is complete. One of them God calls 'Charley.' God says, Fiat Charley! And Charley exists. It is exactly the same world which 'before' was merely possible, only 'now' it is actual.
To this Edward responds:
I say: if the God of Leibniz is contemplating something, then there is something he is contemplating. And I say that if each of them is determinate down to the last detail, some things are equivalent to them. And if each of them is complete, at least one of them is complete. All of the consequents imply existential statements, and whatever follows from the consequent, follows from the antecedent. I may be wrong, but all of this looks like an elementary example of the quantifier shift fallacy. If it is possible that a unicorn exists, it does not follow that some unicorn is such that it possibly exists. 'Possibly Ex Fx' does not imply 'Ex possibly Fx'.
But doesn't our friend make a mistake in his very first sentence? He moves from
a. God is contemplating something
to
b. Something is such that God is contemplating it.
But in intentional contexts quantifier exportation fails. Ironically, Edward taxes me with a quantifier shift fallacy when he commits one himself!
Furthermore, Edward is insulting the divine omnipotence and omnsicience. For he is saying in effect that God cannot bring before his mind a completely determinate intentional object -- an object whose mode of existence is merely intentional -- without that object being actual. But surely God can do that: he can conceive of a world that is fully determinate but only possibly existent. Such a world enjoys esse intentionale only. It exists only as an accusative of the divine intellect. What then must be added to make it real or actual or existent? The theist can say that the divine will must come into play. God wills that one of the possible worlds enjoy, in addition to esse intentionale, esse reale as well. Let there be Charley!
(Other questions arise at this point which are off-topic, for example, why Charley over Barley? Why Charely over any other world? Must God have a reason? And what would it be? Would it be because Charley is the best of all possible worlds? Is there such a things as the BEST of all possible worlds? Why some world rather than no world? And so on.)
You don't have to believe in God to appreciate the point I am making. The point is that existence cannot be identified with completeness. Admittedly, everything that exists -- in the mode of esse reale of course -- is complete, but there is more to existence than completeness. The theological imagery is supposed to help you understand the ontological point. All I need for my argument is the conceivability of the God of Leibniz. If you can conceive such a God, then you can conceive the irreducibility of existence to completeness. And if so, you can grasp that completeness does not entail existence.
In the end the dispute may come down to a profound and irresolvable difference in intuitions. For some of us existence is a deep (thick) topic, for others it is superficial (thin). I say it is deep. Part of what that means is that it cannot be explicated in broadly logical terms: not in terms of indefinite identifiablity, or property-possession, or instantiation, or completeness, or anything else.
On your first point, it depends whether 'contemplate' is a logically transitive verb - see my latest post http://ocham.blogspot.com/2011/03/logically-intransitive-verbs.html or not.
I was reading it as logically transitive, like 'perceive' or 'hear' or 'see'.
And I insist that 'Possibly Ex Fx' does not imply 'Ex possibly Fx'.
And I don't see this as 'hostilities' any more than a chess match is 'hostilities'.
Best wishes
Edward
Posted by: Edward Ockham | Thursday, March 03, 2011 at 09:10 AM
Well of course 'contemplate' is transitive.
A curious predicament: our positions make little sense to each other.
There was a reason for the inverted commas around 'hostilities.' Ah yes, chess. That gives me an idea for a post . . . .
Posted by: Bill Vallicella | Thursday, March 03, 2011 at 03:14 PM
>>Well of course 'contemplate' is transitive.
I said 'logically transitive'. A logically transitive verb is one whose grammatical accusative has to denote something if the proposition is verified. Thus 'is holding' in
Tom is holding a beer
is logically transitive, since there must be a beer that he is holding.
By contrast, 'wants' is logically intransitive, even though grammatically transitive. It can be true that
Tom wants a beer
even though no beer is around. Thus 'wants' is grammatically transitive, logically intransitive.
I did explain this in the post linked to. Their is no reason why our positions should not make sense to each other so long as the positions are correctly understood.
Posted by: Edward Ockham | Friday, March 04, 2011 at 01:11 AM
Ioi, EO, you gotta remember to close the <i> tag!
I am trying to understand the context of this discussion. If I am not mistaken, the general question of the discussion is this: are there modes of being?
The claim was that existence is completeness, and (presumably) there are no modes of completeness. Bill counters that the God of Leibniz considers possible words which are complete but do not exist.
EO responds that if the God of Leibniz is contemplating anything at all, then there is something he is contemplating. Thus there are some things, namely those possible worlds he is contemplating, which are complete and have being.
But here I say: if the things God is contemplating have being, have existence, they clearly do not have the same kind of being that God has. God doesn't have to consider them to be; they have to be considered to be. So if the possible worlds have being, they have a different mode of being than God and thus, even if everything which has being is complete, there are nonetheless modes of being, because existence does not consist in completeness even if it entails it. Furthermore, if things contemplated have being, then being cannot entail completeness (or at least the mode of being that such contemplated objects have) because we can contemplate indeterminate, incomplete objects (e.g., thin particulars).
If the things God is contemplating do not have deity, then there can be completeness without being, so Bill's point is proved either way.
Posted by: Steven | Friday, March 04, 2011 at 10:17 AM
My point in saying this is that if EO's first sentence is right, if "God is contemplating something" implies "something is such that God is contemplating it," this can only be if Bill's general point is right: there are modes of being.
Posted by: Steven | Friday, March 04, 2011 at 10:23 AM
Steven,
Interesting comment. I suppose there is a connection between my denial that existence = completeness and the MOB doctrine, though my intention in the above post was merely to deny that existence = completeness.
You correctly understand what Edward is saying, namely, that if God is contemplating a merely possible world W, which is by definition of 'world' complete, then W exists and so one cannot have completeness without existence.
But to me it is obvious that consciousness of x does not require the existence of x. Edward has an 'externalist' understanding of intentionality which -- I humbly submit -- is a total misunderstanding.
Now the MOB doctine comes in as follows. God exists and exists in the mode of 'supereminence' to give it a name. A merely possible world exists too, but it has a merely intentional existence, which is a kind of dependent existence: it exists only as an accusative of the divine contemplation. Now if we use 'exists' to mean 'exists outside the mind,' then completeness does not entail existence. For each merely possible world is complete, but none of them exist extramentally.
Would you accept this as the gist of what you are saying? Thanks for the comment.
Posted by: Bill Vallicella | Friday, March 04, 2011 at 01:01 PM
BV,
I think you've got me right, yeah.
I would agree with, "if...'exists'...mean[s] 'exists outside the mind,' then completeness does not entail existence. For each merely possible world is complete, but none of them exist extramentally."
I would further show that existence is not completeness by pointing out that, if EO is right and contemplation requires an object of contemplation, we can contemplate indeterminate and incomplete objects; thus there are some indeterminate and incomplete objects (regardless of what mode of being they have, if they have any at all).
Posted by: Steven | Friday, March 04, 2011 at 01:15 PM
Maybe we can formalize the argument in the following way, in a dilemma.
Either contemplation of x requires the existence of x or not. If it doesn't, then we can contemplate complete things which do not thereby exist, hence etc. If it does, then we can contemplate incomplete things; hence etc.
Posted by: Steven | Friday, March 04, 2011 at 01:35 PM
Darn, I seem to have given your website a "bold" new look... Sorry Bill!
Posted by: Steven | Friday, March 04, 2011 at 01:38 PM
I put an italic tag without terminating it - sorry.
Posted by: Edward Ockham | Friday, March 04, 2011 at 01:50 PM
>>Edward has an 'externalist' understanding of intentionality which -- I humbly submit -- is a total misunderstanding.
No. I usually give up at this point.
Posted by: Edward Ockham | Friday, March 04, 2011 at 01:55 PM
If contemplation of x requires the existence of x and God contemplates a complete x, then x exists -- which has the absurd consequence that God cannot contemplate a merely possible x. How will Edward explain divine creation?
God surveys an infinity of possible worlds and selects one for actualization. This surveying is a contemplating. If Edward is right, then God cannot contemplate a world without it existing. This has the absurd consequence that every possible world is actual, when only one can be actual.
Posted by: Bill Vallicella | Friday, March 04, 2011 at 06:57 PM
OK I looked up 'contemplate' and it indeed has different senses.
(1) To think about intently
(2) to look at thoughtfully
(3) to have in mind as a possibility.
The first sense is clearly logically intransitive - you can intently think about a mermaid without there being a mermaid. The second sense by contrast is (logically) transitive. You cannot look thoughtfully about a mermaid without there being a mermaid you are looking at.
The third sense, back to logically intransitive. So God can contemplate creating a mermaid, even though there are no mermaids. This doesn't entail there are any 'incomplete beings'. How so?
Posted by: Edward Ockham | Saturday, March 05, 2011 at 01:12 AM
In one of the proofs of the irrationality of the square root of two one contemplates a rational number r=p/q, with p and q having no common factor other than 1 and p*p=2*q*q. This determines r completely. But it rapidly follows that there can be no such r.
Posted by: David Brightly | Saturday, March 05, 2011 at 01:26 AM
>>Part of what that means is that it cannot be explicated in broadly logical terms
This is where we really differ, perhaps. If you want to persuade me that a certain kind of thing exists you have a range of options.
1. Appeal to observations that you have made. Perhaps you are claiming that a certain variety of cactus or flower exists in the Arizona desert? So you describe the flower, give botanical references, whatever.
2. Appeal to mystical experiences or revelations you have had. (This is no good unless I am able to have the same experiences or revalations, however).
3. Appeal to a certain way of looking at the world, so that I can look at it the same way, and 'see' that this kind of thing exists.
4. Give a clear definition of what you are talking about, then give reasons for its existence, based on propositions that I find self-evident, or logical inferences from those.
Of all these methods, I only recognise (4).
Posted by: Edward Ockham | Saturday, March 05, 2011 at 01:28 AM
Ed,
Is 'look' a verb of success? If I look at x, does it follow that x exists? 'Look' can be used that way and I suppose it is usually used that way. But I suggest that 'look' is on all fours with 'see' which has at least two uses, the verb-of-success use and the phenomenological use. In the latter, one can see what isn't there. Consider the celebrated hallucinatory pink rat. Tom says, "I just saw a pink rat!" Tom is not musing 'saw' the way he would be misusing 'know' if he daid, "I know stuff that ain't so!"
'Kow' cannot correctly be used as anything other than a verb of success. But 'see' and 'look' can be used phenomenologically.
I have had dreams in which a dead cat of mine appeared in all vividness. I saw her and touched her and examined her intently, looking at her -- but I knew, and I knew in the dream, that she didn't exist.
Posted by: Bill Vallicella | Saturday, March 05, 2011 at 04:52 AM
I don't deny that the same verb can have both senses - indeed Mr Brightly pointed this out some time ago.
Posted by: Edward Ockham | Saturday, March 05, 2011 at 07:39 AM
Shameless piece of advertising: my draft translation of Walter Burley's question 4 on the Perihermenias. Walter argues that being and essence are the same. http://www.logicmuseum.com/authors/burley/burley-periherm-q4.htm
Posted by: Edward Ockham | Saturday, March 05, 2011 at 11:38 AM
EO writes, >>If you want to persuade me that a certain kind of thing exists you have a range of options.<<
Can you read at all? I was talking about existence not a certain kind of thing that exists.
Posted by: Bill Vallicella | Saturday, March 05, 2011 at 06:05 PM
>>Can you read at all? I was talking about existence not a certain kind of thing that exists.
You were suggesting that God can bring before his mind "a completely determinate intentional object -- an object whose mode of existence is merely intentional -- without that object being actual".
This seems very like the medieval pseudo-Avicennian view that existence somehow completes something that is otherwise complete in all its essential details.
Perhaps I am wrong, and apologies if I am.
Posted by: Edward Ockham | Sunday, March 06, 2011 at 02:51 AM