# 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.^{[1]}^{[2]}

Prawitz is a member of the Norwegian Academy of Science and Letters,^{[3]} of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

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

## ReferencesEdit

**^**Prawitz, Dag (1965).*Natural deduction: A proof-theoretical study*. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell.CS1 maint: ref=harv (link)**^**Prawitz, Dag (2006) [1965].*Natural deduction: A proof-theoretical study*. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4.CS1 maint: ref=harv (link)**^**"Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Retrieved 16 January 2011.

## External linksEdit

This article about a Swedish scientist is a stub. You can help Wikipedia by expanding it. |

This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |