A reader inquires,
I have been wondering about whether existing things have existence. This seems obvious to me, but Bradley's regress makes me think twice. For if existing things have existence, then given that existence exists, existence also has existence. And since this latter existence also exists, it also has existence. And so on.
What do you make of this problem?
There is a problem here, but since Bradley's regress concerns relations, we can leave Mr. Bradley out of it. And there is a problem even if there is no vicious infinite regress. (Not every infinite regress is vicious; some are, if not virtuous, at least benign.) Here is the problem as I see it. We start with a datum and we end with a paradox.
1) This table in front of me exists.
2) The table exists, but it might not have, which is to say that it exists contingently. There is no metaphysical necessity that it exist.
3) What accounts for the contingency of the thing's existence? Equivalently, what accounts for the real possibility of the thing's nonexistence? (A real possibility is one that is not epistemic or factitious.)
4) A classical answer is in terms of a distinction between the thing and its existence/existing. This distinction is not merely excogitated by us but corresponds to a difference in reality; it is therefore called a real distinction. 'Real' is from res, thing. A contingent being, then, is one in which essence and existence are really distinct in the sense that, in reality or extra-mentally, the existence/existing of the being is no part of what the thing is. A non-contingent being is one that is either impossible or necessary, and a necessary being is one whose existence is part of what the thing is. God is the prime example of a necessary being. In God essence and existence are one, which is to say: in God, there is no real distinction between essence and existence.
5) Pace Giles of Rome, however, the real distinction between a thing and its existence is not a distinction between two things metaphysically capable of independent existence. A thing metaphysically capable of independent existence is by definition a substance. Clearly, my table is not a collection of two substances, one its essence, the other its existence. Hence the distinction between a thing and its existence is not at all like the distinction between my eye glasses and my head or that between my table and the chair in front of it. They are really distinct and separable. The table and its existence are really distinct but inseparable. The latter distinction is more like the distinction between the concavity and convexity of a lens. It is a real distinction, but neither term of the distinction can exist without the other.
Therefore
6) If the individual essence of the table (its whaness or quiddity in the broad sense) is the concrete table taken in abstraction from its existence, then, pace Avicenna and his latter-day colleague Alexius von Meinong, this essence does not itself exist. The same holds for the existence of the table: it does not itself exist. What exists is the concrete table which is composed of essence and existence as mutually dependent ontological factors. If you think otherwise, and think of essence and existence as substances in their own right, then you have committed the fallacy of hypostatization or reification. (The only difference is that between Greek and Latin.)
7) If the existence of the table does not itself exist, is the existence of the table nothing at all? The existence of a thing is that in virtue of which it exists. If you say that the existence of a thing is nothing at all, then either (i) the table does not exist, contrary to fact, or (ii) the existence of the table is (identically) the table, in which case we have no account of the contingency of the thing. Argument for (i): the existence of my table is that in virtue of which my table exists; ergo, if the existence of my table is nothing at all, then my table is nothing at all and does not exist, which is contrary to our datanic starting point. Argument for (ii): For the table to be contingent, it must be really distinct from its existence: if its essence were identical to its existence it would be a necessary being. (God is a necessary being precisely because there is no distinction in him between essence and existence. Of course, we cannot think about God without distinguishing God's essence or nature and God's existence; but this distinction finds no purchase in God: it is a necessary makeshift in the sense that without it we cannot think of God.)
8) The paradox is now upon us. With respect to contingent beings, we seem forced to say that the existence of such a being both is (exists) and is not (does not exist). Both limbs of this aporetic dyad are reasonably asserted. But of course a contradiction cannot be true. Of course. That is why the dyad is an aporia, an impasse that the discursive intellect cannot negotiate. No way, man!
Limb One. To explain the contingency of the table we have to distinguish the (individual) essence of the concrete table from its existence. It would avail nothing to bring in talk of possible worlds and say that a contingent being is one that exists in some but not all possible worlds. For 'possible worlds' are merely a representational device to render graphic modal relationships. (I cannot explain this any further now. See my Modality category.) So if we want to explain the contingency of concrete particulars and not leave it unexplained, then it seems we must distinguish between the thing (or the essence of the thing) and the thing's existence. Therefore, the thing's existence/existing cannot be nothing. It must exist.
Limb Two. There are no bare existents: necessarily, whatever exists has a nature or at least some quidditative properties. So if the existence of my table itself exists, then it has a nature. The nature it would have, presumably would be that of a table, not that of a turnip or a valve-lifter. But then we have two tables, which is absurd. The pressure is on to say that the existing of the thing is nothing at all.
The paradox is that both halves of the contradiction are rationally defensible.
Is there a solution?
If there is a solution, I'd like to know what it is. Please don't say that the existence of the table is one of its properties, a property that does not exist on its own, and is therefore not a substance, but only in the table in the manner of an accident or in the manner of an immanent universal. If S is a substance, and A is an accident of S, then A cannot be the existence of S for the simple reason that S must already (logically speaking) exist if it is to support any accident, including the putative accident of existence. Similarly if you try to assay existence as an immanent first-level universal. If a property is defined as an instantiable entity, then existence cannot be understood as a property of existing particulars. This is because the particular must already exist to be in a position to instantiate any properties including the putative property of existence. (Bear in mind what I said above about Avicenna and Meinong.) Existence is not a first-level property. I have given just one argument among several.
And please don't say that existence is a property of properties, the property of being instantiated. This is the Frege-Russell theory which I have subjected to thorough critique many times on this blog and in print. Here is one very simple argument. If the existence of a concrete particular a is some property's being instantiated, the only property that could fill the bill is the haecceity property a-ness. But there are no haecceity properties. Ergo, etc.
We are stuck with our paradox: The existence/existing of an existing thing neither is (exists) nor is not (does not exist).
A bowl of menudo and a Corona if you can solve it.
Mr Bill, could you expand a bit why you think existence couldn't be an essential property?
Also, what can you said about Scotus formal distinction here?
Posted by: Mariel C. | Thursday, January 07, 2021 at 07:08 PM
Hi Dr. Vallicella,
Here are some tentative thoughts:
First, given this aporia, why not take the contingent existence of things to be a brute, necessary fact, for which there is no deeper explanation? This account seems to amount to a sort of ostrich nominalism applied to existence. I'm not attracted to ostrich nominalism in general, so I would prefer to avoid accepting this account.
Second, perhaps we can account for the contingent existence of things in terms of causal powers. That is, a table contingently exists because some things have the causal power to create and destroy tables. On this account, there's no need to posit essences and existences. All we need are causal powers.
Third, if we still want to accept the essence-existence distinction, we might distinguish between bare existence and existence-in-a-substance. Bare existence doesn't exist, except as an abstraction, while existence-in-a-substance does exist, and has a nature, namely, the nature of that substance it is in. (This seems analogous to the distinction between prime matter and matter in hylomorphic substance.)
Posted by: M.L. | Thursday, January 07, 2021 at 08:58 PM
M.L.,
A brute fact is a contingent fact. A brute fact is a state of affairs that (i) obtains; (ii) obtains contingently; and (iii)has no reason or cause for its obtaining. It therefore makes no sense to speak of a brute fact as necessary.
Charitably interpreted, what you are suggesting is that there is no explanation of the contingency of contingent beings. But we do have a sort of explanation in the very definition of 'contingent existent.' A contingent existent is one that exists but is possibly such that it does not exist. There you have the distinction between essence and existence.
Posted by: BV | Friday, January 08, 2021 at 04:01 AM
M. L. writes, >>Second, perhaps we can account for the contingent existence of things in terms of causal powers. That is, a table contingently exists because some things have the causal power to create and destroy tables. On this account, there's no need to posit essences and existences. All we need are causal powers.<<
This puts the cart before the horse -- hysteron proteron. It is because tables are contingent beings that I can exercise my causal powers to either build one or destroy one.
More later. Thanks for the comments.
Posted by: BV | Friday, January 08, 2021 at 04:16 AM
Mariel, if existence were an essential property, the entity would be necessary, since essential properties can't be lost. Hence if we are talking about contingent beings, they can't possess existence as an essential property.
As to the formal distinction, I'm by no means a Scotus expert, but the formal distinction is is intended for the divine attributes and it doesn't seem that it illuminates anything in particular about God's mode of existence. We only have a comment by Scotus on the real distinction, that he "doesn't know the fiction". Like I said, we'd need a Scotus expert. What I want to mention though is Timothy O'Connors account in "Theism and Ultimate Explanation" since he sees himself as writing in that tradition, and what he proposes is that necessary existence entails the rest of the divine attributes while forming a "tight unity".
Anyway back on the topic, I'd tentatively suggest that the individual existence has to be act of sustaining a particular object. It can't be nothing and it has to be exclusive to a specific essence. I think it can best be described as a dependence relation which "connects" the essence with existence itself. However I couldn't go further in analysis. I broadly imagine it analogocally like participation within a universal. I hope there is at least some sense that can be made out of that.
Posted by: Dominik Kowalski | Friday, January 08, 2021 at 05:31 AM
I'll take a stab at this from a Platonic perspective, and in an almost inexcusably condensed way. But, to maybe get a ball rolling:
Suppose that the most fundamental respect of anything whatsoever is as it is in itself: its self-identity, its individuality or haecceity. Call this way of being 'Unity'. In this idea's favor, consider that it is true even of 'existence', 'being' or 'reality' that it is itself. Even existence or being, then, could be thought to partake of Unity.
Unity is the first principle and would not be a category because category is not identity as such, but rather a particular identity. So category -- and the like -- would instead partake of Unity. We might think that from the primary sense of Unity which is incommunicable, unrepeatable, or unique, there is an additional, perhaps derivative sense of Unity which is communicable, repeatable, or general and whereby one who already is herself can be further said to be something else.
Let's call the primary sense of Unity 'who' and the category of Unity 'what', or, as Steven Nemes has said; 'this' and 'such'.
Consider the most general sense of 'what' or 'such', or suchness itself, as that repeatable thing which all things multiply realize in common. Say the one thing commonly had by all things is that they *are*, so that suchness itself is Being. Being is a combination of its this -- the identity *as* Being -- and its such -- suchness itself: its this *is* suchness.
Now, colloquially, I don't think this is what people mean by existence: I think they mean presentness, or extra-mental substantivity. Existence is a way of saying that something is *not* made up, imaginary or merely conceptual.
To apply this model to the problem at hand, consider that every contingent thing will, like Being, be a mixture of 'who' and 'what', or of 'this' and 'such': it will in Steven Nemes' terms be a 'this-such'. The difference is, and the reason why they are contingent, is that their this is not identical to suchness.
To ask of a thing qua itself whether it *exists* is, I believe, to inquire whether its self is present or, say, extra-mentally substantive. As said above, it is as if to ask whether something is *not* just imaginary, made up or conceptual, etc.
For a contingent thing, this inquiry is perfectly coherent: precisely because its identity is not just suchness, it is an open question whether the 'who' of a contingent thing is mixed with a such -- like extra-mental substantivity -- and if so, which one.
But the question of whether existence itself exists is not as philosophically interesting. With respect to Being, it amounts to asking whether suchness itself is such, and that's like asking whether redness is red. With respect to the more colloquial sense, it amounts to asking whether a thing's extra-mental substantivity itself has the integrity or Unity of being extra-mentally substantive.
Posted by: Steven Dillon | Friday, January 08, 2021 at 07:20 AM
If I recall, in your book you provided several arguments against the views that existence is a property and that existence is a property of properties. Ditto for the claims that existence is a property of worlds, and for eliminativist and identitarian theories.
Rather, you argued that the existence of a contingent entity is the contingent unity of its ontological parts, a unity which requires an external unifier, i.e., a paradigmatic existent.
Your view seems consistent with Limb One: a contingent thing’s existence exists; a contigent thing's existence is a matter of the unity of its ontological parts.
Posted by: Elliott | Friday, January 08, 2021 at 01:00 PM
M. L. writes >>Third, if we still want to accept the essence-existence distinction, we might distinguish between bare existence and existence-in-a-substance. Bare existence doesn't exist, except as an abstraction, while existence-in-a-substance does exist, and has a nature, namely, the nature of that substance it is in. (This seems analogous to the distinction between prime matter and matter in hylomorphic substance.)<<
This is an intriguing suggestion, but I don't think it works. If existence in its difference from essence is a mere abstraction, then it has no reality in itself, but exists only for us. The same would then hold for essence. But then we no longer have a real distinction, but a conceptual distinction. How then do we account for the contingency of the existing substance?
Posted by: BV | Friday, January 08, 2021 at 04:43 PM
D. K. You are right in your response to Mariel.
Posted by: BV | Friday, January 08, 2021 at 04:46 PM
Elliot:
>>If I recall, in your book you provided several arguments against the views that existence is a property and that existence is a property of properties. Ditto for the claims that existence is a property of worlds, and for eliminativist and identitarian theories.<<
You have an excellent memory!
>>Rather, you argued that the existence of a contingent entity is the contingent unity of its ontological parts, a unity which requires an external unifier, i.e., a paradigmatic existent.<<
Yes.
>>Your view seems consistent with Limb One: a contingent thing’s existence exists; a contingent thing's existence is a matter of the unity of its ontological parts. <<
Yes. The existing of a contingent individual exists as the unity of its ontological constituents where this unity -- which cannot be a constituent of the thing -- is the product of an external unifier. But if we doe not make the ascent to this external unifier then we have a paradox and indeed a contradiction which I took to motivate the move to an Entity that removes the contradiction. But if you find the ascent problematic, then you are stuck with the paradox.
Posted by: BV | Friday, January 08, 2021 at 04:58 PM
This is an interesting thread, and I like the comments particularly of DK, SD and Elliot (following BV).
I am not completely clear about BV's statement: "If the existence of a concrete particular a is some property's being instantiated, the only property that could fill the bill is the haecceity property a-ness. But there are no haecceity properties." I think I can make sense of it if there is a distinction between the haecceity of a thing (which exists and is a quality-less property of the thing) and the haecceity of a property, the existence of which (I think) both BV and I would deny.
Now to me existence seems to be very much in the same boat as haecceity: as a property without qualities, because qualities belong to the essence of things and not to their existence. Now the thisness of a thing cannot be, without the thing existing.
I too would take a Platonist line here. If we follow Plato in holding that existence and knowledge are convertible ("to auto estin noiein te kai einai") then we see that the 'being known / knowable' of a thing is equivalent to both its existence and to its haecceity. I am suggesting that a possible way out of the aporia is through an Idealist understanding: the table and its existence are not two things, but one and the same thing, as it is known and willed in the Divine Mind.
Posted by: Jonathan Barber | Saturday, January 09, 2021 at 01:16 AM
JB: My point is that the haecceity of a thing cannot be a property of the thing. See here: https://maverickphilosopher.typepad.com/maverick_philosopher/2010/06/my-difficulty-with-haecceity-properties.html
So what you are saying is that the existence of a contingent being such as a table is identical to its being known (and willed) by the Divine Mind.But this still leaves a distinction between essence and existence in the thing. But I need to say more. Later.
Posted by: BV | Saturday, January 09, 2021 at 05:40 AM
JB,
I too am inclined toward idealism, onto-theological idealism is what I called it in my existence book. The problem with it, however, is that creatures are not merely intentional objects for the Divine Mind: they also exist in themselves. This re-introduces the paradox above.
Posted by: BV | Saturday, January 09, 2021 at 10:52 AM
Bill,
Am I correct that you argued something like this? The Unifying Entity is a necessarily existing mind – necessary because it is required for the possibility of facts (whatever is possible is necessarily possible; hence facts are necessarily possible), a mind because it is a free actualizer of contingent facts.
I’m fine with this ascent. I suppose an ontological naturalist wouldn’t take the climb because the end of the trail (and the fundamental Entity that holds it all together!) is non-physical. But I’m not a naturalist.
As I see it, here are a few benefits of your position: it’s a plausible assay of existence itself and of contingent existence; it doesn’t face the problems faced by the other views you addressed in the book; it’s an answer to the classic question: why is there something rather than nothing?; it appeals to those with theistic inclinations, especially to those with Christian ones: “He is before all things, and in him all things hold together.” (Col. 1:17)
Two questions: is the Unifier ontologically simple? Does your position require that there are modes of being? Affirmative answers to these questions might raise problems for some.
Posted by: Elliott | Saturday, January 09, 2021 at 03:38 PM
Hi Dr Vallicella,
Would the following be coherent?
0. To exist means to be present as oppose to being absent (ie being nothing).
1. Every entity that is not a logical contradiction either (a) exists merely as an idea (eg by existing as an idea in The Unconditioned Existent/Entity/Mind which is Existence per se) or (b) exists as both an idea and an extra-mental entity.
2. The essence of an entity would be the idea of that entity.
3. In order for that idea-entity to also exists extra-mentally, it needs to be given a share in Existence by The Unconditioned Existent.
4. If we deny the existence of The Unconditioned Existent which is Existence per se, then it would result in various contradictions (such as the contradiction explained in your post).
5. If reality does not have any contradiction, then it entails that The Unconditioned Existent which is Existence per se exists as an intelligible idea and as an extra-mental entity/existent.
Cheers!
johannes y k hui
Posted by: johannes y k hui | Saturday, January 09, 2021 at 08:47 PM
Hi Dr Vallicella,
This is to supplement my comment send to you in less than two hours ago, I need to also mention the following:
In your 2010 post on haecceity, you wrote:
“Consider the time before Socrates existed. During that time, Socrateity existed. But what content could that property have during that time (or in those possible worlds) in which Socrates does not exist? Socrateity is identity-with-Socrates. Presumably, then, the property has two constituents: identity, a property had by everything, and Socrates. Now if Socrates is a constituent of identity-with-Socrates, then it seems quite obvious that Socrateity can exist only at those times and in those worlds at which Socrates exists. Socrateity would then be like Socrates' singleton, the set consisting of Socrates and Socrates alone: {Socrates}. Clearly, this set cannot exist unless Socrates exists. It is ontologically dependent on him. The same would be true of identity-with-Socrates if Socrates were a constituent of this property.”
I guess the problem you raised arises only when we think of the issue from the perspective of humans being conditioned/constrained by time or sequential existence. But when “viewed” from the perspective of The Unconditioned Entity/Being who is not conditioned by time, then there is one and only one unique idea of Socrateity that corresponds EXACTLY to the actual Socrates in our actual world while there exists many ideas of Socrateity corresponding to different non-actual logical possibilities. So what content does Socrateity have? It depends on which Socrates we are referring to. When “viewed” by The Unconditioned (who is not conditioned by time or sequential existence), there is one unique idea of Socrateity that correspond exactly to Socrates in our actual human history, and many other different ideas of Socrateity that correspond to different Socrates in different logically possible worlds that diverge from the time a baby was born and given the name Socrates.
Viewed from outside time, all these different Socrates are different ideas of Socrateity. Only one of these ideas has been given a share in Existence in actuality.
Hence, from the perspective of the Eternal Unconditioned Mind, what is necessarily common among different ideas of Socrateity is only one thing: the coming into existence of that particular baby. After that all kinds of possibilities exist to result in different ideas of Socrateity. Only one of these many ideas of Socrateity has a share in Actual Existence. The others exist only as ideas in the Unconditioned Mind.
That means once when the issue is viewed from the perspective outside time, it seems that the real distinction of essence and existence in conditioned entities can be maintained without contradicting the Metaphysical Primacy of Individual Existence mentioned in your 2013 blog post titled Existence and Essence: An Aporetic Dyad.
Not sure if what I just wrote is coherent.
:)
Cheers!
johannes y k hui
Posted by: johannes y k hui | Saturday, January 09, 2021 at 10:07 PM
To get this out of the way first, I am not denying the distinction between essence and existence.
Now BV says: "the haecceity of a thing cannot be a property of a thing". In the 2010 post he says of haecceities "(ii) they can exist unexemplified" and he illustrates this by saying that Socrateity exists in every possible world: where Socrateity is the haecceity of Socrates and Socrates does not exist in every possible world.
I would see things differently: If there were other possible worlds, it is the essence of Socrates (his "thusness") that would exist in every possible world; his haecceity (his "thisness") would exist only in a world in which Socrates exists.
God's theoretical non-willing of Socrates would mean not only that there was no such thing as Socrates, but also that there was no such thing as Socrateity.
Posted by: Jonathan Barber | Sunday, January 10, 2021 at 03:43 AM
BV,
"A contingent existent is one that exists but is possibly such that it does not exist. There you have the distinction between essence and existence."
Couldn't an ostrich nominalist accept that definition of "contingent existent" without accepting the essence-existence distinction? Rather, the idea is that, while contingent existents can possibly not exist, there's no deeper explanation of this fact. To claim it does begs the question against the ostrich nominalist. At least this is how I think an ostrich nominalist would respond.
"It is because tables are contingent beings that I can exercise my causal powers to either build one or destroy one."
This also seems to beg the question against the causal power theory of contingency. So we have two theories here, one which explains our causal power to make a table in terms of the table's contingency of existence, and another which explains the table's contingency of existence in terms of our power to make a table. One advantage of the second theory is that it provides an explanation of contingent existence without falling into the aporia you discussed in the post.
Posted by: M.L. | Sunday, January 10, 2021 at 03:59 AM
ML,
There are serious problems with ostrich nominalism. Consider 'Tom is red.' The O.N. will say that there is nothing in or about Tom in virtue of which the predicate 'red' is true of him. That is preposterous. It implies that Tom has no properties, which is plainly false, and the denial of a datum. Go down this road and you end up with linguistic idealism.
Same goes for 'Tom is contingent.' The predicate is true of Tom in virtue of something about Tom. And what might that be? His being a compound of essence and existence. Deny this and you deny that Tom has any intrinsic modality. He would then be a-modal.Same with God: neither necessary nor impossible nor contingent.
Posted by: BV | Sunday, January 10, 2021 at 02:05 PM