不可分者同一性原理

不可分者同一性原理 ， 也稱不可區分之同一性等  ， 是一條本體論的原理 （ principle ） ， 它是指如果兩個實體或客體有完全相同的性質 ， 那麼它們必然不可區分 。 用符號語言表達爲 ： 實體 x 與 y 等同 ， 僅當 x 的所有 ， 同樣是 y的所有述詞 ， 且反之亦然 。 所謂兩樣事物不可區分 ， 即指兩個名字下指涉同一樣事物 。 所以有可能 ， 沒有完全等同的兩樣東西 （ 比如兩片雪花的形狀並不相同 ） 。 但這僅僅是形而上學的一條原理 ， 而非自然科學的 。 它的逆命題是同一者不可分性原理 ， 討論如下 。 德國哲學家戈特弗裏德 · 萊布尼茨爲不可分者同一性原理提供了一種形式 。 但是 ， 後人對他的解釋不同 ： 有人說 ， 萊布尼茨只認爲同一者有不可分性 ， 即同一者不可分性原理 ； 也有人說 ， 萊布尼茨強調的是同一者不可分性和不可分者同一性兩者 。 但無論如何 ， 這些原理與萊布尼茨密切相關 ， 所以被一併稱作萊布尼茨法則  。 這是他諸多偉大的形而上學原理之一 ， 其他的則是無矛盾律和充足理由律 （ 在牛頓與萊布尼茨的爭辯中很著名地得到使用 ， 也在和中和克拉克有過討論 。 但是 ， 有哲學家認爲有必要排除一些謂詞 ， 避免平凡性或矛盾 。 這樣的謂詞有例子 （ 見下 ） ， 它可以表示一個對象是否爲 x （ 經常被認爲是有效的謂詞 ） 。 這一做法的結果就是 ， 在哲學意義下 ， 本原理有很多不同版本 ， 不同版本有不同的邏輯強度 。 有作者爲了區分 ， 採用 “ 強 - 不可分者同一性原理 ” 和 “ 弱 - 不可分者同一性原理 ” 等術語 。 威拉德 · 範奧曼 · 蒯因認爲 ， 在特定語境下 （ 如 “ 張三相信 p ” 或 “ 必然有 q 的情況 ” ） 的失敗 ， 就預示着模態邏輯本身是不可能的 。 索爾 · 阿倫 · 克里普克則認爲 ， 這種失敗可能是由於在這些證明中不清晰地使用了 ， 而不是代替本身地問題 。 不可分者同一性原理得到量子力學的使用 ， 作爲的動力概念 （ motivate notions ） 存在 。 與不可分者同一性原理相關的問題是 ， 它是個邏輯的原理 ， 還是僅作爲原理存在 。 目前 ， 中文還沒有對不可分者同一性原理統一的譯法 ， identity通常指同一性 ， indiscernibles有不可辨認之物的意思 。 韓語界有統一譯法 “ 識別不可能者同一性原理 ” 。