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
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
https://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 J. Formal Logic 43 (2002), no. 2, 79--94. doi:10.1305/ndjfl/1071509430. https://projecteuclid.org/euclid.ndjfl/1071509430


