Radical anti-realism, Wittgenstein and the length of proofs
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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCesare 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads32 ( #37,982 of 549,131 )Recent downloads (6 months)1 ( #63,397 of 549,131 )How can I increase my downloads? |
My notes
Discussion
