Category Archives: Arguments for God

The Dilemma Once More

P1. If it is possible that necessarily there is an omniscient, omnipotent, omnibenevolent being, necessarily there is an omniscient, omnipotent, omnibenevolent being. (From axiom 5 of S5)[1]

P2. Either the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being” entails the proposition “there is gratuitous evil and suffering” or it is not the case the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being” entails the proposition “there is gratuitous evil and suffering”. (From the Law of the Excluded Middle)[2]

P3. For all propositions p if there is some proposition q such that it is not the case that p entails q, then possibly p. (Contraposition of the Principle of Explosion)[3][4]

C1. If it is not the case the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being” entails the proposition “there is gratuitous evil and suffering”, it is possible that necessarily there is an omniscient, omnipotent, omnibenevolent being. [From P3][5]

C2. If it is not the case the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being” entails the proposition “there is gratuitous evil and suffering”, necessarily there is an omniscient, omnipotent, omnibenevolent being. [From P1 and C1, Hypothetical Syllogism][6]

P4. If the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being” entails the proposition “there is gratuitous evil and suffering”, gratuitous evil and suffering is not counter-evidence to the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being”.[7]

C3. Either necessarily there is an omniscient, omnipotent, omnibenevolent being, or gratuitous evil and suffering is not counter-evidence to the proposition “necessarily there is an omniscient, omnipotent, omnibenevolent being.” (From P2,C2,P4 Constructive Dilemma)[8][9]

[1] The axiom in S5 can be found here: https://en.m.wikipedia.org/wiki/S5_(modal_logic). So, given the axiom 5 of S5: ♢p → ☐♢p

Here is the proof for P1:

Let

Kx ≝ x is omniscient
Px ≝ x is omnipotent
Bx ≝ x is omnibenevolent

1 ~ ☐(∃x)[(Kx ∧ Px) ∧ Bx] (Assump. CP)
2 ~ ☐~~(∃x)[(Kx ∧ Px) ∧ Bx] (1 DN)
3 ♢~(∃x)[(Kx ∧ Px) ∧ Bx] (2 ME)
4 ☐♢~(∃x)[(Kx ∧ Px) ∧ Bx] (3 Axiom 5)
5 ☐~~♢~(∃x)[(Kx ∧ Px) ∧ Bx] (4 DN)
6 ☐~☐(∃x)[(Kx ∧ Px) ∧ Bx] (5 ME)
7 ~☐(∃x)[(Kx ∧ Px) ∧ Bx] → ☐~☐(∃x)[(Kx ∧ Px) ∧ Bx] (CP 1-6)
8 ~☐~☐(∃x)[(Kx ∧ Px) ∧ Bx] → ~~☐(∃x)[(Kx ∧ Px) ∧ Bx] (7 Contra)
9 ~☐~☐(∃x)[(Kx ∧ Px) ∧ Bx] → ☐(∃x)[(Kx ∧ Px) ∧ Bx] (8 DN)
10 ♢☐(∃x)[(Kx ∧ Px) ∧ Bx] → ☐(∃x)[(Kx ∧ Px) ∧ Bx] (9 ME)

[2] The Law of the Excluded Middle can be found here: https://en.m.wikipedia.org/wiki/Law_of_excluded_middle

[3] Contraposition can be found here: https://en.m.wikipedia.org/wiki/Contraposition

[4] The Principle of Explosion can be found here: https://en.m.wikipedia.org/wiki/Principle_of_explosion

Here is the proof that P3 is the contrapositive of the Principle of Explosion, which we will state as follows: (∀p)[~♢p → (∀q)(p ⊨ q)], for all propositions p, if p is impossible, then for all propositions q1, p entails q.

1 (∀p)[~♢p → (∀q)(p ⊨ q)] (Principle of Explosion)
2 ~♢φ → (∀q)(φ ⊨ q) (1 UI)
3 ~(∀q)(φ ⊨ q) → ~~♢φ (2 Contra)
4 (∃q)~(φ ⊨ q) → ~~♢φ (3 QN)
5 (∃q)~(φ ⊨ q) → ♢φ (4 DN)
6 (∀p)(∃q)~(p ⊨ q) → ♢p] (5 UG)

[5] Here is the proof that C1 follows from P3:

Let

G ≝ ☐(∃x)[(Kx ∧ Px) ∧ Bx]
E ≝ ‘there is gratuitous evil and suffering’

1 (∀p)(∃q)~(p ⊨ q) → ♢p] (P3)
2 ~(G ⊨ E) (Astump. CP)
3 (∃q)~(G ⊨ q) → ♢G (1 UI)
4 (∃q)~(G ⊨ q) (2 EG)
5 ♢G (3,4 MP)
6 ~(G ⊨ E) → ♢G (205 CP)
7 ~(G ⊨ E) → ♢☐(∃x)[(Kx ∧ Px) ∧ Bx] (6 def. of ‘G’)

Thus Line 7 (C1) follows from Line 1 (P3), QED.

[6] Hypothetical Syllogism can be found here: https://en.m.wikipedia.org/wiki/Hypothetical_syllogism

[7] This premise is defended on given a Bayesian interpretation of counter-evidence:
(∀p)(∀q){[P(p|q)<P(p)] ⊃ Cqp} (read as: for all proposition p and q, if the probability of q given p is less than the probability of q unconditioned, then q is counter-evidence for p).

If we assume G ⊨ E, then by Logical Consequence P(E|G) = 1, but if E is counter-evidence to G, then it must be the case that P(G|E) < P(G). But both of these statements about probabilities cannot be true.

According to Bayes’ Theorem:

P(E|G) = [P(E)/P(G)] x P(G|E)

So given P(E|G) = 1

We can infer:

P(G)/P(G|E) = P(E)

But given 0 ≤ P(E) ≤ 1, it is not possible for P(G)/P(G|E) = P(E) and P(G|E) < P(G), as whenever the denominator is less than the numerator, the result is greater than 1.

Hence, we must reject the assumption that [P(E|G) = 1] ∧ [P(G|E) < P(G)]. This provides us with the following defense of P4:

1 ~{[P(E|G) = 1] ∧ [P(G|E) < P(G)]} (Result from the proof by contradiction above)
2 ~[P(E|G) = 1] ∨ ~[P(G|E) < P(G)] (1 DeM)
3 [P(E|G) = 1] → ~[P(G|E) < P(G)] (2 Impl)
4 [G ⊨ E] → [P(E|G) = 1] (by Logical Consequence)
5 [G ⊨ E] → ~[P(G|E) < P(G)] (3,4 HS)

And line 5 is just what is meant by P4.

[8] Constructive Dilemma can be found here: https://en.m.wikipedia.org/wiki/Constructive_dilemma

[9] The proof of the entire argument is as follows:

1 ♢☐(∃x)[(Kx ∧ Px) ∧ Bx] → ☐(∃x)[(Kx ∧ Px) ∧ Bx] (Premise)
2 (G ⊨ E) ∨ ~(G ⊨ E) (Premise)
3 (∀p)(∃q)~(p ⊨ q) → ♢p] (Premise)
4 [G ⊨ E] → ~[P(G|E) < P(G)] (Premise)
5 ~(G ⊨ E) (Assump CP)
6 (∃q)~(G ⊨ q) → ♢G (3 UI)
7 (∃q)~(G ⊨ q) (5 EG)
8 ♢G (6,7 MP)
9 ~(G ⊨ E) → ♢G (5-8 CP)
10 ~(G ⊨ E) → ♢☐(∃x)[(Kx ∧ Px) ∧ Bx] (9 definition of ‘G’)
11 ~(G ⊨ E) → ☐(∃x)[(Kx ∧ Px) ∧ Bx] (1,10 HS)
12 ☐(∃x)[(Kx ∧ Px) ∧ Bx] ∨ ~[P(G|E) < P(G)] (2,4,11 CD)

The Cartesian Ontological Argument

D1. God is the x such that for all attributes Y, if Y is a perfection, Y belongs to x.
P1. Necessarily existing is a perfection
P2. For all x, if it is not the case that x exists, possibly it is not the case that x exists.
C. God exists.

Let,

E!x ≝ x exists
P(Y)≝ Y is a perfection

g ≝ (ɿx)(∀Y)(P(Y)⊃ Yx)

1. P(☐E!) (premise)
2. (∀x)[~E!x ⊃ ♢~E!x] (premise)
3. ~E!g (IP)
4. (∃x){[(∀Y)(P(Y) ⊃ Yx) ∧ (∀y)[(∀Y)(P(Y) ⊃ Yy) ⊃ (y = x)]] ∧ ~E!x} (3 theory of descriptions)
5. [(∀Y)(P(Y)⊃ Yμ) ∧ (∀y)[(∀Y)(P(Y)⊃ Yy) ⊃ (y = μ)]] ∧ ~E!μ (4 EI)
6. ~E!μ ⊃ ♢~E!μ (2 UI)
7. ~E!μ (5 Simp)
8. ♢~E!μ (6,7 MP)
9. ~☐E!μ (8 MN)
10. (∀Y)(P(Y) ⊃ Yμ) ∧ (∀y)[(∀Y)(P(Y) ⊃ Yy) ⊃ (y = μ)] (5 Simp)
11. (∀Y)(P(Y) ⊃ Yμ) (10 Simp)
12. P(☐E!) ⊃ ☐E!μ (11 UI)
13. ☐E!μ (1,12 MP)
14. ☐E!μ ∧ ~☐E!μ (9,13 Conj)
15. E!g (3-14 IP)

In the definition, I am just setting down what I take g to mean… all I mean by g is that it is the something that, for any attribute, if that attribute is a perfection, then it has that perfect attribute. So God is the being that has all perfections (as I define God).  You might say that there is no definite description of a perfect being, i.e. there could be multiple perfect beings.  However, I would argue that there cannot be two omnipotent beings, since a simple reductio would rule out this possibility.  That is, if there are two omnipotent beings, then any power the one has would be limited by whether or not the other being wills to bring about a contradictory state of affairs.  Since they cannot both bring about contradictory states of affairs, they cannot both be omnipotent.  So there cannot be two beings that have all perfections, given that omnipotence is a perfection that implies uniqueness.  Descartes says that his idea of a supremely perfect being is clear and distinct, which in turn justifies is appeal to the definition (even incoherent stipulated definitions can be rejected).  Leibniz famously demanded a more rigorous proof that the definition is coherent, and sought to prove all perfections cohere.  I think it is a mistake to then interpret Leibniz’s ontological argument in terms of using God’s possibility to infer his necessary existence via S5 in modal logic.  Rather, I think he is doing what Descartes is doing, namely trying to show that the definition of God is self-consistent.

Leibniz’s proof for the self-consistency of the concept of a supremely perfect being is through an analysis of a perfection, which he says is simple, positive, and unlimited.  If any two perfections are inconsistent, one of them would have to be negative, or contain a part that is negative.  But a perfection cannot, by definition, be negative, or contain parts.  So any two perfections can cohere.  Leibniz reasons that if this is so, then all perfections cohere, and so a being that has all perfections is coherent.

P1 say necessary existence is a perfection because a perfection is any attribute that is of a simple kind that is positively complete. Omniscience is a perfection of because it is an attribute of the simple kind (knowledge) that is positively complete. Whatever has omniscience lacks nothing with respect to knowledge. So we recognize omniscience as a kind of perfection regarding knowledge. So necessary existence is an attribute regarding the simple kind “modes of existence” that is positively complete. Whatever exists necessarily exists in all possible situations, so it does not lack positive existence given any other state of affairs.

P2 is axiomatically true given that if something is necessarily true (system M of modal logic), then it is true. Assume P2 is false: ~(~E!x ⊃ ♢~E!x), this is logically equivalent to saying ~E!x ∧ ☐E!x (x does not exist and necessarily x exists). Given system M, ☐E!x implies E!x, so P2 cannot be false. In order to object to P2, you would have to say that some necessary truths are not actually true, which I think is a rather absurd position to take.

Ontological Argument Improved Again

Let, 

E!x ≝ x exists in re
Ix ≝ x exists in intellectu
Gx ≝ x admits of more greatness
G<Px,~Px> ≝ x having P is greater than x not having P
Gxy ≝ x is greater than y
©… ≝ it is conceivable that…

g ≝ (ɿx)(~©Gx ∧ ~©(∃y)Gyx)

