2022 Fiscal Year Research-status Report
形式主義の哲学の新展開：竹内外史の論理哲学の解明を通じて
| Project/Area Number |
19K00022
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
秋吉 亮太 早稲田大学, 高等研究所, その他(招聘研究員) (20587852)
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Keywords | 哲学 / 論理学 / 証明論 / 形式主義 / 京都学派 / 西田幾多郎 / 証明論的意味論 / フッサール |
|---|
| Outline of Annual Research Achievements |
今年度は（１）京都学派の数理哲学、（２）竹内外史の論理哲学、（３）高階論理の証明論的意味論、（４）デジタルツインや志向性の論理、（５）最初期フッサールの論理哲学について研究を進めた。コロナ渦を原因とする互いの多忙があったものの、いくつかの論文の出版をすることができた。
（１）京都学派の数理哲学については査読付き英語論文として出版することができた。この論文は海外からの興味を大きく引くものであり、反響が大きかった。
（２）竹内とフェファーマンを比較する研究については、投稿に至らなかったため来年度も研究を続ける。また、ロレーヌ大学アラナ教授と直観概念に関する論文集を編集することになった。我々も数学における直観概念について寄稿する予定であり、共同研究を開始した。
（３）高階論理の証明論的意味論についてはパリ大学のナイーボ准教授との共同研究であり、 ドラフトの仕上げ作業を進めて40-45頁ほどのそれなりの分量のドラフトができつつある。
（４）京都大学のグループと開始したデジタルツインや志向性の論理に関する共同研究については、デジタルツインについての論文を査読付きの国際誌に出版することができた。志向性の論理についても各パーツについてはほぼ書き上がっているため、来年度に投稿を目指す。
（５）最初期フッサールの論理哲学については、すでに学会発表を終えておりドラフトが複数種類存在しているものの、最終版を書くには至らなかった。（岡山大学の植村玄樹准教授との共同研究）
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
昨年度から課題にしていた京都学派の数理哲学についての論文出版ができたこと、デジタルツインについての論文を査読付きの国際誌に出版することができたこと、他の研究についてもそれぞれ進んでいることから、おおむね順調に進展していると判断した。
|
| Strategy for Future Research Activity |
京都学派の数理哲学については論文を出版することができたため、竹内外史の論理哲学、高階論理の証明論的意味論、志向性の論理、最初期フッサールの論理哲学についての論文を完成させて投稿する。どの論文も（程度の差はあれど）完成に近いといえるものが多いため、来年度に集中して作業を行うことで出版することを目指す。
|
-
-
-
[Journal Article] Logic of Alternative-I2022
Author(s)
Yasuo Deguchi, Takuro Onishi, Ryota Akiyoshi, Takashi Yagisawa, Maiko Yamamori
-
Journal Title
Asian Journal of Philosophy
Volume: 1
Pages: -
DOI
Peer Reviewed / Open Access
-
-
