研究課題/領域番号 |
23K20416
|
研究種目 |
基盤研究(B)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分01010:哲学および倫理学関連
|
研究機関 | 慶應義塾大学 |
研究代表者 |
岡田 光弘 慶應義塾大学, 文学部(三田), 名誉教授 (30224025)
|
研究分担者 |
伊藤 遼 早稲田大学, 文学学術院, 准教授 (70853422)
峯島 宏次 慶應義塾大学, 文学部(三田), 准教授 (80725739)
|
研究期間 (年度) |
2024-04-01 – 2026-03-31
|
研究課題ステータス |
交付 (2024年度)
|
配分額 *注記 |
5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
2025年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
2024年度: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
|
キーワード | 証明と論証の哲学 / 論理の哲学 / 数学の哲学 / 論理学 / LLMモデルと推論 |
研究開始時の研究の概要 |
形式論理証明概念を現代的に見直すべく、現代論理学史上の証明・論証概念、図的証明やグラフィック推論による論証、実践推論や行為理由論証、AIアルゴリズム透明性のための説明論証などを含む、新しい「論証・証明」概念の形成を目指す。グラフィック推論と日常言語論証との融合にも我々の証明概念が有効であることを示す。これらの研究を単に伝統的な論理推論的アプローチだけでなく、近年目覚ましく発展しつつあるAIモデル(特に日常言語データに基づくLLMモデル)を用いた推論アプローチと比較、融合していくことにも本研究の特徴がある。
|