The Sum Relation as a Primitive Concept of Mereology

IF 0.6 3区数学 Q2 LOGIC

Studia Logica Pub Date : 2024-07-01 DOI:10.1007/s11225-024-10122-4

Rafał Gruszczyński, Dazhu Li

引用次数: 0

Abstract

Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the part of relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses mereological sum as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.

查看原文本刊更多论文

和的关系是货币学的原始概念

形式上的纯粹论通常使用一种语言，其签名只包含一个原始的二元谓词符号，代表关系的一部分，即适当的或不适当的关系。在本文中，我们提出了一种以单纯形学总和为原始概念的单纯形学方法，并证明了它在定义上等同于标准的基于parthood的单纯形学结构理论。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Studia Logica MATHEMATICS-LOGIC

CiteScore

1.70

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.