1. (∀x)[(Ix ∧ ~E!x) ⊃ ©E!x] (premise)
2. (∀x)G<E!x, (~E!x ∧ Ix)> (premise)
3. (∀x){[[~E!x ∧ G<E!x, (~E!x ∧ Ix)>] ∧ ©E!x] ⊃ ©Gx}(premise)
4. Ig (premise)
5. ~E!g (IP)
6. Ig ∧ ~E!g (4,5 Conj)
7. (Ig ∧ ~E!g) ⊃ ©E!g (1 UI)
8. ©E!g (6,7 MP)
9. G<E!g, (~E!g ∧ Ig)> (2 UI)
10. ~E!g ∧ G<E!g, (~E!g ∧ Ig)> (8,9 Conj)
11. [~E!g ∧ G<E!g, (~E!g ∧ Ig)>] ∧ ©E!g (5,10 Conj)
12. [[~E!g ∧ G<E!g, (~E!g ∧ Ig)>] ∧ ©E!g] ⊃ ©Gg (3 UI)
13. ©Gg (11,12 MP)
14. (∃x){{[~©Gx ∧ ~©(∃y)Gyx] ∧ (∀z){[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = x)]}} ∧ ©Gx} (13 theory of descriptions)
15. {[~©Gμ ∧ ~©(∃y)Gyμ] ∧ (∀z){[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = μ)]}} ∧ ©Gμ (14 EI)
16. {(∀z){[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = μ)]} ∧ [~©Gμ ∧ ~©(∃y)Gyμ]} ∧ ©Gμ (15 Comm)
17. {(∀z){[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = μ)]} ∧ [~©(∃y)Gyμ ∧ ~©Gμ]} ∧ ©Gμ (16 Comm)
18. {(∀z){[[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = μ)]} ∧ ~©(∃y)Gyμ] ∧ ~©Gμ} ∧ ©Gμ (17 Assoc)
19. (∀z){[[~©Gz ∧ ~©(∃y)Gyz] ⊃ (z = μ)]} ∧ ~©(∃y)Gyμ] ∧ {~©Gμ ∧ ©Gμ} (18 Assoc)
20. ~©Gμ ∧ ©Gμ (19 Simp
21. E!g (5-20 IP)

A Possible Interpretation of Proslogion 2

One of my struggles in trying to understand Proslogion 2 is how Anselm gets to the actual existence of God rather than what he arrives at in Proslogion 3, namely the inconceivability of God’s non-existence.  I’ve also struggled with the notion of using a two-place predicate like “greater than”, since Anselm tells us that if God exists in the mind alone, a greater could be conceived, i.e. to think of God as existing in reality.  Here, we are saying that we could conceive of one and the same concept in greater ways rather than conducting a comparison of the God concept to other items in the world.  The following interpretation approximates what Anselm seems to be arguing, and I would say that it is a sound argument for God’s existence.

D1. God is defined as that which cannot be conceived to admit of more greatness.
P1. For all x, if x exists in intelletu and not in re, then it can be conceived that x exists in intellectu and not in re.
P2. For all x, if it can be conceived that x exists in intellectu and not in re, then it can be conceived that x exists in intellectu and in re.
P3. For all x, if it can be conceived that x exists in intellectu and not in re and it can be conceived that x exists in intellectu and in re, then it is conceivable that x admits of more greatness.
P4. God exists in intellectu.
C. Therefore, God exists in re.

Let,

E!x ≝ x exists in re
Ix ≝ x exists in intellectu
Gx ≝ x admits of more greatness
©… ≝ it is conceivable that…

g ≝ (ɿx)~©Gx

1. (∀x)[(Ix ∧ ~E!x) ⊃ ©(Ix ∧~E!x)] (premise)
2. (∀x)[©(Ix ∧ ~E!x) ⊃ ©(Ix ∧ E!x)] (premise)
3. (∀x){[©(Ix ∧ ~E!x) ∧ ©(Ix ∧ E!x)] ⊃ ©Gx} (premise)
4. Ig (premise)
5. ~E!g (IP)
6. Ig ∧ ~E!g (4,5 Conj)
7. (Ig ∧ ~E!g) ⊃ ©(Ig ∧~E!g) (1 UI)
8. ©(Ig ∧~E!g) (6,7 MP)
9. ©(Ig ∧ ~E!g) ⊃ ©(Ig ∧ E!g) (2 UI)
10. ©(Ig ∧ E!g) (8,9 MP)
11. ©(Ig ∧~E!g) ∧ ©(Ig ∧ E!g) (8,10 Conj)
12. ©(Ig ∧ ~E!g) ∧ ©(Ig ∧ E!g)] ⊃ ©Gg (3 UI)
13. ©Gg (11,12 MP)
14. (∃x){{~©Gx ∧ (∀y)[~©Gy ⊃ (y = x)]} ∧ ©Gx} (13 theory of descriptions)
15. {~©Gμ ∧ (∀y)[~©Gy ⊃ (y = μ)]} ∧ ©Gμ (14 EI)
16. {(∀y)[~©Gy ⊃ (y = μ)] ∧ ~©Gμ} ∧ ©Gμ (15 Comm)
17. (∀y)[~©Gy ⊃ (y = μ)] ∧ {~©Gμ ∧ ©Gμ} (16 Assoc)
18. ~©Gμ ∧ ©Gμ (17 Simp)
19. E!g (5-18 IP)

QED

[Edit: My friend, Matt, thinks my argument may be susceptible to parody.  Here is my response]

Generally, I think parodies fail because such supposed objects, like islands of which none greater can be conceived, do not really exist in the intellect for the very same reason round squares are not abstract objects in the mind.  The phrase is nonesense, and so does not pick out any object of the understanding.

Islands just are the sorts of things that admit of degrees of greatness, so are other objects used in parody. For example, islands are present in a specified location that is surrounded by water, but it is unclear how big an island should be when considering its greatness.  It certainly cannot be omnipresent and be an island.  How many trees, island beauties, or sandy beaches ought there to be on the island which cannot be conceivably greater?  

My argument can motivate this response by proving that the greatest conceivable island is not an object that exists in the intellect.  This is because specifying that there is an island than which none greater can be conceived leads to the conclusion that God is an island, and that seems like a good reductio of the idea such a concept can be conceived.

So, if we grant the parody, I could prove that island can be predicated of God, or a being than which a greater cannot be conceived. But since islands are essentially contingent and admit of degrees of greatness, island cannot be a predicate of God, who is the being than which none greater can be conceived. So, we must reject the assumption that a greatest conceivable island exists in intellectu and we can base it on the somewhat reasonable premise that God is not an island. I would argue as follows:

Let,

Lx ≝ x is an island

i ≝ (ɿx)(~©Gx ∧ Lx)

