論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
【研究分野】哲学・倫理学
【研究キーワード】
哲学 / 論理学 / 直観主義論理 / 論理推論研究 / フッサール論理学 / 論理哲学 / 図形推論 / 証明論 / 数学の哲学 / 線形論理 / ウィトゲンシュタイン / フッサール / 認知論理学 / 直観主義 / 通信プロトコル / 認知科学 / フッサールの論理 / 国際情報交流
【研究成果の概要】
論理哲学の学際研究を行い成果をあげた。直観主義論理に関す20世紀初頭以来のこの分野の主要問題の一つと考えられてきたが、これまでの先行研究では論理的手法や数学基礎論手法などの伝統的なものに限られていた。本研究では、認知科学推論研究手法やフッサール現象学論理手法なども取り入れた新しい学際研究手法を構築して、本研究に取り組み、新しい成果をあげた。
【研究代表者】
【研究種目】基盤研究(C)
【研究期間】2011 - 2014
【配分額】4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)