Skip to main content
To KTH's start page

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

Export to calendar

Program

Also see program at KVA

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