Paradox and Potential Infinity

Journal of Philosophical Logic 42 (1):195-219 (2013)
Abstract
We describe a variety of sets internal to models of intuitionistic set theory that (1) manifest some of the crucial behaviors of potentially infinite sets as described in the foundational literature going back to Aristotle, and (2) provide models for systems of predicative arithmetic. We close with a brief discussion of Church’s Thesis for predicative arithmetic.
Keywords Potential infinity  Intuitionism  Predicative arithmetic  Church’s thesis
Categories (categorize this paper)
DOI 10.1007/s10992-011-9218-y
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,685
Through your library
References found in this work BETA
Predicative Arithmetic.Edward Nelson - 1986 - Princeton University Press.
On the Interpretation of Intuitionistic Number Theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Tasks and Supertasks.James Thomson - 1954 - Analysis 15 (1):1--13.
Markov's Principle, Isols and Dedekind Finite Sets.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1042-1069.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Actual Versus Potential Infinity (BPhil Manuscript.).Anne Newstead - 1997 - Dissertation, University of Oxford
Aristotelian Infinity.John Bowin - 2007 - Oxford Studies in Ancient Philosophy 32:233-250.
On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
In Defense of Epistemic Arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Varieties of Finitism.Manuel Bremer - 2007 - Metaphysica 8 (2):131-148.
Infinity in Science and Religion. The Creative Role of Thinking About Infinity.Achtner Wolfgang - 2005 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 47 (4):392-411.
Predicative Fragments of Frege Arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55:127-41.

Monthly downloads

Added to index

2011-12-23

Total downloads

43 ( #119,259 of 2,158,346 )

Recent downloads (6 months)

1 ( #355,511 of 2,158,346 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums