New Developments in the Philosophical Foundations of Computability Theory

本研究課題は1930年代に提示され，一世紀近く妥当性に疑問はないと考えられてきた，計算可能性を特徴付けるチャーチ・チューリングの提唱に関わるものであり，特に逸脱コ ーディングという概念に焦点を当てながら，チャーチ・チューリングの提唱に対するチャーチ ，ゲーデル，チューリング及びポストの思想の歴史学的分析，計算可能性の概念分析においてヒルベルト及びウィトゲンシュタインの可観測性という概念が果たした役割の歴史学的分析，論理学及び数学における自然主義・唯名論・構造主義という立場と逸脱コーディングの関係についての哲学的分析を行い，チャーチ・チューリングの提唱を歴史学的及び哲学的観点から見直すものである．令和4年度は，チューリングの計算の哲学について分析を行い，現時点で得られている着想の妥当性を検討した．チューリングの計算の哲学については Fan, Z. が3件の口頭発表と査読つき1件の論文発表を行なっている．また，2月にオハイオ州立大学の Stewart Shapiro 教授を招いて，Semantics and Logic: the Meaning of Logical Terms という題目でオンラインセミナーを実施した．また，2月及び3月に金沢大学の黒川英徳准教授を神戸に招聘して，チューリングおよびゲーデルの計算の哲学，ならびに，クライゼルによる圧縮論法の応用について研究討議を行ない，さらに，3月には代表者が東京都立大学を訪問し，岡本賢吾東京都立大学教授とカント，フレーゲ，ウィトゲンシュタインの数学の哲学について研究討議をした．

本研究課題は1930年代に提示され，一世紀近く妥当性に疑問はないと考えられてきた，計算可能性を特徴付けるチャーチ・チューリングの提唱に関わるものであり，特に逸脱コ ーディングという概念に焦点を当てながら，チャーチ・チューリングの提唱に対するチャーチ ，ゲーデル，チューリング及びポストの思想の歴史学的分析，計算可能性の概念分析においてヒルベルト及びウィトゲンシュタインの可観測性という概念が果たした役割の歴史学的分析，論理学及び数学における自然主義・唯名論・構造主義という立場と逸脱コーディングの関係についての哲学的分析を行い，チャーチ・チューリングの提唱を歴史学的及び哲学的観点から見直すものである．令和4年度は，チューリングの計算の哲学について分析を行い，現時点で得られている着想の妥当性を検討した．チューリングの計算の哲学については Fan, Z. が3件の口頭発表と査読つき1件の論文発表を行なっている．また，2月にオハイオ州立大学の Stewart Shapiro 教授を招いて，Semantics and Logic: the Meaning of Logical Terms という題目でオンラインセミナーを実施した．また，2月及び3月に金沢大学の黒川英徳准教授を神戸に招聘して，チューリングおよびゲーデルの計算の哲学，ならびに，クライゼルによる圧縮論法の応用について研究討議を行ない，さらに，3月には代表者が東京都立大学を訪問し，岡本賢吾東京都立大学教授とカント，フレーゲ，ウィトゲンシュタインの数学の哲学について研究討議をした．