The only thing we can safely say about babies and rocks are that they are nontheist:

The only thing we can safely say about babies and rocks are that they are nontheist without incurring excessive baggage:

A V ~A which means A or NOT A

If we instantiate A with theist we get:

Theist or Not Theist

(I sometimes use p V ~p here heuristically, but I know that is technically wrong as “Theist” is not a proposition)

When these atheist here change Not Theist = Atheist they are committing themselves by entailment to the position that babies AND ROCKS and COMPUTERS and CARS and QUARKS etc are all atheists.

Instead of having a dichotomy, atheist often do the reverse of the “Matt Slick” fallacy with his TAG argument and they make the dichotomy into a disjunctive syllogism.

Matt Slick does this with TAG (assuming arguendo that ‘God’ and ‘Not God’ are even proportions):

p V q

God either accounts for the laws of logic or ‘Not God’ accounts for the laws of logic”

(This is disjunctive syllogism, if given on two possible things, and one must be true…if one is shown to be not true, then the other MUST be true).

Matt then takes ‘Not God’ to be ~p and to be a dichotomy and substitutes it for q (you can’t do this as this is a fallacious move):

p V q

Matt does a fallacious substitution:

~p = q

He then says ‘Not God’ can not account for the laws of logic, therefore God MUST account for the laws of logic.

So his argument looks like this:

p V q

p V ~p

~~p

:. p

Which is called a tautology and is the same as saying:

p

:. p

or p, there p

Which is trivially true, but not an argument.

Atheist do the some what of the reverse when they have:

A V ~A

Theist or NOT theist

Then try to make NOT theist = Atheist

leaving you with a disjunction of theist V atheist…while not logically invalid it comes with a price (baggage). By doing so it commits the atheist that anything that is not a theist MUST therefore be atheist. This includes everything not in the set of theism such as babies, rocks, atoms, quarks…while some atheist I know accept this baggage, and even promote “we are all born atheist”, some do not. Accepting that these thing are atheist *IS* actually consistent with their preferred schema, but then leads to issues such as taking a census…if one asked how many atheists are their in the world the only consistent answer would have to be something along the lines of “countless” or “immeasurable”.

For the atheist that accepts that non theism=atheism, but not that babies, rocks, atoms, quarks etc are atheist they are then stuck with a different problem as they would then have an internally inconsistent system since for any set {A} there is a complimentary set {A’} both comprising the Universal set {U}:

A’ = {x ∈ U | x ∉ A}

Which means in this schema it makes no difference if an object is self-aware, intelligent, sentient, have or does not have executive functions, or anything else. All that matters if that object is not in set {A) therefore it MUST be in in the complimentary set {A’}…so all objects that are not theist are atheist in the paradigm where an atheist accepts Non-theism=atheism.

(In philosophy atheism is not defined this way to eliminate this type of baggage, but defined to be the belief that theism is false, or ostensibly the belief that ontologically God(s) do not exist)