Existence

Since Thales fell into the well while gazing at the stars, philosophers have invested considerable effort in trying to understand what, how and why things exist. Even though much ink has been spilled about those questions, this article focuses on the following three questions:

(1) What is the nature of existence?

(2) Are there different ways/modes of existing?

(3) Why does something exist instead of nothing?

Erste, we review the main attempts to answer (1) und (2). These are questions about existence as such. Dann, we show how those attempts have been used to address question (3). This is an ontological question, das ist, a question, not about existence as such, rather about what exists.

Questions (1) is addressed in Sections 1 and 2. In Section 1, we discuss the orthodox view of existence: Existence is not a property of individual objects (often called a first-order property); eher, it is a property of properties of individual objects (second-order property). In the orthodox view, this leads to the tight connection between existence and quantification, which is expressed by terms like ‘something’ or ‘everything’ in natural language—this tight connection is illustrated by common practice to refer to the particular quantifier (‘something’) as the existential quantifier. In Section 2, we discuss two recent views that disagree with the orthodox view: Meinongianism and universalism. Meinongianism is the view that claims that (the unrestricted) particular quantifier is separated from existence—it is existentially unloaded— and that existence is a first-order property. Mit anderen Worten, some objects in the domain of quantification lack the first-order property of existence. Universalism also takes existence as a first-order property, but disagrees with Meinongianism regarding the following two points: Erste, it takes existence as a universal property, nämlich, a property that everything has; zweite, it takes (the unrestricted) particular quantifier as existentially loaded.

Question (2) is the subject matter of Section 3. Zunächst, we introduce ontological pluralism, das ist, the view according to which some things exist in a different way from others. After a brief historical introduction, we present a theological reason, a phenomenological reason and philosophical reason to endorse such a controversial view. Darüber hinaus, we focus our attention on how Kris McDaniel develops his own account of ontological pluralism in relation to Heidegger’s philosophy. To conclude, we briefly analyze van Inwagen’s argument against ontological pluralism and some possible replies.

Section 4 gives an example how the views on the nature of existence contribute to considering ontological question, by wrestling with question (3). We begin by discussing van Inwagen’s statistical argument: we present his argument and summarize some of the critiques against it. Dann, we present McDaniel’s approach to question (3): by relying on ontological pluralism, er argumentiert das, instead of wondering about why there is something rather than nothing, it would be more profitable to ask why there are ‘concrete material things’ rather than no ‘concrete material things’. To conclude, we compare McDaniel’s view and the Meinongian one defended by Priest.

Inhaltsverzeichnis
Existence as a Second-Order Property and Its Relation to Quantification
Existence as a First-Order Property and Its Relation to Quantification
Meinongianism
Universalism
How Many Ways of Being Existent?
Why Is There Something Rather than Nothing?
Abschluss
Appendix
Referenzen und weiterführende Literatur
1. Existence as a Second-Order Property and Its Relation to Quantification

The orthodox view of existence, which is influenced by Frege and Quine’s view of existence, is summarized by the following two claims:

FQ1 Existence is not a first-order property of individual objects, rather a second-order property.

FQ2 Quantifiers are existentially loaded.

This section gives a brief explanation of these two claims.

Zunächst, let us see how FQ1 is connected with the famous slogan that existence is not a predicate, which is often understood in the light of Kant’s claim that ‘being’ is not a real predicate. By a real predicate, he means a predicate that can be contained in a concept (or the definition of a concept) of an object. Zum Beispiel, the concept of the Empire State Building contains the following predicates: being a building, having a total height of 443.2 meters, und so weiter. These are real predicates. According to Kant, ‘being’ cannot be a part of any concept of any object. Er sagt:

When I think a thing, through whichever and however many predicates I like (even in its thoroughgoing determination), not the least bit gets added to the thing when I posit in addition that this thing is. (Kant, 1781/1787, A600/B628, English translation, P. 567)

Dann, what does ‘A is’ do? Kant distinguishes two different usages of ‘be’. Erste, being is used logically in the judgements of the form ‘A is B’, and “[Ich]n the logical use it [das ist, Sein] is merely the copula of a judgment” (Kant 1781/1787, A 598/B 626, English translation, P. 567). Andererseits, when being is used in judgements of the form ‘A is’, such judgements state that all predicates in A are instantiated by an object. Since Kant regards being used in the latter way as existence, ‘A is’ is the same as ‘A exists’. Also, nach Kant, the judgement ‘A exists’ tells us that some object instantiates all predicates in the concept A without adding any new predicate in A. (For more exegetical details about Kant’s notion of real predicates, see Bennett (1974) and Wiggins (1995) as classics, and Kannisto (2018) as recent work.)

From the contemporary viewpoint, one crucial feature of Kant’s view on existence is that it takes existence not as a first-order property (a property of individual objects) but as a second-order property (a property of properties of individual objects). Frege is one of the most prominent proponents of this view. To see his point, let us first examine his view on numbers. According to Frege, a statement about how many things there are is not about individual objects, but about a property (concept, in his terminology) of individual objects. Zum Beispiel,

If I say “Venus has 0 moons”, there is simply no moon nor agglomeration of moons for anything to be asserted of; but what happens is that a property is assigned to the concept “moon of Venus”, namely that of including nothing under it. (Frege, 1884, P. 59, our translation)

Außerdem, Frege claims that existence is essentially a matter of number. He says “[An]ffirmation of existence is in fact nothing but denial of the number nought” (Frege, 1884, P. 65, English translation, P. 65), das ist, existence is the second-order property of being instantiated by at least one individual object. Oder, more properly, an existential statement does not attribute a first-order property to individual objects; eher, it attributes a second-order property of being instantiated by at least one individual object to a first order property—in this sense, the apparent first-order property of existence is analyzed away. So, (4a) und (5a) are paraphrased as (oder, their logical forms are) (4b) und (5b), bzw.:

