論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として

• 資料種別: 文書・図像類
• タイトル: 論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として
• 著者・編者: 岡田, 光弘
• 著者標目: 岡田, 光弘
• 出版年月日等: 2014
• 出版年（W3CDTF）: 2014
• 並列タイトル等: ロンリ テツガク ノ ガクサイ ケンキュウ : チョッカン シュギ ロンリ ノ スイロン・ショウメイ リロン オ チュウシン トシテ; Ronri tetsugaku no gakusai kenkyu : chokkan shugi ronri no suiron shomei riron o chushin toshite; Interdisciplinary Study in Philosophy of Logic : With a special focus on theory of inferences and proofs of intuitionistic logic
• タイトル（掲載誌）: 科学研究費補助金研究成果報告書
• 本文の言語コード: jpn; eng
• 件名標目: 哲学,論理学,直観主義論理,論理推論研究,フッサール論理学,論理哲学,図形推論,証明論
• 対象利用者: 一般
• 一般注記: type:text; 論理哲学の学際研究を行い成果をあげた。直観主義論理に関す20世紀初頭以来のこの分野の主要問題の一つと考えられてきたが, これまでの先行研究では論理的手法や数学基礎論手法などの伝統的なものに限られていた。本研究では, 認知科学推論研究手法やフッサール現象学論理手法なども取り入れた新しい学際研究手法を構築して, 本研究に取り組み, 新しい成果をあげた。 We produced fruitaful results on our interdisciplinary research on philosophy of logic. The issue on intuitionistic logic has been considered one of the important issues in philosophy of logic and philosophy of mathematics. Although the former work had used the traditional logical and mathematical methodologies only, with this research project we introduced new methodologies such as cognitive schientific inference study and Husserlian phenomenological logic, and we gave a new vew on this issue.; 研究種目 : 基盤研究(C) 研究期間 : 2011～2014 課題番号 : 23520036 研究分野 : 論理学
• 一次資料へのリンクURL: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_23520036seika
• オンライン閲覧公開範囲: 限定公開
• 関連情報: 科研費研究者番号 : 30224025
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