Abstract

This paper presents and motivates a counterpart theoretic semantics for quantifi ed modal logic based on a fleshed out account of Lewis's notion of a `possibility.' According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quanti ed modal logic based on evaluating formulae at possibilities is developed. It is shown that this framework naturally accommodates an actuality operator, addressing recent objections to counterpart theory, and is equivalent to the more familiar Kripke semantics for quanti fied modal logic with an actuality operator.