研究課題
2018年度はブラウワー直観主義に関する哲学的研究と論理学的な研究を行い，そして竹内外史の論理哲学に関する研究のきっかけを掴んだ．まず，ブラウワーのバー帰納法の議論が現代証明論のツール(Ω規則）によって再構成可能であることを示し，これまで謎であった仮定に説明を与えた．2018年7月に査読付き国際会議Wollic 2018（コロンビア）に採択されて論文が出版された.次に，フッサールの論理哲学に関しては，植村玄輝准教授(岡山大学)とフッセリアーナの関連文献を引き続き精読してドラフトを執筆した．最後に，パリに研究滞在している間に，戦後日本を代表する竹内外史の論理哲学についてパリ第一大学哲学科アラナ准教授と議論を交わした.論理学的な研究については，前年度に得ていた結果を論理学全般に関わる最大の国際学会であるLogic Colloquium 2018(Udine, Italy)のSpecial Sessionの招待講演で発表した.研究期間全体の成果としては，ブラウワー直観主義を証明論的手法によって再検討し，新たな観点を見出すことに，一定の成功を収めたとまとめることができる．とくに，ブラウワーのバー帰納法の議論が現代証明論のツールであるΩ規則で解釈可能であることを示して，査読付き国際会議から出版したことは，特筆すべき成果といえる．また，この研究をきっかけとして，竹内外史の論理哲学の研究のきっかけを掴んだことは想定外の出来事であった．そして，研究期間全体を通じて国際会議で招待講演を行い，国際的な査読付き雑誌から（国際共著を含む）論文を複数本出版し，様々な国の研究者と討論をしたことは大きな成果といえる．2018年8月にはパリ第一大学科学史科学哲学研究所(IHPST)の学外所員に選出され，2019年2月には招聘研究者としてIHPSTにて研究活動を行なったが，これも本研究の成果である.
すべて 2019 2018 その他
すべて 国際共同研究 (2件) 雑誌論文 (3件) (うち国際共著 3件、 査読あり 2件) 学会発表 (6件) (うち国際学会 4件、 招待講演 5件)
The Bulletin of Symbolic Logic
巻: 印刷中 ページ: 印刷中
WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation
巻: 10944 ページ: 77--90
10.1007/978-3-662-57669-4_4
Proceedings of the XXIII World Congress of Philosophy
巻: 56 ページ: 5--9
