不可分者同一性原理 不可分者同一性原理也称不可区分之同一性等英語identity of indiscernibles是一条本体论的原理principle它是指如果两个实体或客体有完全相同的性质那么它们必然不可区分用符号语言表达为实体 x 与 y 等同仅当 x 的所有谓词英语predicate logic同样是 y的所有述词且反之亦然所谓两样事物不可区分即指两个名字下指涉同一样事物所以有可能没有完全等同的两样东西比如两片雪花的形状并不相同但这仅仅是形而上学的一条原理而非自然科学的它的逆命题是同一者不可分性原理讨论如下 德国哲学家戈特弗里德莱布尼茨为不可分者同一性原理提供了一种形式但是后人对他的解释不同有人说莱布尼茨只认为同一者有不可分性即同一者不可分性原理也有人说莱布尼茨强调的是同一者不可分性和不可分者同一性两者但无论如何这些原理与莱布尼茨密切相关所以被一并称作莱布尼茨定律Leibnizs law这是他诸多伟大的形而上学原理之一其他的则是无矛盾律和充足理由律在牛顿与莱布尼茨的争辩中很著名地得到使用也在和克拉克的书信英语LeibnizClarke correspondence中和克拉克萨缪尔克拉克英语Samuel Clarke有过讨论 但是有哲学家认为有必要排除一些谓词避免平凡性或矛盾这样的谓词有例子见下它可以表示一个对象是否为 x 经常被认为是有效的谓词这一做法的结果就是在哲学意义下本原理有很多不同版本不同版本有不同的逻辑强度有作者为了区分采用强不可分者同一性原理和弱不可分者同一性原理等术语 威拉德范奥曼蒯因认为在特定语境下代替英语Substitution logic如张三相信 p或必然有 q 的情况的失败就预示着模态逻辑本身是不可能的 索尔阿伦克里普克则认为这种失败可能是由于在这些证明中不清晰地使用了去引用原理英语disquotational principle而不是代替本身地问题 不可分者同一性原理得到量子力学的使用作为非互文性英语Quantum contextuality的动力概念motivate notions存在与不可分者同一性原理相关的问题是它是个逻辑的原理还是仅作为经验的英语empirical原理存在 目前中文还没有对不可分者同一性原理统一的译法identity通常指同一性indiscernibles有不可辨认之物的意思韩语界有统一译法识别不可能者同一性原理