(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 exists”
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) Agnostic holds to ~Bp & ~B~p
C) Agnostic 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 (both are Bp), but epistemically different.)
You said theists believe that at least one god exists.
You said that atheists believe that no gods exist. Actually atheists simoky do not believe that any gods exist.
You said that agnostics do not believe that any gods exist nor believe that no gods exist. As agnostics in particular do not bekieve in any gods agnostics are atheists.
Theists may believe in different gods. Monotheists believevin their god and also believe that other gods are not real.
Theists cannot all be correct. They can be all wrong.
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.
The discussion here clarifies my own issue between atheism and agnosticism. I really like the introduction of the operator B, which reminds me greatly of the existential (∃) and universal (∀) quantifiers. I’m curious if the operator B is used regularly, because I think it would make the atheist/agnostic discussion much clearer.
I did have some trouble parsing the proof at the end, but I can express it point in a different way. Feel free to correct me if I am misunderstanding the logic or definitions being used.
I think the issue can be stated succintly in a question of commutativity. Does the operator B commute with the negation ¬? That is, are B¬p and ¬Bp the same? To explain, consider the following calculation.
¬Bp
≡ ¬Bp ∧ T
≡ ¬Bp ∧ (B¬p ∨ ¬B¬p)
≡ (¬Bp ∧ B¬p) ∨ (¬Bp ∧ ¬B¬p).
If the predicate B¬p is true, then the subject believes ¬p, meaning the subject believes there is no god. This would be an atheist by definition. Thus, (¬Bp ∧ B¬p) defines someone who does not believe that there is a god, and believes that there are no gods. This would be the “lack of belief atheist”, as I understand.
On the other hand, if B¬p is false, then the subject does not believe ¬p, meaning the subject does not believe there is no god. Thus, (¬Bp ∧ ¬B¬p) defines someone who does not believe that there is a god, and does not believe that there are no gods. This would be the “agnostic”, as I understand. Equivalently, applying De Morgan,
(¬Bp ∧ ¬B¬p) ≡ ¬(Bp ∨ B¬p),
meaning an agnostic is someone who rejects either Bp or B¬p.
Here is where a serious temptation arises. Someone will want to apply the Litotes (double-negative) law: ¬¬p ≡ p. However, please note that in “¬B¬p”, the operator B separates the two ¬’s.
If B and ¬ commute, then one has
(¬Bp ∧ ¬B¬p) ≡ (¬Bp ∧ B¬¬p) ≡ (¬Bp ∧ Bp) ≡ F
by Litotes. In this case, holding “does not believe there is a god” and “does not believe there are no gods” would be impossible, i.e. “agnosticism is impossible”. As this conclusion is false, I would conclude that B and ¬ do not commute.
Am I mistaken? Please correct me if I have made an error here.
“B” is just a predication for the epistemic or doxastic disposition of “Believes”
B¬p and ¬Bp are not commutative.
B¬p entails ¬Bp , but ¬Bp does not entail B¬p ( B¬p ⊨ ¬Bp |¬Bp ⊭ B¬p)
If B¬p is T then yes that means S (Subject) believes that p is T. Dr. Burgess-Jackson uses the form Bs~g and Bsg where subject believes ~g or g. Same logical notation, just adding in a specific agent and “g” stands for the proposition of god exists.
Agnostic would be as you said ¬Bp ∧ ¬B¬p which holds no belief either way.
Your conclusion is correct for the reasons you gave. They do not commute.
Ah! Thank you for the detail. I figured there was an implication one way or the other between ¬Bp and B¬p, but I knew it couldn’t be bidirectional. Dr. Burgess-Jackson’s use of the operator sounds much more in-line with the logic that I use regularly. I’ll have to check it out.
The algebraist side of me is quite amused that so much confusion and argument can be essentially described by a non-commuting square.
More precisely, the one-way implication would be interpreted as a singular 2-cell in a 2-category. Thus, the confusion could be interpreted as mistaking the singular 2-cell as an invertible 2-cell.