20. ~Lg (premise)
21. (∃x){{~©Gx ∧ (∀y)[~©Gy ⊃ (y = x)]} ∧ E!x} (19 theory of descriptions)
22. Ii (IP)
23. (∃x){{(~©Gx ∧ Lx) ∧ (∀y)[(~©Gy ∧ Ly) ⊃ (y = x)]} ∧ Ix} (22 theory of descriptions)
24. {~©Gμ ∧ (∀y)[~©Gy ⊃ (y = μ)]} ∧ E!μ (21 EI)
25. {(~©Gν ∧ Lν) ∧ (∀y)[(~©Gy ∧ Ly) ⊃ (y = ν)]} ∧ Iν (23 ΕΙ)
26. ~©Gμ ∧ (∀y)[~©Gy ⊃ (y = μ)] (24 Simp)
27. (∀y)[~©Gy ⊃ (y = μ)] (26 Simp)
28. (~©Gν ∧ Lν) ∧ (∀y)[(~©Gy ∧ Ly) ⊃ (y = ν)] (25 Simp)
29. ~©Gν ∧ Lν (28 Simp)
30. ~©Gν (29 Simp)
31. ~©Gν ⊃ (ν = μ) (27 UI)
32. ν = μ (30,31 MP)
33. ~©Gμ ∧ Lμ (29,32 ID)
34. (~©Gμ ∧ Lμ) ∧ (∀y)[~©Gy ⊃ (y = μ)] (27,33 Conj)
35. ~©Gμ ∧ {Lμ ∧ (∀y)[~©Gy ⊃ (y = μ)]} (34 Assoc)
36. ~©Gμ ∧ {(∀y)[~©Gy ⊃ (y = μ)] ∧ Lμ} (35 Comm)
37. {~©Gμ ∧ {(∀y)[~©Gy ⊃ (y = μ)]} ∧ Lμ (36 Assoc)
38. (∃x){{~©Gx ∧ {(∀y)[~©Gy ⊃ (y = x)]} ∧ Lx} (37 EG)
39. Lg (38 theory of descriptions)
40. ~Lg ∧ Lg
41. ~Ii (22-40 IP)

So as long as you can provide the premise that God is not an island, not a pizza, etc. the proof works to show that such objects really are not in the intellect.

A Remix of Anselm’s Conceptual Ontological Argument

st-20anselm20weninger

D1. God is defined as the x such that there is not something, y, where y is conceivably greater than x.
P1. For all x, if x is conceivable, then there is something, y, such that either y is identical to x and y exists or there is something, z, such that z is identical to x, z does not exist, and y is conceivably greater than z.
P2. There is some x such that x is conceivable and it is not the case that there is some y such that y is conceivably greater than x.
P3. For all x and y, either x is conceivably greater than y or y is conceivably greater than x, or if it is not the case that either x is conceivably greater than y or that y is conceivably greater than x, there is some z such that z is the mereological sum of x and y, and either z is conceivably greater than x or z is conceivably greater than y.
C. God exists.1

E!x ≝ x exists
Cx ≝ x is conceivable
Gxy ≝ x is conceivably greater than y
σ<x,y> ≝ the mereological sum of x and y
g ≝ (ɿx)~(∃y)Gyx

1. (∀x){Cx ⊃ (∃y){[(y = x) ∧ E!y] ∨ (∃z)[(z = x) ∧ (~E!z ∧ Gyz)]}} (premise)
2. (∃x)(Cx ∧ ~(∃y)Gyx) (premise)
3. (∀x)(∀y){[Gxy ∨ Gyx] ∨ {~(Gxy ∨ Gyx) ⊃ (∃z)[(z = σ<x,y>) ∧ (Gzx ∨ Gzy)]}} (premise)
4. Cμ ∧ ~(∃y)Gyμ (2 EI)
5. ~(∃y)Gyμ (4 Simp)
6. (∃z)[~(∃z1)Gz1z ∧ ~(z = μ)] (IP)
7. ~(∃z1)Gz1ν ∧ ~(ν = μ) (6 EI)
8. (∀y){[Gνy ∨ Gyν] ∨ {~(Gνy ∨ Gyν) ⊃ (∃z)[(z = σ<ν,y>) ∧ (Gzν ∨ Gzy)]}} (3 UI)
9. [Gνμ ∨ Gμν] ∨ {~(Gνμ ∨ Gμν) ⊃ (∃z)[(z = σ<ν,μ>) ∧ (Gzν ∨ Gzμ)]} (8 UI)
10. (∀y)~Gyμ (5 QN)
11. ~Gνμ (10 UI)
12. ~(∃z1)Gz1ν (7 Simp)
13. (∀z1)~Gz1ν (12 QN)
14. ~Gμν (13 UI)
15. Gνμ ∨ [Gμν ∨ {~(Gνμ ∨ Gμν) ⊃ (∃z)[(z = σ<ν,μ>) ∧ (Gzν ∨ Gzμ)]}] (9 Assoc)
16. Gμν ∨ {~(Gνμ ∨ Gμν) ⊃ (∃z)[(z = σ<ν,μ>) ∧ (Gzν ∨ Gzμ)]} (11,15 DS)
17. ~(Gνμ ∨ Gμν) ⊃ (∃z)[(z = σ<ν,μ>) ∧ (Gzν ∨ Gzμ)] (14,16 DS)
18. ~Gνμ ∧ ~Gμν (11,14 Conj)
19. ~(Gνμ ∨ Gμν) (18 DeM)
20. (∃z)[(z = σ<ν,μ>) ∧ (Gzν ∨ Gzμ)] (17,19 MP)
21. (ζ = σ<ν,μ>) ∧ (Gζν ∨ Gζμ) (20 EI)
22. Gζν ∨ Gζμ (21 Simp)
23. ~Gζμ (10 UI)
24. Gζν (22,23 DS)
25. ~Gζν (13 UI)
26. Gζν ∧ ~Gζν (24,25 Conj)
24. ~(∃z)[~(∃z1)Gz1z ∧ ~(z = μ)] (6-23 IP)
25. (∀z)~[~(∃z1)Gz1z ∧ ~(z = μ)] (24 QN)
26. (∀z)[~~(∃z1)Gz1z ∨ ~~(z = μ)] (25 DeM)
27. (∀z)[~(∃z1)Gz1z ⊃ ~~(z = μ)] (26 Impl)
28. (∀z)[~(∃z1)Gz1z ⊃ (z = μ)] (27 DN)
29. {Cμ ∧ ~(∃y)Gyμ} ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = μ)] (4,28 Conj)
30. Cμ ∧ {~(∃y)Gyμ ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = μ)]} (29 Assoc)
31. {~(∃y)Gyμ ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = μ)]} ∧ Cμ (30 Comm)
32. (∃x){~(∃y)Gyx ∧ (∀z)[~(∃z1)Gz1z ⊃ (z =x)]} ∧ Cx} (31 EG)
33. Cg (32 theory of descriptions)
34. Cg ⊃ (∃y){[(y = g) ∧ E!y] ∨ (∃z)[(z = g) ∧ (~E!z ∧ Gyz)]} (1 UI)
35. (∃y){[(y = g) ∧ E!y] ∨ (∃z)[(z = g) ∧ (~E!z ∧ Gyz)]} (33,34 MP)
36. [(ξ = g) ∧ E!ξ] ∨ (∃z)[(z = g) ∧ (~E!z ∧ Gξz)] (35 EI)
37. (∃z)[(z = g) ∧ (~E!z ∧ Gξz)] (IP)
38. (ν = g) ∧ (~E!ν ∧ Gξν) (37 EI)
39. ~E!ν ∧ Gξν (38 Simp)
40. Gξν (39 Simp)
41. (ν = g) (38 Simp)
42. Gξg (40,41 ID)
43. (∃x){~(∃y)Gyx ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = x)]} ∧ Gξx} (42 theory of descriptions)
44. {~(∃y)Gyζ ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = ζ)]} ∧ Gξζ (43 EI)
45. ~(∃y)Gyζ ∧ (∀z)[~(∃z1)Gz1z ⊃ (z = ζ)](44 Simp)
46. ~(∃y)Gyζ (45 Simp)
47. (∀y)~Gyζ (46 QN)
48. ~Gξζ (47 UI)
49. Gξζ (44 Simp)
50. Gξζ ∧ ~Gξζ (48,49 Conj)
51. ~(∃z)[(z = g) ∧ (~E!z ∧ Gξz)] (37-50 IP)
52. (ξ = g) ∧ E!ξ (36,51 DS)
53. (ξ = g) (52 Simp)
54. E!ξ (52 Simp)
55. E!g (53,54 ID)

QED

1 Some aspects of this argument are influenced by Oppenheimer & Zalta (1991), i.e. the existential quantifier carries no existential import and is analogous to Anselm’s existence in intellectu whereas E! is a predicate that indicates existence in re. One weakness of Oppenheimer & Zalta’s argument is that it depends on a non-logical axiom regarding Gxy such that it is connected. In other words, either Gxy or Gyx or (x = y). This requires all individuals to stand in a greater than relationship. It is plausible, though, that two non-identical individuals could share equal greatness. I am able to derive the uniqueness of the being than which none greater can be conceived by appealing to the notion that the merelogical composite of two equally great individuals is at least greater than one of its proper parts, which I take to be a modest premise. The interesting thing about my formulation is the first premise, which distinguishes in intellectu from in re existence, and captures Anselm’s claim that a greater could be conceived than a being that exists in the understanding alone without begging the question that this greater thing actually exists—it is merely conceptually greater.  See P.E Oppenheimer & E.N. Zalta. (1991). “On the Logic of the Ontological Argument.” In Philosophical Perspectives. Vol. 5. 509-529.

A Formal Version of the Third Way

I believe by using mereological sums, I avoid the charge of the quantifier shift fallacy.

