Dag Prawitz
Jump to navigation
Jump to search
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
- ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell.
- ^ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4.
- ^ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Archived from the original on 9 January 2015. Retrieved 16 January 2011.
External links
Categories:
- CS1 Norwegian-language sources (no)
- Articles with short description
- Short description matches Wikidata
- Articles with FAST identifiers
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with Libris identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with PhilPeople identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 1936 births
- Living people
- Swedish logicians
- Mathematical logicians
- Swedish philosophers
- Members of the Royal Swedish Academy of Sciences
- Members of the Norwegian Academy of Science and Letters
- Proof theorists
- 20th-century Swedish philosophers
- All stub articles
- Swedish scientist stubs
- European mathematician stubs