论克里普克的“后验必然命题”

克里普克提出的后验必然命题，指的是那些不能独立于现实世界的经验而得知其不可能不为真，且在形式上一般由两个严格指示词所组成的命题。克里普克对于这类命题的论证，可以重构为“同一对象的必然性”、“后验必然命题的必然性”、“后验必然命题的后验性”、“后验必然命题的偶然性幻觉之缘由”四个步骤。克里普克的严格指示词理论是其后验必然命题的核心和依托。