研究分野. (English Page)

論理学(特に,証明理論).

• 線形論理の証明論.
• 正規化定理とその応用.
• Semantical Analysis of Proof-Normalization and Cut-Elimination.
• 線形論理の研究.
• 高階論理学の証明理論.

論理哲学及び数学の哲学.

• 数理哲学のFinitismとConstructivism.
• Philosophy of Hilbertian School of Proof Theory.
• 数学の哲学、線形論理に基づく計算機科学基礎論、及び数学基礎論.
• 直観主義論理及び線形論理に基づく論理哲学.
• フッサールの現象学的論理学理論.

計算機科学の論理学とその応用 .

• 線形論理の計算理論への適用.
• 証明論とプログラミング言語のためのセマンティクス理論.
• 型理論と項書き換え理論.
• 並行プロセス計算の論理学的分析.

知識と認識の哲学.

• 認識、想像力や概念に対する分析哲学的、現象学的、人工知能論的なアプローチ
• 知識の哲学における論理的推論の役割.

論理的セマンティクスとその言語学への応用

• モンターギュ意味論とカテゴリアル文法.
• 音声科学に基づく認知言語学の研究.
• 言語行為論、関連性理論、論理的意味論等の比較研究.
• カテゴリアル文法理論の論理的基礎.

論理学と哲学の歴史

• 近・現代哲学の論理的手法.
• 古代・中世・近代論理学史.

Please E-mail comments and questions to .
Thank you very much for your attention.