David Lewis has argued that when it comes to interpreting claims about what might or must have been, we should use the resources of his counterpart theory, not those of quantified modal logic (Lewis 1968, Lewis 1986). Lewis has offered a host of reasons for this. The language of counterpart theory is purely extensional, and questions about logical relations between modal claims are reduced, via counterpart theory, to easily solvable questions about classical first-order logical consequence; and the language of counterpart theory has greater expressive power than the language of quantified modal logic—whatever can be expressed in the latter can be expressed in the former, but not vice versa. These two alleged benefits are not unique to counterpart theory, since they will be shared by any view of modality which takes as basic a non-modal first-order language, whether it mentions counterparts or not. But Lewis’s list of reasons for insisting on counterpart theory continues: only with the machinery of counterpart theory can we adequately explain the “inconstancy of representation de re,” the wavering back and forth of our intuitive judgments about essentialist claims; by appealing to counterpart theory we can solve problems of material constitution, without being committed either to the existence of distinct coincident objects or to the absurd view that identity is a relation that may hold only contingently between an object and itself; and counterpart theory permits us to endorse such haecceitistic-sounding claims as “I might have been Frank Sinatra while everything else is as it actually is,” without being committed to haecceitism proper, the view that there are distinct but qualitatively identical possible worlds. This is no small list of counterpart theory’s virtues, and many philosophers have been persuaded for these reasons that counterpart theory is preferable to quantified modal logic. We will argue, however, that even if the supposed virtues are genuine, 1 they are not worth their price: there is very good reason to reject
[1]
N. Campbell.
Formal Logic.
,
1931,
Nature.
[2]
A. N. Prior,et al.
Modality and quantification in S5
,
1956,
Journal of Symbolic Logic (JSL).
[3]
David Lewis.
Counterpart Theory and Quantified Modal Logic
,
1968
.
[4]
Allan Gibbard,et al.
Contingent identity
,
1975,
J. Philos. Log..
[5]
Allen Hazen,et al.
Expressive completeness in modal language
,
1976,
J. Philos. Log..
[6]
Allen Hazen.
Counterpart-Theoretic Semantics for Modal Logic
,
1979
.
[7]
J. Altham.
Naming and necessity.
,
1981
.
[8]
G. Raeme,et al.
Canonical Counterpart Theory
,
1982
.
[9]
Harold T. Hodes.
Some theorems on the expressive limitations of modal languages
,
1984,
J. Philos. Log..
[10]
Harold T. Hodes.
Axioms for actuality
,
1984,
Journal of Philosophical Logic.
[11]
Graeme Forbes,et al.
Languages of possibility
,
1990
.
[12]
Dag Westerstaåhl,et al.
Quantifiers in Formal and Natural Languages
,
1989
.
[13]
Murali Ramachandran,et al.
An alternative translation scheme for counterpart theory
,
1989
.
[14]
M. Cresswell.
Entities and indices
,
1990
.
[15]
Murali Ramachandran,et al.
Contingent identity in counterpart theory
,
1990
.
[16]
Allen P. Hazen,et al.
Actuality and Quantification
,
1990,
Notre Dame J. Formal Log..
[17]
M. Ramachandran.
Unsuccessful revisions of cct
,
1990
.
[18]
Graeme Forbes,et al.
Counterparts, logic and metaphysics: reply to ramachandran
,
1990
.
[19]
S. Weidenschilling,et al.
A plurality of worlds
,
1991,
Nature.
[20]
Bernard Linsky,et al.
IN DEFENSE OF THE SIMPLEST QUANTIFIED MODAL LOGIC
,
1994
.
[21]
Timothy Williamson,et al.
Bare Possibilia
,
1998
.
[22]
Timothy Williamson,et al.
Necessary Existents
,
2002,
Royal Institute of Philosophy Supplement.