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 条
  • [1] Radical anti-realism, Wittgenstein and the length of proofs
    Mathieu Marion
    Synthese, 2009, 171 : 419 - 432
  • [2] WITTGENSTEIN AND ANTI-REALISM
    COLLINS, JD
    AUSLEGUNG-A JOURNAL OF PHILOSOPHY, 1982, 9 (02): : 173 - 181
  • [3] ANTI-REALISM AND INFINITARY PROOFS
    Tajer, Diego
    ANALISIS FILOSOFICO, 2012, 32 (01): : 45 - 51
  • [4] ANTI-REALISM IN KRIPKE WITTGENSTEIN
    KIELKOPF, CF
    JOURNAL OF PHILOSOPHY, 1984, 81 (11): : 727 - 727
  • [5] On the Scope of Wittgenstein's Anti-realism
    Perez Otero, Manuel
    ANALISIS FILOSOFICO, 2020, 40 (02): : 273 - 286
  • [6] Wittgenstein, Dreaming and Anti-Realism: A Reply to Richard Scheer
    Child, William
    PHILOSOPHICAL INVESTIGATIONS, 2009, 32 (04) : 329 - 337
  • [7] LATER L. WITTGENSTEIN'S ANTI-REALISM
    Ladov, V. A.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2009, 7 (03): : 68 - +
  • [8] Radical anti-realism and substructural logics
    Dubucs, J
    Marion, M
    PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE, 2003, 320 : 235 - 249
  • [9] Anti-Realism and Anti-Revisionism in Wittgenstein's Philosophy of Mathematics
    Nakano, Anderson
    GRAZER PHILOSOPHISCHE STUDIEN-INTERNATIONAL JOURNAL FOR ANALYTIC PHILOSOPHY, 2020, 97 (03): : 451 - 474
  • [10] Dreaming, calculating, thinking: Wittgenstein and anti-realism about the past
    Child, William
    PHILOSOPHICAL QUARTERLY, 2007, 57 (227): : 252 - 272
12345