×

名称的形式和本体方面。 (英文) Zbl 0906.03002号

在对名称的外延和外延进行了简短的介绍性讨论之后,作者提出了一种基于一阶同一逻辑的非正式公理理论ETO(对象基本理论)。ETO实际上是第一作者在其论文中开发的广义集合理论的一个片段。ETO的原始概念包括对象和对象包含;其他一些,例如集合和成员,是通过定义引入的。列出了ETO的几个基本定理,并证明了勒希涅夫斯基本体论的“长”公理可以在ETO中得到解释。(然而,作者的结论是,勒希涅夫斯基的本体论在ETO中有一个解释,这有点草率,因为他们甚至没有考虑所谓的基本本体论的其他公理,即勒希涅夫斯基系统的一阶片段)。

MSC公司:

03A05号 逻辑和基础的哲学和批判性方面
03B60号 其他非经典逻辑
PDF格式BibTeX公司 XML格式引用