This HTML5 document contains 104 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n24http://viaf.org/viaf/
n28https://dblp.org/pid/86/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n30http://people.su.se/~prawd/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n21http://data.bibliotheken.nl/id/thes/
n15http://d-nb.info/gnd/

Statements

Subject Item
dbr:Dag_Prawitz
rdf:type
yago:LivingThing100004258 yago:Wikicat20th-centuryMathematicians yago:WikicatMathematicalLogicians yago:WikicatSwedishLogicians yago:YagoLegalActor yago:YagoLegalActorGeo yago:WikicatProofTheorists yago:Mathematician110301261 yago:Scientist110560637 yago:WikicatLogicians yago:CausalAgent100007347 dbo:Person yago:Whole100003553 yago:Theorist110706812 yago:WikicatSwedishMathematicians yago:Intellectual109621545 yago:Wikicat20th-centuryPhilosophers yago:Object100002684 owl:Thing yago:Logician110269785 yago:Organism100004475 yago:Expert109617867 yago:WikicatLivingPeople yago:Philosopher110423589 yago:Person100007846 yago:Scholar110557854 yago:PhysicalEntity100001930 yago:WikicatSwedishPhilosophers
rdfs:label
Dag Prawitz Dag Prawitz Dag Prawitz Dag Prawitz ダグ・プラウィッツ Dag Prawitz Dag Prawitz
rdfs:comment
ダグ・プラウィッツ（Dag Prawitz、1936年 - ）は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている。ストックホルム生まれ。 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. Dag Hjalmar Prawitz, född 16 maj 1936 i Sofia församling i Stockholm, är professor emeritus i teoretisk filosofi. 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. 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 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. Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker.
dcterms:subject
dbc:Living_people dbc:1936_births dbc:Mathematical_logicians dbc:Proof_theorists dbc:Swedish_logicians dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbc:Swedish_philosophers dbc:Members_of_the_Norwegian_Academy_of_Science_and_Letters dbc:20th-century_Swedish__philosophers
dbo:wikiPageID
911318
dbo:wikiPageRevisionID
1003602522
dbo:wikiPageWikiLink
dbc:20th-century_Swedish__philosophers dbr:Royal_Swedish_Academy_of_Science dbr:Norwegian_Academy_of_Science_and_Letters dbc:Mathematical_logicians dbc:1936_births dbr:Rolf_Schock_Prize dbr:Natural_deduction dbc:Proof_theorists dbc:Swedish_logicians dbc:Swedish_philosophers dbc:Members_of_the_Royal_Swedish_Academy_of_Sciences dbr:Proof_theory dbc:Members_of_the_Norwegian_Academy_of_Science_and_Letters dbr:Philosopher dbr:Logician dbr:Royal_Swedish_Academy_of_Letters_and_Antiquity dbr:Stockholm dbc:Living_people
dbo:wikiPageExternalLink
n30:index_en.htm
owl:sameAs
dbpedia-ja:ダグ・プラウィッツ dbpedia-fr:Dag_Prawitz n12:2nikA wikidata:Q3011853 n15:122972317 dbpedia-sv:Dag_Prawitz freebase:m.03p4ks dbpedia-de:Dag_Prawitz n21:p118536974 dbpedia-pt:Dag_Prawitz dbpedia-it:Dag_Prawitz n24:12407772 n28:173 n15:1090282303 yago-res:Dag_Prawitz
dbp:wikiPageUsesTemplate
dbt:Europe-mathematician-stub dbt:Short_description dbt:Authority_control dbt:Sweden-scientist-stub dbt:Reflist
dbo:abstract
Dag Hjalmar Prawitz, född 16 maj 1936 i Sofia församling i Stockholm, är professor emeritus i teoretisk filosofi. ダグ・プラウィッツ（Dag Prawitz、1936年 - ）は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている。ストックホルム生まれ。 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. 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. 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. 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. Dag Prawitz (* 16. Mai 1936 in Stockholm) ist ein schwedischer Philosoph und mathematischer Logiker.
gold:hypernym
dbr:Philosopher
schema:sameAs
n24:12407772
prov:wasDerivedFrom
wikipedia-en:Dag_Prawitz?oldid=1003602522&ns=0
dbo:wikiPageLength
1847
foaf:isPrimaryTopicOf
wikipedia-en:Dag_Prawitz