構成的理論における公理的真理理論の包括的研究

本构论中公理真理论的综合研究

• 批准号: 20J12361
• 负责人: 林 大智
• 金额: $ 1.34万
• 依托单位: Hokkaido University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-24 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20J12361/
• 关键词: 公理的真理異論; 非可述的定義; 証明論的強さ; 真理; フレーゲ; 証明論; 直観主義論理; 論理主義; 無矛盾性; 存在論

真理を公理化する試みは基本的に、真理の集合論的・モデル論的構成を形式化する形でなされてきた。しかしながら、Kripkeらが提案した真理の構成方法は比較的強力な集合論の原理を用いており、これを真理の（一階の）公理的理論に落とし込むことは容易ではない。実際Fischer(2015)らは、ある公理系が、意図する真理概念を適切に捉えているといえるための基準を与え、それに従えばKripke的真理概念の公理化は不完全にしかなしえないことを証明した。そこで本年度の研究では、Kripke的な真理構成で用いられた集合論的原理を公理的真理理論において表現し、真理を公理化する試みを擁護することを目標とした。具体的には、本研究は次の２段階からなる。①Kripke的な真理構成で用いられる集合論的原理が強力である原因の一つの理解は、ある集合を定義する際に、その集合を含む「全ての」集合に言及している（非可述的定義）点である。本研究では、Kripke的真理概念を定式化するには、より弱い集合論的原理で十分であることを論証し、こちらは真理の公理的理論でも表現できることを示した。特に、この弱い集合論的原理に基づいた真理概念については上述のFischerらの基準も満たせることを証明した。②こうして定式化された公理的真理理論の証明論的強さは、既存の理論よりも若干強くなることを示した。したがって、「証明論的に強力な公理的真理理論を与える」という本研究の主要な目的の一つに照らしても適切であることがわかった。

崇拜真理的尝试是通过正式制定真理的集体和建模来提出的。但是，配置克里普克（Kripke）和其他人提出的真理的方法使用了相对强大的组装原则，并且将其放入恶作剧的真理理论（在一楼）并不容易。实际上，Fischer（2015）给出了某个公理的标准，以正确捕获预期的真相概念，并且根据此概念，Kripke真相概念的形式是不完整的。今年的研究旨在表达在有价值的真理理论理论和捍卫试图转向真理的理论中类似Kripke的集体原理。具体而言，这项研究包括以下两个阶段。 （1）对Kripke真相组成中使用的集体原理力量的原因的一种理解称为“所有”聚会，包括该集合，定义集合时（不可能。这是一个点）。在这项研究中，为了制定kripke真理概念，一个更弱的集体原则就足够了，表明它可以用真理的真理表示。特别是，它证明了基于这个弱集体原则的真相概念的上述菲斯切尔和遗嘱可以符合上述标准。 （2）它表明，以这种格式以这种格式的理论的验证强度比现有理论强一些。因此，事实证明，阐明本研究的主要目的之一是“给出了强烈的理论理论”。

项目成果

Reformulating supervaluational theory of truth

重新阐述超评价真理理论

• 发表时间: 2022
• 作者: 宇佐美潤;戸田亮;村川智;福山寛;Daichi Hayashi
• 通讯作者: Daichi Hayashi

Universes for the supervaluational theory of Frege structure

弗雷格结构超估价理论的宇宙

• 发表时间: 2022
• 作者: Nomura Takashi;Minami Eiji;Kawamoto Haruo;Daichi Hayashi
• 通讯作者: Daichi Hayashi

On Cut-Elimination Arguments for Axiomatic Theories of Truth

论真理公理理论的消除论证

• DOI: 10.1007/s11225-021-09978-7
• 发表时间: 2022
• 期刊: Studia Logica
• 影响因子: 0.7
• 作者: 隈下敦貴;田尻寛男;山口明;宇佐美潤,住山昭彦;山根悠;簑口友紀，鈴木勝;櫻井吉晴;福山寛;渡邊正理，栗田伸之，萩原雅人，田中秀数;建部良平;Hayashi Daichi
• 通讯作者: Hayashi Daichi

Extending supervaluation-style Frege structureby the limit axiom

通过极限公理扩展超估式弗雷格结构

• 发表时间: 2021
• 作者: S. Nakasone;A. Ishimine;K. Nakamura;Y. Ishizu;Y. Shiroma;M. Tanaka;N. Akata;H. Kakiuchi;T. Sanada;M. Furukawa;Daichi Hayashi
• 通讯作者: Daichi Hayashi