structure for 'God'    |     alphabetical list of themes    |     unexpand these ideas

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

[concept of God implies necessary existence]

37 ideas
We couldn't discuss the non-existence of the One without knowledge of it [Plato]
     Full Idea: There must be knowledge of the one, or else not even the meaning of the words 'if the one does not exist' would be known.
     From: Plato (Parmenides [c.364 BCE], 160d)
Being is better than not-being [Aristotle]
     Full Idea: Being is better than not-being.
     From: Aristotle (Coming-to-be and Passing-away (Gen/Corr) [c.335 BCE], 336b29)
     A reaction: [see also Metaphysics 1017a07 ff, says the note] This peculiar assumption is at the heart of the ontological argument. Is the existence of the plague bacterium, or of Satan, or of mass-murderers, superior?
Epicurus saw that gods must exist, because nature has imprinted them on human minds [Epicurus, by Cicero]
     Full Idea: Epicurus alone saw that gods must exist because nature herself has imprinted an idea of them in the minds of all mankind.
     From: report of Epicurus (fragments/reports [c.289 BCE]) by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') I.43
Rational is better than non-rational; the cosmos is supreme, so it is rational [Zeno of Citium]
     Full Idea: That which is rational is better than that which is not rational; but there is nothing better than the cosmos; therefore, the cosmos is rational.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') 2.21
     A reaction: This looks awfully like Anselm's ontological argument to me. The cosmos was the greatest thing that Zeno could conceive.
It seems clear to me that we have an innate idea of the divine [Cicero]
     Full Idea: Let us take it as agreed that we have a preconception or "an innate idea" (as I have called it) or a prior knowledge of the divine.
     From: M. Tullius Cicero (On the Nature of the Gods ('De natura deorum') [c.44 BCE], I.44)
Even the fool can hold 'a being than which none greater exists' in his understanding [Anselm]
     Full Idea: Even the fool must be convinced that a being than which none greater can be thought exists at least in his understanding, since when he hears this he understands it, and whatever is understood is in the understanding.
     From: Anselm (Proslogion [1090], Ch 2)
     A reaction: Psalm 14.1: 'The fool hath said in his heart, there is no God'. But how does the fool interpret the words, if he has limited imagination? He might get no further than an attractive film star. He would need prompting to think of a spiritual being.
If that than which a greater cannot be thought actually exists, that is greater than the mere idea [Anselm]
     Full Idea: Clearly that than which a greater cannot be thought cannot exist in the understanding alone. For it it is actually in the understanding alone, it can be thought of as existing also in reality, and this is greater.
     From: Anselm (Proslogion [1090], Ch 2)
     A reaction: The suppressed premise is 'something actually existing is greater than the mere conception of it'. As it stands this is wrong. I can imagine a supreme evil. But see Idea 21243.
A perfection must be independent and unlimited, and the necessary existence of Anselm's second proof gives this [Malcolm on Anselm]
     Full Idea: Anselm's second proof works, because he sees that necessary existence (or the impossibility of non-existence) really is a perfection. This is because a perfection requires no dependence or limit or impediment.
     From: comment on Anselm (Proslogion [1090], Ch 3) by Norman Malcolm - Anselm's Argument Sect II
     A reaction: I have the usual problem, that it doesn't seem to follow that the perfect existence of something bestows a perfection. It may be necessary that 'for every large animal there exists a disease'. Satan may exist necessarily.
An existing thing is even greater if its non-existence is inconceivable [Anselm]
     Full Idea: Something can be thought of as existing, which cannot be thought of as not existing, and this is greater than that which cannot be thought of as not existing.
     From: Anselm (Proslogion [1090], Ch 3)
     A reaction: This is a necessary addition, to single out the concept of God as special. But you really must give reasons for saying God's non-existence is inconceivable. Atheists seem to manage.
Conceiving a greater being than God leads to absurdity [Anselm]
     Full Idea: If some mind could think of something better than thou, the creature would rise above the Creator and judge its Creator; but this is altogether absurd.
     From: Anselm (Proslogion [1090], Ch 3)
     A reaction: An error, revealing a certain desperation. If a greafer being could be conceived than the being so far imagined as God (a necessarily existing being), that being would BE God, by his own argument (and not some arrogant 'creature').
The word 'God' can be denied, but understanding shows God must exist [Anselm]
     Full Idea: We think of a thing when we say the world, and in another way when we think of the very thing itself. In the second sense God cannot be thought of as nonexistent. No one who understands can think God does not exist.
     From: Anselm (Proslogion [1090], Ch 4)
     A reaction: It seems open to the atheist to claim the exact opposite - that you can commit to God's existence if it is just a word, but understanding shows that God is impossible (perhaps because of contradictions). How to arbitrate?
Guanilo says a supremely fertile island must exist, just because we can conceive it [Anselm]
     Full Idea: Guanilo supposes that we imagine an island surpassing all lands in its fertility. We might then say that we cannot doubt that it truly exists is reality, because anyone can conceive it from a verbal description.
     From: Anselm (Proslogion [1090], Reply 3)
     A reaction: Guanilo was a very naughty monk, who must have had sleepless nights over this. One could further ask whether an island might have necessary existence. Anselm needs 'a being' to be a special category of thing.
Nonexistence is impossible for the greatest thinkable thing, which has no beginning or end [Anselm]
     Full Idea: If anyone does think of something a greater than which cannot be thought, then he thinks of something which cannot be thought of as nonexistent, ...for then it could be thought of as having a beginning and an end. And this is impossible.
     From: Anselm (Proslogion [1090], Reply 3)
     A reaction: A nice idea, but it has a flip side. If the atheist denies God's existence, then it follows that (because no beginning is possible for such a being) the existence of God is impossible. Anselm adds that contingent existents have parts (unlike God).
Possible existence is a perfection in the idea of a triangle [Descartes]
     Full Idea: Possible existence is a perfection in the idea of a triangle, just as necessary existence is a perfection in the idea of God.
     From: René Descartes (Reply to Fifth Objections [1641], 383)
Necessary existence is a property which is uniquely part of God's essence [Descartes]
     Full Idea: In the case of God necessary existence is in fact a property in the strictest sense of the term, since it applies to him alone and forms a part of his essence as it does of no other thing
     From: René Descartes (Reply to Fifth Objections [1641], 383)
One idea leads to another, but there must be an initial idea that contains the reality of all the others [Descartes]
     Full Idea: Although one idea can perhaps issue from another, nevertheless no infinite regress is permitted here; eventually some first idea must be reached whose cause is a sort of archetype that contains formally all the reality that is in the idea.
     From: René Descartes (Meditations [1641], §3.42)
The idea of God in my mind is like the mark a craftsman puts on his work [Descartes]
     Full Idea: In creating me, God has endowed me with the idea of God, so that it would be like the mark of the craftsman impressed upon his work, although this mark need not be something distinct from the work itself.
     From: René Descartes (Meditations [1641], §3.51)
Existence and God's essence are inseparable, like a valley and a mountain, or a triangle and its properties [Descartes]
     Full Idea: Existence can no more be separated from God's essence than its having three angles equal to two right angles can be separated from the essence of a triangle, or than the idea of a valley can be separated from the idea of a mountain.
     From: René Descartes (Meditations [1641], §5.66)
I cannot think of a supremely perfect being without the supreme perfection of existence [Descartes]
     Full Idea: I am not free to think of God without existence, that is, a supremely perfect being without a supreme perfection.
     From: René Descartes (Meditations [1641], §5.67)
Some things makes me conceive of it as a thing whose essence requires its existence [Spinoza]
     Full Idea: By cause of itself, I understand that, whose essence involves existence; or that, whose nature cannot be conceived unless existing.
     From: Baruch de Spinoza (The Ethics [1675], I Def 1)
     A reaction: Obviously he has God in mind, but might this apply to abstract existence. Can I conceive of the number seven, while also conceiving that there is no such number? Compare Pegasus.
Spinoza says a substance of infinite attributes cannot fail to exist [Spinoza, by Lord]
     Full Idea: Spinoza does not argue from the concept of God to his existence; he argues that a substance of infinite attributes cannot not exist.
     From: report of Baruch de Spinoza (The Ethics [1675], I Def 6) by Beth Lord - Spinoza's Ethics 1 P11
     A reaction: Lord is explicit that this is NOT the argument used by Anselm and Descartes. I'm not clear why there has to be a substance of infinite attributes, but presumably that is explained somewhere.
Denial of God is denial that his essence involves existence, which is absurd [Spinoza]
     Full Idea: God, or substance consisting of infinite attributes, each one of which expresses eternal and infinite essence, necessarily exists. If this be denied, conceive that God does not exist. But then his essence does not involve existence, which is absurd.
     From: Baruch de Spinoza (The Ethics [1675], I Pr 11)
     A reaction: Not a very powerful version of the ontological argument. Gaunilo offered an island which has existence as part of its essence, which would pass the same test.
God is being as such, and you cannot conceive of the non-existence of being [Spinoza, by Lord]
     Full Idea: Spinoza argues that you cannot conceive the non-existence of God because you cannot conceive the non-existence of being. God, or a substance of infinite attributes, is being as such.
     From: report of Baruch de Spinoza (The Ethics [1675], I Pr 11) by Beth Lord - Spinoza's Ethics I P11
     A reaction: I'm not clear why I cannot conceive of nothing whatever existing. I can conceive of my fridge being empty, so conceiving non-being is not off limits. Not that inconceivability is an infallible guide to impossibility…
God must necessarily exist, because no reason can be given for his non-existence [Spinoza]
     Full Idea: A thing necessarily exists if no cause or reason be granted which prevents its existence. No cause can be given which prevents the existence of God, or which destroys his existence, so we must conclude that he necessarily exists.
     From: Baruch de Spinoza (The Ethics [1675], I Pr 11)
     A reaction: I can't think of any reason why there shouldn't be a giant rat which fills a large proportion of the universe. Indeed, it may be the missing 'dark matter'. So presumably it has necessary existence. Proving non-existence is obviously tricky.
The concept of an existing thing must contain more than the concept of a non-existing thing [Leibniz]
     Full Idea: There must be more in the concept of a thing which exists than in that of one which does not exist.
     From: Gottfried Leibniz (On the Principles of Indiscernibles [1696], p.134)
God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz]
     Full Idea: God alone (or the Necessary Being) has the privilege that He must exist if He is possible.
     From: Gottfried Leibniz (Monadology [1716], §45)
God is the first reason of things; our experiences are contingent, and contain no necessity [Leibniz]
     Full Idea: God is the first reason of things: all that we see and experience is contingent and nothing in them renders their existence necessary.
     From: Gottfried Leibniz (The Theodicy [1710], p.127), quoted by Franklin Perkins - Leibniz: Guide for the Perplexed 2.II
     A reaction: Perkins presents this as the first step in one of Leibniz's arguments for God. They all seem to be variants of the ontological argument. [His 'Theodicy' is the Huggard translation, 1985] This resembles Aquinas's Third Way.
God's existence is either necessary or impossible [Leibniz, by Scruton]
     Full Idea: Leibniz said that the ontological argument does not prove God's existence, but only the God's existence is either necessary or impossible.
     From: report of Gottfried Leibniz (works [1690]) by Roger Scruton - Modern Philosophy:introduction and survey 13.5
We establish unification of the Ideal by the ontological proof, deriving being from abstraction of thinking [Hegel]
     Full Idea: One unification through which the Ideal is to be established starts from the abstraction of thinking and goes on to the determination for which being alone remains; this is the ontological proof that God is there.
     From: Georg W.F.Hegel (Logic (Encyclopedia I) [1817], §51)
     A reaction: It should come as no surprise that a philosopher who so passionately endorses pure thinking, in opposition to empiricism, should end up endorsing the highly implausible ontological argument for God's existence. Jacquette gets existence from reason.
Hegel's entire philosophy is nothing but a monstrous amplification of the ontological proof [Schopenhauer on Hegel]
     Full Idea: Hegel's entire philosophy is nothing but a monstrous amplification of the ontological proof.
     From: comment on Georg W.F.Hegel (works [1812]) by Arthur Schopenhauer - Abstract of 'The Fourfold Root' Ch.II
     A reaction: All massive a priori metaphysics is summed up in this argument, which is right at the core of philosophy.
God's existence cannot be separated from essence and concept, which can only be thought as existing [Feuerbach]
     Full Idea: God is the being in which existence cannot be separated from essence and concept and which cannot be thought except as existing.
     From: Ludwig Feuerbach (Principles of Philosophy of the Future [1843], §18)
     A reaction: This shows how faith in God endured through the Idealist movement by means of the Ontological Argument, despite the criticisms of Hume and Kant. To me this now appears as an odd abberation in the history of human thought.
Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA]
     Full Idea: Frege put forward an ontological argument for the existence of numbers.
     From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4
God's existence is either necessary or impossible, and no one has shown that the concept of God is contradictory [Malcolm]
     Full Idea: God's existence is either impossible or necessary. It can be the former only if the concept of such a being is self-contradictory or in some way logically absurd. Assuming that this is not so, it follows that He necessarily exists.
     From: Norman Malcolm (Anselm's Argument [1959], §2)
     A reaction: The concept of God suggests paradoxes of omniscience, omnipotence and free will, so self-contradiction seems possible. How should we respond if the argument suggests God is necessary, but evidence suggests God is highly unlikely?
A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B]
     Full Idea: Plantinga reformulates Malcolm's argument thus: 1) There is a possible world in which there exists a being with maximal greatness, 2) A being has maximal greatness in a world only if it exists in every world.
     From: report of Alvin Plantinga (The Nature of Necessity [1974], p.213) by Brian Davies - Introduction to the Philosophy of Religion 4 'b Descartes'
     A reaction: This is only Plantinga's starting point, which says nothing about the nature of God, but only that this 'great' being exists in all worlds. I would like to know why it is a 'being' rather than a 'thing'. Malcolm says if it is possible it is necessary.
In the ontological argument a full understanding of the concept of God implies a contradiction in 'There is no God' [Benardete,JA]
     Full Idea: In the ontological argument a deep enough understanding of the very concept of God allows one to derive by logic a contradiction from the statement 'There is no God'.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 4)
It seems that 'exists' could sometimes be a predicate [Crane]
     Full Idea: The view that 'exists' is never a predicate is not plausible.
     From: Tim Crane (Elements of Mind [2001], 1.7)
     A reaction: He doesn't enlarge. Russell says 'exists' is a quantifier. 'Your very existence offends me - I hope it is confiscated'.
The ontological proof of a necessary God ensures a reality external to the mind [Meillassoux]
     Full Idea: Since Descartes conceives of God as existing necessarily, whether I exist to think of him or not, Descartes assures me of a possible access to an absolute reality - a Great Outdoors that is not a correlate of my thought.
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 2)
     A reaction: His point is that the ontological argument should be seen as part of the scientific revolution, and not an anomaly within it. Interesting.