This post defends the real distinction between essence and existence. For some background, see Geach on the Real Distinction I.
In Aquinas on Being (Oxford 2002, p. 45), Anthony Kenny writes, "Peter's continuing to exist is the very same thing as Peter's continuing to possess his essence; if he ceases to exist, he ceases to be a human being and vice versa."
What Kenny is doing in this passage and the surrounding text is rejecting the real distinction between essence and (individual) existence. Thus in a cat, a dog, or a man, there is no distinction in reality between its essence or nature and its existence. In general, for items of kind K, to exist is to be a K. Thus for Socrates to exist is for Socrates to be a man; for Socrates to continue to exist is for Socrates to continue to be a man; and for Socrates to cease to exist is for Socrates to cease being a man.
The claim that for items of kind K, to exist is to be a K, is to be understood, not as a logical or metaphysical equivalence, but as an identity that sanctions a reduction: the existence of Ks just is (identically) their K-ness. Individual (as opposed to what Kenny calls specific) existence reduces to nature. But that is just to say that there is no real distinction in a thing between its individual existence and its nature. For example, there is no non-notional or real distinction in Socrates between him and his existence.
I have three objections to this broadly Aristotelian theory of existence according to which individual existence reduces to nature.
An Argument from Contingency
Socrates might never have existed. If so, and if, for Socrates, who is a man, to exist = to be a man, then Socrates might never have been a man. This implies that a certain man, Socrates, might never have been a man, which is absurd. Therefore, it is not the case that, for Socrates, to exist = to be a man.
The first premise ought to be uncontroversial. Speaking tenselessly, Socrates exists and Socrates is a man. But there is no logical or metaphysical necessity that the man Socrates exist. So, Socrates, though he exists, is possibly such that he does not exist. (This is equivalent to saying that he is a contingent being.) So, given that to exist = to be a man, the man Socrates is possibly such that he is not a man. But this contradicts the fact that Socrates is essentially a man. For if he is essentially a man, then he is necessarily such that he is a man. Therefore, it is not the case that, for Socrates, to exist = to be a man.
Convinced? Here is another way of looking at it. I point to Socrates and say, 'This might not have existed.' I say something true. But if I point to him and say, 'This might not have been a man,' I say something false. Therefore, for Socrates, to exist is not to be a man. Of course, he cannot exist without being a man, and he cannot BE a man without BEING. But that is not the question. The question is whether Socrates' being or existence is reducible to his being a man. I have just shown that it is not. Therefore, there is a real distinction between essence and existence in Socrates.
What holds for Socrates holds for every man. No man's very existence is reducible to his being a man. And in general, no individual K's individual existence is reducible to its being a K.
An Argument from Reference
If for Socrates to exist is for Socrates to be a man, then, when he ceases to exist, he ceases to be a man. But then the proper name 'Socrates' used after the philosopher's death does not refer to a man. But it does refer. For I can make true statements about Socrates, e.g., 'Socrates taught Plato.' And the name refers to a man. When Socrates ceased to exist, 'Socrates' did not commence referring to some other thing, a jelly fish say, or a valve-lifter in a '57 Chevy, or more plausibly, a corpse. A man taught Plato, not a corpse, or a pile of ashes. Therefore, it is not the case that for Socrates to exist is for Socrates to be a man.
To understand this argument, please note that it is not being denied that, necessarily, at every time at which Socrates is alive, Socrates exists if and only if he is a man. Socrates cannot exist without being a man, and he cannot be a man without existing. What is being denied, or rather questioned, is the identification of Socrates' existing with his being a man. As I have pointed out many times before, logical equivalences do not sanction reductions.
A Third Argument
We cannot say that to exist = to be a cat, for then only cats could exist. We, or rather the Aristotelian, has to say that, for cats, to exist = to be a cat. In general, for K-items, to exist = to be a K. But why stop here? Can we stop here? There are no cats in general. There are only particular cats, any two of which are numerically distinct, and each of which has its own existence. Consider Max and Manny, two cats of my acquaintance. Each has his own existence, but they share the nature, cat. So if each exists in virtue of being a cat, then each exists in virtue of being the very cat that it is, which is to say: for Max to exist is for Max to be Max, and for Manny to exist is for Manny to be Manny. But then, generalizing, to exist = to be self-identical. The theory we began with collapses into the existence = self-identity theory.
But while each thing is self-identical -- this is just the Law of Identity -- no contingent thing is identical to its own existence. For if Max were identical to his own existence, then Max would necessarily exist. If God exists, then God is identical to his own existence. But Max is not God. Therefore, existence cannot be reduced to self-identity in the case of contingent beings.
Of course, given that contingent things exist, they must be self-identical, and they cannot BE self-identical unless they ARE or exist. But there might not have been any contingent things at all. So the existence of a thing cannot be reduced to the self-identity it could have only if it exists. Get it? If yes, then you understand the real distinction.
Dear Bill,
I do not reject the real disticntion, I just do not see sufficient grounds for it.
I agree that existence cannot be identical with the specific nature. All (scholastics) who deny the real distinction claim the identity of existence and the individual nature or essence.
Now to your arguments, insofar as they can be interpreted to apply on this position:
The argument from contingency: I claim that in the very sense in which Socrates can not exist, he can also not be (this individual) man. And vice versa: in the sense in which Socrates cannot not be (this individual) man, he cannot not exist. If "Socrates can not-F" means "Socrates can survive, i.e. keep being there, while not being F", then I say that in this sense it is impossible both that Socrates not exists and that Socrates is not a man. On the other hand, if it means "It is possibly not the case that Socrates is F (whether he be there or not)", then it is both true that Socrates may not-exist and that Socrates may not be a man - at the expense, of course, of ceasing to be there. Essential necessity does not reach further than existence.
Moreover: your argument proves too much. If it really were the case that it was in the same sense possible that Socrates might have not existed but impossible that he might not have been a man, then it would follow that there is no logical equivalence between existing and keeping one's nature. But this you deny.
In other words: since the distinction you want to make is not intensionally traceable (there is necessary equivalence in spite of the distinction), no argument relying on purely intensional concepts (which are modalities like contingency) can prove the distinction.
The Argument from Reference: I say that the proper name "Socrates" refers now, as it ever did, to the Socrates who lived 469-399 BC. So it refers to someone who existed then, and was a man then, but ceased to exist and to be a man and so does not exist now and is not a man now (well, in fact, I believe that Socrates still exists, in purgatory or heaven, but never mind). Where is the problem?
The Third Argument: I deny that the first step of the argument leads to the conclusion that "to exist = to be self-identical". Rather, the outcome is "to exist = to keep one's individual nature" - which I heartily concede. But to keep one's nature is not just to be self-identical. For me, for example, to keep my nature involves also to be a substance, an animal, a rational being. So, existence is not identical to self-identity, but to individual nature.
Furthermore: where is the justification for the claim that "if Max were identical to his own existence, then Max would necessarily exist"? The adjacent argument is a non-sequitur, if it is meant to prove this point ("God is identical to his own existence, Max is not God, ergo Max is not identical to his existence"??? The necessity that can be derived from identity is only a necessity of connexion: if Max is identical to his existence, then necessarily, wherever (in whichever possible world) Max is, there his existence is, and vice versa. But this does not preclude not-being-there of both Max and his existence at all. Again it seems that you want to squeeze out of modality more than it is in fact in there.
Posted by: Lukáš Novák | Wednesday, October 16, 2013 at 05:17 PM
Lukas,
Your comments suggest that I need explicitly to distinguish two closely related views, both of which I reject, whereas you seem to reject only the first:
A. The existence of individual Ks just is their K-ness. For example, the existence of the individual man, Socrates, just is his being a man.
But you seem to reject (A) as well. You seem to be putting forth
B. The existence of individual Ks just is their individual K-ness. For example, the existence of the individual man, Socrates, just is his individualized being a man.
You thus affirm "the identity of existence and the individual nature or essence."
Right?
Posted by: BV | Thursday, October 17, 2013 at 05:40 AM
Lukas,
Pointing to a man, I say, 'This man might not have existed.' I say something true. Pointing to the same man, I say, 'This man might not have been an individual man.' I say something false.
On your view, however, both sayings are true.
Are you not simply begging the question against the real distinction? You are assuming that, for a man, to be an individual man = to exist. But that is precisely what I am denying.
Posted by: BV | Thursday, October 17, 2013 at 06:01 AM
Lukas,
We agree that Socrates cannot exist without being a man (an individual instance of humanity) and that he cannot be such an instance without existing.
Now do you infer from this that existence and individual essence in Socrates are identical?
Posted by: BV | Thursday, October 17, 2013 at 01:58 PM
Bill,
Ad 1) - Right
Ad 2) - May I ask you to formalize (in any system you wish) the two sentences? I will then say whether I consider them false or not. (IMO they are both ambiguous).
Ad 3) - No, I do not make this inference. So far I have just criticised inferences to the opposite. But I infer from it that given this assumption, the real distinction cannot be inferred on the basis of different behaviour in modal context - because necessarily equivalent concepts cannot behave differently in different modal contexts.
Posted by: Lukáš Novák | Thursday, October 17, 2013 at 03:36 PM
Lukas,
I do not find either of the following ambiguous:
A. Socrates exists & Socrates is possibly such that he does not exist.
B. Socrates is a man & Socrates is possibly such that he is not a man.
And I say that (A) is true while (B) is false. (B) is false because Socrates is essentially human.
Perhaps you can tell me why you think (A) and (B) are ambiguous.
Posted by: BV | Thursday, October 17, 2013 at 03:55 PM
It is a very subtle problematic.
The real distinction between essence and existence cannot be displayed extensionally. I cannot give you an example of an essence that does not exist. For an essence that does not exist is nothing at all.
But consider an individual essence such as that of Socrates. You will agree that there is no necessity that that individual essence exist. So it might not have existed. But it is not true that it might not have had the very nature that it has. And so it seems to me that there is a distinction between the essence and its existence. And this is the case even though the essence apart from existence is nothing at all. Thus I am not taking an Avicennian or a Meinongian line.
The distinction is real not in the sense that there are two things, rei, as Giles of Rome is said to have thought, but in the sense that the distinction does not depend on our way of looking at the matter.
Posted by: BV | Thursday, October 17, 2013 at 04:46 PM
Dear Bill:
1) First I will use your own weapons against you. The following triad is inconsistent, any two propositions entail the negation of the remaining one. Which limb do you reject?
a) Necessarily, Socrates exists iff Socrates is a man.
b) Possibly, Socrates does not exist.
c) Necessarily, Socrates is a man.
2) When interpreting the modalities in your two sentences, one can interpret the implicit quantifications over possible worlds as comprising either all possible worlds, or just the possible worlds where Socrates exists at all.
I say that in order that A. be true, it must be interpreted so that "possibly" invokes quantification over all possible worlds, not just those where Socrates exists (because there is no possible world among those in which Socrates exists such that Socrates does not exist in that world). On the other hand, in order that B. be false, the quantification implicit in the "possibly" must be restricted to those worlds only where Socrates exists. Because it is not true that Socrates is human in worlds where he does not exist at all. As you yourself concede, essence without existence is just nothing, so in a world where Socrates does not have existence, he neither has his essence, which is humanity. Thus the different modal behaviour of the sentences is merely apparent, it is a result of your tendency to interpret the quantification implicit in modal terms differently when speaking about existence and about essential predicates.
3) Note that I do not say that the above considerations disprove real distinction. They just show that modal considerations are not a sufficient ground for demonstrating it (unless one wanted to argue for the possibilist Avicennian-Meinongian position that essence can actually "be" without eixsting).
Posted by: Lukáš Novák | Friday, October 18, 2013 at 03:29 AM
Powerful objection, Lukas. I attempt to answer here: http://maverickphilosopher.typepad.com/maverick_philosopher/2013/10/more-with-novak-on-the-real-distinction.html
Posted by: BV | Saturday, October 19, 2013 at 02:46 PM
Bill,
I have been rereading your recent existence posts in an attempt to understand better what you mean by 'essence'. Here you summarise Kenny's rejection of the real distinction as asserting the equivalence (E) that for items of kind K, to exist is to be a K. I think the following point has not appeared in the comments.
The phrase is a K has an intensional sense and an extensional sense. Taking the intensional sense first, (E) is surely false for it makes K-ness subordinate to being. Again, K-ness might be an uninstantiable concept like rational square root of two. On the other hand, thinking extensionally, is a K means is one of the Ks, and now (E) rings true. 'One of' brings us down from the level of concepts to the level of existents.
Posted by: David Brightly | Sunday, October 27, 2013 at 05:06 PM