D1: God is the x such there is not some y by which x receives the necessity it has, and x is a member of the essentially ordered causal series by which things receive their necessity .
P1. For all x, if it is possible that x does not exist, then there is a time at which x does not exist.
P2. If there is a time at which the mereological sum of everything does not exist, then there does not exist now the mereological sum of everything.
P3. If there exists now some x, then there exists now the mereological sum of everything.
P4. I exist now.
P5. If necessarily there exists the mereological sum of everything, then there is some x that necessarily exists, and x is a part of the mereological sum of everything.
P6. If there is some x that necessarily exists, then if for all x, x necessarily exists, then there is some y such that x receives the necessity it has from y, only if there is an essentially ordered causal series by which things receive their necessity and it does not regress finitely.
P7. For all z it is not the case that there is an x, such that both x is a member of the essentially ordered causal series by which things receive z and it is not the case that z regresses finitely.
P8. For all x, if x necessarily exists, then x is a member of the essentially ordered causal series by which things receive their necessity.
P9. For all x, if there is not some y by which  x receives the necessity it has, and x is a member of the essentially ordered causal series by which things receive their necessity, then for all z, there is not some y by which z receives the necessity it has, and z is a member of the essentially ordered series by which things receive their necessity, and z is identical to x.
C1. God necessarily exists.

Note: D1 tells us that God does not receive his necessity from any other cause, but, being a part of the causal series by which things receive their necessity, is the cause of necessity in other things.

Let:
E!x ≝ x exists
E!t ≝ x exists at time t
Fx ≝ x regresses finitely
Oxy ≝ x is a member of essentially ordered causal series y
Rxy ≝ x receives the necessity it has from y
σ<x,P> ≝ the mereological sum of all x that P.
σ<e,E!> ≝ (∀x)[E!x ⊃ (x ≤ e)] & (∀y)[(y ≤ e) ⊃ (∃z)(E!z & (y ⊗ z)]1
e ≝ everything
g ≝ (ɿx)[~(∃y)Rxy & Oxl]
i ≝ I (the person who is me)
l ≝ the causal series by which things receive their necessity
n ≝ now

1. (∀x)[♢~E!x ⊃ (∃t)~E!tx] (premise)
2. (∃t)~E!tσ<e,E!> ⊃ ~E!nσ<e,E!> (premise)
3. (∃x)E!nx ⊃ E!nσ<e,E!>(premise)
4. E!ni (premise)
5. ☐E!σ<e,E!> ⊃ (∃x)[☐E!x &(x ≤ e)] (premise)
6. (∃x)☐E!x ⊃ {(∀x)[☐E!x ⊃ (∃y)Rxy] ⊃ (∃x)[Oxl & ~Fl]} (premise)
7. (∀z)~(∃x)[Oxz & ~Fz] (premise)
8. (∀x)[☐E!x ⊃ Oxl] (premise)
9. (∀x){[~(∃y)Rxy & (Oxl & Fl)] ⊃ (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = x)]} (premise)
10. ♢~E!σ<e,E!> (IP)
11. ♢~E!σ<e,E!> ⊃ (∃t)~E!tσ<e,E!> (1 UI)
12. (∃t)~E!tσ<e,E!> (10,11 MP)
13. ~E!nσ<e,E!> (2,12 MP)
14. (∃x)E!nx (4 EG)
15. E!nσ<e,E!> (3,14 MP)
16. E!nσ<e,E!> & ~E!nσ<e,E!> (13,15 Conj)
17. ~♢~E!σ<e,E!> (10-16 IP)
18. ☐E!σ<e,E!> (17 ME)
19. (∃x)[☐E!x &(x ≤ e)] (5,18 MP)
20. ☐E!μ & (μ ≤ e) (19 EI)
21. ☐E!μ (20 Simp)
22. (∃x)☐E!x (21 EG)
23. (∀x)[☐E!x ⊃ (∃y)Rxy] ⊃ (∃x)[Oxl & ~Fl] (6,22 MP)
24. ~(∃x)(Oxl & ~Fl)] (7 UI)
25. ~(∀x)[☐E!x ⊃ (∃y)Rxy] (23,24 MT
26. (∃x)~[☐E!x ⊃ (∃y)Rxy] (25 QN)
27. (∃x)~[~☐E!x ∨ (∃y)Rxy] (26 Impl)
28. (∃x)[~~☐E!x & ~(∃y)Rxy] (27 DeM)
29. ~~☐E!ν & ~(∃y)Rνy (28 EI)
30. ☐E!ν & ~(∃y)Rνy (29 DN)
31. ☐E!ν (30 Simp)
32. ☐E!ν ⊃ Oνl (8 UI)
33. Oνl (31,32 MP)
34. ~(∃x)[Oxl & ~Fl] (7 UI)
35. (∀x)~[Oxl & ~Fl] (34 QN)
36. ~[Oνl & ~Fl] (35 UI)
37. ~Oνl ∨ ~~Fl (36 DeM)
38. ~~Oνl (33 DN)
39. ~~Fl (37,38 DS)
40. Fl (39 DN)
41. ~(∃y)Rνy (30 Simp)
42. Oνl & Fl (33,40 Conj)
43. ~(∃y)Rνy (Oνl & Fl) (41,42 Conj)
44. [~(∃y)Rνy & (Oνl & Fl)] ⊃ (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = ν)] (9 UI)
45. (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = ν)] (43,44 MP)
46. ~(∃y)Rνy & Oνl (33,41 Conj)
47. [~(∃y)Rνy & Oνl] & (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = ν)] (45,46 Conj)
48. [~(∃y)Rνy & Oνl] & (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = ν)] & ☐E!ν (31,47 Conj)
49. (∃x){[~(∃y)Rxy & Oxl] & (∀z)[(~(∃y)Rzy & Ozl) ⊃ (z = x)] & ☐E!x} (48 EG)
50. ☐E!g (49 Theory of Descriptions)

QED

1Formulation of definition for everything based influenced by Filip, H. (n.d.) “Mereology”. Online: https://user.phil-fak.uni-duesseldorf.de/~filip/Mereology.pdf

An Argument based on Maydole’s Interpretation of Proslogion 2

Robert Maydole uses definite descriptions and Russell’s theory of descriptions to explicate Anselm’s first ontological argument in Proslogion 2.  I like the idea of using definite descriptions in the argument, and broadly agree with Maydole that Anselm intends to treat “that than which none greater can be conceived” as a definite description.  I do have some issues with Maydole’s formulation, however.  1) I think of Anselm’s argument as a reductio, but that isn’t how Maydole formulates it, 2) there are extra premises in Maydole’s formulation that are ultimately unnecessary, in my opinion, e.g. his seventh premise below 3) there is a typological error’s in Maydole’s argument, which is a minor quibble, but this seems to be a common problem with Maydole’s arguments in the Blackwell Companion to Natural Theology. It doesn’t appear that the editors proofed his arguments very well, to be honest. This is not to say that Maydole’s arguments are not ingenuiously formulated.

Maydole’s argument is formulated as follows:

Ux ≝ x is understood
Sy ≝ the concept of y exists-in-the-understanding
Ex ≝ x exists-in-reality
Gxy ≝ x is greater than y
Fxy ≝ x refers to y
Dx ≝ x is a definite description
d ≝ the definite description “(ɿx) ~©(∃y)Gyx”
g ≝ (ɿx)~©(∃y)Gyx
P(Y) ≝ Y is a great-making property
©… ≝ it is conceivable that…

Here then is our logical reconstruction of Anselm’s ontological argument:

A1 The defi nite description “that than which it is not conceivable for something to be greater” is understood. (Premise)

A2 “That than which it is not conceivable for something to be greater” refers to that than which it is not conceivable for something to be greater. (Premise)