(4) An. Dogs exist.
b. The property of being a dog is instantiated by at least one individual object.
(5) An. Unicorns do not exist.
b. The property of being a unicorn is not instantiated by any individual object.

This way of understanding existence shows how existence is related to quantification. It is helpful for understanding the notion of quantification to compare it with the notion of reference. Reference is a way to talk about a particular object as having a property. Zum Beispiel, ‘Gottlob Frege’ is an expression to refer to a particular man, das ist, Gottlob Frege, and by using a singular statement ‘Gottlob Frege is a mathematician’, we can talk about him as having the property of being a mathematician. Quantification is not a way to talk about a particular object, but a way to talk about quantities, das ist, it is about how many things in a given domain have a property. Quantifiers are expressions for quantification. Zum Beispiel, ‘everything’ is a quantifier, and a statement ‘everything is fine’ says that all of the things in a given domain have the property of being fine. ‘Everything’ is a universal quantifier, since by using it we state that a property is universally instantiated by all things in the domain. ‘Something’ is also a quantifier, but it is a particular quantifier: By using it we only state that a property is instantiated by at least one particular thing in the domain, without specifying by which one(s) the property is instantiated.

By using the particular quantifier ∃, (4b) is restated as (6a), which is read as (6b), und (5b) als (7a), which is read as (7b).

(6) An. ∃xdog(X)
b. Something is a dog.
(7) An. ¬∃x(unicorn(X))
b. Nothing is a unicorn.

Every particular judgement is an existential judgement that can be converted into the ‘there is’ [‘es gibt’] bilden. E. G. ‘Some bodies are light’ is the same as ‘There are light bodies’ (Frege, 1979, P. 63.)Since existential statements are properly paraphrased by using particular quantifiers as illustrated above, Frege holds that the particular quantifier is an existential quantifier. This connection is also endorsed in his ‘Dialog with Puenjer on Existence’ (1979), where he claims:

Frege thus endorses the view that the particular quantifier is existentially-loaded. (Even though this is a standard interpretation of Frege on quantifier and existence, it is an exegetical issue how much metaphysical significance we should find in Frege’s comments on existence. Priest claims that Frege’s usage of ‘exist’ is its idiomatic use in mathematics and thus “it is wrong to read heavy-duty metaphysics into this” (Priester, 2005/2016, P. 331).)

The view that existence is properly expressed by quantification is hard-wired in Quine’s (1948) criterion of ontological commitment, one of the most influential theories of metaontology in 20th century (a brief explanation of the technical notions appearing in this paragraph is found in the Appendix). According to his criterion, the ontological commitment of a theory is revealed by what the theory quantifies over: Etwas präziser, a theory is committed to the existence of objects if and only if they must be values of variables bound by quantifiers appearing in a theory in order for the theory to be true (for Quine, a theory is a set of sentences of first-order predicate logic). Zum Beispiel, if a biological theory contains a sentence ‘∃x population–with–genetic–diversity(X)' (das ist, ‘there are populations with genetic diversity’), the theory is committed to the existence of such populations. Quine’s criterion is more popularized as the following slogan:

(8) To be is to be the value of a bound variable.

‘To be’ here is understood as ‘to exist’, given that this is a criterion of ontological, das ist, existential commitment. Auf diese Weise, Quine’s criterion of ontological commitment inseparably ties existence and quantification. To sum, the orthodox view holds FQ1 and FQ2:

FQ1 Existence is not a first-order property of individual objects, rather a second-order property.

FQ2 Quantifiers are existentially loaded.

Mit anderen Worten, the apparent first-order property of existence is analyzed away in terms of the second-order property of being instantiated by at least one object, and this second-order property is expressed by the particular quantifier.

2. Existence as a First-Order Property and Its Relation to Quantification

Bis jetzt, our discussion has been about the orthodox view on the nature of existence. In this section, we review two unorthodoxies. Erstens, it became popular in the early twenty-first century to deny FQ1. According to such a view, existence is a first-order property of individual objects. The proponents of this view can be further divided into two main camps. The first camp is what we call universalism, which holds that the first-order property of existence is universal in the sense that every object has it. Maintaining FQ2, the advocates of this camp usually use the unrestricted existential quantifier to define the first-order property of existence so that everything in the domain of quantification exists. The second camp is called Meinongianism, which rejects not only FQ1 but also FQ2. According to Meinongianism, existence is a non-universal first-order property in the sense that some objects lack it, and the domain of quantification contains such nonexistent objects in addition to existent ones.

An. Meinongianism

The main claim of Meinongianism is that some objects exist, but some don’t. Contemporary Meinongians cash out this claim by detaching existence from quantifiers. The domain of (at least unrestricted) quantification contains not only existent objects but also nonexistent ones. So, with all due respect to Quine, to be existent is not to be the value of a variable. This claim is usually accompanied with another unorthodoxy, das ist, the view that existence is a first-order property of individual objects. Darüber hinaus, Meinongianism holds a specific version of this claim. Let us call a property instantiated by all objects a universal property, and one instantiated by only some objects a non-universal property. Dann, Meinongians hold that existence is a first-order non-universal property.

It is not easy to characterize what existence as a first-order property is (we will address this question soon). Aber, whatever it is, we have some intuitive ideas on what exists. Merely possible objects like flying pigs or talking donkeys do not exist; impossible objects like the round square or the perpetual motion machine do not exist; fictional characters like Doyle’s Sherlock Holmes or Murakami’s Sheep Man do not exist; mythical objects like Zeus or Pegasus do not exist; und so weiter. There can be some disagreement on exactly what objects should be counted as nonexistent, but such disagreement does not undermine the fact that we (at least some of us) have the intuition that some objects do not exist. Meinongians take our intuition at face value: these objects lack the property of existence. Aber, Meinongians continue, this doesn’t prevent us from talking about or referring to them nor from quantifying over them. We can, as the sentences in this paragraph clearly illustrate.

