2012 年度研究成果報告書

証明概念に基づく意味論の再構築

研究課題

研究課題/領域番号	22520032
研究種目	基盤研究(C)
配分区分	補助金
応募区分	一般
研究分野	哲学・倫理学
研究機関	専修大学
研究代表者	金子洋之専修大学, 文学部, 教授 (60191988)
研究期間 (年度)	2010 – 2012
キーワード	直観主義 / 証明論的意味論 / ダメット / ブラウワー
研究概要	本研究では、「証明」という概念に基づく意味論を再構築するための基礎研究として、非形式的証明という概念に焦点を合わせてきた。その結果、論理的証明の有用性と妥当性をどう調停するかという問題に非形式的な証明の概念が密接に関連すること、また、ブラウワーのバー定理の証明を分析することを通して、心的構成としての証明が、非形式的証明という概念の解明への重要な手がかりになることが、明らかになってきた。