刘叶涛 杨四平

在有关同一性的当代论争中，克里普克（S.Kripke）的必然同一理论由于其在逻辑学和哲学上的诸多关联以及在意义和真理领域所引发的诸多后果而备受瞩目。偶然同一论的拥护者吉巴德（A.Gibbard，[6]）、威尔逊（M.Wilson，[21]）、普利斯特（G.Priest，[15]）等人通过大量的实例展示和理论论述，论证的确存在由专名构成的偶然真的同一性陈述。克里普克则坚决拒斥偶然同一，认为“凡同一皆为必然同一”。双方迄今仍未达成基本共识。克里普克的必然同一论有着逻辑和哲学上的多角度证成。在逻辑上，可以为同一关系必然性定律提供形式证明，在哲学解释上则与其对必然-先验-分析和偶然-后验-综合之传统划界的突破直接相关。必然同一论基于克里普克关于必然性隶属形而上学领域的定位，同一性的必然性无非就是突显必然性的本体论视角并始终自觉贯彻。基于“是”型陈述之逻辑形式的揭示，可以明确严格指示概念的本体论意味，专名是严格指示词只是对象自我同一这个必然事态的语言哲学表达。通过逻辑必然和非逻辑必然的区分和比较可以发现，克里普克的必然同一与其因果链条无法相容，必然同一论不能为完整的指称理论提供必需的认识论要素。

1 作为本体论理论的必然同一理论

克里普克1972 年的名篇《同一性与必然性》（[8]，第1-26 页）从化解所谓“同一性悖论”着手提出了必然同一理论。根据莱布尼茨律，对任意对象x和y，如果x和y等同，若x具有某特定属性F，y也就具有该属性。……