Pieces of mereology

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


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



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Note on the Transitivity of Parthood.Achille C. Varzi - 2006 - Applied ontology 1 (2):141-146.
Medieval mereology.Desmond Paul Henry - 1991 - Philadelphia: B.R. Grüner.
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.


Added to PP

254 (#82,518)

6 months
30 (#108,802)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrzej Pietruszczak
Nicolaus Copernicus University

References found in this work

The Structure of Appearance.Nelson Goodman - 1956 - Studia Logica 4:255-261.
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