Dag Prawitz (born 1936,

Stockholm Stockholm () is the Capital city, capital and List of urban areas in Sweden by population, largest city of Sweden as well as the List of urban areas in the Nordic countries, largest urban area in Scandinavia. Approximately 980,000 people liv ...

) is a Swedish

philosopher A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...

and

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

. He is best known for his work on

proof theory Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...

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 axiom ...

. Prawitz is a member of the

Norwegian Academy of Science and Letters The Norwegian Academy of Science and Letters ( no, Det Norske Videnskaps-Akademi, 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 Univer ...

, of the

Royal Swedish Academy of Letters and Antiquity Royal may refer to: People * Royal (name), a list of people with either the surname or given name * A member of a royal family Places United States * Royal, Arkansas, an unincorporated community * Royal, Illinois, a village * Royal, Iowa, a c ...

and the

Royal Swedish Academy of Science The Royal Swedish Academy of Sciences ( sv, Kungliga Vetenskapsakademien) is one of the royal academies of Sweden. Founded on 2 June 1739, it is an independent, non-governmental scientific organization that takes special responsibility for prom ...

. 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. Each recipient current ...

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 {{Europe-mathematician-stub