Reconstructionof a semanticsbased on the notion of proof

• 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
• Project Status: Completed (Fiscal Year 2012)
• Budget Amount: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000); Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2010: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
• 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
• [Journal Article] 「論理の有用性から証明の認識論へ」 (2012)
  • Author(s): 金子洋之
  • Journal Title: 『哲学の探究』 Volume: 第39号
• [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
• [Presentation] 論理はなぜ有用か (2011)
  • Author(s): 金子洋之
  • Organizer: 哲学若手研究者フォーラム
  • Place of Presentation: 国立オリンピック記念青少年総合センター(招待講演)
  • Year and Date: 2011-07-17
• [Remarks] 金子洋之,翻訳 ダメット『思想と実在』春秋社, 2010.および訳者解説
• [Remarks] 金子洋之,翻訳 シャピロ『数学を哲学する』筑摩書房, 2012