Selmer Bringsjord
10/6/97
Searle wants to draw a certain conclusion from V2:
In [V2] we imagined that the mediating relationship between the mind and the behavior patterns was broken. In this case, the silicon chips did not duplicate the causal powers of the brain to produce conscious mental states, they only duplicated certain input-output functions of the brain. The underlying conscious mental life was left out ([3], 68).
And here is Dennett's reaction:
But that is only one of the logically possible interpretations of his second variationThe other is the crucial one: while you
are dying, another consciousness is taking over your body. The speech acts you faintly hear your body uttering are not yours, but they are also not nobody's!
I cannot see how Searle could simply have overlooked this gaping loophole in his thought-experiment. But there it is
I am baffled ([2], 198-9).
But what exactly does Searle want from V2? He tells us explicitly on page 69 of The Rediscovery of the Mind that he wants to establish via V2 and V3 that a certain trio of propositions is inconsistent. The trio, reproduced verbatim (p. 69):
Represent the three propositions using elementary logical machinery: Bx iff x is a brain; Mx iff x causes (a full range of) mental phenomena; and Ex iff x causes (a full range of) external behavior. Then the trio, with Searle's underlying modal notions brought to the surface, and a denoting the brain of the character in our thought-experiments, becomes
The set {(1
), (2
), (3
)} is provably
inconsistent, in garden variety
contexts; the proof is trivial, for
example, in quantificational S5 (which I
happen to like) and the weaker T.
Proof. Proposition
(1
) is superfluous. Then, e.g., instantiate appropriately on axiom-
schema T to get, with (2
), by modus ponens,
;
instantiate to
, derive by
propositional logic that
, rewrite this by
the rule known as necessitation to
,
and in
turn rewrite this as
, and then, by double
negation, as
, which of course
contradicts (3
)'s
first conjunct.