On Three Axiom Systems for Classical Mereology

Achille C. Varzi

DOI: http://dx.doi.org/10.12775/LLP.2018.014


We correct an error and expose two redundancies in the axiom systems presented by Paul Hovda in his 2009 influential paper, ‘What is classical mereology?’.


Mereology; axiom systems

Full Text:



Goodman, N., The Structure of Appearance, Cambridge (MA), Harvard University Press, 1951.

Hovda, P., “What is classical mereology?”, Journal of Philosophical Logic 38, 1 (2009): 55–82. DOI: http://dx.doi.org/10.1007/s10992-008-9092-4

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

Leśniewski, S., Podstawy ogólnej teoryi mnogości. I, Moskow, Prace Polskiego Koła Naukowego w Moskwie, 1916. Eng. trans.: “Foundations of the general theory of sets. I”, pages 129–173 in S. Leśniewski, Collected Works, vol. 1, ed. by S.J. Surma et al., Dordrecht, Kluwer, 1991.

Pietruszczak, A., Metamereologia, Toruń, Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2000. Revised and extended Eng. trans.: Metamereology, Toruń, Nicolaus Copernicus University Scientific Publishing House, 2018. DOI: http://dx.doi.org/10.12775/3961-4

Simons, P. M., Parts. A Study in Ontology, Oxford, Clarendon, 1987. DOI: http://dx.doi.org/10.1093/acprof:oso/9780199241460.001.0001

Tarski, A., “Les fondements de la géométrie des corps”, Księga Pamiątkowa Pierwszkego Polskiego Zjazdu Matematycznego, suppl. to Annales de la Société Polonaise de Mathématique, 7 (1929), pp. 29–33. Extended Eng. trans: “Foundations of the geometry of solids”, pages 24–29 in A. Tarski, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford, Clarendon, 1956.

Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.

ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism