TY - JOUR
T1 - The aristotelian continuum. A formal characterization
AU - Roeper, Peter
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
KW - Infinite divisibility
KW - Linear continuum
KW - Nonatomic domains of quantification
KW - Region-based topology
KW - Topology of the straight line
UR - http://www.scopus.com/inward/record.url?scp=48849084200&partnerID=8YFLogxK
U2 - 10.1305/ndjfl/1153858647
DO - 10.1305/ndjfl/1153858647
M3 - Article
SN - 0029-4527
VL - 47
SP - 211
EP - 232
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 2
ER -