Reductionism of my WASP (Weak Atheist Special Pleading) argument which I am going to try to write in Python. (Part I)
Legend:
Ang= Agnostic
Lacktheism argues that atheism is “disbelief or lack of belief in the existence of God or gods.” where “lack of belief” is sufficient to be considered atheism.
2. ∀x(T(x) -> B(x, God)
Notice the obvious problem?
Atheists want two conditions for atheism (B(x, ¬God) or L(x, God)), but only allow Theist one condition!
That is intellectually dishonest, and is textbook special pleading if they don’t allow theists to make the same move.
LOGICALLY according to lacktheism:
“For all of x, x “Believes God exists”
So why do atheists get to say L(x, God)) is sufficient for atheism, but L(x, ¬God)) is insufficient for theism?
Anyone??? WHY?
Theist’s can make the exact same move and say:
“For all of x, x “Believes God exists” OR “lacks a believe in the nonexistence of God”)
For those who do not understand the logic…let me dumb it down:
According to lacktheism:
If condition ~A is met, then theism.
Why does atheism get 2 conditions and theism only 1?
I would argue in philosophy these are logically denoted as: