Radical anti-realism, Wittgenstein and the length of proofs

Synthese 171 (3):419 - 432 (2009)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Radical anti-realism and substructural logics.Jacques Dubucs & Mathieu Marion - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 235--249.
Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.
Michael Dummett (1925–).Alexander Miller - 2001 - In Aloysius Martinich & David Sosa (eds.), A companion to analytic philosophy. Malden, Mass.: Blackwell. pp. 378–392.
Anti-Realism in Semantics and Logic.Arnold Steven Silverberg - 1988 - Dissertation, University of Toronto (Canada)
The Limits of Relativism in the Late Wittgenstein.Patricia Hanna & Bernard Harrison - 2010 - In Steven D. Hales (ed.), A Companion to Relativism. Malden, MA: Wiley-Blackwell. pp. 179–197.

Analytics

Added to PP
2009-01-28

Downloads
149 (#28,648)

6 months
12 (#1,086,452)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mathieu Marion
Université du Québec à Montréal

References found in this work

Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.
Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.

View all 24 references / Add more references