Kripke's modal arguments establish that names are rigid designators whose semantic value is exhauste...