Notre Dame Journal of Formal Logic

Nonclassical Mereology and Its Application to Sets

Peter Forrest

Abstract

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

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

Dates
First available in Project Euclid: 15 December 2003

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1071509430

Digital Object Identifier
doi:10.1305/ndjfl/1071509430

Mathematical Reviews number (MathSciNet)
MR2033318

Zentralblatt MATH identifier
1049.03003

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

Keywords
class fusion measure mereology set sum

Citation

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


Export citation

References

  • [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.