The Aristotelian Continuum. A Formal Characterization

Notre Dame Journal of Formal Logic 47 (2):211-232 (2006)
  Copy   BIBTEX

Abstract

While the classical account of the linear continuum takes it to be a totality of points, which are its ultimate parts, Aristotle conceives of it as continuous and infinitely divisible, without ultimate parts. A formal account of this conception can be given employing a theory of quantification for nonatomic domains and a theory of region-based topology

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1153858647

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

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

Through your library

My notes

Similar books and articles

The cofinality of the strong measure zero ideal.Teruyuki Yorioka - 2002 - Journal of Symbolic Logic 67 (4):1373-1384.
A formal characterization of ordinal numbers.Nicholas J. De Lillo - 1973 - Notre Dame Journal of Formal Logic 14 (3):397-400.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
On Continuity: Aristotle versus Topology?Michael J. White - 1988 - History and Philosophy of Logic 9 (1):1-12.
A characterization of logical constants is possible.Gila Sher - 2003 - Theoria 18 (2):189-198.
Formal Semantics.Josh Dever - 2012 - In Manuel García-Carpintero & Max Kölbel (eds.), The Continuum Companion to the Philosophy of Language. Continuum International.
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.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
On the role of language in social choice theory.Marc Pauly - 2008 - Synthese 163 (2):227 - 243.
A note on the generalized continuum hypothesis. I.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (4):274-278.
A note on the generalized continuum hypothesis. II.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
The continuum hypothesis is independent of second-order ZF.Thomas S. Weston - 1977 - Notre Dame Journal of Formal Logic 18 (3):499-503.
A Note On The Generalized Continuum Hypothesis, Ii.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
A note on the generalized continuum hypothesis. III.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (3):233-240.
A simple version of the generalized continuum hypothesis.Rolf Schock - 1966 - Notre Dame Journal of Formal Logic 7 (3):287-288.

Analytics

Added to PP
2010-08-24

Downloads
66 (#246,951)

6 months
9 (#313,570)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The classical continuum without points.Geoffrey Hellman & Stewart Shapiro - 2013 - Review of Symbolic Logic 6 (3):488-512.
Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.

View all 7 citations / Add more citations

References found in this work

Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Topological Representations of Mereological Systems.Thomas Mormann - 2000 - Poznan Studies in the Philosophy of the Sciences and the Humanities 76:463 -486.
Mereotopology without Mereology.Peter Forrest - 2010 - Journal of Philosophical Logic 39 (3):229-254.
Generalisation of first-order logic to nonatomic domains.P. Roeper - 1985 - Journal of Symbolic Logic 50 (3):815-838.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.

Add more references