The priority of arithmetical truth over arithmetical provability

被引：0

|

作者：

Martino, E ^{[1
]}

机构：

[1] Univ Padua, Dept Philosophy, I-35100 Padua, Italy

来源：

TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY | 2002年 / 21卷 / 1-2期

关键词：

Classical Logic; Ideal Agent; Ideal Mathematician; Classical Proof; Semantical Game;

D O I：

10.1023/A:1014832431804

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：55 / 63

页数：9

相关论文

共 50 条

[1] The Priority of Arithmetical Truth Over Arithmetical Provability
Enrico Martino
[J]. Topoi, 2002, 21 : 55 - 63
[2] NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY
ARTEMOV, SN
[J]. DOKLADY AKADEMII NAUK SSSR, 1985, 284 (02): : 270 - 271
[3] Arithmetical Reflection and the Provability of Soundness
Dean, Walter
[J]. PHILOSOPHIA MATHEMATICA, 2015, 23 (01) : 31 - 64
[4] ARITHMETICAL NECESSITY, PROVABILITY AND INTUITIONISTIC LOGIC
GOLDBLATT, R
[J]. THEORIA, 1978, 44 : 38 - 46
[5] Supertasks and arithmetical truth
Warren, Jared
Waxman, Daniel
[J]. PHILOSOPHICAL STUDIES, 2020, 177 (05) : 1275 - 1282
[6] Deflationism and arithmetical truth
Hyttinen, T
Sandu, G
[J]. DIALECTICA, 2004, 58 (03) : 413 - 426
[7] Supertasks and arithmetical truth
Jared Warren
Daniel Waxman
[J]. Philosophical Studies, 2020, 177 : 1275 - 1282
[8] UNIFORM ARITHMETICAL COMPLETENESS OF MODAL PROVABILITY LOGICS
ARTEMOV, SN
[J]. MATHEMATICAL NOTES, 1990, 48 (1-2) : 625 - 629
[9] ARITHMETICAL COMPLEXITY OF PROVABILITY PREDICATE LOGICS AND THEIR FRAGMENTS
VARDANIAN, VA
[J]. DOKLADY AKADEMII NAUK SSSR, 1986, 288 (01): : 11 - 14
[10] ON CLASSES OF ARITHMETICAL COUNTERPARTS OF MODEL PROVABILITY LOGICS
NOGINA, EY
[J]. VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1990, (01): : 31 - 33

← 1 2 3 4 5 →