摘要

克里普克认为存在必然的同一性和偶然的同一性,但他对必然同一性的界定却带来了“偶然之物必然存在”的谜题。克里普克证明“同一的必然性”诉诸莱布尼兹的不可分辨律,但是不可分辨律却常常遭到质疑。“偶然之物必然存在”之谜以及对不可分辨律的怀疑都是源于对逻辑形式的误解。本文给出了“同一的必然性”的实例的逻辑形式,也给出了不同语言下的莱布尼兹律的逻辑形式,它们可以消除哲学谜题所造成的对不可分辨律的质疑。