有例子（见下），它可以表示一个对象是否为 "x" （经常被认为是有效的谓词）。这一做法的结果就是，在哲学意义下，本原理有很多不同版本，不同版本有不同的逻辑强度。有作者为了区分，采用“强-不可分者同一性原理”和“弱-不可分者同一性原理”等术语。威拉德·范奥曼·蒯因认为，在特定语境下（如“张三相信 "p"”或“必然有 "q" 的情况”）的失败，就预示着模态逻辑本身是不可能的。 索尔·阿伦·克里普克则认为，这种失败可能是由于在这些证明中不清晰地使用了，而不是代替本身地问题。不可分者同一性原理得到量子力学的