Project/Area Number |
23K20416
|
Research Category |
Grant-in-Aid for Scientific Research (B)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 01010:Philosophy and ethics-related
|
Research Institution | Keio University |
Principal Investigator |
岡田 光弘 慶應義塾大学, 文学部(三田), 名誉教授 (30224025)
|
Co-Investigator(Kenkyū-buntansha) |
伊藤 遼 早稲田大学, 文学学術院, 准教授 (70853422)
峯島 宏次 慶應義塾大学, 文学部(三田), 准教授 (80725739)
|
Project Period (FY) |
2024-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥5,070,000 (Direct Cost: ¥3,900,000、Indirect Cost: ¥1,170,000)
Fiscal Year 2025: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2024: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
|
Keywords | 証明と論証の哲学 / 論理の哲学 / 数学の哲学 / 論理学 / LLMモデルと推論 |
Outline of Research at the Start |
形式論理証明概念を現代的に見直すべく、現代論理学史上の証明・論証概念、図的証明やグラフィック推論による論証、実践推論や行為理由論証、AIアルゴリズム透明性のための説明論証などを含む、新しい「論証・証明」概念の形成を目指す。グラフィック推論と日常言語論証との融合にも我々の証明概念が有効であることを示す。これらの研究を単に伝統的な論理推論的アプローチだけでなく、近年目覚ましく発展しつつあるAIモデル(特に日常言語データに基づくLLMモデル)を用いた推論アプローチと比較、融合していくことにも本研究の特徴がある。
|