Logic and Logical Philosophy 14 (2):211-234 (2005)

Authors
Andrzej Pietruszczak
Nicolaus Copernicus University
Abstract
In this paper† we will treat mereology as a theory of some structures that are not axiomatizable in an elementary langauge and we will use a variable rangingover the power set of the universe of the structure). A mereological structure is an ordered pair M = hM,⊑i, where M is a non-empty set and ⊑is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ isa relation of being a mereological part . We formulate an axiomatization of mereological structures, different from Tarski’s axiomatization aspresented in [10] . We prove that these axiomatizations are equivalent . Of course, these axiomatizations are definitionally equivalent to thevery first axiomatization of mereology from [5], where the relation of being aproper part ⊏ is a primitive one.Moreover, we will show that Simons’ “Classical Extensional Mereology”from [9] is essentially weaker than Leśniewski’s mereology
Keywords collective sets  mereological sets  mereological structures  axioms of mereology  mereology  mereological parts  mereological fusions
Categories (categorize this paper)
DOI 10.12775/LLP.2005.014
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,916
Through your library

References found in this work BETA

The Calculus of Individuals and its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (2):45-55.
The Calculus of Individuals and Its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (3):113-114.
The Structure of Appearance.Paul Henle - 1952 - Journal of Symbolic Logic 17 (2):130-133.
Some Complete Calculi of Individuals.Rolf A. Eberle - 1967 - Notre Dame Journal of Formal Logic 8 (4):267-278.

View all 6 references / Add more references

Citations of this work BETA

Decidability of Mereological Theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
Mereology Then and Now.Rafał Gruszczyński & Achille C. Varzi - 2015 - Logic and Logical Philosophy 24 (4):409.
A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.

View all 10 citations / Add more citations

Similar books and articles

A Note on the Transitivity of Parthood.Achille C. Varzi - 2006 - Applied Ontology 1 (2):141-146.
Non-Wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.
Mereology on Topological and Convergence Spaces.Daniel R. Patten - 2013 - Notre Dame Journal of Formal Logic 54 (1):21-31.
Mereology and Modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford University Press. pp. 33-56.
What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Mereology and Semiotics.Frederik Stjernfelt - 2000 - Sign Systems Studies 28:73-97.
Multilocation and Mereology.Shieva Kleinschmidt - 2011 - Philosophical Perspectives 25 (1):253-276.

Analytics

Added to PP index
2013-10-31

Total views
218 ( #43,951 of 2,433,196 )

Recent downloads (6 months)
2 ( #293,757 of 2,433,196 )

How can I increase my downloads?

Downloads

My notes