I have, but unfortunately that’s mostly because I don’t know the formal nomenclature and little details of writing conceivability and possibility logical statements.
I wouldn’t really trust myself to write formal logic with conceivability and probability without missing a step or strawmanning one of the premises at some point, with my currently very minimal understanding of that stuff.
Again: not assuming physicalism it not the same as assuming non-physicalism.
They assume (correctly) that if ¬B and A, then ¬(A → B)
Then they assume ¬B and A.
...
You’ve flattened out all the stuff about conceivability and logical possibility.
I have, but unfortunately that’s mostly because I don’t know the formal nomenclature and little details of writing conceivability and possibility logical statements.
I wouldn’t really trust myself to write formal logic with conceivability and probability without missing a step or strawmanning one of the premises at some point, with my currently very minimal understanding of that stuff.