[Iris] APSE TALK: Jeremy Butterfield | Emergent Ontology and Structural Realism: Quantities as Objects and Objects as Quantities

APSE TALK: Jeremy Butterfield | Emergent Ontology and Structural Realism: Quantities as Objects and Objects as Quantities Applied Philosophy of Science and Epistomology Talk Series A series of talks organized by APSE (Department of Philosophy). More information here: apse.univie.ac.at/news-events/apse-talks/ Date: 07/03/2024 Time: 15h00 Venue: New Institute Building (NIG), Universitätsstraße 7, 1010 Wien, HS 3A Abstract: My current research centers on the question of how to adjudicate an appropriate background logic for axiomatizations of mathematics. Currently, first-order logics are the default background logic. They have the advantage of being simple yet expressive, deductively complete, but has two main disadvantages. The first is that it is not categorical, which means that there are infinitely many non-isomorphic models for e.g., the natural number sequence 0, 1, 2, 3, 4, . . . -- most including strange entities like "non-standard" numbers capable of being greater than all natural numbers, and in which addition and multiplication aren't computable! The second disadvantage is that making first-order logics expressive enough to axiomatize the natural numbers renders it incomplete! In many ways, first-order logics simply are not up to the task. Second-order logics are deductively incomplete, but have the advantage of being categorical, which makes them far more suitable to talk with precision about a mathematical structure. As such, I intend to use the history of model theory as of scientific progress and decision-making with respect to our background theories when the advantages and disadvantages aren't themselves decisive. But first, this history must be generated, and the early history of model theory is what I will focus on for this talk. All are welcome!