TRUTH AND SPEED-UP
TRUTH AND SPEED-UP
复制标题
真相与加速
DOI：
10.1017/s1755020314000070
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Martin Fischer
中科院分区：
文献类型：
--
作者：
Martin Fischer
在本文中，我们研究了真理论背景下的加速现象。我们专注于扩展皮亚诺算术的真理公理理论。我们特别感兴趣的是 PA 的保守扩展是否有加速以及这与通货紧缩账户有何关系。我们证明，与某些组合理论相比，双引号理论没有显着的加速，并且我们简要评估了这些结果的哲学含义。
In this paper, we investigate the phenomenon of speed-up in the context of theories of truth. We focus on axiomatic theories of truth extending Peano arithmetic. We are particularly interested on whether conservative extensions of PA have speed-up and on how this relates to a deflationist account. We show that disquotational theories have no significant speed-up, in contrast to some compositional theories, and we briefly assess the philosophical implications of these results.
登录
查看更多内容
论数学工具主义*
DOI：
--
发表时间：
2005
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
Patrick Caldon;A. Ignjatović
通讯作者：
A. Ignjatović
第八章-证明的长度
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
P. Pudlák
通讯作者：
P. Pudlák
真理理论的力量
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Richard G. Heck
通讯作者：
Richard G. Heck
公理真理论的相对真可定义性
DOI：
10.2178/bsl/1286284556
发表时间：
2010
期刊：
The Bulletin of Symbolic Logic
影响因子：
--
作者：
K. Fujimoto
通讯作者：
K. Fujimoto
真理的公理理论
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
S. Michael
通讯作者：
S. Michael