Every time I teach the Ontological Argument I talk myself into it.
1.) When I say “think of X” I mean think about one thing and not a collection. I’ll allow “universe” to be X, but not “God and universe” or “God and chocolate” or whatever.
2.) If you think of X but can think of something better, then X was not God.
3.) Contrapositively, “God” means “that than which nothing greater can be thought.”
4.) By “a better idea” among two contradictories I mean the one you’d prefer to be true. If p and ~p had buttons you could press to make them true, the “better idea” or “greater idea” is the button you would push.
5.) We can add these as predicates to any idea to get contradictories: (A) ______exists in mind alone and not in reality, and (B) _____ exists in mind and reality.
6.) Among good things, almost all can be either (A) or (B). This is clearest when we confuse (B)’s with (A)’s in the experience once called “acting in vain” or “all for nothing”. You go to the store because of your (B) idea of yogurt or fruit snacks or whatever, but it turns out that, unknown to you, it was an (A) idea.
7.) Among good things, (B) is the better thought or greater thought. Among evils, (A) is.
8.) The unique property of TTWNGCBT is the contradiction that arises when we try to take it with an (A) predicate, since by #4, you could have a better thought, and so TTWNGCBT = ~TTWNGCBT.
9.) If one contradictory is impossible, the other is necessarily true.
10.) Anselm is claiming that “God does not exist” is relevantly similar to “English does not exist” or “my mind does not exist”. We get a performative contradiction as soon as we grant #2. #2 also rules out Guanilo’s parody arguments since it is altogether possible that something could both be a perfect island and we could think of something better.
11.) STA’s critique of the proof* is extremely brief, but it is consistent with Brentano’s critique that the proof involves an equivocation on “is”. To clarify this we’ll posit a few silly terms.
Assume amammalism is the belief that whales are not mammals, and mammalism is the belief they are. STA seems to be arguing amammalism and mammalism are on par with atheism and theism, and just as cetologists can’t turn either contradictions in amammalism or the necessary truth of mammalism into the existence of whales, theologians can’t turn either contradictions in atheism or the necessary truth of theism into the existence of God.
The analogy is so bad it’s hard even to say it without it falling apart. The meaning of atheism is explicitly tied to an existence claim while amammalism is not. Similar problems arise with Brentano, who parodies the argument by saying it is equivalent to “Every shoemaker is a maker of shoes, but you can’t make shoes unless you exist, so every shoemaker exists”. Here again, the analogy fails. If you fixed the terms to make it equivalent to the OA, you’d have something like “an ashoeist is one who thinks there are no shoemakers, but there is a logical contradiction in ashoeism, so necessarily, shoemakers exist.”
12.) Kant seems to think that if existence were a predicate then those who disagreed about whether something existed would always speak past each other. We couldn’t disagree about whether you had 100 ducats unless the ducats themselves did not contain existence as a predicate. But even if existence belonged to something by definition we could still disagree over its existence for the same reason that we could disagree over the solution to an unsolved theorem even though one solution is contradictory and the other necessarily true.
His response is “it cannot be argued that [TTWNGCBT] actually exists, unless it be admitted that there actually exists something than which nothing greater can be thought; and this precisely is not admitted by those who hold that God does not exist.”