Даг Правитц
Даг Правитц (родился в 1936 году, Стокгольм ) — шведский философ и логик . Он наиболее известен своими работами по теории доказательств и основам естественной дедукции . [1] [2]
Правитц является членом Норвежской академии наук и литературы , [3] Королевской шведской академии литературы и древности и Королевской шведской академии наук .
В 2020 году Правитц был удостоен премии Рольфа Шока в области логики и философии.
Ссылки
- ^ Правиц, Даг (1965). Естественная дедукция: исследование теории доказательств . Acta Universitatis Stockholmiensis; Стокгольмские исследования по философии, 3 . Стокгольм, Гетеборг, Уппсала: Альмквист и Викселл . ОКЛК 912927896.
- ^ Правитц, Даг (2006). Естественная дедукция: исследование теории доказательств . Минеола, Нью-Йорк: Dover Publications. ISBN 9780486446554. OCLC 61296001.
- ^ "Gruppe 3: Idéfag" (на норвежском). Норвежская академия наук и литературы . Архивировано из оригинала 9 января 2015 года . Получено 16 января 2011 года .
Внешние ссылки
- Веб-страница Правица в Стокгольмском университете
 | Эта статья о шведском ученом — заглушка . Вы можете помочь Википедии, дополнив ее. |
 | Эта статья о европейском математике — заглушка . Вы можете помочь Википедии, расширив ее. |
