ダグ・プラウィッツとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ダグ・プラウィッツの意味・解説 

ダグ・プラウィッツ

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/05 17:35 UTC 版)

ダグ・プラウィッツ(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. 2011年1月16日閲覧。
  4. ^ Academia Europaea:Dag Prawitz

関連項目

外部リンク




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  ダグ・プラウィッツのページへのリンク

辞書ショートカット

すべての辞書の索引

「ダグ・プラウィッツ」の関連用語

ダグ・プラウィッツのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ダグ・プラウィッツのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのダグ・プラウィッツ (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS