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.
Publié le : 2006-04-14
Classification:
linear continuum,
topology of the straight line,
region-based topology,
infinite divisibility,
nonatomic domains of quantification,
26A03
@article{1153858647,
author = {Roeper, Peter},
title = {The Aristotelian Continuum. A Formal Characterization},
journal = {Notre Dame J. Formal Logic},
volume = {47},
number = {1},
year = {2006},
pages = { 211-232},
language = {en},
url = {http://dml.mathdoc.fr/item/1153858647}
}
Roeper, Peter. The Aristotelian Continuum. A Formal Characterization. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp. 211-232. http://gdmltest.u-ga.fr/item/1153858647/