Advertisement

The Relations of Supremum and Mereological Sum in Partially Ordered Sets

  • Rafał Gruszczyński
  • Andrzej Pietruszczak
Chapter
Part of the Synthese Library book series (SYLI, volume 371)

Abstract

This paper is devoted to mutual relationship between the relations of mereological sum and least upper bound (supremum) in partially ordered sets. We are mainly interested in the following problem: under what conditions (axioms) put on mereological sum the both relations coincide? The mutual relation between the relations in question is, among others, the object of scientific scrutiny in Pietruszczak (Metamereologia (in Polish). Nicolaus Copernicus University Press, Toruń, 2000) and Pietruszczak (Logic Logical Philos 14(2), 211–234, 2005). There it is shown that in the so called classical mereology, which is the contemporary version of Stanisław Leśniewski’s original system, mereological sum coincides with supremum relation. The first one to prove this property, in original language of Leśniewski’s mereology, was Alfred Tarski (see Leśniewski (Przeglad Filozoficzny, XXXIII, 77–105, 1930), p. 87). The paper starts with some refresher on basic notions from both mereology and ordered sets theory with particular emphasis on supremum relation. We point to some basic properties of supremum which later in the paper we mirror by axioms put on the mereological sum relation and show their consequences. Then we prove that by imposing different requirements on mereological sum we indeed can obtain the equality between sum and supremum. In the final part of the paper we change the perspective and introduce a class of some particular ordered sets that we call mereological posets, in which by a suitable axiom we directly require that sum coincide with supremum. Although we do not give full characterization of such structures we reveal some interesting properties of theirs.

References

  1. Gruszczyński, R., & Pietruszczak, A. (2008). Full development of Tarski’s geometry of solids. Bulletin of Symbolic Logic, 14, 481–540.CrossRefGoogle Scholar
  2. Gruszczyński, R., & Pietruszczak, A. (2009). Space, points and mereology. On foundations of point-free Euclidean geometry. Logic and Logical Philosophy, 18, 145–188.Google Scholar
  3. Gruszczyński, R., & Pietruszczak, A. (2010). How to define a collective (mereological) set. Logic and Logical Philosophy, 19, 309–328.Google Scholar
  4. Grzegorczyk, A. (1955). The systems of Leśniewski in relation to contemporaty logical research. Studia Logica, 3, 77–97.CrossRefGoogle Scholar
  5. Grzegorczyk, A. (1960). Axiomatizability of geometry without points. Synthese, 12(2–3), 228–235.CrossRefGoogle Scholar
  6. Leśniewski, S. (1930). O podstawach matematyki. Przeglad Filozoficzny, XXXIII, 77–105.Google Scholar
  7. Pietruszczak, A. (2000). Metamereologia (in Polish). Toruń: Nicolaus Copernicus University Press.Google Scholar
  8. Pietruszczak, A. (2005). Pieces of mereology. Logic and Logical Philosophy, 14(2), 211–234.CrossRefGoogle Scholar
  9. Simons, P. (1987). Parts: A study in ontology. Oxford: Clarendon.Google Scholar
  10. Tarski, A. (1956). Les fondements de la géometrié de corps. In Ksiȩga Pamia̧tkowa Pierwszego Polskiego Zjazdu Matematycznego, suplement to Annales de la Societé Polonaise de Mathématique (pp. 29–33). English translation: Fundations of the geometry of solid. In Logic, semantics, metamathematics: Papers from 1923 to 1938 (pp. 24–29). Oxford: Clarendon.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Department of LogicNicolaus Copernicus University in ToruńToruńPoland

Personalised recommendations