Radical anti-realism, Wittgenstein and the length of proofs

被引：4
|
作者：
Marion, Mathieu [1 ]
机构：
[1] Univ Quebec, Dept Philosophy, Montreal, PQ H3C 3P8, Canada
来源：
SYNTHESE | 2009年 / 171卷 / 03期
关键词：
Proof; Philosophy of logic; Anti-realism; Wittgenstein; Dummett; FEASIBILITY;
D O I：
10.1007/s11229-008-9315-9
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
After sketching an argument for radical anti-realism that does not appeal to human limitations but polynomial-time computability in its definition of feasibility, I revisit an argument by Wittgenstein on the surveyability of proofs, and then examine the consequences of its application to the notion of canonical proof in contemporary proof-theoretical-semantics.
引用
收藏
页码：419 / 432
页数：14
相关论文
共 50 条
12345