In his will, Dr. Rolf Schock, who died in 1986, specified that half of his estate should be used to fund four prizes in the fields of Logic and Philosophy, Mathematics, the Visual arts and Music. The prizes in Logic and Philosophy and in Mathematics is awarded by the Royal Swedish Academy of Sciences, and those in the Visual arts and Music by the Royal Academy of Fine Arts and the Royal Swedish Academy of Music respectively.
The Royal Swedish Academy of Sciences awarded the 2020 Rolf Schock Prize in Logic and Philosophy to Dag Prawitz, Stockholm University, “for proof-theoretical normalization in natural deduction”, and to Per Martin-Löf, Stockholm University, “for the creation of constructive type theory”. A symposium was planned for the Laureates in 2020, but was postponed until now due to the pandemic.
Venue: SU Conference Center, Albano, Albanovägen 29, house 3, floor 4, room 4204. A description on how to find the venue will be sent to everyone who registers.
The theme of the symposium is Validity of Inference.
Programme
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
The event is free of charge and open to the public, but registration is required for all participants. If you have any food restrictions, please let us know when you register.
The Royal Swedish Academy of Sciences occasionally records and photographs during its events. Photographs and video footage will be processed by the Academy and submitted to third parties for processing. Photographs and videos may also be used in our communication activities to provide information about the Academy’s activities in any of the digital and/or printed channels used by the Academy. If you do not consent to this or have other questions about our processing of personal data, please call us on +46 8 673 95 00, or email gdpr@kva.se
Read more about how the Academy processes your personal data
Contact: Peter Brandén
Email: program@kva.se