I shall be giving a keynote plenary talk for the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), to be held 5-10 August 2019 at the Institute of Philosophy of the Czech Academy of Sciences in the beautiful city of Prague . The CLMPST congress is held every four years, and the theme of the 2019 meeting is, “Bridging across academic cultures.”
Can set-theoretic mereology serve as a foundation of mathematics?
Abstract: Mereology, the study of the relation of part to whole, is often contrasted with set theory and its membership relation, the relation of element to set. Whereas set theory has found comparative success in the foundation of mathematics, since the time of Cantor, Zermelo and Hilbert, mereology is strangely absent. Can a set-theoretic mereology, based upon the set-theoretic inclusion relation ⊆ rather than the element-of relation ∈, serve as a foundation of mathematics? Can we faithfully interpret arbitrary mathematical structure in terms of the subset relation to the same extent that set theorists have done so in terms of the membership relation? At bottom, the question is: 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.
Please join me in Prague! See the Call for Papers, requesting contributed papers and contributed symposia on twenty different thematic sections, from mathematical and philosophical logic to the philosophy of science, philosophy of computing and many other areas. I am given to understand that this will be a large meeting, with about 800 participants expected.
- J. D. Hamkins and M. Kikuchi, “Set-theoretic mereology,” Logic and Logical Philosophy, special issue “Mereology and beyond, part II”, vol. 25, iss. 3, pp. 285-308, 2016.
- J. D. Hamkins and M. Kikuchi, “The inclusion relations of the countable models of set theory are all isomorphic,” ArXiv e-prints, 2017.
