Counterpart Theory as a Semantics for Modal Logic

Abstract

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