Meinongians take existence as just one of many properties of individual objects—an object may have it and may not. The nonexistence of an object does not deprive the status of being a genuine object—objecthood—from the object. As a genuine object, a nonexistent object can have various properties like being possible, being a flying pig and so on. Even some object has both properties of being round and being square, und somit, of being an impossible object.

Quine says that such an “overpopulated universe is in many ways unlovely” (Quine, 1948, P. 4), and many other theorists seem to agree with him. Putting aside such aesthetic evaluations, there are two main objections to Meinongianism that have had great influence for establishing the standard view in contemporary philosophy that Meinongianism is wrong. One is due to Russell (1905), according to which a theory that admits that even inconsistent objects are genuine objects entails contradictions: the non-square square is square and not square, and this is a contradiction. The other objection is due to Quine (1948), which says that there is no identity condition for nonexistent objects, deshalb, we should not admit any of such objects as genuine objects. Aber, contemporary Meinongians have provided several different replies to these objections, and these lead to different versions of Meinongianism (Nuclear Meinongianism (Pfarrer, 1980; Routley, 1980, Jacquette, 2015), Dual-copula Meinongianism (Zalta 1988), Modal Meinongianism (Priest 2005/2016, Berto 2013)). Since this is not the right place for surveying contemporary Meinongian theories in detail, we just point out that there are consistent Meinongian theories that provide us a well-defined identity condition for existent objects and nonexistent objects. For a comprehensive and useful survey of this topic, see Berto 2013.

Dann, what is existence for Meinongians? Some Meinongians (in particular Parsons) simply rely on our intuitive notion of existence according to which some objects do not exist (Pfarrer, 1980, P. 10). In so doing, they do not try to define existence (Pfarrer, 1980, P. 11). Andererseits, some Meinongians have proposed several different definitions of existence.

Zunächst, according to Lambert, “Meinong held that existent objects are objects having location in space-time” (Lambert 1983, P. 13). Partly echoing Meinong, Zalta says “[b]y ‘exists,’ we mean ‘has a location in space’” (Zalta, 1988, P. 21). Priest has a different definition: Owing to Plato’s Sophist, he claims that “to exist is to have the potential to interact causally” (Priester, 2005/2016, P. xxviii). Angesichts dieser Definitionen, they typically treat abstract objects like numbers or propositions as being nonexistent: they don’t have spatial locations nor causal power. Routley (1980) proposes two alternative definitions, but their formulations heavily depend on the details of his theory of nonexistent objects, und somit, we do not discuss them here (see also Rapaport, 1984; Paoletti, 2013).

An dieser Stelle, one may wonder whether Meinongians equate existence as concreteness. This is not the case. At least, Meinongians don’t need to commit themselves to the equation. Erste, Persons explicitly rejects to “define ‘exist’ to mean something like ‘has spatio-temporal location”’ (Parsons 1980, P. 10). Darüber hinaus, he claims that his distinction between existence and nonexistence is about concrete objects: some concrete objects exist, but some don’t (vgl. ibid, P. 10). Zweite, Priest points out that existence and concreteness behave differently in modal contexts. Zum Beispiel, according to Priest (2005/2016), (9a) is true from the view point of Meinongianism, Aber (9b) ist falsch. Das liegt daran, dass (Ich) Holmes is concrete and (Ii) if it is not concrete but abstract, it could never have been concrete, since being abstract is a necessary property.

(9) An. Holmes doesn’t exist, but could have existed.
b. Holmes is not a concrete object, but could have been a concrete object.

ote that Linsky and Zalta consider a third option which could undermine this argument: an object is neither concrete nor abstract, but could have been concrete (see Linsky and Zalta 1994; 1996).

b. Universalism

Even though some have an intuition that some objects do not exist (and consistent theories of nonexistent objects are available), many contemporary philosophers believe that everything exists. We call this view universalism. The main tenet of contemporary universalism is that existence is a first-order universal property which every object has. Thus it rejects FQ1. Im Folgenden, we see how universalists define existence and confirm that they still hold FQ2.

Zunächst, let’s see Frege. Answering to the question what ‘exist’ does in the explicitly existential statements like ‘some men exist’, Frege claims that it does nothing, in the sense that the word ‘exist’ is a predicate that any object universally satisfies. He tries to make this point clear by comparing ‘exist’ with ‘identical with itself’. Assuming that ‘A exists’ means the same as ‘A is identical with itself’ for any A, He claims:

the judgements ‘This table exists’ and ‘This table is identical with itself’ are completely self-evident, and that consequently in these judgements no real content is being predicated of this table. (Frege, 1979, pp. 62-63)

Beachten Sie, dass, from this, Frege concludes that the word ‘exist’ does not properly express the property of existence. In der Tat, he claims that this is an example that shows how we are easily deceived by natural language (Frege, 1979, P. 67). The true notion of existence is not expressed by the predicate ‘exist’. Eher, wie wir gesehen haben, according to him, it is expressed by a particular quantifier.

Some contemporary philosophers accept the first half of Frege’s claim and reject its second half (vgl. Evans, 1982; Kripke, 2013; Plantinga, 1976; Lachs, 1987; und so weiter). Für Sie, it is quite legitimate to use the first-order predicate ‘exist’ as a predicate universally satisfied. Darüber hinaus, some philosophers claim not only that ‘exist’ is the first-order predicate universally satisfied but also that it expresses the property of existence, a first-order universal property. Salmon says “the [first-order] property or concept of being identical with something… is the sense or content of the predicate ‘exists’’” (Lachs, 1987, P. 64). Evans is less straightforward. Laut ihm, the reference of the predicate ‘exist’ is “a first-level concept, true of everything” (Evans, 1982, P. 345), where a first-level concept is understood as a function from individual objects to truth values, and its sense is shown by the formula ‘∀x x satisfies ‘exist”. Endlich, Plantinga says:

