証明論的手法による論理定項の特徴づけ

使用证明理论方法表征逻辑常数

基本信息

批准号：
18K00036
负责人：
黒川英徳
金额：
$ 1.91万
依托单位：
Kanazawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

本研究の基本的な目的は証明論的な方法によって、論理定項の概念について特徴付けを与えるというものである。これまでの研究は幾つかの手法に基づいている。それらは１）証明論的意味論、２）クライゼルの「構成の理論」と呼ばれる理論と「非形式的厳密さ」という方法論、３）竹内外史の証明論的観点からの集合概念の解明についての研究など、である。今年度における本研究の成果としては、これらのうち特に証明論的意味論と竹内外史の証明論的観点からの集合概念の解明という２つの方向性において幾らかの進捗をみた。まず証明論的意味論にもとづく研究では、ダメットによって導入された「stability」という概念についてこれまでアルベルト・ナイボ、マティア・ペトローロらと共同研究を行ってきた。この「stability」という概念は証明体系における推論規則のもつ望ましい性質とは何かという論点を巡って議論されてきたものである。今年度の我々の研究では、この概念について幾つかの新しい発見があっただけではなく、証明体系全体の構成にとってこの概念がどのような役割を果たしうるかということについても新たな洞察を得ることができた。一連の共同研究についての成果は今年度中に論文として出版予定である。また竹内外史の証明論的研究と（とりわけ２階述語論理における）集合概念の解明について、２回ほど発表を行った。それらの発表の内容は一部既刊の論文の内容と重複するものの、竹内外史の初期の証明論的論文におけるいわゆる「竹内予想」に関する部分的成果がいかなる意味で集合概念の解明になっているか、従って２階量化子の「意味」の解明に部分的に寄与するかについて考察するものである。

这项研究的基本目的是使用证明理论方法来表征逻辑常数的概念。先前的研究基于多种技术。这些是1）证明理论语义学，2）克赖塞尔的“组合理论”和“非正式严谨性”方法论，以及3）Fumi Takeuchi从证明理论角度对集合概念的阐述。 ETC。作为今年这项研究的结果，我们在其中两个方向取得了一些进展：证明理论语义学和从证明理论角度阐明竹内历史中的集合概念。首先，在基于证明的语义研究方面，我一直在与Alberto Naibo、Mattia Petrolo等人对达米特提出的“稳定性”概念进行联合研究。关于证明系统中推理规则的理想属性是什么的问题，“稳定性”的概念一直存在争议。在我们今年的研究中，我们不仅对这个概念有了一些新的发现，而且对这个概念在整个证明系统的构建中能够发挥什么作用有了新的认识。这一系列联合研究的结果计划在本财年内以论文形式发表。他还就竹内的证明理论研究和集合概念的阐明（特别是二阶谓词逻辑）做了两次演讲。尽管这些演讲的部分内容与之前发表的论文内容有所重叠，但竹内文早期证明理论论文中关于所谓“竹内猜想”的部分结果在何种意义上阐明了集合概念？因此，我们将考虑？这是否可以部分有助于阐明二阶量词的“含义”。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

The University of Warick(英国)

华威大学（英国）

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

Belnap's criteria of logical constants and the principle of reflection

贝尔纳普的逻辑常数准则和反射原理

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Hidenori Kurokawa;Alberto Naibo;八巻和彦;Hidenori Kurokawa;八巻和彦;Hidenori Kurokawa;八巻和彦;八巻和彦;黒川英徳;Hidenori Kurokawa
通讯作者：
Hidenori Kurokawa

「完全性定理再訪」

《重新审视完备性定理》

DOI：
发表时间：
2019
期刊：
日本数学会2019年度秋季総合分科会数学基礎論及び歴史分科会アブストラクト
影响因子：
0
作者：
稲上みどり;細川英雄;金泰明;杉本篤史編著;川本隆史;Patrick Grueneberg;山竹伸二;Hidenori Kurokawa;川本隆史;Patrick Grueneberg;山竹伸二;黒川英徳
通讯作者：
黒川英徳

“On the Methodology of Informal Rigour: Set Theory, Semantics, and Intuitionism”

“论非正式严谨的方法论：集合论、语义学和直觉主义”