Classical arithmetic is quite unnatural

Logic and Logical Philosophy 11:231-249 (2003)

Jean Paul Van Bendegem
Vrije Universiteit Brussel
It is a generally accepted idea that strict finitism is a rather marginal view within the community of philosophers of mathematics. If one therefore wants to defend such a position (as the present author does), then it is useful to search for as many different arguments as possible in support of strict finitism. Sometimes, as will be the case in this paper, the argument consists of, what one might call, a “rearrangement” of known materials. The novelty lies precisely in the rearrangement, hence on the formal-axiomatic level most of the results presented here are not new. In fact, the basic results are inspired by and based on Mycielski (1981)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.12775/LLP.2003.012
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

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

References found in this work BETA

A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
On Some Paradoxes of the Infinite.Victor Allis & Teunis Koetsier - 1991 - British Journal for the Philosophy of Science 42 (2):187-194.
Analysis Without Actual Infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.
Ross' Paradox is an Impossible Super-Task.Jean Paul van Bendegem - 1994 - British Journal for the Philosophy of Science 45 (2):743-748.

Add more references

Citations of this work BETA

Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.

Add more citations

Similar books and articles

A Defense of Strict Finitism.J. P. Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.
Strict Finitism and the Happy Sorites.Ofra Magidor - 2012 - Journal of Philosophical Logic 41 (2):471-491.
Strict Finitism.Crispin Wright - 1982 - Synthese 51 (2):203 - 282.
Strict Finitism Refuted?Ofra Magidor - 2007 - Proceedings of the Aristotelian Society 107 (1pt3):403-411.
Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55:127-41.
Strict $${\Pi^1_1}$$ -Reflection in Bounded Arithmetic.António M. Fernandes - 2010 - Archive for Mathematical Logic 49 (1):17-34.
Critical Study of Michael Potter’s Reason’s Nearest Kin. [REVIEW]Richard Zach - 2005 - Notre Dame Journal of Formal Logic 46 (4):503-513.


Added to PP index

Total views
20 ( #402,578 of 2,237,315 )

Recent downloads (6 months)
3 ( #601,414 of 2,237,315 )

How can I increase my downloads?


My notes

Sign in to use this feature