| 研究課題/領域番号 |
21H00467
|
|---|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 慶應義塾大学 |
|---|
研究代表者 |
岡田 光弘 慶應義塾大学, 文学部(三田), 名誉教授 (30224025)
|
|---|
| 研究分担者 |
伊藤 遼 早稲田大学, 文学学術院, 准教授 (70853422)
峯島 宏次 慶應義塾大学, 文学部(三田), 准教授 (80725739)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2026-03-31
|
| キーワード | 証明の哲学 / 論理の哲学 / 論理哲学 / 論理学 / 証明 / 論証 / 数学の哲学 / 形式論理言語 |
|---|
| 研究実績の概要 |
20世紀的形式言語により見落とされることとなった論理の形式性を問い直す試みを多面的に進めた。岡田は、20世紀的汎用述語論理の形式証明とは異なる証明概念をウィトゲンシュタインの草稿から引き出した（日本哲学会ワークショップ）。特に、前期ウィトゲンシュタインの算術証明概念と中期ウィトゲンシュタインの算術証明概念を比較、ウィトゲンシュタインの直観主義証明に対する批判などを通じて、中期ウィトゲンシュタインにおける証明概念の形式性の捉え方の独自性を示した （Wittgenstein's Philosophy in 1929, Routledge）。このことから、証明の推論形成を概念I形成と捉える立場を検討し、その具体例を、古典論理と直観主義論理の統語論理の推論形成で示した。(早稲田大学哲学会フィロソフィア誌シンポジウム要旨、Proc, of Logic for Peace）。岡田は論証推論主義の観点から、伊藤はブランダムらの推論主義の観点から推論と論証について連携して本課題研究を進めた。（伊藤の推論主義の成果の一部は上記シンポジウム要旨参照。）伊藤は、規則と規則の適用の区別をもとに推論・論証概念の新しい視点を与えた。（例えば、「Disagreement in Logic and Reasoning」日仏ワークショップ）。形式論理言語では捉えにくい推論について研究を進めた。この文脈で峯島は、２０世紀型述語論理では捉えにくいことが知られている、逆接などの接続詞や比較詞の考察の成果を公開した。画像的論理推論の研究も進めた。
岡田と峯島は深層学習ベースの自然言語推論モデルを論理推論・論理証明の観点から評価する方法論を検討し、それに基づいて調査を開始した。人の自然言語推論で知られている種々の推論バイアスが機械学習の推論モデルでも生じるかという問題や、機会学習モデルによる論証形成の問題を検討した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本課題研究の目標に向けて各分担者が分担部分の研究を進展させることができた。特に、形式論理的推論と深層学習モデルによる推論の比較の研究も開始できた。
|
| 今後の研究の推進方策 |
20世紀型の論理形式言語による証明概念を超える、現代的「形式」「論理」「証明」概念をとらえる研究をさらに進める。論理哲学史、非言語的論理、情報科学・深層学習による推論モデルとの関連について、昨年度に引き続きこの研究を進める。
とくに、日常言語の推論と深層学習推論モデルによる推論の関連性の実験、論理言語推論と深層学習推論モデルとの融合的・組み合わせ的論証の可能性の調査などの進展が今後期待される。
|
