text: 不可分者同一性原理，也稱不可區分之同一性等。但這僅僅是形而上學的一條原理，而非自然科學的。它的逆命題是同一者不可分性原理，討論如下。德國哲學家戈特弗裡德·萊布尼茨為不可分者同一性原理提供了一種形式。但是，後人對他的解釋不同：有人說，萊布尼茨只認為同一者有不可分性，即同一者不可分性原理；也有人說，萊布尼茨強調的是同一者不可分性和不可分者同一性兩者。但無論如何，這些原理與萊布尼茨密切相關，所以被一併稱作萊布尼茨定律。這是他諸多偉大的形而上學原理之一，其他的則是無矛盾律和充足理由律（在牛頓與萊布尼茨的爭辯中很著名地得到使用，也在和中和克拉克有過討論。但是，有哲學家認為有必要排除一些謂詞，避免平凡性或矛盾。這樣的謂詞有例子。這一做法的結果就是，在哲學意義下，本原理有很多不同版本，不同版本有不同的邏輯強度。有作者為了區分，採用“強-不可分者同一性原理”和“弱-不可分者同一性原理”等術語。威拉德·範奧曼·蒯因認為，在特定語境下的失敗，就預示著模態邏輯本身是不可能的。 索爾·阿倫·克里普克則認為，這種失敗可能是由於在這些證明中不清晰地使用了，而不是代替本身地問題。不可分者同一性原理得到量子力學的使用，作為的動力概念存在。與不可分者同一性原理相關的問題是，它是個邏輯的原理，還是僅作為原理存在。目前，中文還沒有對不可分者同一性原理統一的譯法，identity通常指同一性，indiscernibles有不可辨認之物的意思。韓語界有統一譯法“識別不可能者同一性原理”。同一性與不可分性.萊布尼茨法則的符號表示是 (x)(y) [x=y → (F)(Fx ↔ Fy)]，讀作“對任意x和對任意y，如果x與y等同，那麼對於任意性質F：如果x擁有F，則y擁有F；如果y擁有F則x擁有F”“=”在萊布尼茨法則裡意味著“量的相同”。“同一性”不僅僅是指值的相等，而是指“x與y是同樣的物件”。但是，萊布尼茨法則的兩個原理必須區分開。 注意，以下都是二階邏輯的表達，它們不可以被表達成一階邏輯的。原理1不需要“=”公理。原理1被認為是邏輯真理，是沒有爭議的。 但原理2，有時則被認為是有爭議的，最著名的反駁請見。批判.對稱宇宙.用反例駁倒了不可分者同一性原理。注意到不可分者同一性原理是假的，充分地可以蘊含這樣一個模型，模型裡兩樣可分的事物有著相同的性質。他斷言，在一個對稱宇宙裡 只有兩個對稱的球存在，這兩個球哪怕所有性質都相同，也是可以區分的。Black的論證展示了完全一致的性質並不能區分對稱宇宙中相同的物體。笛卡爾的運用.如前所述，同一者不可分性原理幾乎沒有爭議。但是，笛卡爾在他的《第一哲學沉思集》中對這一原理的應用，卻出現了問題。笛卡爾在前文中得出，他不能懷疑他自己的存在。也就是說，因為心靈有不可懷疑性，但是身體沒有，所以心靈與身體是兩樣實體。這個論證有很多當代哲學家批判，認為它在前提中就已經預設了結論。哲學家們說，人們知道或者相信某個實體有的東西，並不是實體本身的特徵。笛卡爾在《沉思集》中不能懷疑心靈，能懷疑物體，這些並不是心靈或者物體的本質。有人用歸謬法展示笛卡爾的錯誤，例如下面的基於的論證:以上任何這些都會瓦解萊布尼茨法則。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 不可分者同一性原理
metadata: https://zh.wikipedia.org/wiki?curid=6951878