Dag Prawitz

Template:Short description Template:Infobox scientist 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.<ref>Template:Prawitz Natural Deduction</ref><ref>Template:Prawitz Natural Deduction</ref>

Prawitz is a member of the Norwegian Academy of Science and Letters,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> 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.

External links

• Prawitz's web page at Stockholm University

Template:Sweden-scientist-stub Template:Europe-mathematician-stub