The Rolf Schock Prize Symposium in Logic and Philosophy 2020

Date: 2022-10-26

Time: 09:00 - 18:00

Address: SU Conference Center, Albano, Albanovägen 29

Venue: House 3, floor 4, room 4204

Last date for registration: 2022-10-16 23:55

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.


Morning coffee

Morning session
Chair: Göran Sundholm, Leiden University, The Netherlands

Opening of the symposium
Göran Sundholm, Leiden University, The Netherlands

Validity of inference and argument
The Rolf Schock Prize Laureate 2020 Dag Prawitz, Stockholm University, Sweden

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

Proof-theoretic validity: some fundamental problems
Peter Schroeder-Heister, University of Tübingen, Germany

Pursuit of the concept of validity
Cesare Cozzo, Sapienza University of Rome, Italy

Coffee break

Afternoon session 2
Chair: Dag Westerståhl, Stockholm University, Sweden

The logical structure of

Ansten Mørch Klev, Czech Academy of Sciences, Prague, Czech Republic

Validity of proofs and validity of inferences: the shortcomings of the Bolzano reductions
Göran Sundholm, Leiden University, The Netherlands

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

Read more about how the Academy processes your personal data 

Contact: Peter Brandén