TRUTH AND SPEED-UP

被引:8
|
作者
Fischer, Martin [1 ]
机构
[1] Univ Munich, Math Ctr Math Philosophy, D-80539 Munich, Germany
来源
REVIEW OF SYMBOLIC LOGIC | 2014年 / 7卷 / 02期
关键词
LENGTHS;
D O I
10.1017/S1755020314000070
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
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.
引用
收藏
页码:319 / 340
页数:22
相关论文
共 50 条
  • [1] Manila speed-up
    Anon
    [J]. Railway Gazette International, 2001, 157 (09)
  • [2] Location of speed-up subnetworks
    Marie Schmidt
    Anita Schöbel
    [J]. Annals of Operations Research, 2014, 223 : 379 - 401
  • [3] SPEED-UP YOUR CHEMISTRY
    STUDT, T
    [J]. R&D MAGAZINE, 1993, 35 (13): : 51 - 51
  • [4] Mechanism Of The Quantum Speed-up
    Castagnoli, Giuseppe
    [J]. QUANTUM RETROCAUSATION: THEORY AND EXPERIMENT, 2011, 1408 : 99 - 119
  • [5] Location of speed-up subnetworks
    Schmidt, Marie
    Schoebel, Anita
    [J]. ANNALS OF OPERATIONS RESEARCH, 2014, 223 (01) : 379 - 401
  • [6] SUBRECURSIVE REDUCIBILITIES AND THE SPEED-UP
    AIZENSHTEIN, MK
    [J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1981, (06): : 11 - 18
  • [7] Theory of the quantum speed-up
    Castagnoli, G
    Finkelstein, DR
    [J]. PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2001, 457 (2012): : 1799 - 1806
  • [8] Speed-up the Project Communication
    不详
    [J]. BAUINGENIEUR, 2015, 90 : A5 - A5
  • [9] BIG SPEED-UP FOR VME
    DARCY, D
    [J]. ELECTRONICS WORLD & WIRELESS WORLD, 1994, (1700): : 534 - 534
  • [10] NUMERICAL CONTROL SPEED-UP
    SIMPSON, C
    [J]. ENGINEERING, 1969, 208 (5391): : 192 - &