Dag Prawitz
Jump to navigation
Jump to search
Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". 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.[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
<templatestyles src="Reflist/styles.css" />
- ↑ Template:Prawitz Natural Deduction
- ↑ Template:Prawitz Natural Deduction
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".