论逻辑与形而上学中不可分辨性的种类

以 Hilbert-Bernays 的论述为出发点，我们首先利用相关语言的非逻辑词汇，定义了两种对象可被彼此分辨的四种方式。（这些定义基于 Quine 和 Saunders 给出的定义。）由于我们采用了 Hilbert-Bernays 的论述，这些定义是根据语言的句法来表述的。但我们也将我们的定义与量化域上的置换及其作为对称性的观念联系起来。这些关系颇为微妙——关于它们的一些自然猜想是错误的。我们将特别看到，对称性的观念与一种我们将称之为“绝对不可分辨性”的不可分辨性种类相吻合。然后，我们报告了这四种可分辨性之间的所有逻辑蕴涵关系。我们利用这四种类型作为资源，来陈述关于同一性的四个形而上学论题。其中三个论题阐明了两个传统的哲学主题：即不可分辨者的同一性原则（将有两个版本）和此性论（haecceitism）。第四个论题是较新的。其最显著的特征是，它使差异性（即非同一性）弱于我们将称之为个体性（作为个体）的东西：两个对象可以是不同的，但并非个体。出于这个原因，它既被倡导用于量子粒子，也被倡导用于时空点。最后，我们将这第四个形而上学论题置于一个更广泛的立场中，我们称之为结构主义。我们以对适合结构主义者的语义学的讨论作为结尾，并特别参考了物理理论以及初等模型论。