A3 The concept of whatever a defi nite description that is understood refers to has existence-in-the-understanding. (Premise)

A4 It is conceivable that something is greater than anything that lacks a great-making property that it conceivably has. (Premise)

A5 Existence-in-reality is a great making property. (Premise)

A6 Anything the concept of which has existence-in-the-understanding conceivably has existence-in-reality. (Premise)

A7 It is not conceivable that something is greater than that than which it is not conceivable for something to be greater. (Premise)

Therefore,

A8 That than which it is not conceivable for something to be greater exists-in-reality.

The following deduction proves that this argument is valid:

Deduction

1. Dd & Ud pr
2. Fdg pr
3. (x)(y)((Dx & Fxy & Ux) ⊃ Sy) pr
4. (x1)(Y)[(P(Y) & ~Yx1 & ©Yx1) ⊃ ©(∃x2)Gx2x1] pr
5. P(E) pr
6. (x)(Sx ⊃ ©Ex) pr
7. ~©(∃y)Gyg pr
8. Fdg & ~©(∃y)Gyg 2, 7 Conj
9. (∃x)[~©(∃y)Gyx & (z)(~©(∃y)Gyx ⊃ z=x) & (Fdx & ~©(∃y)Gyx)] 8, theory of descriptions1
10. ~©(∃y)Gyν & (z)(~©(∃y)Gyz ⊃ z=ν) & (Fdν & ~©(∃y)Gyν) 9, EI
11. ~©(∃y)Gyν 10, Simp
12. Fdν 10, Simp
13. (P(E) & ~Eν & ©Eν) ⊃ ©(∃x2)Gx2ν 4 UI
14. (Dd & Fdν & Ud) ⊃ Sν 3 UI
15. (Dd & Fdν & Ud) 1, 12, Simp, Conj
16. Sν 14, 15 MP
17. Sν ⊃ ©Eν 6, UI
18. ©Eν 16, 17 MP
19. ~(P(E) & ~Eν & ©Eν) 13, 11 MT
20. ~((P(E) & ©Eν) & ~Eν) 19 Com, Assoc
21. ~(P(E) & ©Eν) ∨ ~~Eν) 20, DeM
22. P(E) & ©Eν 5, 18 Conj
23. Eν 21, 22, DS, DN
24. ~©(∃y)Gyν & (z)(~©(∃y)Gyx) ⊃ z=ν) 10 Simp
25. ~©(∃y)Gyν & (z)(~©(∃y)Gyx) ⊃ z=ν) & Eν 23, 24 Conj
26. (∃x)[~©(∃y)Gyx & (z)(~©(∃y)Gyx) ⊃ z=x) & Ex] 25 EG
27. Eg 26, theory of descriptions
(Maydole 2012, 555-557).

My version is adapted from Maydole and runs this way:

P1. Possibly, God, the x such that there is not some y such that y conceivably has greater capacities, exists in the understanding.

P2. For all x, if possibly x exists in the understanding, it is conceivable that x exists in reality.

P3. For all x, if it is not the case that x exists in reality, and x can exist in the understanding such that it is conceivable that x exists in reality, then there is some y such that y is the proposition “x exists in reality” and there is some z such that y refers to z, z can exist in the understanding and z conceivably has greater capacities than x.

C1. The x such that there is not some y such that y conceivably has greater capacities than x, i.e. God, exists in reality.

The formal deduction is as follows, let:

Cx ≝ it is conceivable that x exists in reality
Ix ≝ x exists in intellectu
Rx ≝ x exists in re
Fxy ≝ x refers to y
Gxy ≝ x conceivably has greater capacities than y
g ≝ (ɿx)~(∃y)Gyx

1. ♢Ig (premise)
2. (∀x)[♢Ix ⊃ Cx] (premise)
3. (∀x){[~Rx & (♢Ix &Cx)] ⊃ (∃y)[(y = ⌜Rx⌝) & (∃z)((Fyz &♢Iz) & Gzx)]} (premise)
4.♢Ig ⊃ Cg(2 UI)
5.♢Ig ⊃ (♢Ig & Cg) (4 Exp)
6.♢Ig & Cg (1,5 MP)
7. ~Rg (IP)
8. ~Rg & (♢Ig & Cg) (6,7 Conj)
9. [~Rg & (♢Ig & Cg)] ⊃ (∃y)[(y = ⌜Rg⌝) & (∃z)((Fyz & ♢Iz) & Gzg)](3 UI)
10. (∃y)[(y = ⌜Rg⌝) & (∃z)((Fyz & ♢Iz) &Gzg)] (8,9 MP)
11. (μ = ⌜Rg⌝) & (∃z)((Fμz & ♢Iz) & Gzg) (10 EI)
12. (Fμν &♢Iν) & Gνg (11 EI)
13. Gνg (12 Simp)
14. (∃y)Gyg (13 EG)
15. (∃x){[~(∃y)Gyx & (∀z)(~(∃y)Gyz ⊃ (z = x))] & (∃y)Gyx} (14 theory of descriptions)
16. [~(∃y)Gyμ & (∀z)(~(∃y)Gyz ⊃ (z =μ))] & (∃y)Gyμ (15 EI)
17. ~(∃y)Gyμ & (∀z)(~(∃y)Gyz ⊃ (z =μ)) (16 Simp)
18. ~(∃y)Gyμ (17 Simp)
19. (∃y)Gyμ (16 Simp)
20. (∃y)Gyμ & ~(∃y)Gyμ (18,19 Conj)
21. ~~Rg (7-20 IP)
22. Rg (21 DN)

QED