Among the properties essential to all objects is existence. Some philosophers have argued that existence is not a property; these arguments, Jedoch, even when they are coherent, seem to show at most that existence is a special kind of property. And indeed it is special; like self-identity, existence is essential to each object, and necessarily so. For clearly enough, every object has existence in each world in which it exists. (Plantinga, 1976, P. 148)

Zusamenfassend, he makes the following two points: (Ich) existence is a first-order property; (Ii) it is necessarily the case that everything exists. The claim (Ii) should not be confused with the claim that everything exists in every possible world. So, the view is compatible with the fact that whether an object exists or not is, in vielen Fällen, a contingent matter: The Empire State Building exists, but may not; the 55th state of USA does not exist, but it may; und so weiter.

Kripke makes the same points with a definition of existence, while carefully distinguishing existence from self-identity (Kripke, 2013, especially pp. 36-38).

He suggests defining x’s existence as ∃yy = x (both x and y are individual variables), he and claims that every object satisfies it. Two comments should be made. Erste, it is clear that this definition is based on the equation of the extension of existence and the domain of quantification and thus on the endorsement of FQ2. Zweite, from this definition, it follows that “‘for every x, x exists’ will be a theorem of quantification theory” (Kripke, 2013, P. 37). So, it is necessarily the case that everything exists: □∀x∃y(y = x) holds. Aber, Kripke emphasizes that this doesn’t entail that everything necessarily exists. In der Tat, ∀x□∃y(y = x) doesn’t hold, while everything necessarily self-identical, das ist, ∀x□x = x holds. Existence and self-identity should not be equated with each other.

Finally let us review two main arguments for universalism. A main argument for universalism is one that appeals to the paradox of negative singular existentials (vgl. Cartwright, 1960). Berto (2013, P. 6) summarizes this argument as follows:

(P1) To deny the existence of something, one refers to that thing;

(P2) If one refers to something, then that thing has to exist;

(C) To deny the existence of something, that thing has to exist.

Seit (C) means that denying the existence of something is self-refuting, universalists claim, we cannot deny the existence of any object.

This argument has had huge influence on the debates in contemporary metaphysics and compels many contemporary metaphysicians, except Meinongians. Meinongians avoid concluding (C) by rejecting (P2). Rejecting FQ2, Meinongianim holds that the domain of quantification contains nonexistent objects. And we can refer to such nonexistent objects by using referential expressions like proper names.

Another major argument for universalism is proposed by Lewis (1990). Laut Lewis, Meinongians have two different particular quantifiers: the existentially-unloaded one and the existentially-loaded one. Andererseits, the universalist has only one particular quantifier, which is existentially-loaded. Lewis claims that, contrary to what Meingnongians (in particular Routley) take for granted, the Meinongian existentially-unloaded quantifier is translated as the universalist existentially-loaded quantifier—Objecthood for Meinongians is existence for universalists. Darüber hinaus, under this translation, Lewis suspects that Meinongian distinction between what exists and what doesn’t is just a distinction between what is concrete and what is not.

Aber, wie wir gesehen haben, a Meinongian needs not equate existence with concreteness. Darüber hinaus, the Meinongian can adopt a notion of objecthood which is different from the universalist notion of existence. Wie wir gesehen haben, Kripke defines existence as ∃y(x = y). Andererseits, Priest sees the logical equivalence of objecthood with self-identity: x is an object iff x = x (Priester, 2014a, P. 437). As Kripke points out, these two notions behave differently: if we define x’s existence as x’s self-identity, it follows that everything necessarily exists. Wie wir gesehen haben, since this contradicts the fact that many objects only contingently exist, Kripke rejects this definition of existence (Kripke, 2013, P. 38). Andererseits, if we logically equate x’s objecthood with x’s self-identity, it follows that everything is necessarily an object. This consequence is compatible with the fact that many objects contingently exist from the Meinongian point of view, since quantification ranges over not only existent but also non-existent objects. So far we have seen two contemporary alternatives to the orthodox views. Both Meinongianism and universalism hold that existence is a first-order property of individual objects. The main difference between them is about whether existence is a universal property that every object has. According to Meinongianism, it is not: Some objects lack the property of existence. Andererseits, universalism holds that existence is a universal property. An dieser Stelle, one may wonder why we cannot synthesize these two theories by holding that there are two different kinds of existence; one is universal and the other is not. While we leave this particular question as an open question, in the next section we introduce the basic ontological framework to which this line of thought straightforwardly leads us: ontological pluralism.

3. How Many Ways of Being Existent?

The world is packed with entities. There are tables, Stühle, monuments and dreams. There are holes, cracks and shadows. There is the Eiffel Tower in Paris, Leonardo’s Mona Lisa at the Louvre and the empty set as well. Needless to say, all these entities are very different from each other. At the end of the day, we can climb the Eiffel Tower and add a mustache to the Mona Lisa; Jedoch, neither of these activities are possible with the empty set. Facing such an abundant variety of entities, some philosophers think that, even though all these entities exist, they exist in different ways. The philosophical view according to which there are different ways of existence is known as ontological pluralism.

As Turner (2010) and McDaniel (2009; 2017) have already discussed, some historical figures have been interpreted as being committed to Ontological Pluralism. Einige Beispiele sind: Aristoteles (1984a; 1984b) to Saint Thomas (1993; 1961), from Meinong (1983; 1960) to Moore (1983; 1904), from Russell (1988) to Husserl (2001) and Heidegger (1962). Having said that, ontological pluralism does not simply represent an important idea in the history of philosophy. Far from being an archaeological piece in the museum of ideas, in the early twenty-first century, ontological pluralism has undergone an important revival in analytic philosophy through the works of McDaniel (2009; 2010; 2017) and Turner (2010; 2012). As Spencer points out, such a revival consists in a “defence” and “explication of the [historisch] views” (Spencer 2012, P. 910).

If we look back at the history of philosophy, it is possible to find at least two motivations in support of ontological pluralism. The first one is theological. Berühmt, God has some features that no other entity seems to have: Zum Beispiel, He is eternal, infinite and omniscient. Having said that, some theologians believe that God is so different in kind that it is impossible for any given feature to be truly ascribed to both God and His creatures. Bedauerlicherweise, this seems to be patently false. Tatsächlich, there is at least one feature that they must share, namely existence. An dieser Stelle, philosophers and theologians have tried to overcome this conundrum by endorsing ontological pluralism and by admitting that God’s existence is different than the existence his creatures enjoy (compare McDaniel 2010, P. 693).

The second motivation is phenomenological. Phenomenologists are famous for claiming that all sorts of entities are given to us. In our everyday life, we experience tables, Stühle, people and even logical concepts such as existential quantifiers and negation. Following the interpretation favoured by McDaniel (2009; 2010), Heidegger believes that, among all these entities, different ways of existence are given to us as well. Zum Beispiel, we experience a first way of existence proper to pieces of equipment (das ist, readiness-to-hand), a second way of existence proper to abstract entities (das ist, subsistence) and a third way of existence proper to entities that are primarily characterized by spatio-temporal features (das ist, presence-at-hand). Wenn ja, ontological pluralism might have a phenomenological ground (compare McDaniel 2010, P. 694).

In jüngerer Zeit, analytic philosophers have added a third motivation in support of ontological pluralism. Consider a material object and the space-time region in which that material objects are located. There is a sense in which these two things, somehow, exist. Aber, a material object exists at a certain region of space-time and, deshalb, its existence is relative to that region of space-time. This is not the case for space-time regions: their existence is not relative to another space-time region. Their existence is relative to nothing at all.

All this is supposed to show that, as suggested by McDaniel (2010) and summarized by Spencer (2012, P. 916), existence is systematically variably polyadic. Einerseits, existence can be either relative to something (see material objects) or relative to nothing (see space-time regions). This is what makes existence variably polyadic. Andererseits, there are many clusters of entities which systematically share the same kind of existence. Zum Beispiel, material objects always exist at space-time regions, and space-time regions simply exist. This is what makes existence systematic. Jetzt, according to some analytic philosophers, the fact that existence is systematically variably polyadic should nudge us to believe that material objects have one mode of existence (let’s say existence-at) and space-time regions have another mode of existence (let’s say simply-existence). Ontological pluralism is thus needed.

Until now, we have reviewed what ontological pluralism is and what are its main motivations. What about all the different ways in which ontological pluralism has been articulated, obwohl? Also, needless to say, in the history of philosophy, we can find many different kinds of ontological pluralism. Aber, in this section, we will focus our attention on the one endorsed by McDaniel because it represents an original way of combining traditions and ideas that are not commonly merged. Einerseits, McDaniel appeals to some ideas rooted continental philosophy and, andererseits, he employs some of the formal tools which are proper to contemporary logic.

McDaniel abandons the familiar landscape of analytic philosophy by arguing that, according to Heidegger, ‘existence’ is an analogical expression. (For an historical review of Being as an analogical expression which goes beyond Heidegger’s philosophy, see McDaniel, 2009, footnote 13.) Mit anderen Worten, „[‘existence’] has a generic sense, welche, grob, applies to objects of different sorts in virtue of these objects exemplifying very different features” (McDaniel 2009, P. 295). Following McDaniel’s favourite interpretation, Heidegger would certainly agree with the idea that there is a general concept of existence: exactly in virtue of its generality, this concept covers all entities whatsoever. Aber, Heidegger would also argue that some of these entities, in virtue of the features they exemplify, exist in a different way than others. Schlechthin, “there is multiplicity of modes of being [das ist, existence]” (McDaniel 2009, P. 296). Zum Beispiel, a hammer, a stone and a number all exist. Aber, a hammer is ready-to-hand, a number subsists and a stone is present-at-hand, as explained above.

Having said that, McDaniel tries to formulate this idea in the most precise way possible and, auf diese Weise, he appeals to some of the resources offered by formal logic. According to McDaniel, the general sense of existence can be spelled out through the unrestricted existential quantifier: For any entity, X, that exists, we can truly say that ∃y(y = x) (compare McDaniel 2009, P. 301). Außerdem, McDaniel believes that the various modes of existence can be represented by restricted quantifiers, das ist, quantifiers ranging over some proper subsets of the domain of the unrestricted one (McDaniel 2009, P. 302). Das bedeutet, dass, according to what we have said until now, in order to properly articulate Heidegger’s phenomenology, we should employ at least three kinds of restricted quantifiers: (1) a ready-to-hand quantifier (∃ready-to-hand) which ranges only over pieces of equipment; (2) a present-at-hand quantifier (∃present-at-hand) which ranges only over entities that are uniquely characterized by spatio-temporal features and (3) a subsistential quantifier (∃subsistence) which ranges only over abstract entities.

Before continuing, it might be interesting to notice that McDaniel’s approach to ontological pluralism seems to be faithful to its Heideggerian roots at least in the following sense. Coherently with what Heidegger labels ontological difference, McDaniel’s ontological pluralism does not treat existence as an entity. Existence is neither a constant symbol (compare McDaniel 2009, P. 301) nor any special kind of property (compare McDaniel 2009, P. 301); ansonsten, existence would appear to be, in the eyes of a philosopher engaging with first-order logic, something over which we can quantify and, deshalb, an entity as well. Existence, following McDaniel, is captured by the quantifiers themselves and, for this reason, it cannot be taken to be an entity of any sort.

