Prawitz
Enciclopedia della Matematica (2013)
Prawitz
Prawitz Dag (Stoccolma 1936) logico e filosofo svedese. È conosciuto soprattutto per i suoi lavori sulla teoria della dimostrazione e la fondazione della deduzione naturale, a partire dal suo lavoro Natural deduction (1965). Si è occupato anche di deduzione automatica (nell’ambito dell’intelligenza artificiale) e di teoria del significato. Membro permanente dell’Accademia reale delle scienze svedese, ha insegnato dal 1976 filosofia teoretica all’università di Stoccolma.