Open Access
2006 The Aristotelian Continuum. A Formal Characterization
Peter Roeper
Notre Dame J. Formal Logic 47(2): 211-232 (2006). DOI: 10.1305/ndjfl/1153858647

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.

Citation

Download Citation

Peter Roeper. "The Aristotelian Continuum. A Formal Characterization." Notre Dame J. Formal Logic 47 (2) 211 - 232, 2006. https://doi.org/10.1305/ndjfl/1153858647

Information

Published: 2006
First available in Project Euclid: 25 July 2006

zbMATH: 1113.03013
MathSciNet: MR2240620
Digital Object Identifier: 10.1305/ndjfl/1153858647

Subjects:
Primary: 26A03

Keywords: Infinite divisibility , linear continuum , nonatomic domains of quantification , region-based topology , topology of the straight line

Rights: Copyright © 2006 University of Notre Dame

Vol.47 • No. 2 • 2006
Back to Top