Lewis (The Journal of Philosophy, 65(5), 113–126, 1968) attempts to provide an account of modal talk in terms of the resources of counterpart theory, a first-order theory that eschews transworld identity. First, a regimentation of natural language modal claims into sentences of a formal first-order modal language L is assumed. Second, a translation scheme from L-sentences to sentences of the language of the theory is provided. According to Hazen (The Journal of Philosophy, 76(6), 319–338, 1979) and (...) Fara & Williamson (Mind, 114(453), 1–30, 2005), the account cannot handle certain natural language modal claims involving a notion of actuality. The challenge has two parts. First, in order to handle such claims, the initial formal modal language that natural language modal claims are regimented into must extend L with something like an actuality operator. Second, certain ways that Lewis’ translation scheme for L might be extended to accommodate an actuality operator are unacceptable. Meyer (Mind, 122(485), 27–42, 2013) attempts to defend Lewis’ approach. First, Meyer holds that in order to handle such claims, the formal modal language L$$^*$$ ∗ that we initially regiment our natural language claims into need not contain an actuality operator. Instead, we can make do with other resources. Next, Meyer provides an alternative translation scheme from L$$^*$$ ∗ -sentences to sentences of an enriched language of counterpart theory. Unfortunately, Meyer’s approach fails to provide an appropriate counterpart theoretic account of natural language modal claims. In this paper, I demonstrate that failure. (shrink)

Counterpart theory is often advertised by its track record at solving metaphysical puzzles. Here I focus on puzzles of occasional identity, wherein distinct individuals at one world or time appear to be identical at another world or time. To solve these puzzles, the usual interpretation rules of counterpart theory must be extended beyond the simple language of quantified modal logic. I present a more comprehensive semantics that allows talking about specific times and worlds, that takes into (...) account the multiplicity and sortal-dependence of counterpart relations, and that does not require names to denote actual or present individuals. In addition, the semantics I defend does not identify ordinary individuals with world-bound or time-bound stages and thereby avoids the most controversial aspect of counterpart theory. Humphrey’s counterpart at other worlds or times is none other than Humphrey himself. (shrink)

Actualist counterpart theory replaces David Lewis’s concrete possible worlds and individuals with ersatz worlds and individuals, but retains counterpart theory about de re modality. While intuitively attractive, this view has been rejected for two main reasons: the problem of indiscernibles and the Humphrey objection. I argue that in insisting that ersatz individuals play the same role as Lewisian individuals, actualists commit the particularist fallacy. The actualist should not require stand-ins for every Lewisian individual. Ersatz individuals should (...) instead be construed as representations of actually existing qualitative ways for individuals to be, or qualitative properties individuals can instantiate. This necessitates changes elsewhere. Non-instrumental uses of Kripke semantics and standard counterpart semantics also require stand-ins for particular non-actual individuals. I argue that the actualist should instead adopt a non-standard counterpart semantics that more clearly illuminates the role that actual properties and relations play in explaining de re possibilities and necessities. The result is an intuitive and forceful reply to both the problem of indiscernibles and the Humphrey objection. (shrink)

Nonreductive physicalism faces serious problems regarding causal exclusion, causal heterogeneity, and the nature of realization. In this paper I advance solutions to each of those problems. The proposed solutions all depend crucially on embracing modal counterpart theory. Hence, the paper’s thesis: counterpart theory saves nonreductive physicalism. I take as my inspiration the view that mental tokens are constituted by physical tokens in the same way statues are constituted by lumps of clay. I break from other philosophers (...) who have pursued this line, however, in that I hold that constitution is identity. Much of the value of the comparison to statues and lumps is that it calls to mind the resources used to defend constitution-as-identity, most notably that of counterpart theory. Along the way, I discuss the virtues of a trope ontology, modal objections to token identity theories, the prospects of conditional analyses of causal powers, the subset account of realization, and the grounding problem. I also endorse a novel, empirical argument in favor of counterpart theory. (shrink)

Fara and Williamson (Mind, 2005) argue that counterpart theory is unable to account for modal claims that use an actuality operator. This paper argues otherwise. Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.

David Lewis advised essentialists to judge his counterpart theory a false friend. He also argued that counterpart theory needs natural properties. This essay argues that natural properties are all essentialists need to find a true friend in counterpart theory. Section one explains why Lewis takes counterpart theory to be anti-essentialist and why he thinks it needs natural properties. Section two establishes the connection between the natural properties counterpart theory needs and (...) the essentialist consequences Lewis disavows. Section three answers two objections: the first attempts to block the consequences of adding natural properties to counterpart theory; the second grants the consequences, but denies that they amount to essentialism. –Correspondence to: [email protected]. (shrink)

