Nothing Special   »   [go: up one dir, main page]

コンテンツにスキップ

ダグ・プラウィッツ

出典: フリー百科事典『ウィキペディア(Wikipedia)』

ダグ・プラウィッツ(Dag Prawitz、1936年5月16日 - )は、スウェーデンの哲学者、論理学者。証明論に関する研究と自然演繹の基礎の分野で最もよく知られている[1][2]ストックホルム生まれ。

著作

[編集]
  • Dag Prawitz (1965). Natural Deduction: A Proof-Theoretical Study. Dover Publication 

受賞歴

[編集]
  • 1981年:スウェーデン王立科学アカデミー会員[3]
  • 1984年:国際哲学研究所(Institut international de philosophie)会員
  • 1987年:スウェーデン王立アカデミー(文学・歴史・考古)会員
  • 1989年:ヨーロッパ・アカデミー会員[4]
  • 1989年:ノルウェー科学・文学アカデミー外国会員
  • 2000年:王立ノルウェー科学・文学アカデミー外国会員
  • 2007年:イタリア・ボローニャ高等研究所科学メダル受賞
  • 2020年:ロルフ・ショック賞を論理学・哲学部門でペール・マルティン=レーフと共同受賞した。

脚注

[編集]
  1. ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. https://archive.org/details/naturaldeduction0000praw 
  2. ^ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4 
  3. ^ Gruppe 3: Idéfag” (Norwegian). Norwegian Academy of Science and Letters. 16 January 2011閲覧。
  4. ^ Academia Europaea:Dag Prawitz

関連項目

[編集]

外部リンク

[編集]