Regardless of the prestigious historical heritage that grounds ontological pluralism, in the contemporary analytic debate, this theory has not always been welcome. Even though many arguments had been moved against it (compare McManus 2009; Turner 2010), the one proposed by Peter van Inwagen (1998) resonated particularly loud. Zunächst, van Inwagen underscores the deep connection between the activity of quantifying over entities and the activity of counting over entities. At the end of the day, when we say that, in the drawer of my desk, there are a pen, an eraser and a ruler, we are simply saying that there are three entities in the drawer of my desk. Jetzt, in light of this connection, it seems fair to say that, if we believe that there are different ways of existing and that these different ways are captured by different quantifiers, there should be different ways of counting too. Darüber hinaus, if there are different ways of counting, there should be different kinds of numbers as well. Aber, with all due respect to the ontological pluralists, this seems evidently false. When we refer to three stones, three hammers and three geometrical figures, we do not use different numerical systems. In all these cases, the number three seems to be pretty much the same. Deshalb, facing such an absurd conclusion, van Inwagen declares that there cannot be more than one way of existing.

Natürlich, the reply was not long in coming. Erstens, while McDaniel (2009) agrees with van Inwagen that there is only one way of counting, which is represented by the unrestricted quantifier, he denies the validity of the inference that goes from the fact that there are many ways of existing to the fact that there are many ways of counting. Zweitens, Turner (2010) argues that, from the fact that there are different ways of counting, it does not necessarily follow that there are different numbers. In order to argue so, he distinguishes between numbering relations (the relation between, Zum Beispiel, two pens and the number two) and the numbers themselves. Against van Inwagen, Turner believes that there might be many different numbering relations and only one kind of numbers.

A final remark: Contemporary advocates of ontological pluralism presuppose the Quinean interpretation of quantification and hold that being with its modes is equated with existence with its modes. Someone might wonder whether this is an essential feature of ontological pluralism. This is not the case. Zum Beispiel, Meinong is an ontological pluralist to the extent that there are at least two different ways of being, das ist, existence and subsistence, but he never equated existence with being.

4. Why Is There Something Rather than Nothing?

This article has been concerned with the notion of existence as such. It is natural to ask how different views on existence can influence ontological questions. In this section we examine how the views presented in the previous sections have been used to address a long-standing worry in the history of ontology: Why there is something rather than nothing? Besonders, we discuss a Quinean strategy (das ist, the strategy presented by van Inwagen), a strategy which employs ontological pluralism (das ist, the strategy presented by McDaniel) and a Meinongian strategy (das ist, the strategy presented by Priest).

Let’s begin with Peter van Inwagen, the champion of the so-called statistical argument (1996). Consider the actual world. This is the world we inhabit: in the actual world, the Eiffel Tower is in Paris, Leonardo painted the Mona Lisa and Duchamp added a moustache and a goatee to it. In the actual world, there is St. Andrews University, I miss the amazing lasagne of my grandmother and a terrible war was declared after the 11th of September 2001. This is the world we live in.

Natürlich, just by using our imagination, we can fantasize about other worlds that are not ours, even though they could have been. We can imagine a first possible world in which Duchamp painted the Mona Lisa and Leonardo added a moustache and a goatee to it. We can imagine a second possible world in which St. Andrews University does not exist, a third possible world in which I hate the horrible lasagne of my grandmother and a fourth possible world in which there was no war after the 11th of September 2001. In front of this uncontrolled proliferation of worlds, someone might wonder how many possible worlds we can actually conceive. Given the boundless power of our imagination, van Inwagen replies that we can have infinite possible worlds. Among them, one and only one is an empty world, das ist, a world with no entities whatsoever.

An dieser Stelle, it is important to recall that, since van Inwagen is a faithful Quinean, he understands existence in quantificational terms. This is the reason why, according to him, the theoretical framework introduced above can help us to understand why there is something (das ist, there is at least an entity in the actual world) rather than nothing (das ist, there are no entities in the actual world). Jetzt, think about a lottery in which there are infinite tickets: only one of them is the lucky winner. In diesem Fall, the chance that a given ticket is the lucky winner is 0. By analogy, think about the infinite number of possible worlds described above: only one of them is the empty one. In diesem Fall, the chance that the actual world is the empty one is 0. So, the reason why there is something rather than nothing is that the empty world is, wenn nicht unmöglich, improbable as anything else.

Needless to say, many philosophers did not miss the opportunity to challenge this argument. Some of them have discussed the explanatory power of van Inwagen’s argument (see Sober 1983). Some others have debated van Inwagen’s assumption about the uniqueness of the empty world (see Grant 1981; Heil 2013; Carroll 1994). Aber, a very different approach has been proposed by Kris McDaniel (2013). He provocatively asks: What if it is not really philosophically important to establish why there is something rather than nothing? What if this riddle is just a silly question we might want to forget and move on to more interesting topics? Perhaps, McDaniel suggests, there are better questions to be asked. Let’s see why.

McDaniel is very serious about absences. This might be taken to be unsurprising since we all engage with them in a fairly liberal way. According to McDaniel, all of us are able to count absences, be gripped by grief because of them and ruminate on them. If we have a philosophical training, we might be able to classify them in different kinds as well. Zum Beispiel, the shadow is one kind of absence (das ist, the absence of light) while a hole is another kind of absence (das ist, the absence of matter). In light of all these observations, McDaniel concludes that (An) an absence is something and (b) this something exists. Er schreibt: “the absence of Fs exists if and only if there are no Fs” (McDaniel, 2013, P. 277).

Jetzt, given what we wrote above, worrying about why there is something rather than nothing turns into a trivial matter. Consistent with the intuition defended by Baldwin (1996) and Priest (2014b), McDaniel argues that, when we use ‘nothing’ as a term, it is natural to think that it refers to a global absence: the absence of everything. Wenn ja, this absence is something and, infolgedessen, it exists. Das bedeutet, dass, even if there were nothing, the absence of everything would exist and, deshalb, there would be something.

