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 条
  • [41] A general review of speed-up in Japan
    Soejima, H
    [J]. INTERNATIONAL RAILWAY CONFERENCE ON BETTER JOURNEY TIME - BETTER BUSINESS: SELECTED PAPERS PRESENTED AT S TECH '96, 1996, 1996 (08): : 3 - 12
  • [42] Quantum speed-up? Not so fast
    Aron, Jacob
    [J]. NEW SCIENTIST, 2015, 228 (3052) : 12 - 12
  • [43] When Does Memory Speed-up Mixing?
    Apers, Simon
    Sarlette, Alain
    Ticozzi, Francesco
    [J]. 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [44] DID DNA RINGS SPEED-UP EVOLUTION
    WATZMAN, H
    [J]. NEW SCIENTIST, 1994, 142 (1925) : 18 - 18
  • [45] A LINEAR SPEED-UP THEOREM FOR CELLULAR AUTOMATA
    MAZOYER, J
    REIMEN, N
    [J]. THEORETICAL COMPUTER SCIENCE, 1992, 101 (01) : 59 - 98
  • [46] Britain sought to speed-up sequencing efforts
    Masood, E
    [J]. NATURE, 1999, 398 (6724) : 177 - 177
  • [47] Speed-up of combustion fronts in shear flows
    Hamel, Francois
    Zlatos, Andrej
    [J]. MATHEMATISCHE ANNALEN, 2013, 356 (03) : 845 - 867
  • [48] Parallel machine scheduling with speed-up resources
    Chen, Lin
    Ye, Deshi
    Zhang, Guochuan
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2018, 268 (01) : 101 - 112
  • [49] Reconfigurable Architecture to Speed-up Modular Exponentiation
    Venkatesh, K.
    Pratibha, K.
    Annadurai, Suganya
    Kuppusamy, Lakshmi
    [J]. 2019 IEEE 53RD INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST 2019), 2019,
  • [50] Speed-up for N-FINDR algorithm
    王立国
    张晔
    [J]. Journal of Harbin Institute of Technology(New series), 2008, (01) : 141 - 144
12345