Dag Prawitz
Dag Prawitz (born May 16, 1936 in Stockholm ) is a Swedish philosopher and mathematical logician.
Life
Prawitz studied theoretical philosophy in Stockholm as a student of Anders Wedberg and Stig Kanger . In 1965 he received his doctorate with the dissertation Natural Deducation . He was a lecturer at Stockholm University and Lund University and visiting professor in the USA (UCLA, Stanford, Michigan) before becoming professor in Oslo in 1971 (succeeding Arne Naæss). In 1976 he succeeded Wedberg as professor of theoretical philosophy in Stockholm. From 1977 to 1979 he headed the Faculty of Philosophy. In 1983 he was visiting professor in Rome. In 2001 he retired.
He is known for his work on proof theory and was one of those in the 1960s who proved Gaisi Takeuti's conjecture for logic calculi of the second and higher order (validity of the rule of intersection according to Gentzen's law ). He dealt with philosophy of logic (including the conflict between classical and intuitionist logic) and philosophy of language (theory of meaning , inferential semantics , with Michael Dummett and based on an idea by Gerhard Gentzen ).
He is a member of the Royal Swedish and Norwegian Academy of Sciences, the Kungliga Vitterhets Historie och Antikvitets Academies and the Academia Europaea . In 2015 he received the Ann Kersti and Carl Hakon Swenson Prize for the humanities of the Kungliga Vitterhets Historie och Antikvitets Academies, endowed with 600,000 crowns.
In 1991 he chaired the organizing committee of the 9th International Congress for Logic, Methodology and Philosophy of Science in Uppsala. From 1988 to 1997 he was President of the Schock Foundation, which awards the international Rolf Schock Prizes of the Swedish Academy of Sciences. In both Sweden and Norway he served on national committees evaluating research in philosophy in the 2000s.
From 1985 to 2004, he headed the Thales publishing house.
In 2020 Dag Prawitz was awarded the Rolf Schock Prize for Logic and Philosophy together with Per Martin-Löf .
Fonts
- Completeness and Hauptsatz for second order logic, Theoria, Volume 33, 1967, pp. 246-58
- Hauptsatz for higher order logic, Journal of Symbolic Logic, Volume 33, 1969, pp. 452-57, 1969
- On the idea of a general proof theory, Synthesis, Volume 27, 1974, pp. 63-77.
- Meaning and proofs: On the conflict between classical and intuitionistic logic, Theoria, Volume 43, 1977, pp. 2-40
- Evidence and the meaning and completeness of the logical constants, Conceptus, Volume XVI, 1982, pp. 3–44 (Translation of: Proofs and the meaning and completeness of the logical constants, in: J. Hintikka, Essays on Mathematical and Philosophical Logic, Reidel 1979)
- Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell 1965, reprint Dover 2006
- ABC i Symbolisk Logic, Filosofiska studier nr 23, Uppsala, 1975, new edition Stockholm, Thales 2001
literature
- Heinrich Wansing (Ed.): Dag Prawitz on Proofs and Meaning , Springer 2014
Web links
- Website at Stockholm University
- Press release from the Royal Swedish Academy of Sciences Stockholm on the award of the Rolf Schock Prize 2020
Individual evidence
| personal data | |
|---|---|
| SURNAME | Prawitz, Dag |
| BRIEF DESCRIPTION | Swedish logician and philosopher |
| DATE OF BIRTH | May 16, 1936 |
| PLACE OF BIRTH | Stockholm |