Loading article…
ダグ・プラヴィッツ（1936年ストックホルム生まれ）はスウェーデンの哲学者、論理学者である。証明理論と自然演繹の基礎に関する研究で最もよく知られている。[1] [2]
プラウィッツは、ノルウェー科学文学アカデミー[3]、スウェーデン王立文学古代アカデミー、スウェーデン王立科学アカデミーの会員である。
プラウィッツ氏は2020年にロルフ・ショック論理哲学賞を受賞した。
参考文献
- ^ プラヴィッツ、ダグ (1965).自然演繹: 証明理論的研究。 Acta Universitatis Stockholmiensis、ストックホルムの哲学研究 3. ストックホルム、ヨーテボリ、ウプサラ: アルムクヴィストとヴィクセル。
- ^ Prawitz, Dag (2006) [1965].自然演繹: 証明理論的研究. ミネオラ、ニューヨーク: Dover Publications. ISBN 978-0-486-44655-4。
- ^ 「Gruppe 3: Idéfag」（ノルウェー語）。ノルウェー科学文学アカデミー。2015年1月9日時点のオリジナルよりアーカイブ。2011年1月16日閲覧。
外部リンク
- ストックホルム大学のプラウィッツのウェブページ