部分概念的不同理论
逻辑
2024-12-16 v2
摘要
斯坦索夫·莱斯尼斯基的名词学被以特定方式形式化，偏离了标准的形式化方法。如今，莱斯尼斯基的理论以初等理论的形式呈现，或被翻译成关系结构理论的语言。在本文中，我们首先考察了存在中性理论，其中不假设除由定义和基本属性得到的集合之外的任何其他集合。我们还检查了一些包含存在性的部分理论，其中包括格尔查尔茨式名词学和莱斯尼斯基式名词学。名词学的一个主要原则是"是...的部分"概念的传递性。这一属性在相关文献中常被质疑。在最后一部分，我们提出了与该概念传递性相关的问题。
引用
@article{arxiv.2412.06663,
title = {Different Theories of Parts},
author = {Andrzej Pietruszczak},
journal= {arXiv preprint arXiv:2412.06663},
year = {2024}
}
备注
This research was funded in whole or in part by the National Science Centre (NCN), Poland, grant no. 2021/43/B/HS1/03187. For the purpose of Open Access, the author has applied a CC-BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission