| 7022 | To be is to have a capacity, to act on other things, or to receive actions [Plato] |
| Full Idea: A thing really is if it has any capacity, either by nature to do something to something else or to have even the smallest thing done to it by the most trivial thing, even if it only happens once. I'll define those which are as nothing other than capacity. | |
| From: Plato (The Sophist [c.359 BCE], 247e) | |
| A reaction: If philosophy is footnotes to Plato, this should be the foundational remark in all discussions of existence (though Parmenides might claim priority). It seems to say 'to be is to have a causal role (active or passive)'. It also seems essentialist. |
| 527 | Everything exists which anyone perceives [Metrodorus of Chios] |
| Full Idea: Everything exists which anyone perceives. | |
| From: Metrodorus (Chi) (Natural Science (lost) [c.340 BCE], B2), quoted by (who?) - where? | |
| A reaction: cf Berkeley and Epicurus. This misses out the problem of perceptual error, such as a square tower looking round from a distance, or one person in a group thinking they have seen something. It is still a good criterion, though! |
| 20860 | Whatever participates in substance exists [Zeno of Citium, by Stobaeus] |
| Full Idea: Zeno says that whatever participates in substance exists. | |
| From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by John Stobaeus - Anthology 2.05a | |
| A reaction: This seems Aristotelian, implying that only objects exist. Unformed stuff would not normally qualify as a 'substance'. So does mud exist? See the ideas of Henry Laycock. |
| 5992 | Chrysippus says action is the criterion for existence, which must be physical [Chrysippus, by Tieleman] |
| Full Idea: Chrysippus regarded power to act and be acted upon as the criterion for existence or being - a test satisfied by bodies alone. | |
| From: report of Chrysippus (fragments/reports [c.240 BCE]) by Teun L. Tieleman - Chrysippus | |
| A reaction: This defines existence in terms of causation. Is he ruling out a priori a particle (say) which exists, but never interacts with anything? If so, he is inclining towards anti-realism. |
| 16660 | Are things distinct if they are both separate, or if only one of them can be separate? [Duns Scotus, by Pasnau] |
| Full Idea: Later standard theories said that a real distinction obtains between two things that can each exist without the other. For Scotus a real distinction requires only that one of the pair be able to exist without the other. | |
| From: report of John Duns Scotus (In Metaphysics [1304], V.5-6 n91) by Robert Pasnau - Metaphysical Themes 1274-1671 12.5 | |
| A reaction: His example is the similarity relation, which is independent of the whiteness on which it is based (since the other thing can become non-white). |
| 12554 | Existences can only be known by experience [Locke] |
| Full Idea: The existence of things is to be known only from experience. | |
| From: John Locke (Essay Conc Human Understanding (2nd Ed) [1694], 4.03.31) | |
| A reaction: This is the clearest statement you could wish for of the standard empiricist view of such things. Locke might take a broad view of experience, since he unshakably infers the existence of God from merely thinking about being. |
| 19393 | What is not active is nothing [Leibniz] |
| Full Idea: We can now show from the inner truths of metaphysics that what is not active is nothing. | |
| From: Gottfried Leibniz (True Method in Philosophy and Theology [1686], p.64) | |
| A reaction: This is Leibniz's rebellion against the Cartesian idea that all that matters for natural existence is spatial extension. I agree (tentatively) with Leibniz's vision of nature here. Modern physics reveals a seething turmoil beneath the placid exterior. |
| 3952 | I know that nothing inconsistent can exist [Berkeley] |
| Full Idea: I know that nothing inconsistent can exist. | |
| From: George Berkeley (Three Dialogues of Hylas and Philonous [1713], III p.224) | |
| A reaction: Fine, but the problem is to assess with confidence what is inconsistent. Human imagination seems to be the test for existence. But what else can we do? |
| 18995 | Frege mistakenly takes existence to be a property of concepts, instead of being about things [Frege, by Yablo] |
| Full Idea: Frege's theory treats existence as a property, not of things we call existent, but of concepts instantiated by those things. 'Biden exists' says our Biden-concept has instances. That is certainly not how it feels! We speak of the thing, not of concepts. | |
| From: report of Gottlob Frege (On Concept and Object [1892]) by Stephen Yablo - Aboutness 01.4 | |
| A reaction: Yablo's point is that you must ask what the sentence is 'about', and then the truth will refer to those things. Frege gets into a tangle because he thinks remarks using concepts are about the concepts. |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 18521 | The criterion of existence is the possibility of action [Santayana] |
| Full Idea: The possibility of action ...is the criterion of existence, and the test of substantiality. | |
| From: George Santayana (The Realm of Matter [1930], p.107), quoted by John Heil - The Universe as We Find It | |
| A reaction: I rather like this. I think I would say the power is the criterion of existence. |
| 14173 | What exists has causal relations, but non-existent things may also have them [Russell] |
| Full Idea: It would seem that whatever exists at any part of time has causal relations. This is not a distinguishing characteristic of what exists, since we have seen that two non-existent terms may be cause and effect. | |
| From: Bertrand Russell (The Principles of Mathematics [1903], §449) | |
| A reaction: Presumably he means that the non-existence of something (such as a safety rail) might the cause of an event. This is a problem for Alexander's Principle, in Idea 3534. I think we could redescribe his problem cases, to save Alexander. |
| 3534 | To be is to have causal powers [Alexander,S] |
| Full Idea: To be is to have causal powers. | |
| From: Samuel Alexander (works [1927], §4), quoted by Jaegwon Kim - Nonreductivist troubles with ment.causation | |
| A reaction: This is sometimes called Alexander's Principle. It is first found in Plato, and is popular with physicalists, but there are problem cases... A thing needs to exist in order to have causal powers. To exist is more than to be perceived. |
| 7680 | Ontology is possible only as phenomenology [Heidegger] |
| Full Idea: Ontology is possible only as phenomenology. | |
| From: Martin Heidegger (Being and Time [1927], p.31), quoted by Dale Jacquette - Ontology Ch.1 | |
| A reaction: Jacquette argues against this claim. The idea seems to be the ultimate extension of Kant, and it is not a big move to say that the only real phenomenology we can discuss is our semantics. Wrong, wrong, wrong. |
| 16965 | All we have of general existence is what existential quantifiers express [Quine] |
| Full Idea: Existence is what existential quantification expresses. …It is unreasonable to ask for an explication of (general) existence in simpler terms. …We may still ask what counts as evidence for existential quantifications. | |
| From: Willard Quine (Existence and Quantification [1966], p.97) | |
| A reaction: This has been orthodoxy for the last 60 years, with philosophers talking of 'quantifying over' instead of 'exists'. But are we allowed second-order logic, and plural quantification, and vague domains? |
| 19277 | Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale] |
| Full Idea: It is because Quine holds constant singular terms to be always eliminable by an extension of Russell's theory of definite descriptions that he takes the bound variables of first-order quantification to be the sole means by which we refer to objects. | |
| From: report of Willard Quine (On What There Is [1948]) by Bob Hale - Necessary Beings 01.2 | |
| A reaction: Hale defends a Fregean commitment to existence based on the reference of singular terms in true statements. I think they're both wrong. If you want to know what I am committed to, ask me. Don't infer it from my use of English, or logic. |
| 1633 | Absolute ontological questions are meaningless, because the answers are circular definitions [Quine] |
| Full Idea: What makes ontological questions meaningless when taken absolutely is not universality but circularity. A question of the form "What is an F?" can only be answered with "An F is a G", which makes sense relative to the uncritical acceptance of G. | |
| From: Willard Quine (Ontological Relativity [1968], p.53) |
| 9811 | It is of the essence of being to appear [Badiou] |
| Full Idea: It is of the essence of being to appear. | |
| From: Alain Badiou (Mathematics and Philosophy: grand and little [2004], p.16) | |
| A reaction: Nice slogan. In my humble opinion 'continental' philosophy is well worth reading because, despite the fluffy rhetoric and the shameless egotism and the desire to shock the bourgeoisie, they occasionally make wonderfully thought-provoking remarks. |
| 14746 | What exists can't depend on our conceptual scheme, and using all conceptual schemes is too liberal [Sider on Wiggins] |
| Full Idea: It would be incredible if what there is, rather than what we select for attention, depends on human activity and our conceptual scheme. One might expand to possible sortal concepts, rather than our language, but that amounts to four-dimensionalism. | |
| From: comment on David Wiggins (Sameness and Substance Renewed [2001]) by Theodore Sider - Four Dimensionalism 5.3 | |
| A reaction: [compression of a nice anti-Wiggins paragraph] He suggests that Wiggins is seeking an intermediate course (between narrow chauvinism about concepts, and excessive liberalism) in a discussion of natural kinds versus artifacts. |
| 6062 | Existence can't be analysed as instantiating a property, as instantiation requires existence [McGinn] |
| Full Idea: Paraphrasing existence statements into statements about the instantiation of a property does not establish that existence is not a predicate, since the notion of instantiation must be taken to have existence built into it. | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: Thank you, Colin McGinn! This now strikes me as so obvious that it is astonishing that for the whole of the twentieth century no one seems to have said it. For a century philosophers had swept the ontological dirt under the mat. |
| 6065 | We can't analyse the sentence 'something exists' in terms of instantiated properties [McGinn] |
| Full Idea: The problems of the orthodox view are made vivid by analysis of the sentence 'something exists'; this is meaningful and true, but what property are we saying is instantiated here? | |
| From: Colin McGinn (Logical Properties [2000], Ch.2) | |
| A reaction: A very nice point. McGinn claims that existence is a property, a very generalised one. Personally I don't think anyone is even remotely clear what a property is, so the whole discussion is a bit premature. Must properties have causal powers? |
| 12216 | Real objects are those which figure in the facts that constitute reality [Fine,K] |
| Full Idea: The real objects are the objects of reality, those that figure in the facts by which reality is constituted. | |
| From: Kit Fine (The Question of Ontology [2009], p.172) | |
| A reaction: And these need to be facts over and above the basic facts. Thus, does the 'equator' constitute reality, over and above the Earth being a rotating sphere? Does 'six' constitute reality, over and above all the possible groups of six objects? |
| 12218 | Being real and being fundamental are separate; Thales's water might be real and divisible [Fine,K] |
| Full Idea: Being the case in reality and being fundamental are not sufficient for one another. If one agrees with Thales that the world is composed of water, and with Aristotle that water is indefinitely divisible, then water would be real but not fundamental. | |
| From: Kit Fine (The Question of Ontology [2009], p.174) | |
| A reaction: Presumably the divisibility would make a reductionist account of water possible. The Atlantic Ocean is real, but water molecules would have a more prominent place in the ontology of any good metaphysician. |
| 8300 | Perhaps possession of causal power is the hallmark of existence (and a reason to deny the void) [Lowe] |
| Full Idea: For some metaphysicians, possession of causal power is the very hallmark of real existence (and is one reason, for instance, why some have denied the existence of the void or absolute space). | |
| From: E.J. Lowe (The Possibility of Metaphysics [1998], 10.2) | |
| A reaction: You could try saying that space has the power of making movement possible. The 'hallmark' of something doesn't define what it is. Existence without causal power seems logically possible and imaginable, but unlikely. Epiphenomena have this problem. |
| 4768 | The 'epistemic fallacy' is inferring what does exist from what can be known to exist [Psillos] |
| Full Idea: The move from what can (or cannot) be known to exist to what does (or does not) exist has been dubbed the 'epistemic fallacy'. | |
| From: Stathis Psillos (Causation and Explanation [2002], §1.6) | |
| A reaction: This should be a standard concept in all philosophical discussion. It is the commonest, simplest, and most profound blunder made by philosophers, and they do it all the time. |
| 12447 | That all existents have causal powers is unknowable; the claim is simply an epistemic one [Azzouni] |
| Full Idea: If the argument isn't that, metaphysically speaking, anything that exists must have causal powers - how on earth would we show that? - rather, the claim is an epistemic one. Any thing we're in a position to know about we must causally interact with. | |
| From: Jody Azzouni (Deflating Existential Consequence [2004], Ch.4) | |
| A reaction: A very good point. I am attracted to causal power as a criterion for existence, but Azzouni's distinction is vital. Maybe there is just no point in even talking about things which exist but have no causal powers. |
| 9501 | If all existents are causally active, that excludes abstracta and causally isolated objects [Bird] |
| Full Idea: If one says that 'everything that exists is causally active', that rules out abstracta (notably sets and numbers), and it rules out objects that are causally isolated. | |
| From: Alexander Bird (Nature's Metaphysics [2007], 5.5) | |
| A reaction: I like the principle. I take abstracta to be brain events, so they are causally active, within highly refined and focused brains, and if your physics is built on the notion of fields then I would think a 'causally isolated' object incoherent. |
| 18480 | Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride] |
| Full Idea: 'To be is to be a truth-maker' has been proposed as a replacement the standard conception of ontological commitment, that to be is to be the value of a variable. | |
| From: Fraser MacBride (Truthmakers [2013], 2.1.4.2) | |
| A reaction: [He cites Ross Cameron 2008] Unconvincing. What does it mean to say that some remote unexperienced bit of the universe 'makes truths'? How many truths? Where do these truths reside when they aren't doing anything useful? |
| 19654 | We must give up the modern criterion of existence, which is a correlation between thought and being [Meillassoux] |
| Full Idea: It is incumbent upon us to break with the ontological requisite of the moderns, according to which 'to be is to be a correlate'. | |
| From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2) | |
| A reaction: He blames Kant for this pernicious idea, which has driven philosophy away from realist science, when it should be supporting and joining it. As a realist I agree, and find Meillassoux very illuminating on the subject. |
| 14942 | Only admit into ontology what is explanatory and predictive [Ladyman/Ross] |
| Full Idea: We reject any grounds other than explanatory and predictive utility for admitting something into our ontology. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 3.7.3) | |
| A reaction: Now you are talking. This is something like my thesis (which I take to be Aristotelian) - that without the drive for explanation we wouldn't even think of metaphysics, and so metaphysics should be understood in that light. |
| 14948 | To be is to be a real pattern [Ladyman/Ross] |
| Full Idea: To be is to be a real pattern. ....Real patterns carry information about other real patterns. ...It's patterns all the way down. | |
| From: J Ladyman / D Ross (Every Thing Must Go [2007], 4.4) | |
| A reaction: I've plucked these bleeding from context, but they are obviously intended as slogans. Is there pattern 'inside' an electron? Are electrons all exterior? |
| 14493 | Existence might require playing a role in explanation, or in a causal story, or being composed in some way [Thomasson] |
| Full Idea: A higher standard for saying that entities exist might require that they play an essential role in explanation, or must figure in any complete causal story, or exist according to some uniform and nonarbitrary principle of composition. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 11.2) | |
| A reaction: I am struck by the first of these three. If I am defending the notion that essence depends on Aristotle's account of explanation, then if we add that existence also depends on explanation, we get a criterion for the existence of essences. Yay. |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| Full Idea: Existence and nonexistence are not primarily properties of individual objects (dogs, unicorns), but of totalities. To say that some object exists is just to say that it is a constituent of the world, which is a characteristic of the world, not the object. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 4) | |
| A reaction: This has important implications for the problem of truthmakers for negative existential statements (like 'there are no unicorns'). It is obviously a relative of Armstrong's totality facts that do the job. Not sure about 'a characteristic of'. |