| 后验必然命题 a posteriori and necessary proposition 美国克里普克关于必然真理可以通过后验方式来发现的观点。他从专名的同一性和理论的同一性两个方面来论证。认为就专名的同一性而言，专名是固定指示词，它在一切可能世界都指示同一对象。由于“长庚星就是启明星”这个同一命题中的两个专名是固定指示词，而这个同一命题又是真的，因此这个同一命题必然是真的;而长庚星和启明星都指的是金星这个事实是天文学家发现的，即后验地得知的，因此这个同一命题属于后验必然命题。就理论的同一性而言，他以“热与分子运动相同一”、“水与氢氧化合物相同一”等同一命题为例说明，认为“热”、“分子运动”、“水”、“氢氧化合物”都是固定指示词，它们在一切世界中都指示特定的外部现象，而热是分子运动、水是氢氧化合物等等都是后来科学家发现的，因此，“热是分子运动”、“水是氢氧化合物”这些同一命题属于后验必然命题。 |