This paper provides examples in arithmetic of the account of rational intuition and evidence developed in my book After Gödel: Platonism and Rationalism in Mathematics and Logic . The paper supplements the book but can be read independently of it. It starts with some simple examples of problem-solving in arithmetic practice and proceeds to general phenomenological conditions that make such problem-solving possible. In proceeding from elementary ‘authentic’ parts of arithmetic to axiomatic formal arithmetic, the paper exhibits some elements of the genetic analysis of arithmetic knowledge that is called for in Husserl’s philosophy. This issues in an elaboration on a number of Gödel’s remarks about the meaning of his incompleteness theorems for the notion of evidence in mathematics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/0020174X.2015.978533
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,039
Through your library

References found in this work BETA

Is Mathematics Syntax of Language?Kurt Gödel - 1953 - In K. Gödel Collected Works. Oxford University Press: Oxford. pp. 334--355.
Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.

View all 6 references / Add more references

Citations of this work BETA

No New Solutions to the Logical Problem of the Trinity.Beau Branson - 2019 - Journal of Applied Logics 6 (6):1051-1092.

Add more citations

Similar books and articles

Parsons’ Mathematical Intuition: A Brief Introduction.Iris Merkač - 2013 - Croatian Journal of Philosophy 13 (1):99-107.
Literalism and the Applicability of Arithmetic.L. Luce - 1991 - British Journal for the Philosophy of Science 42 (4):469-489.
Mathematical Roots of Phenomenology: Husserl and the Concept of Number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.
On the Foundations of Greek Arithmetic.Holger A. Leuz - 2009 - History of Philosophy & Logical Analysis 12:13-47.
On Herbrand Consistency in Weak Arithmetic.Zofia Adamowicz & Paweł Zbierski - 2001 - Archive for Mathematical Logic 40 (6):399-413.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
The Arithmetic of Cuts in Models of Arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.
In Defense of Epistemic Arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Parsons on Mathematical Intuition.James Page - 1993 - Mind 102 (406):223-232.
Intuiting the Infinite.Robin Jeshion - 2014 - Philosophical Studies 171 (2):327-349.


Added to PP index

Total views
69 ( #166,334 of 2,505,691 )

Recent downloads (6 months)
2 ( #277,206 of 2,505,691 )

How can I increase my downloads?


My notes