Dag Prawitz – Wikipédia, a enciclopédia livre
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 |
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]
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 norueguês). Norwegian Academy of Science and Letters. Consultado em 16 de janeiro de 2011
Ligações externas
[editar | editar código-fonte]- Prawit - página na Univ. de Estocolmo