Natural axioms for classical mereology

Aaron Cotnoir; Achille Varzi

doi:10.1017/S1755020318000412

Natural axioms for classical mereology

Aaron Cotnoir, Achille Varzi

Philosophy

Research output: Contribution to journal › Article › peer-review

Abstract

We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.

Original language	English
Pages (from-to)	201-208
Number of pages	8
Journal	The Review of Symbolic Logic
Volume	12
Issue number	1
Early online date	27 Dec 2018
DOIs	https://doi.org/10.1017/S1755020318000412
Publication status	Published - Mar 2019

Keywords

Mereology
Boolean algebras
Axiomatics

Access to Document

10.1017/S1755020318000412

Natural Axioms for Mereology
Copyright © Association for Symbolic Logic 2018. This work has been made available online in accordance with the publisher’s policies. This is the author created accepted version manuscript following peer review and as such may differ slightly from the final published version. The final published version of this work will be available at: https://doi.org/10.1017/S1755020318000412
Accepted author manuscript, 75 KB

Wholes: More than just the sum of their: Wholes: More than Just the Sum of Their Parts
Cotnoir, A. (PI)
The Leverhulme Trust
1/09/17 → 31/08/18
Project: Fellowship

Cite this

@article{2888acfe5033434985dafa9955628654,

title = "Natural axioms for classical mereology",

abstract = "We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.",

keywords = "Mereology, Boolean algebras, Axiomatics",

author = "Aaron Cotnoir and Achille Varzi",

note = "The research and writing of this paper was supported by a 2017–2018 Leverhulme Research Fellowship from the Leverhulme Trust.",

year = "2019",

month = mar,

doi = "10.1017/S1755020318000412",

language = "English",

volume = "12",

pages = "201--208",

journal = "The Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Natural axioms for classical mereology

AU - Cotnoir, Aaron

AU - Varzi, Achille

N1 - The research and writing of this paper was supported by a 2017–2018 Leverhulme Research Fellowship from the Leverhulme Trust.

PY - 2019/3

Y1 - 2019/3

N2 - We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.

AB - We present a new axiomatization of classical mereology in which the three components of the theory—ordering, composition, and decomposition principles—are neatly separated. The equivalence of our axiom system with other, more familiar systems is established by purely deductive methods, along with additional results on the relative strengths of the composition and decomposition axioms of each system.

KW - Mereology

KW - Boolean algebras

KW - Axiomatics

U2 - 10.1017/S1755020318000412

DO - 10.1017/S1755020318000412

M3 - Article

SN - 1755-0203

VL - 12

SP - 201

EP - 208

JO - The Review of Symbolic Logic

JF - The Review of Symbolic Logic

IS - 1

ER -

Natural axioms for classical mereology

Abstract

Keywords

Access to Document

Fingerprint

Projects

Wholes: More than just the sum of their: Wholes: More than Just the Sum of Their Parts

Cite this