The Mereological Foundation of Megethology

Journal of Philosophical Logic 45 (2):227-235 (2016)
Download Edit this record How to cite View on PhilPapers
In Mathematics is megethology. Philosophia Mathematica, 1, 3–23) David K. Lewis proposes a structuralist reconstruction of classical set theory based on mereology. In order to formulate suitable hypotheses about the size of the universe of individuals without the help of set-theoretical notions, he uses the device of Boolos’ plural quantification for treating second order logic without commitment to set-theoretical entities. In this paper we show how, assuming the existence of a pairing function on atoms, as the unique assumption non expressed in a mereological language, a mereological foundation of set theory is achievable within first order logic. Furthermore, we show how a mereological codification of ordered pairs is achievable with a very restricted use of the notion of plurality without plural quantification
PhilPapers/Archive ID
Upload history
Archival date: 2017-11-22
View other versions
Added to PP index

Total views
302 ( #22,207 of 64,202 )

Recent downloads (6 months)
16 ( #37,391 of 64,202 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.