Abstract

Lewis 1973 observed that his logic for counterfactuals could be applied to definite descriptions. His generalization was that the latter display the same non-monotonic patterns as the former, contrary to what Russellian or Strawsonian accounts would predict. We take Lewis's suggestion literally and suggest that ‘if' should be analyzed as the word ‘the' applied to a description of possible worlds. We do not follow Lewis's own implementation, however, for it entails that definite descriptions do not refer. Rather, we use von Heusinger's Choice Function theory of definiteness to analyze both ‘if p' and ‘the P' as referential terms: ‘if p' denotes the closest p-world, while ‘the P' denotes the most salient P-individual.