Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 43, Number 2 (2002), 79-94.
Nonclassical Mereology and Its Application to Sets
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.
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
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. https://projecteuclid.org/euclid.ndjfl/1071509430