研究課題
若手研究(B)
自然言語推論と図形推論を論理学の手法を用いて統合的に分析する研究を進めた。まず、自然論理を拡張した高階論理の推論体系を構築し、一般化量化子や様相表現を含む自然言語の広範囲の推論現象を扱うことができることを示した。またこれと並行して、現代的な型理論の枠組みでの前提・照応の分析を進め、様々な言語現象の分析へと適用した。図形推論の研究としては、一般化量化子を伴う図形表現・推論体系の研究を進めると同時に、量化・関係推論を扱うオイラー図の表現系・推論系の論理学的・認知科学的分析を行い、新しい成果を得た。
論理学
