Mathematical Proof that God EXISTS!!

Trigger Warning: This post takes the position that Santa Claus doesn’t exist.

I heard this one from a friend of a friend, it’s a good one. It goes like this:

Consider the logical connective associated with implication, the material conditional as it is sometimes called. It basically captures the intuition behind the “if blah is true then bleep is true”. So if $a$ and $b$ are two truth values (either true or false) and we write the material conditional as “if $a$ then $b$“, then we can write out the four possible outputs:

1. “if false then false” is true (both are false, implication still makes sense).
2. “if false then true” is true (remember $a$ implies $b$, but $b$ can be true whether or not $a$ is).
3. “if true then false” is false ($a$ implies $b$, so this combination is not allowed).
4. “if true then true” is true ($a$ forces $b$ to be true).

The material conditional evaluates to either true or false, depending on whether the truth values are consistent with the implication. Now we can consider $a$ to represent the proposition “God exists”. Let $b$ stand for “Santa Claus exists”. We can now ask ourselves, is $a$ true? Well, clearly $b$ is false. What about the implication “if $a$ then $b$“? I think everyone would agree that the existence of God in no way implies the existence of Santa, so we can say “if God exists then Santa exists” is false. We now check out the above list and observe that case 3 uniquely matches our situation; the whole implication is false and $b$ is false. From this we conclude that $a$ must be true, and therefore God exists.
QED

Author: ficetea

I'll write more here later!

4 thoughts on “Mathematical Proof that God EXISTS!!”

1. The problem, here, is that you are assuming that the conditional holds and that it has a definite value of “false.” The conditional does not hold, however, so this statement cannot be considered a well-formed logical formula.

For example, one could substitute “I am the wealthiest person alive” for “God exists.” However, I’m rather sure you would agree that this does not prove that the person making the conditional is therefore the wealthiest person alive.

More to the point, any statement can be substituted for a in exactly the same manner, including a‘s logical negation. That is to say, this application would just as easily prove “God does not exist” as it does “God exists.”

Liked by 1 person

1. Agreed! And welcome…
I mostly posted this because I found it amusing; it fools you at first but you just know it doesn’t make sense, and maybe it takes a little while to work out exactly what’s wrong with the argument. I personally found being in that situation myself quite entertaining, but since posting I’m not convinced that everyone can see my intention lol oh well.

But yes, I agree with your analysis.

Liked by 1 person

1. Haha! Sorry… I spend a lot of time on philosophy and theology forums, so I actually hear arguments like this more often than many might think. Unfortunately, it’s Poe’s Law in effect.

Like

2. Haha that’s unfortunate, but I guess I’m not surprised. I was thinking earlier, an easy way to use this to prove anything is simply to consider “if P then not P”. That implication is “false”, so you could say that it must mean P is true and not P is false, and voila

Liked by 1 person