{"title":"The Sum Relation as a Primitive Concept of Mereology","authors":"Rafał Gruszczyński, Dazhu Li","doi":"10.1007/s11225-024-10122-4","DOIUrl":null,"url":null,"abstract":"<p>Mereology in its formal guise is usually couched in a language whose signature contains only one primitive binary predicate symbol representing the <i>part of</i> relation, either the proper or improper one. In this paper, we put forward an approach to mereology that uses <i>mereological sum</i> as its primitive notion, and we demonstrate that it is definitionally equivalent to the standard parthood-based theory of mereological structures.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-024-10122-4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 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.