An dieser Stelle, two remarks are necessary. Erstens, McDaniel does not want to be committed to the line of thought presented above. Bestenfalls, he cautiously claims that “it is not clearly incorrect” (McDaniel, 2013, P. 278). Aber, McDaniel is convinced that such a line of thought represents a warning light: in seeking the reason why there is something rather than nothing, we might easily discover that this worry is a pretty superficial one. According to McDaniel, we might avoid this danger by looking at the problem as an ontological pluralist and by moving our attention from the general meaning of existence (das ist, the unrestricted quantifier) to some specific modes of existence (das ist, the restricted quantifier). Mit anderen Worten, McDaniel suggests that it would be safer and more profitable to engage with what he labels a Narrow Question: why are there ‘concrete material things’ rather than no ‘concrete material things’?

The second remark is concerned with Meinongiansim. In a passing remark (2014b, P. 56), Priest runs a similar argument to the one presented by McDaniel. Like McDaniel, Priest takes ‘nothing’ to be a term which refers to a global absence. Außerdem, like McDaniel, he argues that there is something rather than nothing because, even when there is nothing, there is something, namely the absence of everything. It is interesting to notice that the difference between the two positions is all about their understanding of existence. According to McDaniel, existence in always spelled out in quantificational terms. Schlechthin, since there is something like the absence of everything, this something exists. Jetzt, Priest believes that there is something like the absence of everything as well; Jedoch, contrary to McDaniel and given his Meinongian credo, he can still hold the position that it does not exist. From this point of view, given Priest’s Meinongian stance, wondering why there is something rather than nothing is not necessarily equivalent to wondering why something exists rather than nothing. This is all meant to show how different accounts of existence can generate different ways of understanding and answering one of the oldest philosophical questions: why is there something rather than nothing?

5. Abschluss

Here we are at the end of our survey about existence. Even though we covered a lot of material, it is fair to say that there are even more topics that, unfortunately, we don’t have space to address. Zum Beispiel, in this article, we did not review the current philosophical debate devoted to understanding what kinds of things exist. A prominent example of this philosophical enterprise is represented by the dispute between nominalism and realism about properties. Außerdem, much more could have been said about the philosophical attempt of spelling out which things, in a given kind, exist. Zum Beispiel, as we did not cover the debate on whether properties are abundant or sparse, we did not present the dispute about whether mathematical objects or fictional characters exist either. Endlich, in order to suggest that there are many different ways in which ontological pluralism has been understood, we could not do more than present a long and, nonetheless, incomplete list of names.

Having said that, we hope that this article helps readers to navigate the extremely rich secondary literature about existence. We have tried to give a fairly complete overview of the most important ways of understanding such a complicated topic while, gleichzeitig, trying to underscore the importance of the more unorthodox and under-considered philosophical accounts of existence. Given this abundance of intuitions, Ideen, philosophical traditions, and ontological accounts, the hope is that the present work can represent, einerseits, a helpful map to orient ourselves in this vast debate and, andererseits, a nudge to explore new directions of research.

6. Appendix

In the formal language of logic, a quantifier like ∃ or ∀ is prefixed to a sentence together with a variable to form a new sentence. Zum Beispiel, dog(X) is a sentence, and prefixing ∃ together with a variable x to it results in a new quantificational sentence, das ist, ∃xdog(X). A quantifier prefixed to a sentence together with a variable x binds every occurrence of x in the sentence in so far as it is not bound by another quantifier. So the variable x in dog(X) in ∃xdog(X) is bound by ∃ appearing at its beginning. Jetzt, consider a formula that contains an unbound—free—variable x:

(10) dog(X) x is a dog

In (10), x is, sozusagen, a blank which we can fill with different values. Note that it is nonsense to ask whether (10) intrinsically is true or not, as the question ‘is x plus 4 6?’ is an unanswerable question. Sentences like (10) are truth-evaluable only relative to a value that fills the blank—a value that is assigned to x: If we fill the blank with a particular dog, sagen, Fido, the result is true; if we do with a particular man, sagen, Frege, the result is false. The truth conditions of quantificational sentences like ∃xdog(X) or ∀xdog(X) are defined by using values of variables bound by quantifiers:

(11) An. ∃xdog(X) is true iff for some value d, dog(X) is true relative to d assigned to x
(12) b. ∀xdog(X) is true iff for any value d, dog(X) is true relative to d assigned to x

The domain of quantification is the set of things that can be values of variables of quantification.

