Counterpart Theory and Quantified Modal Logic
Lewis (David)
Source: Lewis - Philosophical Papers Volume I, Part 1: Ontology, Chapter 3
Paper - Abstract

Paper SummaryBooks / Papers Citing this PaperText Colour-Conventions

  1. In this landmark paper, Lewis outlines his theory of modality and counterparts. The eight postulates constitutive of Lewis's counterpart theory are expressed in an extensional first-order language that replaces the modal operators (characteristic of traditional quantified modal logic) with four primitive predicates:
    … 'x is a possible world',
    … 'x is in possible world y',
    … 'x is actual', and
    …'x is a counterpart of y'.
  2. Upon presenting a scheme for translating sentences expressed in quantified modal logic into those expressed in his preferred extensional language, Lewis demonstrates that the latter is nevertheless a richer language; while every sentence of quantified modal logic may be translated into a sentence expressed in counterpart theory, the reverse is not the case.
  3. Lewis concludes the paper by considering the implications of his view for several well-known topics (notably, Aristotelian essentialism).
  4. The postscript includes numerous additions and emendations (including a specification of the primitive predicate, 'x is in possible world y').


Also in "Loux (Michael), Ed. - The Possible and the Actual: Readings in the Metaphysics of Modality".

Text Colour Conventions (see disclaimer)

  1. Blue: Text by me; © Theo Todman, 2018
  2. Mauve: Text by correspondent(s) or other author(s); © the author(s)

© Theo Todman, June 2007 - January 2018. Please address any comments on this page to File output:
Website Maintenance Dashboard
Return to Top of this Page Return to Theo Todman's Philosophy Page Return to Theo Todman's Home Page