Yes. The argument of the grandparent is logically consistent AFAICT.
P-zombies are (Non-self-contradictory) IFF qualia comes from nonlogics and nonphysics.
Qualia comes from nonlogics and nonphysics IFF nonlogics and nonphysics are possible. (this is trivially obvious)
P(Magicians | “nonlogics and nonphysics are possible”) > P(Magicians | ¬”nonlogics and nonphysics are possible”)
ETA: That last one is probably misleading / badly written. Is there a proper symbol for “No definite observation of X or ¬X”, AKA the absence of this piece of evidence?
Yes. The argument of the grandparent is logically consistent AFAICT.
P-zombies are (Non-self-contradictory) IFF qualia comes from nonlogics and nonphysics.
Qualia comes from nonlogics and nonphysics IFF nonlogics and nonphysics are possible. (this is trivially obvious)
P(Magicians | “nonlogics and nonphysics are possible”) > P(Magicians | ¬”nonlogics and nonphysics are possible”)
ETA: That last one is probably misleading / badly written. Is there a proper symbol for “No definite observation of X or ¬X”, AKA the absence of this piece of evidence?