1This line has an error and should be: (∃x)[~©(∃y)Gyx & (z)(~©(∃y)Gyz ⊃ z=x) & (Fdx & ~©(∃y)Gyx)

Reference:
Maydole R. 2012. “The Ontological Argument”. In The Blackwell Companion to Natural Theology. Ed. W.L. Craig & J.P. Moreland. Malden, MA: Blackwell Publishing, pp. 555-557.

A Modest Formulation of the Ontological Argument

In this post, I have formulated Anselm’s argument for the necessary existence of a being than which none greater can be conceived.  However, I have noted that the argument depends upon a two-place “greater than” predicate that functions with something like the Neo-Platonic “Great Chain of Being” in mind.  Some thing, x, is conceived to be greater than y in the sense that x is understood to have more capacities or has an essence that can be actualized to a greater degree. For example, a plant is understood to contingently exists, grows, takes in nutrients, and reproduces. An animal is understood to be greater in the sense that it too contingently exists, grows, takes in nutrients, and reproduces, but it also has capacities like sentience, and can self-move, etc. So the greater something is, the more powers/more capacities it is understood to have. If God exists, then God would be that being which none more powerful could be conceived, which is just to say “none greater”. I find the metaphysics where a two-place “conceivably greater than” predicate can be objectively exemplified to be extremely plausible. There is an objective sense in which I have greater capacities and abilities than a flea.

The argument is as follows:

D1. Some x is an Anselmian God if and only if x is conceivable, it is not the case that there is something that is conceivably greater than x, and x necessarily exists.

P1. There is some x conceivable such that there is nothing conceivably greater than x.

P2. For all x, if the possibility of failing to conceive of x implies the possibility that x doesn’t exist, x is mentally dependent (premise).

P3. For all x, if x is mentally dependent, there is some y such that y is conceivably greater than x (premise).

P4. If there is some x such that necessarily there is some z and z is identical to x, and x is an Anselmian God, then necessarily there exists an Anselmian God.

Therefore,

C1. Necessarily, there is an Anselmian God.

That is the argument in ordinary language. To show that it is a formally valid syllogism, I offer the following formal deduction:

Let,

Cx ≝ x is conceived
Mx ≝ x is mentally dependent
Gxy ≝ x is conceived to be greater than y
Θx ≝ (∃x){[♢Cx & ~(∃y)♢Gyx]& ☐(∃z)(z=x)} (Def Θx)

1. (∃x)[♢Cx & ~(∃y)♢Gyx] (premise)
2. (∀x){[♢~Cx ⊃ ♢~(∃z)(z=x)] ⊃ Mx} (premise)
3. (∀x)[Mx ⊃ (∃y)♢Gyx] (premise)
4. (∃x)[☐(∃z)(z=x)& Θx] ⊃ ☐(∃x)Θx (premise)
5. (∀x){[♢Cx & ~(∃y)♢Gyx] ⊃ [♢~Cx ⊃ ♢~(∃z)(z=x)]} (IP)
6. ♢Cμ & ~(∃y)♢Gyμ (1 EI)
7. [♢~Cμ ⊃ ♢~(∃z)(z=μ)] ⊃ Mμ (2 UI)
8. Mμ ⊃ (∃y)(♢Gyμ) (3 UI)
9. [♢~Cμ ⊃ ♢~(∃z)(z=μ)] ⊃ (♢Gyμ)(7,8 HS)
10. ♢Cμ & ~(∃y)♢Gyμ] ⊃ [♢~Cμ ⊃ ♢~(∃z)(z=μ)] (5 UI)
11. ♢~Cμ ⊃ ♢~(∃z)(z=μ) (6,10 MP)
12. (∃y)♢Gyμ (7,9 MP)
13. ♢Gνμ (12 EI)
14. ~(∃y)♢Gyμ (6 Simp)
15. (∀y)~(♢Gyμ) (14 QN)
16. ~♢Gνμ (15 UI)
17. ♢Gνμ & ~♢Gνμ (13,16 Conj)
18. ~(∀x){[♢Cx & ~(∃y)♢Gyx] ⊃ [♢~Cx ⊃ ♢~(∃z)(z=x)]} (5-17 IP)
19. (∃x)~{[♢Cx & ~(∃y)♢Gyx] ⊃ [♢~Cx ⊃ ♢~(∃z)(z=x)]} (18 QN)
20. (∃x) ~{~[♢Cx & ~(∃y)♢Gyx] ∨ [♢~Cx ⊃ ♢~(∃z)(z=x)]} (19 Impl)
21. (∃x){~~[♢Cx & ~(∃y)♢Gyx] & ~[♢~Cx ⊃ ♢~(∃z)(z=x)]} (20 DeM)
22. (∃x){[♢Cx & ~(∃y)♢Gyx] & ~[♢~Cx ⊃ ♢~(∃z)(z=x)]} (21 DN)
23. (∃x){[♢Cx & ~(∃y)♢Gyx] & ~[~♢~Cx ∨ ♢~(∃z)(z=x)]} (22 Impl)
24. (∃x){[♢Cx & ~(∃y)♢Gyx] & ~[☐Cx ∨ ♢~(∃z)(z=x)]} (23 ME)
25. (∃x){[♢Cx & ~(∃y)♢Gyx] & [~☐Cx & ~♢~(∃z)(z=x)]} (24 DeM)
26. (∃x){[♢Cx & ~(∃y)♢Gyx] & [~☐Cx & ☐(∃z)(z=x)]} (25 ME)
27. [♢Cμ & ~(∃y)♢Gyμ] & [~☐Cμ & ☐(∃z)(z=μ)] (26 EI)
28. ~☐Cμ & ☐(∃z)(z=μ) (27 Simp)
29. ☐(∃z)(z=μ) (28 Simp)
30. [♢Cμ & ~(∃y)♢Gyμ] (27 Simp)
31. [♢Cμ & ~(∃y)♢Gyμ] & ☐(∃z)(z=μ) (29,30 Conj)
32. Θμ (31 Def “Θx”)
33. ☐(∃z)(z=μ) & Θμ (29,32 Conj)
34 (∃x)[☐(∃z)(z=x) & Θx] (33 EG)
35. ☐(∃x)Θx (4,34 MP)

QED

Indeed, I find the above argument very persuasive. However, there may be some who are resistant to the notion that the two-place “conceivably greater-than” predicate can actually and objectively be exemplified. For such a person, I propose a more modest version of the argument. The more modest version is that, since C1, i.e. “☐(∃x)Θx”, is provable given P1-P4,one can argue that if P1-P4 are jointly possible, C1 is possible, and so an Anselmian God necessarily exists. This follows given S5 in modal logic, which says that ◊☐P entails ☐P. The argument can be formally proved as follows:

Let, also:

P1 ≝ (∃x)[♢Cx & ~(∃y)♢Gyx]
P2 ≝ (∀x){[♢~Cx ⊃ ♢~(∃z)(z=x)] ⊃ Mx}
P3 ≝ (∀x)[Mx ⊃ (∃y)♢Gyx]
P4 ≝ (∃x)[☐(∃z)(z=x) & Θx] ⊃ ☐(∃x)Θx
C1 ≝ ☐(∃x)Θx

36. ◊[(P1 & P2) & (P3 & P4)] (premise)
37. [(P1 & P2) & (P3 & P4)] ⊢ C1 (premise; proved by 1-35)
38. [◊[(P1 & P2) & (P3 & P4)]& {[(P1 & P2) & (P3 & P4)]⊢ C1}] ⊃ ◊C1 (premise)
39. ◊[(P1 & P2) & (P3 & P4)] & {[(P1 & P2) & (P3 & P4)] ⊢ C1} (36,37 Conj)
40. ◊C1 (38,39 MP)
41. ◊☐(∃x)Θx (40 Def “C1”)
42. ☐(∃x)Θx (41 by “S5”)

QED (again)

Since (37) is established, and (38) merely argues that if premises are jointly possible, and those premises prove some conclusion, then the conclusion is possible, (38) is relatively uncontroversial.  So, if one objects that P1-P4 are not actually true, but admits that they are at least broadly logically, or metaphysically compossible, then one ought to agree that, necessarily, an Anselmian God exists.

Colbert on Faith, Logic, Humor and Gratitude

In the video below, Stephen Colbert talks about faith, logic, and humor.  Even though Colbert says that the ontological argument is “logically perfect”, like Pascal, he does not think logic can lead to faith in God.  There must be a movement in the heart, which Colbert connects to gratitude, and which he lives out in his work as a comedian.  But it isn’t as though logic and emotion as opposed forces.  The feeling of gratitude makes sense within a worldview where there is a being than which none greater can be conceived.

When we reflect on our existence, the love we share, the struggles, the joys, the busy days, and the quiet nights, we feel we ought to give thanks.  This gratitude is not conditioned by the kind of life we have.  For we see that gratitude is often freely expressed by the most lowly among us, and we are irked when the richest and most powerful lack gratitude.  Such a duty to feel gratitude seems to exist for us all and it doesn’t matter who we are or the sort of life we have.

