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
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