Ybe an atheist

[Angrboda]

Proof that the laws of logic do not depend on God:

1. By definition, God is omnipotent.
2. By definition, Omnipotent means being able to do anything logically possible.
3. If the laws of logic depend on God, then the laws of logic were either created by God, or they are a consequence of his nature.
4. Suppose that God created the laws of logic:
a) If God created the laws of logic, then God can change the laws of logic;
b) If God can change the laws of logic, he can make the logically impossible be logically possible;
c) If so, then God can do the logically impossible, in contradiction with #2;
d) therefore, God did not create the laws of logic.
5. Suppose that the laws of logic are dependent on God's nature:
a) If God can change his nature, then the same thing as in #4 applies, then God can again make the logically impossible into the logically possible, again violating #2.
b) If God cannot change his nature, then God changing his nature is logically impossible;
c) If so, then the laws of logic are independent of God, as God is constrained by logic, not the reverse;
d) Therefore, the laws of logic are not dependent on God's nature.
6. Therefore 3 is false (by 4 and 5).
7. Therefore the laws of logic do not depend on God.

---

Proof that TAG doesn't hold (attributed to Timothy Pew):

If TAG is true, then that logic depends upon the existence of God must be true. Therefore, for any logical syllogism to be true, the premise that God exists must be true. Thus, "God exists" must be asserted first, otherwise we have no reason to believe the conclusion, as we have no reason to assume that the laws of logic are even valid. If our first premise is that God exists, and our conclusion is that God exists, then we have begged the question, and the proof is invalid. Therefore the TAG's conclusion that God exists does not hold.