Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Pieces of mereology
  • Home
  • /
  • Pieces of mereology
  1. Home /
  2. Archives /
  3. Vol. 14 No. 2 (2005) /
  4. Articles

Pieces of mereology

Authors

  • Andrzej Pietruszczak Nicolaus Copernicus University, Toruń http://orcid.org/0000-0001-9133-5081

DOI:

https://doi.org/10.12775/LLP.2005.014

Keywords

mereology, mereological structures, axioms of mereology, collective sets, mereological sets, mereological fusions, mereological parts

Abstract

In this paper we will treat mereology as a theory of some structures that are not axiomatizable in an elementary language (one of the axioms will contain the predicate ‘belong’ (‘∈’) and we will use a variable ranging over the power set of the universe of the structure). A mereological structure is an ordered pair M = <M,⊑>, where M is a non-empty set and ⊑ is a binary relation in M, i.e., ⊑ is a subset of M × M. The relation ⊑ is a relation of being a mereological part (instead of ‘<x,y> ∈ ⊑’ we will write ‘x ⊑ y’ which will be read as “x is a part of y”). We formulate an axiomatization of mereological structures, different from Tarski’s axiomatization as presented in [10] (Tarski simplified Leśniewski’s axiomatization from [6]; cf. Remark 4). We prove that these axiomatizations are equivalent (see Theorem 1). Of course, these axiomatizations are definitionally equivalent to the very first axiomatization of mereology from [5], where the relation of being a proper part ⊏ is a primitive one.

Moreover, we will show that Simons’ “Classical Extensional Mereology” from [9] is essentially weaker than Leśniewski’s mereology (cf. Remark 6).

Author Biography

Andrzej Pietruszczak, Nicolaus Copernicus University, Toruń

Department of Logic

References

Breitkopf, A., “Axiomatisierung einiger Begriffe aus Nelson Goodmans The Structure of Appearance”, Erkenntnis 12, 229–247.

Eberle, R., “Some complete calculi of individuals”, NDJFL 8 (1967), 267–278.

Goodman, N. The Structure of Appearance, Cambridge Massachusetts 1951.

Leonard, H. S., N. Goodman, “The calculus of individuals and its uses”, Journal of Symbolic Logic, vol. 5, 2 (1940), 45–55. DOI: http://dx.doi.org/10.2307/2266169

Leśniewski, S., “O podstawach matematyki. Rozdział IV”, Przegląd Filozoficzny XXXI (1928), 261–291. English version: “On the foundations of mathematics. Chapter IV”, pp. 226–263 in: Collected Works, S.J. Surma, J.T. Srzednicki and D.I. Barnett (eds.), PWN – Kluwer Academic Publishers, Dordrecht, 1991.

Leśniewski, S., “O podstawach matematyki. Rozdziały VI-IX”, Przegląd Filozoficzny XXXIII (1930), 77–105. English version: “On the fundations of mathematics. Chapters VI-IX”, pp. 313–349 in: Collected Works, S.J. Surma, J.T. Srzednicki and D.I. Barnett (eds.), PWN – Kluwer Academic Publishers, Dordrecht, 1991.

Pietruszczak, A., “Kawałki mereologii” (Pieces of Mereology), pp. 357–374 in: Logika & Filozofia Logiczna. FLFL 1996–1998, J. Perzanowski and A. Pietruszczak (eds.), Nicolaus Copernicus University Press, Toruń 2000.

Pietruszczak, A., Metamereologia (Metamereology), Nicolaus Copernicus University Press, Toruń 2000.

Simons, P. M., Parts. A Study in Ontology, Oxford 1987.

Tarski, A., “Les fondements de la géometrie des corps”, pp. 29–30 in: Księga Pamiątkowa Pierwszego Zjazdu Matematycznego, Kraków 1928. English translation: “Foundations of the geometry of solid”, pp. 24–29 in: Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford 1956.

Tarski, A., “Zur Grundlegung der Booleschen Algebra. I”, Fundamenta Mathematicae 24, 177–198. English translation “On the foundations of Boolean algebra”, pp. 320–341 in: Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford 1956.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2005-12-23

How to Cite

1.
PIETRUSZCZAK, Andrzej. Pieces of mereology. Logic and Logical Philosophy. Online. 23 December 2005. Vol. 14, no. 2, pp. 211-234. [Accessed 5 July 2025]. DOI 10.12775/LLP.2005.014.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 14 No. 2 (2005)

Section

Articles

Stats

Number of views and downloads: 582
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

mereology, mereological structures, axioms of mereology, collective sets, mereological sets, mereological fusions, mereological parts
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop