Liber III.A — Physicist vs. Mathematician & the Potential Infinite — Structural Synopsis

Argumentative Architecture & Bekker Conspectus (Bekker 193b22–194b15, 202b30–208a4)

Architectural Thesis

In Physics II.2 (193b22–194b15) and III.4–7 (202b30–208a4), Aristotle demarcates the exact ontological boundary between physics and geometry—showing how the mathematician legitimately separates surfaces, volumes, lengths, and points in thought from sensible motion without incurring falsity (193b31–35)—and constructs his revolutionary theory of the potential infinite (dynamei apeiron), proving that geometers require no actual infinite line (207b27–34).

Logical & Noetic Progression

Physics II.2 (193b22–194b15) — Natural Philosopher vs. Mathematician: Curve vs. Snub

Physical bodies contain surfaces, volumes, lines, and points (193b24), yet the mathematician treats them not qua boundaries of natural mobile bodies. Contrasts ‘the curved’ (to kampylon, defined without sensible matter) with ‘the snub’ (to simon, concavity essentially bound up with nose-flesh), while noting that optics, harmonics, and astronomy are ‘the more physical branches of mathematics’ (τὰ φυσικώτερα τῶν μαθημάτων, 194a7).

Physics III.4–5 (202b30–206a8) — Aporiai of the Infinite & Refutation of Actual Infinite Body

Catalogues the five classical reasons why thinkers posit an infinite—time, infinite divisibility of magnitudes, unceasing generation, finite boundaries, and inexhaustibility in thought (203b15–30)—and demonstrates both physically and generally that no actual infinite sensible or mathematical body can exist.

Physics III.6 (206a9–207a32) — Potential Existence of the Infinite (Dynamei Apeiron)

Saves both continuous division and number without an actual infinite: the infinite exists potentially, like a day or the Olympic games whose being consists in one thing always coming into existence after another (206a21–25). Reverses the vulgar definition: the infinite is not ‘that outside which nothing is’, but ‘that outside which there is always something’ (οὗ ἀεί τι ἔξω ἐστίν, 206b33–207a2).

Physics III.7 (207a33–208a4) — Inverse Asymmetry of Number & Magnitude; Sufficiency for Geometry

Establishes the exact duality: number has a minimum (the indivisible monad) and is potentially infinite by addition, whereas continuous magnitude has a maximum (bounded by the finite cosmos) and is potentially infinite by division (207b1–15). Concludes (207b27–34) that this deprives mathematicians of nothing: they need only a finite straight line as long as they please (ὅσην ἂν βούλωνται πεπερασμένην), since any given ratio in the largest magnitude can be cut identically in the smallest!

Chapter & Bekker Span Conspectus

Treatise & Chapter	Bekker Span	Thematic Scope	Tracks
Physica II.2	193b22–194b15	Distinction Between Natural Philosophy & Mathematics: Separation in Thought	EN · EL
Physica III.4	202b30–204a7	Predecessors on the Infinite (Apeiron) & Five Grounds for Belief in It	EN · EL
Physica III.5	204a8–206a8	Impossibility of an Actual Infinite Sensible or Mathematical Body	EN · EL
Physica III.6	206a9–207a32	Potential Existence of the Infinite by Division & Addition	EN · EL
Physica III.7	207a33–208a4	Asymmetry of Number & Magnitude; Why Geometers Need Only Arbitrary Finite Lengths	EN · EL

Reception Snapshot in the GEOMETOR Canon

This unit encompasses 5 distinct Bekker loci cited across geometor/euclid, geometor/hoenen, and geometor/pacioli. See the companion Critical Notes & Dual Commentary and the master Bekker Concordance for full folio and page back-references.