7. Referenzen und weiterführende Literatur
Aquin, T. (1993). Selected Philosophical Writings, Oxford University Press.
Aquin, T. (1961). Commentary on the Metaphysics of Aristotle. Band I, Henry Regnery Company.
Aristoteles. (1984a). The Complete Works of Aristotle. Band I, Oxford University Press.
Aristoteles. (1984b). The Complete Works of Aristotle. Band II, Oxford University Press.
Baldwin, T. (1996). ‘There might be nothing’, Analyse, 56: 231 ‒ 38.
Bennett, J. (1974). Kants Dialektik, Cambridge, Cambridge University Press.
Berto, F. (2013). Existence as A Real Property: The Ontology of Meinongianism, London: Springer.
Berto, F. and Plebani, M. (2015). Ontology and Metaontology: A contemporary Guide, London: Bloomsbury Academic.
Caroll, J. W. (1994). Laws of Nature, Cambridge: Cambridge University Press.
Cartwrite, R. (1960). ‘Negative existentials’, Zeitschrift für Philosophie, 57, 629-639.
Casati, F., and Fujikawa, N. (2019). ‘Nothingness, Meinongianism and inconsistent mereology’. Synthese, 196(9), 3739-3772.
Chisolm, R. (1960(. Realism and the Background of Phenomenology, Die freie Presse.
Evans, G. (1982). The Varieties of Reference, Oxford: Clarendon Press.
Findlay, J. N., (1963). Meinong’s Theory of Objects and Values, Zweite, Clarendon Press, Oxford University Press.
Fine, K. (1982). ‘The problem of non-existents’, Topoi, 1: 97-140.
Frege, G. (1884). Die Grundlagen der Arithmetik: Eine Logisch Mathematische Untersuchung ueber den Begriff der Zahl, Breslau: Verlag von Wilhelm Koebner. (English translation, The Foundation of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number, Second Revised Edition, translated by J. L. Austin, Oxford: Basil Blackwell, 1968).
Frege, G. (1979). Posthumous Writings, Oxford: Basil Blackwell.
Grant, E. (1981). Much ado about Nothing. Theories of Space and Vacuum from the Middle Ages to the Scientific Revolution, Cambridge: Cambridge University Press.
Heidegger, M. (1962). Sein und Zeit, Harper & Row Publishing.
Heil, J. (2013). ‘Contingency’, in The Puzzle of Existence, Tyron Goldschmidt (ed.), New York: Routledge, 167 ‒ 181
Husserl, E. (2001). Logical Investigations. Band II, Routledge Press.
Jacquette, D. (2015). Alexius Meaning: the Shepherd of Non-Being, (Synthese Library, vol 360), Springer.
Kannisto, T. (2018). ‘Kant and Frege on existence’, Synthese, 195: 34073432.
Kant, ICH. (1781/1787). Kritique der Reinen Vernunft. English translation: Guyer, R. und ein. W. Holz (trans and eds). (1998), Critique of Pure reason, The Cambridge Edition of the works of Immanuel Kant, Cambridge: Cambridge University Press.
Kripke, S. (2013). Reference and Existence: The John Locke Lectures, Oxford: Oxford University Press.
Lambert, K. (1983). Meinong and the Principle of Independence: its Place in Meinong’s Theory of Objects and its Significance in Contemporary Philosophical Logic, Cambridge: Cambridge University Press.
Lewis, D. (1990). ‘Noneism or allism?', Geist, 99, 23-31.
Linsky, B., and Zalta, E. (1994). ‘In defense of the simplest quantified modal logic’, Philosophical Perspectives 8: Logik und Sprache, J. Tomberlin (ed.), Atascadero: Ridgeview, 431-458.
Linsky, B., and Zalta, E. (1996). ‘In defense of the contingently concrete’, Philosophische Studien, 84: 283-294.
McDaniel, K. (2009). ‘Ways of being’ in Chalmers, Manley and Wasserman (Hrsg.) Metametaphysics, Oxford University Press.
McDaniel, K. (2010). ‘A return to the analogy of being’, Philosophie und phänomenologische Forschung, 81: 688-717.
McDaniel, K. (2013). ‘Ontological pluralism, the gradation of being, and the question of why there is something rather than nothing’, in The Philosophy of Existence, Tyron Goldschmidt (ed.), New York: Routledge, 290-320. [33] McDaniel, K. (2017). The Fragmentation of Being. Oxford University Press.
Meinong, Ein. (1960). ‘On the Theory of Objects’ in Chisholm. 1960.
Meinong, Ein. (1983). On Assumptions, University of California Press.
Paoletti, M. (2013), ‘Commentary on Exploring Meinong’s Jungle and Beyond: an Investigation of Noneism and the Theory of Items’, Humana. Mente: Journal of Philosophical Studies, 25. 275-292.
Pfarrer, T. (1980). Nonexistent Objects, Neuer Hafen: Yale University Press.
Plantinga, Ein. (1976). ‘Actualism and possible worlds’, Theorie, 42, 139160.
Priester, G. (2014a). ‘Sein language’, Der Monist, 97(4), 430-442.
Priester, G. (2014b). One: Being an Investigation into the Unity of Reality and of its Parts, including the Singular Object which is Nothingness, Oxford: Oxford University Press.
Priester, G. (2005/2016). Towards Non-Being: The Logic and Metaphysics of Intentionality, the 2nd Edition, Oxford: Oxford University Press.
Rapaport, W. (1984). ‘Review of Exploring Meinong’s JUngle and Beyond’, Philosophie und phänomenologische Forschung, 44(4), 539-552.
Quine, W. V. Ö. (1948). ‘On what there is’, in Review of Metaphysics, 48, 21-38, reprinted in Quine, W. V. O.(1953). From a Logical Point of View, Cambridge: Harvard University Press, pp. 1-19.
Routley, R. (1980). Exploring Meinong’s Jungle and Beyond, Canberra: RSSS, Australian National University.
Russell, B. (1905). ‘On denoting’, Geist, 14, NEIN. 56, pp. 479-493.
Russell, B. (1988). Die Probleme der Philosophie, Prometheus Books.
Lachs, N. (1987). ‘Existence’, Philosophical Perspetives 1: 49-108.
Nüchtern, E. (1983). ‘Equilibrium explanation’, Philosophische Studien, 43: 201210.
Sylvan, R. (1995). ‘Re-exploring item-theory’, Grazer Philosophische Studien, 50, 47-85.
Sylvan, R. (1997). Transcendental Metaphysics: From Radical to Deep Pluralism, Isle of Harris: White Horse Press.
Spencer, J. (2012). ‘Ways of being’, Philosophy Compass, 12: 910 ‒ 918.
Turner, J. (2010). ‘Ontological pluralism’, The Journal of Philosophy, 107: 5 ‒ 34.
Turner, J. (2012). ‘Logic and ontological pluralism’, Zeitschrift für philosophische Logik, 41: 419-448.
Van Inwagen, P. (1996). ‘Why Is there anything at all?', Proceedings of the Aristotelian Society, 70: 95-110.
Van Inwagen, Peter. (1998). ‘Meta-ontology’, Erkenntnis, 48: 233-250.
Wiggins, D. (1995). ‘The Kant-Frege-Russell view of existence: toward the rehabilitation of the second-level view’, in Modality, Morality and Belief, Essays in Honor of Ruth Barcan Marcus.

Informationen zum Autor

Filippo Casati
E-Mail: [email protected]
The University of Lehigh
U. S. Ein.

und

Naoya Fujikawa
E-Mail: [email protected]
The University of Tokyo
Japan