Connexive logicに関する研究

Research Project

Project/Area Number	24K21344
Research Category	Grant-in-Aid for Challenging Research (Exploratory)
Allocation Type	Multi-year Fund
Review Section	Medium-sized Section 1:Philosophy, art, and related fields
Research Institution	Tohoku University
Principal Investigator	大森仁東北大学, 情報科学研究科, 准教授 (50771036)
Project Period (FY)	2024-06-28 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥6,240,000 (Direct Cost: ¥4,800,000、Indirect Cost: ¥1,440,000) Fiscal Year 2026: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000) Fiscal Year 2025: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000) Fiscal Year 2024: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
Keywords	Connexive logic / 含意 / 否定 / 非古典論理
Outline of Research at the Start	本研究で扱うconnexive logicとは、アリストテレスの式及びボエティウスの式と呼ばれる式を扱うことのできる論理体系の総称であり、所謂古典論理はもちろん、ほとんどの非古典論理においても扱うことのできない含意を含む体系である。本研究では特にアリストテレスの式に関して、それらが直観的に妥当であることを裏付ける複数の実験結果に対する説明を試みるとともに、従来のconnexive logicの定義に代わる条件の探求を行う。