• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

否定概念に着目した異なる論理の共存の証明論的研究

Research Project

Project/Area Number 22KJ0108
Project/Area Number (Other) 22J20341 (2022)
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeMulti-year Fund (2023)
Single-year Grants (2022)
Section国内
Review Section Basic Section 01010:Philosophy and ethics-related
Research InstitutionHokkaido University

Principal Investigator

豊岡 正庸  北海道大学, 文学院, 特別研究員(DC1)

Project Period (FY) 2023-03-08 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 2024: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2023: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2022: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords否定 / 推件計算 / 異なる論理の組み合わせ / 直観主義論理 / 古典論理 / subintuitionistic logic / 超直観主義論理 / 述語論理 / Subintuitionistic logic
Outline of Research at the Start

現代論理学には様々な論理体系が存在するが、いずれが正当かについては議論がある。この議論は、言語に対する意味の説明の理論の選択と関連してきた。特に言語使用による意味の説明は、直観主義論理と相性が良いとされてきた。しかし、近年意味の説明と論理の選択は独立の問題であると考える論者が増加した。
こうした背景に基づき、本研究では上述の議論の土台として、様々な論理が共存する体系を規則や公理に注目し研究する。証明体系における規則や公理は、論理言語の使用を形式化したものである。ゆえに、これらに着目することで、複数の論理を含む体系について、言語使用による意味の説明がどのような成果をもつかを考察することができる。

Outline of Annual Research Achievements

令和5年度は以下の二つの課題に取り組む予定であった。(1)経験的否定+厳密含意論理/直観主義命題論理の拡大領域クリプキ意味論を用いた述語化とその推件計算(2)オメガ否定+厳密含意論理/直観主義論理の定領域クリプキ意味論を用いた述語化とその推件計算。しかしながら、いずれも経験的否定とオメガ否定の性質により困難があることに気づいた。この状況を踏まえ、課題を変更し、厳密含意論理の近傍意味論を用いた一般化を行った。直観主義命題論理は厳密含意論理の特殊ケースと捉えることができるため、直観主義命題論理のさらなる一般化を行ったと言える。さらに令和4年度に中心的に研究した古典的否定と経験的否定をこの論理に加え、両者の比較を行った。この内容は2023年11月のThe Australasian Association for Logic Conference 2023および2023年12月の日本科学哲学会第56回大会で発表した。
加えて、Nelson論理にconsistency演算子を加えた論理に対する推件計算の提供に成功した。Nelson論理は直観主義命題論理の上に、真理概念と鏡写しとなる偽概念を導入し、その偽概念を表現する否定を加えることで得られることで知られる。この論理にconsistency演算子を加えた論理はすでに与えられていたが、これに対する推件計算はまだなかった。この内容は2023年3月のAsian Workshop on Philosophical Logicで発表した。
上述の主たる研究内容に加え、オメガ否定についてはこれまでの先行研究では指摘されていなかった性質に気づき、その内容を2023年9月のSLCAS2023で発表した。加えて、令和5年度の研究内容をもとに、3本の国際誌への論文掲載を実現した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

本研究課題開始時の計画では、令和4年度から令和6年度までの3年間で以下の(A)(B)(C)の課題に取り組む予定であった。(A)直観主義論理と古典的否定の組み合わせ方の検討(B)直観主義論理の厳密含意論理への一般化(C)古典的否定のド・モルガン否定への一般化。それぞれの課題が2項目に分割されており、各年度2項目づつ研究を遂行する計画である。令和4年度は前6項目のうち、3項目の遂行に成功していた。このような事情に基づき、令和5年度はオメガ否定と呼ばれる、当初の計画には含まれていなかったが関連する否定についての研究と、令和4年度で研究した経験的否定を含む述語論理の変種として、別の経験的否定を含む述語論理を研究する予定であった。いずれも困難があり達成ができなかったものの、代わりに厳密含意論理の一般化やNelson論理にconsistency演算子を加えた論理について、研究することができた。前者は元々の計画には含まれていなかったものの、研究内容とは強く関連するものである。後者については、令和6年度に研究する予定であるNelson論理の拡大であるため、令和6年度の研究の足掛かりとすることができるものである。
一方で、得られた成果や結果を、学会で発表したり、論文として投稿したりする機会を十分に設けることができたとはいいがたい。この点を考慮すると、当初の計画以上に進展しているとはいいがたい。以上の理由から、令和5年度の進行状況を総括すると、おおむね順調に進展しているという判断に至った。

Strategy for Future Research Activity

