摘要

我们讨论了一些在同一性概念上偏离经典逻辑和数学的逻辑数学系统。在本文的第一部分中,我们给出了恒等原理的非常一般的公式,并展示了它们如何与对象和属性“相对化”。然后,作为一个应用,我们研究了物理学(量子物体违反同一性原理)和逻辑(提出了一些替换原理无效的逻辑)的特殊情况。在论文的最后一部分,我们讨论了字母表逻辑也就是说,那些违反同一性原则最基本版本之一的表述的逻辑系统;在这些逻辑中,有些公式是无法从自身推导出来的。

您当前没有访问此文章的权限。