Dag Prawitz

Dag Prawitz, né le 16 mai 1936, est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.

Dag Prawitz

Biographie

Naissance	16 mai 1936 Stockholm
Nationalité	suédoise
Formation	Université de Stockholm
Activités	Mathématicien, professeur d'université, philosophe, logicien

Autres informations

A travaillé pour	Université de Stockholm
Membre de	Academia Europaea (1989) Académie norvégienne des sciences et des lettres Académie royale suédoise des belles-lettres, d'histoire et des antiquités Académie royale des sciences de Suède Scandinavian Logic Society (en)
Directeur de thèse	Anders Wedberg (d)
Distinction	Prix Schock de logique et philosophie (2020)

Bibliographie

• (en) Dag Prawitz, Natural deduction : A proof-theoretical study, Mineola, New York, Dover Publications, 2006 (1^re éd. 1965), 113 p. (ISBN 978-0-486-44655-4, lire en ligne)

Liens externes

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Dimensions
  • Mathematics Genealogy Project
• Notices dans des dictionnaires ou encyclopédies généralistes :

  • Nationalencyklopedin
  • Treccani
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • CiNii
  • Belgique
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Suède
  • Norvège
  • Tchéquie
• Page Web de Prawitz