Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration

逻辑哲学的跨学科研究：走向证明和论证哲学的发展

• 批准号: 21H00467
• 负责人: 岡田 光弘
• 金额: $ 8.49万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2021
• 资助国家: 日本
• 起止时间: 2021-04-01 至 2026-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-21H00467/
• 关键词: 論理の哲学; 証明論の哲学; 推論研究; 論理学; AIと論理; 証明の哲学; 論理哲学; 証明; 論証; 数学の哲学; 形式論理言語; 哲学; 論理; 計算機科学基礎と哲学

20世紀的形式言語により見落とされることとなった論理の形式性を問い直す試みを多面的に進めた。岡田は、20世紀的汎用述語論理の形式証明とは異なる証明概念をウィトゲンシュタインの草稿から引き出した（日本哲学会ワークショップ）。特に、前期ウィトゲンシュタインの算術証明概念と中期ウィトゲンシュタインの算術証明概念を比較、ウィトゲンシュタインの直観主義証明に対する批判などを通じて、中期ウィトゲンシュタインにおける証明概念の形式性の捉え方の独自性を示した　（Wittgenstein's Philosophy in 1929, Routledge）。このことから、証明の推論形成を概念I形成と捉える立場を検討し、その具体例を、古典論理と直観主義論理の統語論理の推論形成で示した。(早稲田大学哲学会フィロソフィア誌シンポジウム要旨、Proc, of Logic for Peace）。岡田は論証推論主義の観点から、伊藤はブランダムらの推論主義の観点から推論と論証について連携して本課題研究を進めた。（伊藤の推論主義の成果の一部は上記シンポジウム要旨参照。）伊藤は、規則と規則の適用の区別をもとに推論・論証概念の新しい視点を与えた。（例えば、「Disagreement in Logic and Reasoning」日仏ワークショップ）。形式論理言語では捉えにくい推論について研究を進めた。この文脈で峯島は、２０世紀型述語論理では捉えにくいことが知られている、逆接などの接続詞や比較詞の考察の成果を公開した。画像的論理推論の研究も進めた。岡田と峯島は深層学習ベースの自然言語推論モデルを論理推論・論理証明の観点から評価する方法論を検討し、それに基づいて調査を開始した。人の自然言語推論で知られている種々の推論バイアスが機械学習の推論モデルでも生じるかという問題や、機会学習モデルによる論証形成の問題を検討した。

他进行了多方面的尝试，重新考虑由于20世纪的形式语言而被忽视的逻辑形式。冈田从维特根斯坦的草稿中导出了一个不同于20世纪一般谓词逻辑的形式证明的证明概念（日本哲学会研讨会）。特别是，通过比较早期维特根斯坦的算术证明概念和中期维特根斯坦的算术证明概念，并批评维特根斯坦的直觉证明，我们将检验中期维特根斯坦理解证明概念的形式性的方式的独特性（维特根斯坦的哲学，1929年，劳特利奇）。 。基于此，我考虑了证明中的推论的形成被认为是概念I的形成的立场，并在经典逻辑和直觉逻辑的句法逻辑中的推论的形成中给出了具体的例子。 （早稻田大学哲学会哲学杂志研讨会摘要，Proc，《和平逻辑》）。冈田和伊藤从论证推理主义和布兰登等人的角度共同研究推理和论证。 （伊藤推理主义的一些成果，参见上面的研讨会摘要。）伊藤基于规则之间的区别和规则的应用，对推理和论证的概念给出了新的视角。 （例如“逻辑与推理中的分歧”日法研讨会）。我们对使用形式逻辑语言难以掌握的推论进行了研究。在此背景下，峰岛发表了他对连词和比较级的研究成果，例如逆连词，这些在20世纪谓词逻辑中被认为是难以掌握的。他还开展了视觉逻辑推理方面的研究。冈田和峰岛从逻辑推理和证明的角度考虑了一种评估基于深度学习的自然语言推理模型的方法，并开始了基于该方法的研究。我们研究了人类自然语言推理中已知的各种推理偏差是否也出现在机器学习推理模型中，以及使用机器学习模型的论证形成问题。

项目成果

ケベック大学モントリオール校(カナダ)

魁北克大学蒙特利尔分校（加拿大）

論理と論理言語の関係を再考する

重新思考逻辑与逻辑语言之间的关系

• 发表时间: 2022
• 作者: Savage;P. E.;Jacoby;N.;Margulis;E. H.;Daikoku;H.;Anglada-Tort;M.;Castelo-Branco;S. E.-S.;Nweke;F. E.;Fujii;S.;Hegde;S.;Chuan-Peng;H.;Jabbour;J.;Lew-Williams;C.;Mangalagiu;D.;McNamara;R.;Mullensiefen;D.;Opondo;P.;Patel;A.;岡田光弘;伊規須敦史・石井敬子;臼井恵美子,羽衣杉雄;岡田光弘
• 通讯作者: 岡田光弘

Evaluating Compositionality in Japanese Textual Entailment

评估日语文本蕴涵的组合性

• 发表时间: 2022
• 作者: 佐藤拓真;窪田愛;峯島宏次;山口雅広;Koji Mineshima
• 通讯作者: Koji Mineshima

ラッセルの「構成」概念とスタウトの心理学

罗素的“配置”概念与斯托特的心理学

• 发表时间: 2021
• 作者: 陶徳民;吾妻重二;黄東蘭;山田智;村田雄二郎;錢鴎;林少陽;羅コン;小嶋茂稔;石暁軍;朱琳;石永峰;高木智見;二ノ宮聡;呉偉明;高田時雄;平山惠美子;前川真行;伊藤 遼
• 通讯作者: 伊藤 遼

Disagreement in logic

逻辑上不一致

• 发表时间: 2022
• 作者: Savage;P. E.;Jacoby;N.;Margulis;E. H.;Daikoku;H.;Anglada-Tort;M.;Castelo-Branco;S. E.-S.;Nweke;F. E.;Fujii;S.;Hegde;S.;Chuan-Peng;H.;Jabbour;J.;Lew-Williams;C.;Mangalagiu;D.;McNamara;R.;Mullensiefen;D.;Opondo;P.;Patel;A.;岡田光弘
• 通讯作者: 岡田光弘