- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On Tarski’s Axiomatization of Mereology
Studia Logica 107 (6):1089-1102 (2019)
Abstract
It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Classical Mereology Is Axiomatizable Using Primitive Fusion in Two-Sorted Logic.Marcin Łyczak - 2024 - Notre Dame Journal of Formal Logic 65 (3):357-365.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
The Sum Relation as a Primitive Concept of Mereology.Rafał Gruszczyński & Dazhu Li - forthcoming - Studia Logica:1-17.
Nonclassical Mereology and Its Application to Sets.Peter Forrest - 2002 - Notre Dame Journal of Formal Logic 43 (2):79-94.
A Monadic Second-Order Version of Tarski’s Geometry of Solids.Patrick Barlatier & Richard Dapoigny - forthcoming - Logic and Logical Philosophy:1-45.
Parts, classes and Parts of Classes : an anti-realist reading of Lewisian mereology.Neil Tennant - 2013 - Synthese 190 (4):709-742.
A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.
Analytics
Added to PP
2018-08-28
Downloads
50 (#440,682)
6 months
15 (#212,111)
2018-08-28
Downloads
50 (#440,682)
6 months
15 (#212,111)
Historical graph of downloads
Author's Profile
Citations of this work
Fusions in Intuitionistic Mereology.Annica Vieser - 2024 - Journal of Philosophical Logic 53 (6):1463-1494.
References found in this work
A general theory of abstraction operators.Neil Tennant - 2004 - Philosophical Quarterly 54 (214):105-133.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-72rpk uwo