Classical arithmetic is quite unnatural

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

Abstract

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)

Links

PhilArchive



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

External links

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

Through your library

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 (1):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.

Analytics

Added to PP
2013-11-24

Downloads
26 (#607,376)

6 months
3 (#961,692)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean Paul Van Bendegem
Vrije Universiteit Brussel

Citations of this work

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.
Apophatic Finitism and Infinitism.Jan Heylen - 2019 - Logique Et Analyse 62 (247):319-337.

Add more citations

References found in this work

A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
Analysis without actual infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.
On some paradoxes of the infinite.Victor Allis & Teunis Koetsier - 1991 - British Journal for the Philosophy of Science 42 (2):187-194.
Ross' paradox is an impossible super-task.Jean Paul van Bendegem - 1994 - British Journal for the Philosophy of Science 45 (2):743-748.
On some paradoxes of the infinite II.Victor Allis & Teun Koetsier - 1995 - British Journal for the Philosophy of Science 46 (2):235-247.

Add more references