矛盾許容型論理の全容解明に向けた研究

• Project/Area Number: 18K12183
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 01010:Philosophy and ethics-related
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 大森 仁 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 (50771036)
• Project Period (FY): 2018-04-01 – 2019-03-31
• Project Status: Discontinued (Fiscal Year 2018)
• Budget Amount: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2020: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2019: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
• Keywords: 矛盾許容型論理 / connexive logic / discussive logic / contra-classical logic / 真矛盾主義 / Discussive logic / Infectious logic / Connexive logic

Outline of Annual Research Achievements

本研究には三つの学術的問いがあり、それらに対応して、以下の三つの目的を設定した。

第一に、幾つかの論理観を取り上げ、それに基づいて矛盾許容型論理の理解がどのようなものとなるのかを明らかにすること。第二に、特に真矛盾主義に基づく理論に着目し、その理論展開に際して用いられるメタ理論が古典論理を含む場合と含まない場合とで如何なる違いが生じるかを明らかにすること。そして第三に、無数にある矛盾許容型論理の体系の内で、特にこれまでにあまり注目されていなかったDiscussive logic、Infectious logicそしてConnexive logicの三種類に焦点を当てて、それらの全容の解明及び既によく知られている体系群との関連を明らかにすること。

これらに関して、以下のような検討を行い、成果を得た。まず第一の目的に関しては、Adaptive logicの創始者であるDiderik Batens名誉教授(ゲント大学)を招き、Adaptive logicの背後にある論理観や矛盾許容型論理の理解を検討する機会を得た。第二の目的に関しては、Zach Weber上級講師(オタゴ大学)とともに議論を進めた。特にGraham Priestの著書In Contradictionにおけるuntrueの取り扱いに焦点を当て、そこに問題のあることを明らかにした。そして、第三にDiscussive logicについてはその基本的方針に従って幾つかの多値論理に対して新たな見通しを与えた。Infectious logicに関しては想定されていなかった新たな意味論的観点を見出した。そしてConnexive logicに関してはWansingの方法論のContra-classical logic への応用可能性を論じ、さらに様相性を含む言語において得られる一般化についての成果を得た。

Research Products

• [Int'l Joint Research] ボーフム大学(ドイツ)
• [Int'l Joint Research] オタゴ大学(ニュージーランド)
• [Journal Article] Towards a bridge over two approaches in connexive logic (2019)
  • Author(s): Hitoshi Omori
  • Journal Title: Logic and Logical Philosophy Volume: 印刷中
  • Peer Reviewed / Open Access
• [Journal Article] ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (2018)
  • Author(s): OMORI HITOSHI、WANSING HEINRICH
  • Journal Title: The Review of Symbolic Logic Volume: 11 Issue: 4 Pages: 805-820
  • DOI: 10.1017/s1755020318000308
  • Peer Reviewed / Int'l Joint Research
• [Presentation] Towards a bridge over two approaches in connexive logic (2018)
  • Author(s): Hitoshi Omori
  • Organizer: Logic workshop
  • Invited
• [Presentation] Towards a bridge over two approaches in connexive logic (2018)
  • Author(s): Hitoshi Omori
  • Organizer: Non-classicality aufgehoben
  • Invited
• [Presentation] Observations on Jaskowski's discussive logic (2018)
  • Author(s): Hitoshi Omori
  • Organizer: Non-classical modalities
  • Invited
• [Presentation] Logical consequence and methodological consequence: a sketch (2018)
  • Author(s): Hitoshi Omori
  • Organizer: Making Sense Of: A Workshop with and about Adrian Moore
  • Invited
• [Presentation] 矛盾許容型論理における否定について (2018)
  • Author(s): 大森仁
  • Organizer: 2018年度科学基礎論学会
• [Funded Workshop] A Workshop on Philosophical Logic and Philosophy of Logic (2018)
• [Funded Workshop] Logic, Language, and Ontology (2018)