| 研究課題/領域番号 |
19K00022
|
|---|
| 研究機関 | 早稲田大学 |
|---|
研究代表者 |
秋吉 亮太 早稲田大学, 高等研究所, その他(招聘研究員) (20587852)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| キーワード | 哲学 / 論理学 / 証明論 / 形式主義 / 京都学派 / 西田幾多郎 / 証明論的意味論 / フッサール |
|---|
| 研究実績の概要 |
今年度は（１）京都学派の数理哲学、（２）竹内外史の論理哲学、（３）高階論理の証明論的意味論、（４）デジタルツインや志向性の論理、（５）最初期フッサールの論理哲学について研究を進めた。コロナ渦を原因とする互いの多忙があったものの、いくつかの論文の出版をすることができた。
（１）京都学派の数理哲学については査読付き英語論文として出版することができた。この論文は海外からの興味を大きく引くものであり、反響が大きかった。
（２）竹内とフェファーマンを比較する研究については、投稿に至らなかったため来年度も研究を続ける。また、ロレーヌ大学アラナ教授と直観概念に関する論文集を編集することになった。我々も数学における直観概念について寄稿する予定であり、共同研究を開始した。
（３）高階論理の証明論的意味論についてはパリ大学のナイーボ准教授との共同研究であり、 ドラフトの仕上げ作業を進めて40-45頁ほどのそれなりの分量のドラフトができつつある。
（４）京都大学のグループと開始したデジタルツインや志向性の論理に関する共同研究については、デジタルツインについての論文を査読付きの国際誌に出版することができた。志向性の論理についても各パーツについてはほぼ書き上がっているため、来年度に投稿を目指す。
（５）最初期フッサールの論理哲学については、すでに学会発表を終えておりドラフトが複数種類存在しているものの、最終版を書くには至らなかった。（岡山大学の植村玄樹准教授との共同研究）
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
昨年度から課題にしていた京都学派の数理哲学についての論文出版ができたこと、デジタルツインについての論文を査読付きの国際誌に出版することができたこと、他の研究についてもそれぞれ進んでいることから、おおむね順調に進展していると判断した。
|
| 今後の研究の推進方策 |
京都学派の数理哲学については論文を出版することができたため、竹内外史の論理哲学、高階論理の証明論的意味論、志向性の論理、最初期フッサールの論理哲学についての論文を完成させて投稿する。どの論文も（程度の差はあれど）完成に近いといえるものが多いため、来年度に集中して作業を行うことで出版することを目指す。
|
