| 研究課題/領域番号 |
24K03359
|
|---|
| 研究機関 | 群馬県立女子大学 |
|---|
研究代表者 |
細川 雄一郎 群馬県立女子大学, 文学部, 准教授 (60853190)
|
|---|
| 研究分担者 |
大西 琢朗 京都大学, 文学研究科, 特定准教授 (50773529)
吉満 昭宏 琉球大学, 人文社会学部, 准教授 (10585227)
島村 修平 広島大学, 人間社会科学研究科(総), 准教授 (90801655)
村井 忠康 沖縄国際大学, 法学部, 准教授 (90599325)
|
|---|
| 研究期間 (年度) |
2024-04-01 – 2027-03-31
|
| キーワード | AI / 規範的推論主体 / 形式論理 / 非形式論理 / プラグマティズム / 推論主義 |
|---|
| 研究実績の概要 |
本研究の中心課題は、AIが規範的推論主体になりうるために必要な手続きとして、 私たちが日常的に実践する重要な非形式論理を析出し、それをAIにも実現可能な仕方で論理学的に精緻化し形式化すること、つまり、一言でいえば「非形式論理の形式論理学的精緻化」である。
そこで、本研究の実施初年度である令和6年度は、いかなる非形式論理が析出されるにせよ、そこで本質的に働くはずの、従来の伝統的形式論理学ではその取り扱いが不十分であった、三つの重要な論理学的概念について、技術的な精緻化と形式化を行なった。その三つの重要な論理学的概念とは、「時相」「否定」「関連性」である。このうち、「時相」については細川が、「否定」については大西が、「関連性」については島村が、大西が主催した国際ワークショップ “A Kyoto-Taipei Workshop on Logic of Agent” でその技術的研究成果を発表した。
さらに、これら三つの論理学的概念が本質的に働くであろう、私たちが日常的に実践する重要な非形式論理が析出される範例的な場（いわば非形式論理の歴史的鉱脈）として、吉満がA. R. ジョンセンとS. トゥールミンによって復興された「決疑論（casuistry）」を、村井がブランダムとマクダウェルによって再解釈された「カント的判断論」を取り上げ、それぞれこれらの論理学的形式化に向けた概念的掘り下げを行なった。このうち前者の「決疑論」に関する研究成果については、すでに吉満・大城 (2025) に論文として公表されている。
|
| 現在までの達成度 |
現在までの達成度
2: おおむね順調に進展している
理由
形式論理面で大西・島村により「否定」「関連性」に関する技術的研究が大幅に進展したことと、非形式論理面で吉満・村井により大西・島村の成果を活かせる範例的な非形式的推論の場が発掘されたこと。特に吉満が発掘した「決疑論」のジョンセンとトゥールミンによる現代的復興 (Jonsen & Toulmin, 1988) では、現在でも議論学における代表的な論証モデルとされる「トゥールミン図式」 (Toulmin, 1958) が批判的発展的に改良を施されたバージョンが浮かび上がっている。
|
| 今後の研究の推進方策 |
Toulmin (1958) におけるトゥールミン図式を「前期トゥールミン図式」、 Jonsen & Toulmin (1988) におけるトゥールミン図式を「後期トゥールミン図式」ないし「決疑論的トゥールミン図式」と呼ぶことにする。後期トゥールミン図式は、「データ」「推論保証」「主張／結論」「蓋然性限定子」「反駁」といった前期トゥールミン図式の基本要素をそのまま保存している。このうち、「データ」と「主張／結論」の橋渡しとなる「推論保証」（これは形式論理ではおおよそ「推論規則」にあたる）については、島村の「関連性」概念の研究成果が、「反駁」については、大西の「否定」概念の研究成果が、「蓋然性限定子」については、細川 (2019) による蓋然性演算子とHosokawa (2023; 2024a; 2024b) による時相演算子を組み合わせたものが、「主張／結論」については、村井の「カント的判断論」に関する研究成果が、それぞれ活かせる見通しである。一方、後期トゥールミン図式において前期トゥールミン図式が批判的発展的に改良を施された点とは、「推論保証」の「裏付け」が、「基礎付け的（foundational）」なものから、ジョンセンとトゥールミンの1974年から1978年にかけての「生物医学・行動科学研究協力被験者保護のための国家委員会」での実務経験を経て、まさしく語の正統な意味における「プラグマティック（pragmatic）」なものへと進展を遂げている、ということである。この「プラグマティックな裏付け」については、引き続き吉満の「決疑論」に関する研究成果と、村井・島村によるプラグマティズム研究が活かされる見通しである。こうして、今後の研究では、後期決疑論的トゥールミン図式が、各研究分担者のプラットフォームとして機能する見通しである。
|
| 次年度使用額が生じた理由 |
当年度は本研究課題の基礎となる各研究分担者の専門の研究（「時相」「否定」「関連性」「決疑論」「判断論」の研究）がこちらの想定以上に進展していたため、当年度は各研究分担者による各々の専門的研究に集中してもらい、当初予定していたワークショップや学会参加、会合打ち合わせのための助成金使用は最低限に抑え、その分を翌年度にストックしておく判断をした。したがって翌年度はその分を、各研究分担者による各研究成果の総合と、翌々年度の本格的な成果発表に向け、頻度を高める必要がある会合打ち合わせのための費用として、主に使用する計画である。
|
