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