多値論理の一般化に関する哲学的研究

• Project/Area Number: 23K18598
• Research Category: Grant-in-Aid for Research Activity Start-up
• Allocation Type: Multi-year Fund
• Review Section: 0101:Philosophy, art, and related fields
• Research Institution: Tohoku University
• Principal Investigator: 大森 仁 東北大学, 情報科学研究科, 准教授 (50771036)
• Project Period (FY): 2023-08-31 – 2025-03-31
• Project Status: Granted (Fiscal Year 2023)
• Budget Amount: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000); Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2023: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
• Keywords: 多値論理 / 非決定論的意味論 / 真矛盾主義 / 矛盾許容型論理 / 証明論的意味論

Outline of Research at the Start

本研究の主題は、多値論理の意味論の一般化とみなすことができるNon-deterministic semanticsである。その考え方自体は、哲学者の間で1960年代から様々な形で見られるが、2000年以降技術的な観点から大きな進展があった。しかし、哲学的な観点から技術的に得られてきた理解を踏まえた研究は未だないままであるという現状を踏まえ、Non-deterministic semanticsの、(i)古典論理との距離の検討、(ii)哲学的貢献の可能性の検討、そして(iii)非古典論理の立場からの展開の可能性の検討、の三つを目標としている。