In this paper, I argue that not only is metaphysical modal normativism an attractive view but that, as a matter of fact, many of us have, all along, been metaphysical modal normativists of a particular stripe. Namely, we have been the kinds of modal normativists, in the form of counterpart theorists, who are robust realists about possibility simpliciter. Having introduced modal normativism as Thomasson does in Norms and Necessity, I go on to recast it in somewhat different terms. With (...) this re-casting in place we can see that while the view offers a pleasingly deflationary account of metaphysical necessity and possibility it does so only against the backdrop of robust realism about possibility simpliciter. If that is right, then Lewis’ counterpart theory turns out to be a potent version of metaphysical modal normativism. So many of us have, all along, been metaphysical modal normativists, and so much the better for it. (shrink)

David Lewis’s counterpart theory is often seen as involving a radical departure from the standard, Kripke-style semantics for modal logic, suggesting that we are dealing with deeply divergent accounts of our modal talk. However, CT captures but one version of the relevant semantic intuition, and does so on the basis of metaphysical assumptions that are ostensibly discretionary. Just as ML can be translated into a language that quantifies explicitly over worlds, CT may be formulated as a semantic (...) class='Hi'>theory in which world quantification is purely metalinguistic. And just as Kripke-style semantics is formally compatible with the doctrine of world-boundedness, a counterpart-based semantics may in principle allow for cases of trans-world identity. In fact, one may welcome a framework that is general enough to include both Lewis’s counterpart-based account and Kripke’s identity-based account as distinguished special cases. There are several ways of doing so. The purpose of this paper is to outline a fully general option and to illustrate its philosophical significance, showing how the large variety of intermediate relations that lie between Lewisian counterparthood and Kripkean identity yield a corresponding variety of modal theories that would otherwise remain uncharted. (shrink)

In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than (...) it is to capture the sense of quantificational idiom…Appeal to truth value is the single most important criterion of correct translation’ (Hunter and Seager 1981:72). Thus, where the scheme of Lewis (1968) translates a truth by a falsehood or conversely, Hunter and Seager simply produce a sentence which they claim to be a better translation, without articulating any structural principles they employ to arrive at their candidate. A friend of CT should not be happy with this procedure. Let Lm be first-order modal language and Lc be the language of counterpart theory. Sentences of Lc are intended to interpret or elucidate the meanings of Lm-sentences in the strong sense that they should be the outputs of an adequate theory of meaning, which we can formulate as a model theory, for Lm, written in Lc plus set theory. The interest of CT resides in its potential to provide an alternative approach to the model theory of modal logic, and from the clauses of any such alternative model theory we should be able to read off a translation scheme for Lm into Lc, just as we can in the standard case. If CT’s motivation is sound, which Hunter and Seager do not dispute, yet there is no translation scheme and so no counterpart-theoretic model theory, one might suspect some defect in the original language Lm. And in fact, Hunter and Seager find certain Lm-sentences multiply ambiguous with respect to Lc; but if a counterpart-theoretic model theory is possible, to say.. (shrink)

Modal counterpart theory identifies a thing’s possibly being F with its having a counterpart that is F at another possible world; temporal counterpart theory, the stage view, according to which people and other ordinary objects are instantaneous stages, identifies a thing’s having been F or going to be F, with its having a counterpart that is F at another time. Both counterpart theories invite what has been called ‘the argument from concern’ (Rosen, G. (...) 1990. “Modal Fictionalism.” Mind 99 (395): 327–54). Why should I be concerned about my counterparts at other possible worlds or other times? I care about how things might have gone for me—not how they go for other people at other possible worlds; I care about my prospects—not the way go for other people at other times. Jiri Benovsky has argued that while modal counterpart theory can be defended against this style of argument, temporal counterpart theory cannot (Benovsky, J. 2015. “Alethic Modalities, Temporal Modalities, and Representation.” Kriterion: Journal of Philosophy 29: 18–34). I argue that temporal counterpart theory, like modal counterpart theory, resists the argument from concern. (shrink)

Kripke complained that counterpart theory makes modal claims be about counterparts and not about us, and that it is a misguided model of modality since we do not care about counterparts in the same way we care about ourselves. The first part of the complaint, I argue, has been met by Hazen and Lewis, while the second can be countered by observing that most of our modal concerns are about role‐fillers and that counterparts are well‐suited to such concerns. (...) The role‐filler analysis of modal concerns, however, does not seem to capture certain attitudes ‐ especially that of regret. Regret, however, I will argue, is not intrinsically modal and thus is no challenge to my general analysis of modal concerns. (shrink)

A claim by David K. Lewis (1986) that his counterpart theory provides a semantics for intensional languages is critiqued by showing that basic principles of modal logic fail to be valid in counterpart theory & by investigating problematic counterpart-theoretical translations of instances of universal instantiation. From Lewis's postulate that individuals inhabit only one world & have counterparts in other worlds, it follows that the relation between an object & its counterparts is nontransitive & nonsymmetric; consequently, (...) an object does not need to have exactly one counterpart in any world. The failure of modal principles in counterpart theory is ascribed to the possibility that an object has no counterpart in a given world, whereas universal instantiation becomes invalid when an object has more than one counterpart in a given world. 3 References. Adapted from the source document. (shrink)

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is (...) Kripkean in that the counterpart relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

It is shown that counterpart theory and the duplication account of intrinsicality —two key pieces of the Lewisian package—are incompatible. In particular, the duplication account yields the result that certain intuitively extrinsic modal properties are intrinsic. Along the way I consider a potentially more general worry concerning certain existential closures of internal relations. One conclusion is that, unless the Lewisian provides an adequate alternative to the duplication account, the reductive nature of their total theory is in jeopardy.

Here I propose a coherent way of preserving the identity of material objects with the matter that constitutes them. The presentation is formal, and intended for RSL. An informal presentation is in preliminary draft! -/- Relative-sameness relations—such as being the same person as—are like David Lewis's "counterpart" relations in the following respects: (i) they may hold between objects that aren't identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in (...) different contexts. They differ from counterpart relations, however, in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis's Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). (shrink)

Suppose that reality consists of parallel universes of every variety imaginable. No path through space and time leads from one to another, and each universe is causally isolated from the rest. Some physicists believe a ‘multiverse’ hypothesis not terribly distant from this one simplifies quantum mechanics and provides an elegant explanation of why our universe has its particular laws. Suppose as science advances we come to accept the multiverse hypothesis, so construed.

The paper shows – contra what has been argued by Trenton Merricks – that counterpart theory, when conjoined with composition as identity, does not entail mereological essentialism. What Merrick’s argument overlooks is that contingent identity is but one of the effects of grounding identity across possible worlds on similarity.

The paper shows – contra what has been argued by Trenton Merricks – that counterpart theory, when conjoined with composition as identity, does not entail mereological essentialism. What Merricks's argument overlooks is that contingent identity is but one of the effects of grounding identity across possible worlds on similarity.

I find a lost wallet containing the owner's address and a lot of cash. Shall I keep it or return it? Suppose I have the ‘liberty of indifference’: whatever I do, I could have done otherwise. Indeed, part of what is meant in saying I act freely is that either way what I do is up to me. And let's allow this liberty requires that my choice is not a logical consequence of the past and natural laws. If I return (...) the wallet, I could have kept it without violating a law of nature or changing the past. Let's call this ‘situation S’ . Suppose I return the wallet.Others are also in S: free people find lost wallets every day. Each of us can freely return the wallet we find. It doesn’t follow immediately that we can all return it, however. That each ticket holder can win the lottery doesn’t entail they can all win it. We need the additional premiss that no number of people freely returning the wallet prevents the remainder from freely returning it. In short: each of us in S can freely return the wallet. Further, no number of us doing so prevents the remainder from doing so. Therefore it's possible that we all freely do what I do.According to Modal Realism , other possible worlds are concrete realities and the people in them as real as you and me. Some of these people are in S. Each of them can freely return the wallet; none of them is prevented from exercising that ability by others doing so, including others in worlds causally isolated from theirs. For instance, our doings in the actual world no more limit their abilities than …. (shrink)

Counterpart theorists need not posit the counterpart relation in addition to the identity relations as an Additional relation relating objects across possible worlds. Identity can be viewed as a relation applicable to individuals within possible worlds, while the counterpart relation replaces identity in translations of ordinary utterances which correlate individuals in different possible worlds and, hence, in all modal utterances. CT is, in other words, a theory of modal discourse — it proposes a way of understanding (...) all modal predications. As such, it is not to be seen as providing a second ‘looser’ sense of identity across worlds, in addition to the ‘narrow’ sense. Perhaps Lewis' original formulation encourages this misunderstanding insofar as it (see, especially, P2) denies strict identity across possible worlds. Accordingly, I have suggested a modification of CT whereby syntactic restrictions upon variables eliminates any temptation to posit two parallel relations applicable to entities existing in different possible worlds. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic version of first-order logic with appropriate memory devices and show how to base a version (...) of counterpart theory with actuality on this. This theory is, in special cases, equivalent to modal first-order logic with actuality, and apparently does not suffer from the logical flaws that have been mentioned in the literature. (shrink)

(No abstract is available for this citation).

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

