3 AM Philosophy

Agnosticism, Atheism, Theism and LOGIC 101:

Agnosticism, atheism, theism and LOGIC 101:
p V ~p
p is a proposition
“V” means OR
~p is the negation of the proposition
Since p V ~ p is always true, this is called a tautology…It also means it is the case p is true or it is not the case p is true. Which is the same as saying p is either true or false. (This is know as the Law of Excluded Middle…that a proposition can only be T or F.)
Given the proposition of theism:
p=”at least one God exist” (or existed)
p V ~p
It is either the case that p is T or p is F. Or in other words it is the case that “at least one God exist” or it is NOT the case that “at least one God exist”. This is an ontological dichotomy (God(s) exists or God(s) does not exist).
The theist affirms p to be true. That they believe it is the case that “at least one God exists”. The atheist (philosophical atheism) affirms the negation that p is false that it is not the case that “at least one God exists”.
This is logically shown as:
Bp = Believes p is true (Theist)
B~p= Believes p is false (Atheist)
Bp V B~p however is not an ontological (or even epistemic) dichotomy. One does NOT have to believe either that p is true or p is false.
The agnostic does not hold to either theism nor atheism and does not believe p to be true, nor believes p is false. They logically hold to ~Bp (I do not believe p) and ~B~p (I do not believe not p).
The agnostic suspends judgement on the proposition…but because they do not affirm theism, they do not believe in Gods, however they are not asserting that they do not exist. This is often the stance of “weak” atheist (~Bp) who while not believing God(s) exist, do not affirm the negation of theism or that God(s) do not exist (doesn’t explicitly state they also hold to ~B~p, however a logical proof can show that all who hold to ~Bp that do not hold to B~p must then hold to ~Bp & ~B~p (proof at bottom)). 
Agnostics are not theist, nor are they atheist.

(This is inevitably when someone says “But if you don’t believe in God you’re an atheist! “. Well, sorry…that is just NOT true. That is how many atheist think of atheism as they are told that by other atheists…but logically, as I have shown, you do not have to be neither theist nor atheist. Not believing in God is a necessary, but not sufficient condition and does not by entailment nor by necessity mean that if you do not believe in Gods you are an atheist. Logic > misinformation you have been told. What they are merely doing is taking A V ~A and saying “Theist or “NOT theist” and relabeling “not theist” as “atheist”. This is like making a disjunction (p V q) and saying if not p then q. I can do that with anything. p = theist, q=car. p V q, theist or car, If you are not a theist you are a car. See?)

What atheism and theism actually are called contradictories. Meaning that if there is a God and theism is true, then atheism must be false…and vice versa, such that if there isn’t a God then theism is false and atheism is true. Neither can both true, and neither can be both false. One must be the the case, and the other must not be the case. This is slightly different than contraries such as atheistic religions or theistic religions where if one is true the other must be false, both can not be true, but both can be false.



Proof: If p=”at least one God exist”

p1) A lack of belief for p logically is ~Bp
P2) A lack of belief for ~p logically is ~B~p
p3) A lack of belief atheist holds to ~Bp
p4) Holding to ~Bp without holding to B~p must entail holding to ~B~p.
p5) A lack of belief atheist who holds to ~Bp (p3) but does not hold to B~p must then hold to ~Bp & ~B~p (p3-p4). (constructive elimination)
p6) Agnosticism holds to ~Bp & ~B~p
C) Agnosticism logically is the same as a lack of belief atheist as both hold to ~Bp & ~B~p.

(But they are epistemically different, much like “Christian” and “Jew” are logically the same, but epistemically different.)


  1. Avatar

    Atheists are right to cite the null hypothesis. Because theists disagree as to which god is the true god and they offer no evidence for their god other than their own belief there is no reason to believe that any of theIr gods are real. To say I don’t believe in any gods does not carry any burden of proof. I could simply be waiting for at least one god to step forward with evidence of its existence.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Editor's choice