Notre Dame Journal of Formal Logic

Nonclassical Mereology and Its Application to Sets

Peter Forrest


Part One of this paper is a case against classical mereology and for Heyting mereology. This case proceeds by first undermining the appeal of classical mereology and then showing how it fails to cohere with our intuitions about a measure of quantity. Part Two shows how Heyting mereology provides an account of sets and classes without resort to any nonmereological primitive.

Article information

Notre Dame J. Formal Logic Volume 43, Number 2 (2002), 79-94.

First available in Project Euclid: 15 December 2003

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}

class fusion measure mereology set sum


Forrest, Peter. Nonclassical Mereology and Its Application to Sets. Notre Dame J. Formal Logic 43 (2002), no. 2, 79--94. doi:10.1305/ndjfl/1071509430.

Export citation


  • [1] Divers, J., Possible Worlds, Routledge, London, 2002.
  • [2] Forrest, P., ``How innocent is mereology?,'' Analysis, vol. 56 (1996), pp. 127--31.
  • [3] Forrest, P., "Grit or gunk: The implications of the Banach-Tarski paradox", forthcoming in The Monist, vol. 87 (2004).
  • [4] Johnstone, P. T., Stone Spaces, vol. 3 of Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 1982.
  • [5] Lewis, D., Parts of Classes, Basil Blackwell, Oxford, 1991.
  • [6] Simons, P. M., "On understanding Leśniewski", History and Philosophy of Logic, vol. 3 (1982), pp. 165--91.
  • [7] Simons, P. M., Parts: A Study of Ontology, Clarendon Press, Oxford, 1987.
  • [8] Tarski, A., "Foundations of the geometry of solids", pp. 24--29 in Logic, Semantics, Metamathematics. Papers from 1923 to 1938, translated by J. H. Woodger, Clarendon Press, Oxford, 1956.
  • [9] van Fraassen, B., "Singular terms, truth-value gaps and free logic", Journal of Philosophy, vol. 63 (1966), pp. 481--95.