Dag Prawitz (born 1936,

Stockholm Stockholm (; ) is the Capital city, capital and List of urban areas in Sweden by population, most populous city of Sweden, as well as the List of urban areas in the Nordic countries, largest urban area in the Nordic countries. Approximately ...

) is a Swedish

philosopher Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...

and

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arg ...

. He is best known for his work on

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

and the foundations of

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. This contrasts with Hilbert-style systems, which instead use ...

, and for his contributions to proof-theoretic semantics. Prawitz is a member of the

Norwegian Academy of Science and Letters The Norwegian Academy of Science and Letters (, DNVA) is a learned society based in Oslo, Norway. Its purpose is to support the advancement of science and scholarship in Norway. History The Royal Frederick University in Christiania was establis ...

, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science. Prawitz was awarded the

Rolf Schock Prize The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock (1933–1986). The prizes were first awarded in Stockholm, Sweden, in 1993 and, since 2005, are awarded every three years. It is sometimes conside ...

in Logic and Philosophy in 2020.

References

External links

Prawitz's web page at Stockholm University
1936 births Living people Swedish logicians Mathematical logicians Swedish philosophers Members of the Royal Swedish Academy of Sciences Members of the Norwegian Academy of Science and Letters Proof theorists 20th-century Swedish philosophers People from Stockholm {{Europe-mathematician-stub