中文

辨别的等级:不可分辨性、对称性与相对性

逻辑 2017-10-18 v2

摘要

存在几种关系,它们虽未达到真正的同一性,但在重要方面表现得如同同一性。此类辨别等级近期成为了大量哲学和技术讨论的主题。本文旨在完成对其的技术性研究。不可分辨性等级是根据满足某些一阶公式来定义的。对称性等级是根据结构上的对称性来定义的。这两类辨别等级已得到一定程度的详细研究。然而,本文还引入了相对性等级,其定义为相对性对应。本文探讨了所有辨别等级之间的关系,详尽回答了几个迄今为止仅得到部分解答的自然问题。它还确立了哪些等级可以通过满足对象语言公式来捕捉,并建立了与可定义性理论的联系。

关键词

引用

@article{arxiv.1408.1672,
  title  = {Grades of Discrimination: Indiscernibility, symmetry, and relativity},
  author = {Tim Button},
  journal= {arXiv preprint arXiv:1408.1672},
  year   = {2017}
}

备注

Minor changes: a table has been added to section 2 (for user reference), and the identity-free version of Beth-Svenonius in section 6 gets a slightly nicer treatment