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: 94,698

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

What Is Classical Mereology?Paul Hovda - 2009 - Journal of Philosophical Logic 38 (1):55 - 82.
Mereology and modality.Gabriel Uzquiano - 2014 - In Shieva Kleinschmidt (ed.), Mereology and Location. Oxford: Oxford University Press. pp. 33-56.
Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.
A General Concept of Being a Part of a Whole.Andrzej Pietruszczak - 2014 - Notre Dame Journal of Formal Logic 55 (3):359-381.


Added to PP

258 (#83,693)

6 months
33 (#121,231)

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