ABELIAN MEREOLOGY.
In classical extensional mereology, composition is idempotent: if x is part of y, then the sum of x and y is identical to y. In this paper, I provide a systematic and coherent formal mereology for which idempotence fails. I first discuss a number of purported counterexamples to idempotence that have...
| Publicado en: | Logic & Logical Philosophy Vol. 24; no. 4; pp. 429 - 448 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
2015
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=111796065&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 111796065 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: 2015 vid: 24 iid: 4 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 111796065 10.12775/LLP.2015.006 ppf: 429 ppct: 19 formats: fmt: @attributes: type: P size: 1.3MB tig: atl: ABELIAN MEREOLOGY. aug: au: Cotnoir, A. J. affil: University of St Andrews Departments of Philosophy St Andrews, United Kingdom su: Whole & parts (Philosophy) Idempotents Ordered algebraic structures Mathematical models Universalism (Philosophy) sug: subj: Whole & parts (Philosophy) Idempotents Ordered algebraic structures Mathematical models Universalism (Philosophy) keyword: antisymmetry composition extensionality mereology parthood supplementation universalism ab: In classical extensional mereology, composition is idempotent: if x is part of y, then the sum of x and y is identical to y. In this paper, I provide a systematic and coherent formal mereology for which idempotence fails. I first discuss a number of purported counterexamples to idempotence that have been put forward in the literature. I then discuss two recent attempts at sketching non-idempotent formal mereology due to Karen Ben- nett and Kit Fine. I argue that these attempts are incomplete, however, and there are many open issues left unresolved. I then construct a class of models of a non-idempotent mereology using multiset theory, consider their algebraic structure, and show how these models can shed light on the open issues left from the previous approaches. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|