Synthese 171 (3) (2009)
|Abstract||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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Cesare Cozzo (2004). Rule-Following and the Objectivity of Proof. In Annalisa Coliva & Eva Picardi (eds.), Wittgenstein Today. Il poligrafo.
Rupert Read (2002). Is ‘What is Time?’ A Good Question to Ask? Philosophy 77 (2):193-210.
Bernhard Weiss (1997). Proof and Canonical Proof. Synthese 113 (2):265-284.
Felix Mühlhölzer (2006). "A Mathematical Proof Must Be Surveyable" What Wittgenstein Meant by This and What It Implies. Grazer Philosophische Studien 71 (1):57-86.
William Child (2009). Wittgenstein, Dreaming and Anti-Realism: A Reply to Richard Scheer. Philosophical Investigations 32 (4):329-337.
Peter Carruthers (1985). Ruling-Out Realism. Philosophia 15 (1-2):61-78.
William Child (2007). Dreaming, Calculating, Thinking: Wittgenstein and Anti-Realism About the Past. Philosophical Quarterly 57 (227):252–272.
Neil Tennant (1987). Anti-Realism and Logic: Truth as Eternal. Oxford University Press.
Added to index2009-01-28
Total downloads32 ( #37,982 of 549,131 )
Recent downloads (6 months)1 ( #63,397 of 549,131 )
How can I increase my downloads?