Topic summary

Dag Prawitz

Dag Prawitz

Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction, and for his contributions to proof-theoretic semantics.

Prawitz is a member of the Norwegian Academy of Science and Letters, of the and the Royal Swedish Academy of Science.

In the Fall of 1991, he was a Fellow at the Swedish Collegium for Advanced Study in Uppsala, Sweden.

Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020.