Philosophical roots of mathematical logic
University of Turin, 4-6 April 2022 / online access Updates and practical infos: https://philevents.org/event/show/96506 To register, please write to: francesca.biagi...@unito.it<mailto:francesca.biagi...@unito.it> Program (CET) 4 April 2022 Sala Principi d'Acaja del Rettorato Online: https://unito.webex.com/unito/j.php?MTID=m2b3d13689ac6c90cd58169e352c3d16d 9:30-10:00 Welcome 10:00-10:50 Mirja Hartimo (University of Helsinki), Husserl's mathematical logic 10:50-11:20 Break 11:20-12:10 Pierluigi Minari (University of Florence), At the roots of 20th century modal logic: Oskar Becker's 1930 pioneering contributions (joint work with S. Centrone) 12:10-13:00 Annika Kanckos (University of Helsinki), The development of Gödel's ontological proof 13:00-14:30 Break 14:30-15:20 Maria Regina Brioschi (University of Milan), On the philosophical relevance of Peirce’s logic of relatives 15:20-16:10 Dirk Schlimm (McGill University) and David Waszek (University of Lorraine/CNRS), John Venn’s pluralism regarding logical forms 16:10-16:40 Break 16:40-17:30 Guido Bonino (University of Turin), Logic and its place in philosophy according to British idealism. The case of Green 17:30-18:20 Nikolay Milkov (University of Paderborn), Bertrand Russell’s philosophical logic and Its logical forms 5 April 2022 Sala Lauree di Palazzo Badini Online: https://unito.webex.com/unito/j.php?MTID=m1ef447387ecad27f9dd13a9a13ef8802 9:00-9:50 Colin Guthrie King (Providence College), Reforming Aristotle’s logic in Brentano’s School 9:50-10:40 Jean-Marie Chevalier (Université Paris-Est Créteil/Collège de France) and Amirouche Moktefi (Tallinn University of Technology), Léon Foucou, the first French logicist 10:40-11:10 Break 11:10-12:00 Laura Crosilla (University of Oslo), Hermann Weyl and the roots of mathematical logic 12:00-12:50 Mykola Nikitchenko (University of Kyiv), Philosophical categories in foundations of mathematical logic 12:50-14:30 Break 14:30-15:20 Rosario Croce (Scuola Normale Superiore, Pisa), Truth, clarity, and the world-relatedness of formal logic. Husserl on the logical tasks of the philosopher 15:20-16:10 Tabea Rohr (University of Lorraine), Logical concepts vs. logical operations: Two traditions of logic re-revisited 16:10-16:40 Break 16:40-17:30 Erich Reck (University of California, Riverside), Practical origins of Dedekind’s logic 17:30-18:20 Georg Schiemer (University of Vienna), Instrumental formalism and conservativity 6 April 2022 Sala Lauree di Palazzo Badini Online: https://unito.webex.com/unito/j.php?MTID=m6ebc2279e4faff8282240b34ee1bc772 9:00-9:50 Arianna Betti (University of Amsterdam), The spread of the mathematical method in eighteenth-century Germany: A data-driven investigation (joint work with Hein van den Berg, Maria Chiara Parisi and Yvette Oortwijn) 9:50-10:40 Michael Heidelberger (University of Tübingen), Herbart’s position in the history of logic of the early German 19th century 10:40-11:10 Break 11:10-12:00 Lassi Saario (University of Helsinki), From natural to artificial: The mathematization of logical consequence in Bolzano and Tarski 12:00-12:50 Stefania Centrone (Distance-Learning University Hagen), Bernard Bolzano and the philosophical roots of Proof-theory 12:50-15:00 Break 15:00-15:50 Wilfried Sieg (Carnegie Mellon University), tba 15:50-16:40 Filippo Costantini (University of Venice), Leibniz’s real addition calculus as a mereological calculus 16:40-17:10 Break 17:10-18:00 Jeremy Heis (University of California, Irvine), Russell and Kantianism, 1897-1900 Organizers: Francesca Biagioli (University of Turin), Paola Cantù (Aix-Marseille University, CNRS), Paolo Maffezioli (University of Turin) Sponsor: This event has been funded by the "Rita Levi Montalcini" program granted by the Italian Ministry of University and Research (MIUR) -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html
