Dag Prawitz (original) (raw)
Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker.
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageExternalLink | http://people.su.se/~prawd/index_en.htm |
| dbo:wikiPageID | 911318 (xsd:integer) |
| dbo:wikiPageLength | 1847 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1003602522 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:20th-century_Swedish__philosophers dbc:Proof_theorists dbc:Swedish_logicians dbc:1936_births dbc:Living_people dbr:Stockholm dbc:Mathematical_logicians dbc:Swedish_philosophers dbr:Norwegian_Academy_of_Science_and_Letters dbr:Natural_deduction dbr:Proof_theory dbc:Members_of_the_Norwegian_Academy_of_Science_and_Letters dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbr:Logician dbr:Philosopher dbr:Rolf_Schock_Prize dbr:Royal_Swedish_Academy_of_Science dbr:Royal_Swedish_Academy_of_Letters_and_Antiquity |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Reflist dbt:Short_description dbt:Sweden-scientist-stub dbt:Europe-mathematician-stub |
| dcterms:subject | dbc:20th-century_Swedish__philosophers dbc:Proof_theorists dbc:Swedish_logicians dbc:1936_births dbc:Living_people dbc:Mathematical_logicians dbc:Swedish_philosophers dbc:Members_of_the_Norwegian_Academy_of_Science_and_Letters dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences |
| gold:hypernym | dbr:Philosopher |
| schema:sameAs | http://viaf.org/viaf/12407772 |
| rdf:type | owl:Thing dbo:Person yago:WikicatLivingPeople yago:WikicatLogicians yago:WikicatMathematicalLogicians yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:Wikicat20th-centuryPhilosophers yago:WikicatProofTheorists yago:WikicatSwedishLogicians yago:WikicatSwedishMathematicians yago:WikicatSwedishPhilosophers |
| 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) |
| rdfs:label | Dag Prawitz (de) Dag Prawitz (en) Dag Prawitz (it) Dag Prawitz (fr) ダグ・プラウィッツ (ja) Dag Prawitz (pt) Dag Prawitz (sv) |
| owl:sameAs | freebase:Dag Prawitz http://viaf.org/viaf/12407772 yago-res:Dag Prawitz http://d-nb.info/gnd/1090282303 http://d-nb.info/gnd/122972317 https://dblp.org/pid/86/173 wikidata:Dag Prawitz http://data.bibliotheken.nl/id/thes/p118536974 dbpedia-de:Dag Prawitz dbpedia-fr:Dag Prawitz dbpedia-it:Dag Prawitz dbpedia-ja:Dag Prawitz dbpedia-pt:Dag Prawitz dbpedia-sv:Dag Prawitz https://global.dbpedia.org/id/2nikA |
| prov:wasDerivedFrom | wikipedia-en:Dag_Prawitz?oldid=1003602522&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Dag_Prawitz |
| is dbo:wikiPageWikiLink of | dbr:2020_in_philosophy dbr:List_of_philosophers_born_in_the_20th_century dbr:Per_Martin-Löf dbr:Index_of_philosophy_articles_(D–H) dbr:List_of_logicians dbr:List_of_members_of_the_Norwegian_Academy_of_Science_and_Letters_(current) dbr:Rolf_Schock_Prizes dbr:Structural_proof_theory dbr:Normal_form_(natural_deduction) dbr:Proof-theoretic_semantics dbr:Curry–Howard_correspondence dbr:Dag_(name) dbr:Parameter dbr:Natural_deduction dbr:Proof_theory dbr:Relevance_logic dbr:International_Union_of_History_and_Philosophy_of_Science dbr:Jean-Yves_Girard dbr:Takeuti's_conjecture dbr:Theoria_(philosophy_journal) dbr:Semantics_of_logic dbr:Sequent |
| is foaf:primaryTopic of | wikipedia-en:Dag_Prawitz |