アポステリオリな必然性
以下は、テーゼの大まかな概要である。
(前提1) 「宵の明星」は、夕方の星を指示する固有名である。また、「明けの明星」も固有名で、明け方の星を指示する。ここで、この夕方の星と明け方の星はどちらも同じ惑星 (金星) である。したがって、どちらの名辞も金星を指示する。
(前提2) この二つの名辞が固定指示子であるとき、これらは金星が存在するすべての可能世界で同じ対象 (金星) を指示する。したがって、 (「必然的」の定義上、) 「宵の明星 = 明けの明星」は必然的に真である。すべての可能世界で同一性言明「宵の明星は明けの明星である」が真であるとき、この命題は必然であるということができる。
(前提3) 宵の明星と明けの明星が同一であるという事実は経験的な観察によって発見されたものであるため、アプリオリに発見されたということはできない。したがって、この事実はアポステリオリに発見された。
(結論) したがって、アポステリオリに得られた知識が必然であるということはありうる。
他のアポステリオリな必然的真理の例として、「H2Oは水である」が挙げられる。