Study on "Disagreement" in logic

逻辑学中的“分歧”研究

基本信息

批准号：
19KK0006
负责人：
岡田光弘
金额：
$ 7.49万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
财政年份：
2019
资助国家：
日本
起止时间：
2019-10-07 至 2024-03-31
项目状态：
已结题

项目摘要

論理的不一致の解明に向かって研究を進展させた。特に、UNESCO世界論理デーの日本からの記念ワークショップの開催、日本科学哲学会大会でのワークショップ「論理的不一致」開催、日仏ワークショップ「論理とリーズニングにおける不一致」などを通じて、成果の中間報告も行った。このほか、日本哲学会ワークショップ及び早稲田大学哲学会シンポジウムなどでも「論理の不一致」を議論した。それらの中で特に主要な成果報告としては次のことが挙げられる。峯島らは論理の不一致についてこれまでの主要な先行研究を整理し、サーベイを行った。（「論理の不一致」ワークショップ）。古典論理と直観主義論理の不一致は単なる意味使用の違いにすぎないというクワイン的批判については特に共同研究者および協力者間で議論を進めた。両者の論理を共通の言語上で定式化することの困難さについてはウイリアムソン以来の議論がある。岡田らは、ウィリアムソンらの議論には潜在的な推論環境の問題を見落としているという立場を示した。この中で、共通言語において新たな倫理定項の概念形成が可能となるという視点も与えた。岡田らは、直観主義との不一致について、ウィトゲンシュタインの視点からも検討した。（特に、彼が最初に直観主義に直面した時期について検討した・伊藤は規則と規則の適用の区別から、不一致についての新たな視点を与えた。（日仏ワークショップ）細川はトゥールミン図式のハイブリッド多領域様相論理による論理学的形式化の議論を通じて成果を公表した。（「論理的不一致」ワークショップ」）実践的推論の研究者、モラルの不一致研究者、認識論的不一致の研究者らを招いて、論理的不一致の問題と対比することを通じて、論理的不一致の問題の特徴を検討した。関連する諸成果を出版した。図的論理や画像表現における論理的不一致研究、深層学習の推論モデルを用いた不一致研究も開始した。

研究在阐明逻辑上的不一致方面取得了进展。特别是通过在日本举办联合国教科文组织世界逻辑日纪念研讨会、在日本科学哲学会会议上举办“逻辑差异”研讨会、日法“逻辑与推理的差异”研讨会，还做了报告。此外，日本哲学会研讨会和早稻田大学哲学会研讨会上也讨论了“逻辑不一致”。其中，以下是尤为重要的报告结果。 Mineshima 等人整理了以往关于逻辑差异的主要研究并进行了调查。（“逻辑的不一致”研讨会）。合作者和合作者特别讨论了蒯因的批评，即经典逻辑和直觉逻辑之间的差异仅仅是意义和用法的差异。自威廉姆森以来，人们一直在争论用共同语言表达这两种逻辑的困难。 Okada 等人认为 Williamson 等人的论点忽视了推理环境的根本问题。在此过程中，我们还提供了一种观点，即可以用通用语言制定新的道德规则的概念。冈田等人也从维特根斯坦的角度审视了与直觉主义的不一致。（特别是，当他第一次遇到直觉主义时，他进行了思考。）伊藤对规则和规则应用的区分使他对不一致性有了新的视角（法国-日本研讨会）细川解释了通过使用混合多学科模态逻辑的逻辑形式化讨论发表的结果。（“逻辑不和谐”研讨会）。我们邀请了实践推理、道德分歧和认识论分歧的研究人员，通过将逻辑分歧与逻辑分歧进行比较来研究逻辑分歧的特征。我们还开始研究图形逻辑和图像表示中的逻辑差异，以及使用深度学习推理来研究逻辑差异。模型。