Existence
![]() | This December 2006 may be confusing or unclear to readers. |
There is no universally accepted definition of existence. The philosophical branch of metaphysics further devotes the subfield of ontology to discussing existence. Existence is perhaps beyond linguistic definitions. The term being (or thing) in-itself, alternately being, is conventionally used such that existence is presupposed before (and after?) all other qualities and attributes of a thing.
The dominant (though by no means universal) view in twentieth-century and contemporary Anglo-American philosophy is that existence is what is asserted by statements of first-order logic of the form "for some x Fx". This agrees with the simple and common sense view that, in uttering "There is a bridge across the Thames at Hammersmith", or "A bridge crosses the Thames at Hammersmith", one asserts the existence of a bridge across the Thames at Hammersmith. In this view, the word "existence" is simply a way of describing the logical form of ordinary subject-predicate sentence. The question of a thing's existence is not to be confused with statements of fact, although the two are closely related topics. Hence, it is often the case that while facts may be merely asserted and corroborated, a thing merely "is (self-)evident."
Unfortunately, this simple view is vulnerable to a number of philosophical objections. The problem of existence is one that still exercises the minds of contemporary philosophers. This article is a brief overview of those problems and the solutions that certain philosophers have offered. Suggestions for further reading are included.
The copula 'is' as a ladder to the problem of existence
A sentence like God is expresses the proposition that God exists. But we could also express the same proposition by saying that God is existing. But here the copula in the sentence that expresses the thought is used as a predicative, as it is also used in the sentence God is a person.
The copula can also be used in two other ways. Take the proposition expressed by the sentence Two plus two is four. Here the copula is not predicating fourness to two plus two, but is expressing identity. The other way is that the copula can express tense. That something is presently the case.
Heidegger was concerned about the assumption that only beings or things exist, thus precluding "fundamental ontology" which focuses on Being, rather than beings. The same assumption makes god a being, and god's thingly existence a problem that was well addressed by Tillich, Heidegger's pupil. An epistemology based on truth becoming a representation of beings precludes the truth of metaphors, symbols, intuitions, poetry and art. Heidegger termed the result of our western assumption about beings/things an "onto-theo-logic." Later writings in Heidegger leave behind his earlier attempts at laying the foundation of ontology--he describes this as an overcoming of metaphysics.
The problems of existence
The first problem is that, on the simple view above, any sentence of apparently subject-predicate form "S is P" must assert the existence of an object satisfying "S" and "P". Thus any noun phrase whatsoever that is the subject or predicate of a true sentence of this form, must be presumed to denote something. This leads to the question of what is denoted in sentences containing abstract noun phrases, such as "goodness is a virtue", "blindness can be overcome", "the number 9 is the sum of 6 and 3" and so on. Are goodness, blindness, virtue etc. objects in the sense that chairs, tables and houses are objects?
Worse, a sentence like "existence is not a predicate" is apparently of subject predicate form, thus "existence" must be presumed to denote something. Thus "signifies existence", cannot simply be a way of describing the logical form of ordinary subject-predicate sentence. The sentence "a bridge crosses the Thames at Hammersmith" cannot just be about a bridge, the Thames, and Hammersmith. It must be about "existence" as well.
This question has divided philosophers into two classes: realists, who assert the existence of objects corresponding to abstract concepts, and nominalists, who deny the existence of such things. The subject of what things exist corresponding to grammatical categories of noun phrase is known as ontology.
The nominalist approach to the question is to argue that certain noun phrases can be "eliminated" by rewriting a sentence in a form that has the same meaning, but which does not contain the noun phrase. Thus Ockham argued that "Socrates has wisdom", which apparently asserts the existence of a reference for "wisdom", can be rewritten as "Socrates is wise", which contains only the referring phrase "Socrates". This method became widely accepted in the twentieth century by the so-called analytic school of philosophy.
Realists, however, turn this dilemma on its head, arguing that since the sentence "Socrates is wise" can be rewritten as "Socrates has wisdom", this proves the existence of a hidden referent for "wise". Yet this "dilemma" is rather an artificial artifact of the peculiarities of the chosen language of expression, in this case English. In Spanish, for example, one says "I have hunger" in the literal, not "I am hungry." Referents, it seems, tend to beg the further problem of possessiveness. According to realists, there are no bare attributes or qualities without a subject who/that possesses such.
The second problem is that both a singular sentence like "Pegasus flies" and its negation seem to imply the existence of a subject. If "Pegasus flies" is true, then something (namely Pegasus) flies. So if the sentence is true, "Pegasus" has a referent. But if the sentence is false, its negation is true. But the negation of "Pegasus flies" is "it is not the case that Pegasus flies". If this is true, then something (namely Pegasus) does not fly, and so "Pegasus" still has a referent. Whether "Pegasus flies" is true or not, "Pegasus" has a referent. But common sense suggests that "Pegasus" does not have a referent.
Modern approaches to the problem
According to Bertrand Russell's Theory of Descriptions, the negation operator in a singular sentence takes wide and narrow scope: we distinguish between "some S is not P" (where negation takes "narrow scope") and "it is not the case that "some S is P" (where negation takes "wide scope"). The problem with this view is that there appears to be no such scope distinction in the case of proper names. The sentences "Socrates is not bald" and "it is not the case that Socrates is bald" both appear to have the same meaning, and they both appear to assert or presuppose the existence of someone (Socrates) who is not bald, so that negation takes narrow scope. The theory of descriptions has generally fallen into disrepute, though there have been recent attempts to revive it by Stephen Neale and Frank Jackson. According to the Direct reference view, an early version of which was originally proposed by Peter Strawson, and (some have argued) even earlier by Gottlob Frege, a proper name strictly has no meaning when there is no object to which it refers. This view is sometimes justified by the argument that the semantic function of a proper name is to tell us which object bears the name, and thus to identify some object. But no object can be identified if none exists. Thus, a proper name must have a bearer if it is to be meaningful. To adapt an argument of Strawson's, someone who points to an apparently empty space, uttering "that's a fine red one" communicates nothing to someone who cannot see or understand what he is pointing to. Variants of the Direct reference view have been proposed by Saul Kripke, Gareth Evans, Scott Soames and others.
According to the "two sense" view of existence, existential statements fall into two classes.
- 1. Those asserting existence in a wide sense. These are typically of the form "N is P" for singular N, or "some S is P".
- 2. Those asserting existence in a narrow sense. These are typically of the form "N exists" or "S's exist".
The problem is then evaded as follows. "Pegasus flies" implies existence in the wide sense, for it implies that something flies. But it does not imply existence in the narrow sense, for we deny existence in this sense by saying that Pegasus does not exist. In effect, the world of all things divides, on this view, into those (like Socrates, Venus the planet, New York) that have existence in the narrow sense, and those (like Sherlock Holmes, Venus the goddess, Minas Tirith) that do not.
Supporters of this view (which derives from Alexius Meinong) include Terence Parsons and Edward Zalta.
The difficulty with this view is (a) that common sense suggests that there are no such things as fictional characters, places, (b) there is no strong evidence for two kinds of existential sentence as used in ordinary language.
Relevant also to the topic are views posed by Moore, which were then, perhaps elaborated by Wittgenstein. GE Moore used to walk into a room full of students and then raise his right hand, and say "I am raising my right hand," "Now, someone disprove me!" The truth is that it is so common sensical, so obvious that he is raising his right hand, that no one could consistently assert that he was not holding up his hand. In "A Defence of Common Sense" Moore basically turns the traditional Cartesian view on its head because instead of saying that everything must be doubted and one must go back to that one essential thing that cannot be doubted, and then you can believe; he says that first we must believe, then we can question. Because he can raise his hand and know it's there, because it's obvious "Nothing is knowable" is a contradiction. ("Nothing is knowable" is also a paradox because how is it even conceivable that "nothing" could be known.)
Another problem that stops people defining existence is that a definition/explanation is meant to put something into simpler terms (make it easier to understand,) existence itself is too simple and basic to be explained (cannot by made simpler) and therefore a possible explanation is difficult to come up with.
Earlier views
The first comprehensive treatment of the subject was by Aristotle in the Metaphysics. He developed a complicated theory of being, according to which only individual things, called substances fully have being, but other things such as relations, quantity, time and place (called the Categories) have a derivative kind of being, dependent on individual things (See the article on Ontology for a detailed discussion). The medieval philosopher Thomas Aquinas, perhaps following the Persian philosopher Avicenna, argued that God is pure being, and that in God essence and existence are the same.
At about the same time, the nominalist philosopher William of Ockham, argued, in Book I of his Summa Totius Logicae (Treatise on all Logic) the Categories are not a form of Being in their own right, but derivative on the existence of individuals.
The early modern treatment of the subject derives from Antoine Arnauld and Pierre Nicole's Logic, or 'The Art of Thinking', better known as the Port-Royal Logic.
Arnauld thought that a proposition or judgment, consists of taking two different ideas and either putting them together or rejecting them:
- After conceiving things by our ideas, we compare these ideas and, finding that some belong together and others do not, we unite or separate them. This is called affirming or denying, and in general judging.
- This judgment is also called a proposition, and it is easy to see that it must have two terms. One term, of which one affirms or denies something, is called the subject; the other term, which is affirmed or denied, is called the attribute or Praedicatum. [Logic, II.3, Buroker p. 82]
The two terms are joined by the verb "is" (or "is not", if the predicate is denied of the subject). Thus every proposition has three components: the two terms, and the "copula" that connects or separates them. Even when the proposition has only two words, the three terms are still there. For example "God loves humanity", really means "God is a lover of humanity", "God exists" means "God is a thing".
This theory of judgment dominated logic for centuries. It has the obvious difficulty, noted above, that a proposition of the form "Some A is B" is not necessarily existential. If neither A nor B includes the idea of existence, then "some A is B" simply joins A to B. Conversely, if A or B do include the idea of existence in the way that "triangle" contains the idea "three angles equal to two right angles", then "A exists" is automatically true, and we have an ontological proof of A's. (Indeed Arnauld's contemporary Descartes famously argued so, regarding the concept "God" (discourse 4, Meditation 5).
The theory was current until the middle of the nineteenth century. Hume argued that the claim that a thing exists, when added to our notion of a thing, does not add anything to the concept. For example, if we form a complete notion of Moses, and superadd to that notion the claim that Moses existed, we are not adding anything to the notion of Moses. Kant also argued that existence is not a "real" predicate, in that existence cannot be seen as a series of things that possess it or lack it, but as concepts corresponding or not corresponding to the world. Kant used this argument to attack the ontological proof for the existence of God.
John Stuart Mill (and also Kant's pupil Herbart) argued that the predicative nature of existence was proved by sentences like "A centaur is a poetic fiction" (Mill) or "A greatest number is impossible" (Herbart). Franz Brentano challenged this, so also (as is better known) did Frege. Brentano argued that we can join the concept represented by a noun phrase "an A" to the concept represented by an adjective "B" to give the concept represented by the noun phrase "a B-A". For example, we can join "a man" to "wise" to give "a wise man". But the noun phrase "a wise man" is not a sentence, whereas "some man is wise" is a sentence. Hence the copula must do more than merely join or separate concepts. Furthermore, adding "exists" to "a wise man", to give the complete sentence "a wise man exists" has the same effect as joining "some man" to "wise" using the copula. So the copula has the same effect as "exists". Brentano argued that every categorical proposition can be translated into an existential one without change in meaning and that the "exists" and "does not exist" of the existential proposition take the place of the copula. He showed this by the following examples:
- The categorical proposition "Some man is sick", has the same meaning as the existential proposition "A sick man exists" or "There is a sick man".
- The categorical proposition "No stone is living" has the same meaning as the existential proposition "A living stone does not exist" or "there is no living stone".
- The categorical proposition "All men are mortal" has the same meaning as the existential proposition "An immortal man does not exist" or "there is no immortal man".
- The categorical proposition "Some man is not learned" has the same meaning as the existential proposition "A non-learned man exists" or "there is a non-learned man".
Frege developed a similar view (thought later) in his great work The Foundations of Arithmetic, as did Charles Peirce. The Frege-Brentano view is the basis of the dominant position in modern Anglo-American philosophy that existence asserted by the existential quantifier. (As expressed by Quine's slogan "To be is to be the value of a variable).
Influenced by the views of Brentano's pupil Alexius Meinong, and by Edmund Husserl, some Germanophone and Francophone philosophy took different directions regarding the question of existence. For existentialists, "existence precedes essence." The traditional view tends to be the other way around, that "essence precedes existence." See the article on existentialism for further detail.
Quotations
- For manifestly you have been long aware of what you mean when you use the expression Being. We, however, who used to think we understood it, have now become perplexed (Plato).
- It is impossible for a thing's existence to be caused by its essential constituent principles, for nothing can be the sufficient cause of its existence, if its existence is caused by another. But this cannot be true of God; because we call God the first efficient cause. Therefore it is impossible that in God his existence should differ from his essence (Thomas Aquinas).
- The root of the error is in multiplying entities according to the multiplicity of terms and supposing that every term has something real corresponding to it. This, however, is erroneous and leads far away from the truth (William of Ockham).
- The world itself is not an entity within the world (Martin Heidegger).
- Many volumes might be filled with the frivolous speculations concerning the nature of Being ... the fog which arose from this narrow spot diffused itself at an early period over the whole surface of metaphysics (John Stuart Mill).
- Those who like paradoxical modes of expression could very well say: "There are objects of which it is true that there are no such objects" (Alexius Meinong).
- My mother-in-law, a famous and forceful religious leader, assured me that philosophy is only difficult because of the long words that it uses. I confronted her with the following sentence from notes I had made that day: "What is means is and therefore differs from is, for "is is" would be nonsense". It cannot be said that it is long words that make this sentence difficult (Bertrand Russell).
- The reality of that cup is that it is there, and that is not me (Jean Paul Sartre).
- To be assumed as an entity is to be assumed as a value of a variable (Willard Van Orman Quine).
- Like breathing, only quieter (J. L. Austin – talking about existence).
- Existence is what you make of it (Jack Kerouac).
- With the exception of man, no being wonders at his own existence. (Arthur Schopenhauer)
- "It depends on what the meaning of the word 'is' is." (Bill Clinton, during his 1998 grand jury testimony on the Monica Lewinsky affair.)
- Existence really is an imperfect tense that never becomes a present. (Friedrich Nietzsche)
See also
- Cogito ergo sum
- Cosmological argument
- Existence proof
- Existential quantification
- Gödel's ontological proof
- Meaning of life
- Metaphysics
- Ontology
- Philosophy
- Simulated reality
- Solipsism
- Three marks of existence
External links
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)