History and Philosophy of Logic 31 (3):219-245 (2010)
When it comes to Wittgenstein's philosophy of mathematics, even sympathetic admirers are cowed into submission by the many criticisms of influential authors in that field. They say something to the effect that Wittgenstein does not know enough about or have enough respect for mathematics, to take him as a serious philosopher of mathematics. They claim to catch Wittgenstein pooh-poohing the modern set-theoretic extensional conception of a real number. This article, however, will show that Wittgenstein's criticism is well grounded. A real number, as an 'extension', is a homeless fiction; 'homeless' in that it neither is supported by anything nor supports anything. The picture of a real number as an 'extension' is not supported by actual practice in calculus; calculus has nothing to do with 'extensions'. The extensional, set-theoretic conception of a real number does not give a foundation for real analysis, either. The so-called complete theory of real numbers, which is essentially an extensional approach, does not define (in any sense of the word) the set of real numbers so as to justify their completeness, despite the common belief to the contrary. The only correct foundation of real analysis consists in its being 'existential axiomatics'. And in real analysis, as existential axiomatics, a point on the real line need not be an 'extension'
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1931 - Paterson, N.J., Littlefield, Adams.
Citations of this work BETA
No citations found.
Similar books and articles
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
What Numbers Are Real?Kenneth L. Manders - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:253 - 269.
Completeness for Systems Including Real Numbers.W. Balzer & M. Reiter - 1989 - Studia Logica 48 (1):67 - 75.
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Added to index2010-08-11
Total downloads56 ( #89,367 of 2,146,217 )
Recent downloads (6 months)2 ( #280,490 of 2,146,217 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.