Review of Symbolic Logic 6 (3):488-512 (2013)
We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually exclusive and exhaustive disjoint parts, thereby demonstrating the independence of "indecomposability" from a non-punctiform conception. It is surprising that such simple axioms as ours already imply the Archimedean property and that they determine an isomorphism with the Dedekind-Cantor structure of R as a complete, separable, ordered field. We also present some simple topological models of our system, establishing consistency relative to classical analysis. Finally, after describing how to nominalize our theory, we close with comparisons with earlier efforts related to our own
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
Citations of this work BETA
Aristotelian Continua.Øystein Linnebo, Stewart Shapiro & Geoffrey Hellman - 2016 - Philosophia Mathematica 24 (2):214-246.
Frege Meets Aristotle: Points as Abstracts.Stewart Shapiro & Geoffrey Hellman - 2015 - Philosophia Mathematica:nkv021.
Similar books and articles
On Continuity: Aristotle Versus Topology?Michael J. White - 1988 - History and Philosophy of Logic 9 (1):1-12.
Aristotle and Modern Mathematical Theories of the Continuum.Anne Newstead - 2001 - In Demetra Sfendoni-Mentzou & James Brown (eds.), Aristotle and Contemporary Philosophy of Science. Peter Lang.
Structures and Logics: A Case for (a) Relativism.Stewart Shapiro - 2014 - Erkenntnis 79 (2):309-329.
Ten Misconceptions From the History of Analysis and Their Debunking.Piotr Błaszczyk, Mikhail G. Katz & David Sherry - 2013 - Foundations of Science 18 (1):43-74.
The Absolute Arithmetic Continuum and the Unification of All Numbers Great and Small.Philip Ehrlich - 2012 - Bulletin of Symbolic Logic 18 (1):1-45.
An Approach to the Modelling of the Physical Continuum.Richard Jozsa - 1986 - British Journal for the Philosophy of Science 37 (4):395-404.
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
From Actuals to Fictions: Four Phases in Leibniz's Early Thought on Infinitesimals.Richard Arthur - manuscript
Added to index2012-11-07
Total downloads130 ( #35,625 of 2,153,823 )
Recent downloads (6 months)6 ( #119,783 of 2,153,823 )
How can I increase my downloads?