Schock Prize Symposium in Logic and Philosophy 2020 (Dag Prawitz and Per Martin-Löf)
Time: Wed 2022-10-26 09.00 - 18.00
Location: Albano, House 3, floor 4, room 4204
Participating: Dag Prawitz (SU), Per Martin-Löf (SU) et al
Program
09:00 : Morning coffee
Morning session
Chair: Göran Sundholm, Leiden University, The Netherlands
09:30 : Opening of the symposium
Göran Sundholm, Leiden University, The Netherlands
09:40 : Validity of inference and argument
The Rolf Schock Prize Laureate 2020 Dag Prawitz, Stockholm University, Sweden
10:50 : Correctness of assertion and validity of inference
The Rolf Schock Prize Laureate 2020 Per Martin-Löf, Stockholm University, Sweden
12:00 – 13:30: Lunch at Kräftan, not included
Afternoon session 1
Chair: Peter Pagin, Stockholm University, Sweden
13:30 : Proof-theoretic validity: some fundamental problems
Peter Schroeder-Heister, University of Tübingen, Germany
14:30 : Pursuit of the concept of validity
Cesare Cozzo, Sapienza University of Rome, Italy
15:30 : Coffee break
Afternoon session 2
Chair: Dag Westerståhl, Stockholm University, Sweden
16:00 : The logical structure of inference
Ansten Mørch Klev, Czech Academy of Sciences, Prague, Czech Republic
17:00 : Validity of proofs and validity of inferences: the shortcomings of the Bolzano reductions
Göran Sundholm, Leiden University, The Netherlands
18:00 : End of Prize Symposium