Malament–Hogarth Machines and Tait’s Axiomatic Conception of Mathematics

Erkenntnis 79 (4):893-907 (2014)
  Copy   BIBTEX

Abstract

In this paper I will argue that Tait’s axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then show that there are possible courses of experience which would justify acceptance of a mathematical statement without justifying belief that this statement is provable

Categories

Keywords

Reprint years

DOI

10.1007/s10670-013-9571-z

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Walker Tait - 2004 - Oxford, England: Oup Usa.
Mathematics and mind.Alexander George (ed.) - 1994 - New York: Oxford University Press.
Independence-friendly logic and axiomatic set theory.Jaakko Hintikka - 2004 - Annals of Pure and Applied Logic 126 (1-3):313-333.
Frege versus Cantor and dedekind: On the concept of number.William Tait - manuscript
.[author unknown] - unknown
Mathematical engineering and mathematical change.Jean-Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.
does scientific realism entail mathematical realism?Charles Sayward - 2003 - Facta Philosophica 5 (1):173-182.
Essays on the foundations of mathematics.Moritz Pasch - 2010 - New York: Springer. Edited by Stephen Pollard.
What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.
The Interplay of Psychology and Mathematics Education: From the Attraction of Psychology to the Discovery of the Social.Karen François, Kathleen Coessens & Jean Paul Van Bendegem - 2012 - Journal of Philosophy of Education 46 (3):370-385.
Against intuitionism: Constructive mathematics is part of classical mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
The heuristic function of mathematics in physics and astronomy.Stojan Obradović & Slobodan Ninković - 2009 - Foundations of Science 14 (4):351-360.
Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes.John Earman & John D. Norton - 1993 - Philosophy of Science 60 (1):22-42.

Analytics

Added to PP
2013-11-09

Downloads
83 (#195,778)

6 months
10 (#219,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Sharon Berry
Indiana University, Bloomington

Citations of this work

Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - 2020 - Philosophical Studies 177 (5):1275-1282.

Add more citations

References found in this work

The foundations of arithmetic: a logico-mathematical enquiry into the concept of number.Gottlob Frege - 1959 - Evanston, Ill.: Northwestern University Press. Edited by J. L. Austin.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Infinite pains: the trouble with supertasks.John Earman & John Norton - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 11--271.

View all 10 references / Add more references