| rdfs:comment
| - Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker. (de)
- Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction. Prawitz is a member of the Norwegian Academy of Science and Letters, of the and the Royal Swedish Academy of Science. Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020. (en)
- 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. (fr)
- ダグ・プラウィッツ（Dag Prawitz、1936年 - ）は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている。ストックホルム生まれ。 (ja)
- Dag Hjalmar Prawitz, född 16 maj 1936 i Sofia församling i Stockholm, är professor emeritus i teoretisk filosofi. (sv)
- 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. Prawitz é membro da Academia Norueguesa de Ciências e Letras, da Real Academia Sueca de Letras e Antiguidade e da Real Academia Sueca de Ciências. (pt)
- Dag Prawitz (Stoccolma, 16 maggio 1936) è un matematico e filosofo svedese. Si è occupato in particolare di teoria della dimostrazione e di sistemi di deduzione naturale. Tra i risultati fondamentali, da lui dimostrati, vi è il teorema di normalizzazione, equivalente, nel calcolo della deduzione naturale, al teorema di eliminazione del taglio di Gerhard Gentzen per il calcolo dei sequenti. Sulla base delle sue tecniche di normalizzazione, ha inoltre dimostrato la congettura di Takeuti (dimostrata indipendentemente anche da Tait, Takahashi e Girard). A partire dagli anni '70, ha inoltre sviluppato una semantica formale incentrata sulla nozione costruttiva di argomento valido e variamente connessa all'impostazione Brouwer-Heyting-Kolmogorov; nel suo più recente sviluppo, che Prawitz stesso (it)
|
| has abstract
| - Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker. (de)
- Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction. Prawitz is a member of the Norwegian Academy of Science and Letters, of the and the Royal Swedish Academy of Science. Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020. (en)
- 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. (fr)
- Dag Prawitz (Stoccolma, 16 maggio 1936) è un matematico e filosofo svedese. Si è occupato in particolare di teoria della dimostrazione e di sistemi di deduzione naturale. Tra i risultati fondamentali, da lui dimostrati, vi è il teorema di normalizzazione, equivalente, nel calcolo della deduzione naturale, al teorema di eliminazione del taglio di Gerhard Gentzen per il calcolo dei sequenti. Sulla base delle sue tecniche di normalizzazione, ha inoltre dimostrato la congettura di Takeuti (dimostrata indipendentemente anche da Tait, Takahashi e Girard). A partire dagli anni '70, ha inoltre sviluppato una semantica formale incentrata sulla nozione costruttiva di argomento valido e variamente connessa all'impostazione Brouwer-Heyting-Kolmogorov; nel suo più recente sviluppo, che Prawitz stesso chiama teoria dei grounds, essa tende a privilegiare la nozione di inferenza valida rispetto a quella di conseguenza logica, accentuando gli aspetti epistemici della validità. Si è occupato anche di informatica teorica, filosofia della matematica, filosofia della logica e teoria del significato. Negli ultimi tre casi ha fatto proprie, in modo spesso innovativo, alcune delle principali posizioni di Michael Dummett. Nel 2020 è stato insignito, insieme a , del Premio Schock per la logica e la filosofia. (it)
- ダグ・プラウィッツ（Dag Prawitz、1936年 - ）は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている。ストックホルム生まれ。 (ja)
- Dag Hjalmar Prawitz, född 16 maj 1936 i Sofia församling i Stockholm, är professor emeritus i teoretisk filosofi. (sv)
- 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. Prawitz é membro da Academia Norueguesa de Ciências e Letras, da Real Academia Sueca de Letras e Antiguidade e da Real Academia Sueca de Ciências. (pt)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)