Study on "Disagreement" in logic

点击翻译按钮获取中文摘要

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