Now, if we ought to express an unconditioned gratitude, then we can do so.  But if we can express such gratitude, there must be at least possible that there is an object worthy of such gratitude.  It is, after all, impossible to express gratitude if there cannot be anyone to whom the gratitude is due.  So, we might say that our ability to express unconditioned gratitude is at least predicated on the possibility of there being someone worthy of such gratitude.  So, I think only a perfect being is worthy of unconditioned gratitude, and if is possible that there is such a being, such a being exists.  That is, for me, one way in which gratitude and logic connect to bolster faith.

Anyways, here is the Colbert video.  I love a comedian who can name drop Anselm and Aquinas!

The Modesty of Maydole’s Temporal Contingency Argument

In a recent discussion that I had, my interlocutor claimed that “contingency” was an outdated scholastic concept. Really it is just a modal property. Sometimes it is called “two-way” possibility, i.e. x is contingent iff possibly and possibly not x. Temporal contingency the possibility of existing at some point in time and not existing at some point in time. We experience temporal contingency all the time. Anyways, I promised to explain how contingency is still relevant today in the philosophy of religion. In fact, I think it is relevant in one of the most powerful arguments for God’s existence. I can’t really imagine a good reason to deny any of the premises, and it is of course logically valid. So I am compelled to conclude that it is a sound argument for the existence of a supreme being, which I call “God”.

In a sense, The argument originates with Thomas Aquinas’s third way, but is developed by Robert Maydole, who fuses it with a modal ontological argument to devise an ingenious new argument.

Maydole defines a supreme being as follows:

D1. A supreme being is such that it is not possible that there exists anything greater than it and it is not possible that it is not greater than anything else that is non-identical to it.

He then proves the following, which we will call T1:

T1. If possibly a supreme being exists, then a supreme being exists.

Maydole does this by making use of a few theorems, like Barcan Formula, and other theorems in modal logic (I will reproduce the argument below, for those who are interested, see the conditional proof on lines 4-19 for the exact proof). Then Maydole constructs an argument for the possibility of a supreme being. He lists the following premises (but don’t attack them straight off, something interesting happens):

P1. Something presently exists.
P2. Only a finitely many things have existed to date.
P3. Every temporally contingent being begins to exist at some time and ceases to exist at some time.
P4. Everything that begins to exist at some time and ceases to exist at some time exists for a finite period of time.
P5. If everything exists only for a finite period of time, and there have been only a finitely many things to date, then there was a time when nothing existed.
P6. If there was a time when nothing existed, then nothing presently exists.
P7. A being is temporally necessary if and only if it is not temporally contingent.
P8. Everything has a sufficient reason for its existence.
P9. Anything that has a sufficient reason for its existence also has a sufficient reason for its existence that is a sufficient reason for its own existence.
P10. No temporally contingent being is a sufficient reason for its own existence.
P11. Every temporally necessary being that is a sufficient reason for its own existence is a being without limitations.
P12. A being without any limitations is necessarily greater than any other being.
P13. It is not possible for anything to be greater than itself.
P14. It is necessarily the case that “greater than” is asymmetric.

From P1-P14 one can prove C1:

C1. A supreme being exists.

The proof from P1-P14 to C1 is a bit long, and I believe Maydole even made a few typographical mistakes along the way. Here is my adaptation of this part of the argument, if you are interested.

Next consider what was said, before, that if it is possible that a supreme being exists, then a supreme being exists, i.e. T1. Maydole’s argument is surprisingly modest. What he does is argue that POSSIBLY (P1-P14) is true. Since C1 is provable from (P1-P14), we can say POSSIBLY C1 is true, which is to say that possibly a supreme being exists. Given T1 and the possibility that a supreme being exists, we can conclude that a supreme being exists (which is rightly called God)!

Now, the argument is very strong, because it is plausible that P1-P14 are actually true. However, Maydole only requires that the premises be possibly true rather than actually true, which is to say that they are not logically or metaphysically incoherent, or that they are true in some metaphysically possible world (as contemporary modal logicians would say). The deduction is valid, and it is very hard for me to think any of the premises are false. So I am compelled to think that this is, indeed, a sound argument for God’s existence.
So the proof looks something like this:

Let

Gxy ≝ x is greater than y
Sx ≝ (~◊(∃y)Gyx & ~◊(∃y)(x≠y & ~Gxy))

1. ◊(P1-P14) (premise)
2. (P1-P14) ⊢ C1 (premise that C1 is provable from P1-P14)
3. {◊(P1-P14) & [(P1-P14) ⊢ C1]} ⊃ ◊C1 (premise)
4. ◊(∃x)Sx (Assump CP)
5. ◊(∃x)Sx ⊃ (∃x)◊Sx (BF theorem)
6. (∃x)◊Sx (4,5 MP)
7. ◊Su (6 EI)
8. ◊(~◊(∃y)Gyu & ~◊(∃y)(u≠y & ~Guy)) (7, df “Sx”)
9. ◊(~◊(∃y)Gyu & ~◊(∃y)(u≠y & ~Guy)) ⊃ (◊~◊(∃y)Gyu & ◊~◊(∃y)(u≠y & ~Guy)) (theorem)
10. ◊~◊(∃y)Gyu & ◊~◊(∃y)(u≠y & ~Guy) (8,9 MP)
11. ◊~◊(∃y)Gyu (10 Simp)
12. ◊~◊(∃y)(u≠y & ~Guy) (10 Simp)
13. ◊~◊(∃y)Gyu ⊃ ~◊(∃y)Gyu (theorem, by “S5”)
14. ◊~◊(∃y)(u≠y & ~Guy) ⊃ ~◊(∃y)(u≠y & ~Guy) (theorem, by “S5”)
15. ~◊(∃y)Gyu (11,13 MP)
16. ~◊(∃y)(u≠y & ~Guy) (12,14 MP)
17. ~◊(∃y)Gyu & ~◊(∃y)(u≠y & ~Guy) (15,16 Conj)
18. Su (17, df “Sx”)
19. (∃x)Sx (18 EG)
20. ◊(∃x)Sx ⊃ (∃x)Sx (4-19 CP, which proves T1)
21. {◊(P1-P14) & [(P1-P14) ⊢ C1] (1,2 Conj)
22. ◊C1 (3,22 MP)
23. ◊(∃x)Sx (22, def “C1”)
24. (∃x)Sx (20,23 MP)

QED

To me, it is P11 that needs more explanation. It certainly seems right that a temporally necessary being who is the sufficient reason for its own existence has the sort of existence that is not limited by time nor by the existence of any other thing. But to say that the existence of x is not limited by time nor any thing seems a bit different from saying thag such a being is essentially without limitations. I believe the idea is that if there is no time nor state of affairs in which such a being would cease to exist or lack a reason for existing, then it is not limited by anything at all, and must be greater than every other thing.

Another person noted that P5 did not make sense to him because time is something that exists, so there could never be a time when nothing exists. Maydole, however, is quantifying over things in a way that is distinct from moments (in his “Modal Third Way” you see a more careful distinction between moments and things). With the right qualifications, and stipulations, this worry can be alleviated, e.g. one might say “no concrete things” or “no subsitent things” rather than “nothing”.

Reference:
Maydole, R. 2012. “The Ontological Argument”. In The Blackwell Companion to Natural Theology. Ed. W.L. Craig & J.P. Moreland. Malden, MA: Blackwell Publishing, pp. 580-586.

%d bloggers like this: