Biography:Dag Prawitz

From HandWiki
Short description: Swedish philosopher and logician

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.

References

  1. ↑ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. https://archive.org/details/naturaldeduction0000praw. 
  2. ↑ Prawitz, Dag (2006). Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4. 
  3. ↑ "Gruppe 3: Idéfag" (in no). Norwegian Academy of Science and Letters. http://www.dnva.no/c26849/artikkel/vis.html?tid=40104. 

External links




Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Dag_Prawitz&oldid=3439888"