Dag Prawitz
Dag Prawitz (nascido em 1936, em Estocolmo) é um filósofo e lógico sueco. Ele é melhor conhecido pelo seu trabalho sobre a teoria da prova e pelos fundamentos da dedução natural.[1][2]
| Dag Prawitz | |
|---|---|
| Nascimento | 1936 (88 anos) Estocolmo |
| Cidadania | Suécia |
| Alma mater | |
| Ocupação | matemático, filósofo, professor universitário |
| Empregador(a) | Universidade de Estocolmo |
Prawitz é membro da Academia Norueguesa de Ciências e Letras,[3] da Real Academia Sueca de Letras e Antiguidade e da Real Academia Sueca de Ciências.
Referências
- Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Col: 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» (em Norwegian). Norwegian Academy of Science and Letters. Consultado em 16 de janeiro de 2011
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.