Reconstructionof a semanticsbased on the notion of proof

2012 Fiscal Year Final Research Report

• Project/Area Number: 22520032
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Philosophy/Ethics
• Research Institution: Senshu University
• Principal Investigator: KANEKO Hiroshi 専修大学, 文学部, 教授 (60191988)
• Project Period (FY): 2010 – 2012
• Keywords: 直観主義 / 証明論的意味論 / ダメット / ブラウワー

Research Abstract

In this research, we focued on the notion of informal proof because we expect that this notion would be a key notion for reconstructing the so-called proof theoretic semantics. We showed that the notion of informal proof closely concerned with a problem a

Research Products

• [Journal Article] 論理的思考の方法と現代の哲学 (2012)
  • Author(s): 金子洋之
  • Journal Title: 生田哲学 Volume: 第13号 Pages: 33-63
• [Journal Article] 論理の有用性から証明の認識論へ (2012)
  • Author(s): 金子洋之
  • Journal Title: 哲学の探究 Volume: 第39号 Pages: 7-22
• [Presentation] 慶應義塾大学 (2011)
  • Author(s): 金子洋之
  • Organizer: 数学の哲学セミナー
  • Place of Presentation: 「演繹の正当化」とその周辺
  • Year and Date: 2011-09-16
• [Presentation] 哲学若手研究者フォーラムのテーマレクチャー (2011)
  • Author(s): 金子洋之
  • Organizer: 論理はなぜ有用か
  • Place of Presentation: 国立オリンピック記念青少年総合センター
  • Year and Date: 2011-07-17
• [Remarks] 金子洋之,翻訳 ダメット『思想と実在』春秋社, 2010.および訳者解説
• [Remarks] 金子洋之,翻訳 シャピロ『数学を哲学する』筑摩書房, 2012