David Lewis argues at length against haecceitism and goes as far as claiming that, on a certain counterpart-theoretic construal, the doctrine is unintelligible or inconsistent. I argue, contra Lewis, that both qualitative and non-qualitative counterpart theory are in fact committed to haecceitism, but that this commitment is harmless since what is really at stake for a counterpart theorist such as Lewis are more general supervenience claims that are independent of haecceitism. I further argue that Lewis's formulation (...) of the doctrine suffers from two important defects that, once remedied, free counterpart theory of its haecceitistic commitments. Along the way I discuss an objection to the effect that the cheap substitute is inconsistent in the presence of an 'actually' operator. This paper therefore brings together important critical discussion on haecceitism and counterpart theory. (shrink)

Jim Stone argues that one cannot combine three-dimensionalism with counterpart theory. This paper argues to the contrary.

A slight modification to the translation scheme for David Lewis's counterpart theory I put forward in 'An Alternative Translation Scheme for Counterpart Theory' (Analysis 49.3 (1989)) is proposed. The motivation for this change is that it makes for a more plausible account of contingent identity. In particular, contingent identity is accommodated without admitting the contingency of self-identity.

Many philosophical theories make comparisons between objects, events, states of affairs, worlds, or systems, and many such theories deliver plausible verdicts only if some of the elements they compare are ranked as ‘best.’ When the relevant ordering does not have such ‘best’ or ‘tied for best’ elements the theory wrongly falls silent or gives badly counterintuitive results. This paper develops ordering supervaluationism---a very general technique that allows any such theory to handle these problematic cases. Just as ordinary supervaluation (...) helps us save and generalize ‘uniqueness assuming’ theories, ordering supervaluationism helps us save and generalize ‘limit assuming’ theories. With so many otherwise attractive limit assuming theories, this is a sensible, methodologically conservative approach. (shrink)

Recently, Jim Stone has argued that counterpart theory is incompatible with the existence of temporal parts. I demonstrate that there is no such incompatibility.

David Lewis's modal realism claims that nothing can exist in more than one world or time, and that statements about how something would have been are to be analysed in terms of its counterpart. I first explain why the counterpart relation depends on de re modal statements in an intensional language, so that intuitive properties of similarity relations cannot be used to show that the counterpart relation is not an equivalence relation. I then look at test sentences (...) in (the intensional) natural language, and show that none of them provide compelling evidence that a counterpart semantics is needed. (shrink)

Anti-essentialism holds that no thing has any modal properties except relative to a conceptualization—for instance, relative to a description. One and the same thing might be essentially rational relative to the description “mathematician” but only accidentally rational relative to the description “bicyclist.” Anti-essentialism was dominant in pre-Kripkean days. The old description theory of names made room for anti-essentialism by reducing apparently true de re modal attributions to de dicto ones by way of the hidden description. We can follow Kripke (...) in giving up the description theory without thereby giving up anti-essentialism. Counterpart theory makes room for anti-essentialism by interpreting de re modal attributions by way of counterparts and allowing that different other-worldly objects count as a thing’s counterparts relative to different ways of thinking of the thing. One thing is essentially physical when thought of as a body but only accidentally physical when thought of as a person. One thing has its shape essentially when thought of as a statue but only accidentally when thought of as a lump of clay. The metaphysical meat of counterpart theory is that it allows for anti-essentialism. (shrink)

The technical apparatus of modal semantics--Possible worlds, World-Lines, Counterparts, Etc.--Continues to arouse suspicion among philosophers of various persuasions. A way to dispel at least some of the suspicion is to provide a naturalistic interpretation of the semantical machinery. My goal here is precisely that. More specifically, I provide a behavioristically acceptable interpretation of david lewis' counterpart theory. Reference to worlds and counterparts is construed in sober, Quinean terms. The result is a "metalinguistic" construal of counterpart semantics, And (...) thus, Of modality. Having shown that counterpart theory rests on no dubious philosophical assumptions, I briefly explore some of the metaphysical consequences of the resulting theory of modality. (shrink)

The article considers whether arguments involving sentences that make cross-world comparisons ("I could have been taller than I actually am") are better handled by counterpart theory than by standard modal semantics. The author describes a modal object-language in which such statements may be symbolized and gives both a Kripkean and a counterpart-theoretic semantics for it.

Jim Stone has argued that a multiversal version of Modal Realism together with Counterpart Theory cannot account for a certain intuitive possibility. Roughly, it is the possibility that all free moral choices of a certain sort are the right choices in all cases in the multiverse. The present work offers an explanation of how the metaphysics in question can account for the intuitive possibility in question.

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan (...) Formula. Everyone also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)