Abstract

Føllesdal (1966 and 1969) claims that modal distinctions collapse, that is that p and Necessarily p are equivalent, in any system of modal logic that incorporates a standard theory of definite descriptions, like the one proposed by Carnap in M&N. I argue that his argument fails.