This is my final try to communicate my thoughts to you on this subject.
You are saying that you can prove that "physicalism" is false.
I am saying that if anybody tries to give me a coherent set of definitions for the words then I can use them to prove that their version of physicalism must be false. The only case in which this is not true is if that person fails to define any of the "mental" things at all, or defines them to be identical to physical things - and therefore unneccesary terms.
In the proof that you posted you have defined two statements:
- P1: the experience of an object
- P2: the external object that causes the experience
Those terms were chosen by Paul. Let's retrace our steps. I asked Paul whether he understood the difference between two different senses of "physical" that physicalists like to use.
1) The experience of seeing an object
2) the external (mind-independent) thing which is the (distal) cause of the experience.
Then you ask which one of these is physical. If we continue formalization, we get the two propositions:
- A = "P1 is physical"
- B = "P2 is physical".
Then you have the agreed premise: "P1 and P2 are not the same thing". Your proof assumes that we have to formalize this as "not (A and B)". This is the spot where your proof goes awry. Since this is the very thing that you want to proof: that it is impossible for both P1 and P2 to be physical. You are assumming your conclusion! Most of us agree with your premise but not the way how you formalize it.
OK, I understand the objection. Looks like I need the physcalists to define physical for me.
T(A), T(B), F(C): this is the case that you have not addressed. That P1 and P2 are both physical but different objects.
Ah, but there are three, not two things that you want to include of the list of objects.
Thing 1: The external (mind-independent) cause of the experience of a chair
Thing 2: The brain process
Thing 3: The experience of seeing a chair.
I never mentioned (thing 2) in my proof. If you introduce (thing 2), then claim it is identical to (thing 3) then you are an eliminativist. If you say they are not identical, then I can construct a new proof.
I don't claim to be able to prove that physicalism is true. I don't claim that I could prove any ism true or false at all. In fact, my position is completely opposite: it is not possible to prove anything outside mathematics. If you search for my old posts, you'll find that I've been telling this for long time to people who think they can.
You can prove, given a set of definitions and pure logic, that the definitions are a coherent set or an incoherent set. At the end all you have done is prove whether or not somebody is using a set of terms which are self-contradictory or not. My claim is that all non-eliminativist physicalists are using a set of self-contradictory terms to talk about reality. It is only in this sense that I can prove their position is incoherent. And I already admitted that I cannot prove that eliminativism is incoherent.