An actual line is taken as an existent, determinate extension. A potential or postulated line can be marked out within a geometrical analysis without requiring an already separate material component.
This distinction is used against the sphere proof: a geometric boundary of contact does not automatically amount to a collection of independently existing actual substances.
Potential divisibility, an accomplished division, and already constituted independent parts are three separate propositions.
Opening interactive controls...
The Indivisible Atom: Arguments, Infinite Division and Objections
An actual line is taken as an existent, determinate extension. A potential or postulated line can be marked out within a geometrical analysis without requiring an already separate material component.
This distinction is used against the sphere proof: a geometric boundary of contact does not automatically amount to a collection of independently existing actual substances.
Potential divisibility, an accomplished division, and already constituted independent parts are three separate propositions.