- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Radical anti-realism, Wittgenstein and the length of proofs
Synthese 171 (3):419 - 432 (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.Author's Profile
My notes
Similar books and articles
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.
Michael Dummett (1925–).Alexander Miller - 2001 - In A. P. Martinich & David Sosa (eds.), A Companion to Analytic Philosophy. Malden, Massachusetts, USA: 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 - 2011 - In Steven D. Hales (ed.), A Companion to Relativism. Oxford, UK: Wiley‐Blackwell. pp. 179–197.
Anti-Realism and Objectivity in Wittgenstein's Philosophy of Mathematics.Pïeranna Garavaso - 1991 - Philosophica 48.
La philosophie du langage de Wittgenstein selon Michael Dummett.Denis Sauvé - 1998 - Dialogue 37 (2):299-324.
Dreaming, calculating, thinking: Wittgenstein and anti-realism about the past.William Child - 2007 - Philosophical Quarterly 57 (227):252–272.
Analytics
Added to PP
2009-01-28
Downloads
149 (#130,211)
6 months
12 (#242,943)
2009-01-28
Downloads
149 (#130,211)
6 months
12 (#242,943)
Historical graph of downloads
Author's Profile
Citations of this work
Philosophical pictures about mathematics: Wittgenstein and contradiction.Hiroshi Ohtani - 2018 - Synthese 195 (5):2039-2063.
The later Wittgenstein’s guide to contradictions.Alessio Persichetti - 2019 - Synthese 198 (4):3783-3799.
Wittgenstein et la preuve mathématique comme vérifacteur.Mathieu Marion - 2011 - Philosophiques 38 (1):137-156.
Depth and Clarity * Felix Muhlholzer. Braucht die Mathematik eine Grundlegung? Eine Kommentar des Teils III von Wittgensteins Bemerkungen uber die Grundlagen der Mathematik [Does Mathematics need a Foundation? A Commentary on Part III of Wittgenstein's Remarks on the Foundations of Mathematics]. Frankfurt: Vittorio Klostermann, 2010. ISBN: 978-3-465-03667-8. Pp. xiv + 602. [REVIEW]Juliet Floyd - 2015 - Philosophia Mathematica 23 (2):255-276.
References found in this work
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.
Truth and Other Enigmas.Michael Dummett - 1980 - Revue Philosophique de la France Et de l'Etranger 170 (1):62-65.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-sz9d2 uwo