of the World）」处理。
克里普克的模态逻辑.1970年代，哲学家索尔·阿伦·克里普克用模态（modality）这个概念延续出模态逻辑（modal argument）。这个论点与其说是直觉的更应该说是相当技巧的，但在可能世界架构中的固定指示词（rigid designator）间说明同一律必须以必然的东西为前提，来反驳神经现象与痛苦代表我们拥有的内心感觉间的同一律证明（所谓的身心同一论）。这个论证在克里普克讲义录『命名与必然性』中有详细的讨论。克里普克在这本书的最终章将论