Philosophy of Mathematics Seminar (Monday - Week 4, MT18)
In light of the comparative success of membership-based set theory in the foundations of mathematics, since the time of Cantor, Zermelo and Hilbert, it is natural to wonder whether one might nd a similar success for set-theoretic mereology, based upon the set-theoretic inclusion relation ⊆ rather than the element-of relation ∈. How well does set-theoretic mereological serve as a foundation of mathematics? Can we faithfully interpret the rest of mathematics in terms of the subset relation to the same extent that set theorists have argued (with whatever degree of success) that we may nd faithful representations in terms of the membership relation? Basically, can we get by with merely ⊆ in place of ∈? Ultimately, I shall identify grounds supporting generally negative answers to these questions, concluding that set-theoretic mereology by itself cannot serve adequately as a foundational theory. This is joint work with Makoto Kikuchi and Ruizhi Yang. Post questions and commentary on my blog at http://jdh.hamkins.org/on-set-theoretic-mereology -as-a-foundation-of-mathematics-oxford-phil-math-seminar -october-2018.
Philosophy of Mathematics Seminar Convenors: Dr James Stud, Dr Daniel Isaacson, and Prof Volker Halbach