令和6年度は本研究課題の最終年度であるため、予定していた計画の残りを遂行する予定である。具体的には(1)幾何学規則+Nelson論理の推件計算(2)Nelson論理の含意の厳密含意化に取り組む予定である。(1)については、現在幾何学規則の既存の成果についてのサーヴェイを行っている段階である。(2)については、直観主義論理の厳密含意論理の推件計算が手掛かりになるという見通しを有している。また、令和5年度に提供した、Nelson論理にconsistency演算子を加えた推件計算もヒントを与えると考えている。なぜなら、consistency演算子を加えることで、持続性と呼ばれる直観主義論理およびNelson論理の性質が失われることが知られており、それゆえNelson論理にconsistency演算子を加えた論理は、Nelson論理を厳密含意化した論理に、consistency演算子を加えた論理とみることができるからである。(1)の内容はAsian Workshop on Philosophical Logicで発表したのち、Journal of Logic and Computationに投稿する予定である。(2)の内容はAdvances in Modal Logicで発表したのち、Notre Dame Journal of Formal Logicに投稿する予定である。
加えて、オメガ否定について令和5年度に発表した内容に新しい内容を加え、NCL'24で発表したのち、Reports on Mathematical Logicに投稿する予定である。また、令和5年度の研究実績をJournal of Philosophical LogicおよびLogic Journal of the IGPLに投稿する予定である。

Report

(2 results)
  • 2023 Research-status Report
  • 2022 Annual Research Report
  • Research Products

    (13 results)

All 2024 2023 2022

All Journal Article (4 results) (of which Peer Reviewed: 4 results,  Open Access: 2 results) Presentation (9 results) (of which Int'l Joint Research: 4 results,  Invited: 1 results)

  • [Journal Article] Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation2024

    • Author(s)
      Toyooka Masanobu、Sano Katsuhiko
    • Journal Title

      Studia Logica

      Volume: - Issue: 5 Pages: 1091-1121

    • DOI

      10.1007/s11225-023-10067-0

    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Journal Article] A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic2023

    • Author(s)
      Toyooka Masanobu
    • Journal Title

      Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

      Volume: - Pages: 100-119

    • DOI

      10.1007/978-3-031-43977-3_7

    • ISBN
      9783031439766, 9783031439773
    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Journal Article] Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic2023

    • Author(s)
      Toyooka Masanobu、Sano Katsuhiko
    • Journal Title

      The Australasian Journal of Logic

      Volume: 20 Issue: 3 Pages: 397-411

    • DOI

      10.26686/ajl.v20i3.7696

    • Related Report
      2023 Research-status Report
    • Peer Reviewed / Open Access
  • [Journal Article] Combining First-Order Classical and Intuitionistic Logic.2022

    • Author(s)
      Masanobu Toyooka and Katsuhiko Sano
    • Journal Title

      Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications(NCL)

      Volume: - Pages: 25-40

    • DOI

      10.4204/eptcs.358.3

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Presentation] Cut-free sequent calculus for Wansing's expansion of Nelson's logic2024

    • Author(s)
      Sano Katsuhiko, Toyooka Masanobu
    • Organizer
      AWPL2024: 6th Asian Workshop on Philosophical Logic
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Two approaches of adding classical negation to intuitionistic logic2024

    • Author(s)
      Toyooka Masanobu
    • Organizer
      French-Japan Colloquium: Disagreement in Logic and Reasoning
    • Related Report
      2023 Research-status Report
  • [Presentation] Humberstoneの論理定項Ωと直観主義論理のクリプキフレームの関係について2023

    • Author(s)
      豊岡正庸、佐野勝彦
    • Organizer
      記号論理と情報科学 研究集会(SLACS 2023)
    • Related Report
      2023 Research-status Report
  • [Presentation] Generalizing Restall’s subintuitionistic logics over neighborhood semantics2023

    • Author(s)
      Toyooka Masanobu
    • Organizer
      The Australasian Association for Logic Conference 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] ベース状況付きの弱下位直観主義論理に対する近傍意味論2023

    • Author(s)
      豊岡正庸
    • Organizer
      日本科学哲学会 第56回大会
    • Related Report
      2023 Research-status Report
  • [Presentation] 直観主義論理と古典論理の組み合わせにおけるcollapsing problemと、シークエント計算におけるその回避方法について2023

    • Author(s)
      豊岡正庸、佐野勝彦
    • Organizer
      UNESCO世界論理デー記念ワークショップ
    • Related Report
      2022 Annual Research Report
    • Invited
  • [Presentation] A tree-sequent method for intermediate predicate logic CD expanded with empirical negation2022

    • Author(s)
      Masanobu Toyooka
    • Organizer
      4th Workshop on Proof Theory and Its Applications
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic2022

    • Author(s)
      Masanobu Toyooka
    • Organizer
      Logic and Engineering of Natural Language Semantics 19
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 直観主義命題論理と古典命題論理の組み合わせ論理C+Jに対する論理式の意味の証明論的な分析2022

    • Author(s)
      豊岡正庸
    • Organizer
      日本科学哲学会 第55回大会
    • Related Report
      2022 Annual Research Report

URL: 

Published: 2022-04-28   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi