Abstract

Aspects of kripke's recent work in philosophy are considered in connection with the formal approach he set forth over a decade ago regarding semantics for modal logic. An ambiguity is pointed out concerning kripke's intuitive test for rigid designators and it is argued that, Relative to an appropriate framework for considering actual and possible physical objects, Certain proper names fail to be rigid designators