形式主義の哲学の新展開：竹内外史の論理哲学の解明を通じて

形式主义哲学的新发展——通过竹内文逻辑哲学的阐释

基本信息

批准号：
19K00022
负责人：
秋吉亮太
金额：
$ 2.5万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
起止时间：
2019-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

今年度は（１）京都学派の数理哲学、（２）竹内外史の論理哲学、（３）高階論理の証明論的意味論、（４）デジタルツインや志向性の論理、（５）最初期フッサールの論理哲学について研究を進めた。コロナ渦を原因とする互いの多忙があったものの、いくつかの論文の出版をすることができた。（１）京都学派の数理哲学については査読付き英語論文として出版することができた。この論文は海外からの興味を大きく引くものであり、反響が大きかった。（２）竹内とフェファーマンを比較する研究については、投稿に至らなかったため来年度も研究を続ける。また、ロレーヌ大学アラナ教授と直観概念に関する論文集を編集することになった。我々も数学における直観概念について寄稿する予定であり、共同研究を開始した。（３）高階論理の証明論的意味論についてはパリ大学のナイーボ准教授との共同研究であり、ドラフトの仕上げ作業を進めて40-45頁ほどのそれなりの分量のドラフトができつつある。（４）京都大学のグループと開始したデジタルツインや志向性の論理に関する共同研究については、デジタルツインについての論文を査読付きの国際誌に出版することができた。志向性の論理についても各パーツについてはほぼ書き上がっているため、来年度に投稿を目指す。（５）最初期フッサールの論理哲学については、すでに学会発表を終えておりドラフトが複数種類存在しているものの、最終版を書くには至らなかった。（岡山大学の植村玄樹准教授との共同研究）

今年，我们将重点关注（1）京都学派的数学哲学，（2）竹内文的逻辑哲学，（3）高阶逻辑的基于证明的语义，（4）数字孪生的逻辑和意向性，以及（5）最早的胡塞尔主义者，他进行了逻辑哲学的研究。尽管由于冠状病毒大流行，我们都很忙，但我们仍然发表了几篇论文。 (1) 我能够将京都学派的数学哲学作为同行评审的英文论文发表。这篇论文引起了海外的广泛关注并得到了热烈的反响。 (2) 由于比较Takeuchi和Pfefferman的研究没有提交结果，该研究将在明年继续进行。我还与洛林大学的阿拉纳教授一起编辑了一本关于直觉概念的论文集。我们还计划对数学中的直觉概念做出贡献，并已开始联合研究。（3）关于高阶逻辑的基于证明的语义，这是与巴黎大学Naibo副教授的联合研究，正在定稿，大约40-45页。（4）关于我们与京都大学的一个小组开始的数字孪生和意向性逻辑的联合研究，我们能够在同行评审的国际期刊上发表关于数字孪生的论文。由于我几乎已经写下了意向性逻辑的每一部分，所以我打算明年发布。（5）虽然胡塞尔最早的逻辑哲学已经在学术会议上发表过，并且有多个草稿，但他一直没能写出最终版本。（与冈山大学植村元气副教授共同研究）

项目成果

期刊论文数量（19）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

ミュンヘン大学数学科(ドイツ)

慕尼黑大学数学系（德国）

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

On Gaisi Takeuti's philosophy of mathematics

论盖斯·塔乌蒂的数学哲学

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Ryota Akiyoshi;Andrew Arana;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi
通讯作者：
Ryota Akiyoshi

Towards Proof-Theoretic Semantics for Second-Order Logic

走向二阶逻辑的证明理论语义

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Yasuo Deguchi;Takuro Onishi;Ryota Akiyoshi;Takashi Yagisawa;Maiko Yamamori;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi;Ryota Akiyoshi
通讯作者：
Ryota Akiyoshi

On Gaisi Takeuti's Philosophy of Mathematics (abstract)

论盖斯·塔乌蒂的数学哲学（摘要）

DOI：
发表时间：
2020
期刊：
The Bulletin of Symbolic Logic
影响因子：
0
作者：
Yasuo Deguchi;Takuro Onishi;Ryota Akiyoshi;Takashi Yagisawa;Maiko Yamamori;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi and Andrew Arana
通讯作者：
Ryota Akiyoshi and Andrew Arana

Takeuti’s proof-theory in the context of the Kyoto school

京都学派背景下竹蒂的证明论

DOI：
发表时间：
2019
期刊：
哲学論叢
影响因子：
0
作者：
Yasuo Deguchi;Takuro Onishi;Ryota Akiyoshi;Takashi Yagisawa;Maiko Yamamori;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi and Andrew Arana;Ryota Akiyoshi and Andrew Arana
通讯作者：
Ryota Akiyoshi and Andrew Arana