Dag Prawitz
Encyclopedia
Dag Prawitz is a Swedish philosopher and logician. He is best known for his work on proof theory
and the foundations of natural deduction
.
Pawitz is a member of the Norwegian Academy of Science and Letters
, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.
Proof theory
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed...
and the foundations of natural deduction
Natural deduction
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning...
.
Pawitz is a member of the Norwegian Academy of Science and Letters
Norwegian Academy of Science and Letters
The Norwegian Academy of Science and Letters is a learned society based in Oslo, Norway.-History:The University of Oslo was established in 1811. The idea of a learned society in Christiania surfaced for the first time in 1841. The city of Throndhjem had no university, but had a learned...
, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.