8-9 Mar 2018
Konstanz, Germany
Paul Lorenzen: Mathematician and Logician http://philosophisches-archiv.de March 8 -- 9 , 2018 University of Konstanz, Room V 1001 Paul Lorenzen (1915--1994) was an outstanding philosopher from the latter half of the 20th century. His name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. At that time, Lorenzen already had an international reputation as a brilliant mind in mathematics and logic. Focussing at first on abstract algebra, Lorenzen later turned his attention to foundational issues in logic and mathematics. His studies in this field are still highly regarded today and finally led to his concept of operative logic and mathematics, which in turn were the base for his philosophy later on. This meeting focusses on integrating Lorenzen's original approach into the history of logic and mathematics. We furthermore explore the options of how Lorenzen's systematical ideas can be implemented in today's debates on proof-theoretic semantics, databank management and stochastics. 9:00 a.m. Welcome of Vice-Rector of the University, Matthias Armgardt Welcome of Gereon Wolters, University of Konstanz Session I Chair: Salma Kuhlmann, University of Konstanz 9:15 a.m. Some contributions of Lorenzen to constructive mathematics and an application to constructive measure theory Thierry Coquand, University of Gteborg 10:15 a.m. Lorenzen's work on lattice-groups and divisibility theory: from a classical celebrated result to relevant constructive rewriting Henri Lombardi, University of Bourgogne Franche-Comt 11:15 a.m. Coffee break 11:45 a.m. Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1939--1953) Stefan Neuwirth, University of Bourgogne Franche-Comt 12:45 p.m. Lunch Session II Chair: Wolfgang Spohn, University of Konstanz 2:00 p.m. Extension by conservation Peter M. Schuster, University of Verona 3:00 p.m. Modern set theory and Lorenzen's critique of actual infinity Carolin Antos, University of Konstanz 4:00 p.m. Coffee break 4:30 p.m. The main problem of Grundlagenforschung Jan von Plato, University of Helsinki 5:30 p.m. Lorenzen's consistency proof and Hilbert's larger programme Reinhard Kahle, New University of Lisbon 7:00 p.m. Dinner Friday, 9th March 2018 Session III Chair: Christian Thiel, University of Erlangen 9:00 a.m. From Lorenzen's dialogue game to game semantics for substructural logics Christian Fermller, TU Wien 10:00 a.m. From proof-theoretical to interaction semantics: what does one gain? Mathieu Marion, University of Quebec at Montreal 11:00 a.m. Coffee break 11:30 a.m. A circularity puzzle within the operative justification of logic and mathematics and a way out Shahid Rahman, University of Lille 12:30 p.m. Lunch End of Meeting We thank for generously supporting the meeting: Paul-Lorenzen-Stiftung. Organizer: Philosophisches Archiv der Universitt Konstanz Contact and registration: Philosophisches Archiv Dr. Brigitte Parakenings +49 7531 88-3729 Fax +49 7531 88-2502 brigitte.parakenings@uni-konstanz.de RSVP by February 28th, 2018. Attendance is free, but registration is necessary. Charge for dinner on 8th March is EUR 35, and has to be paid in advance. Please contact us! -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam