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	1936 Stockholm
Nationalité	suédoise
Formation	Université de Stockholm
Activités	Mathématicien, philosophe, professeur d'université

Autres informations

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

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
• Notice dans un dictionnaire ou une encyclopédie généraliste :

  • Nationalencyklopedin
• Notices d'autorité :

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