Unit VI — Parmenides, Philebus & Laws VII: Straightness, Limit & Incommensurability — Structural Synopsis

Argumentative Architecture & Interactive Diagram Guide · Parmenides 137d–138a, 145a–b; Philebus 16c–26d, 51b–52c; Laws VII 817e–820d

Compass (Tornos), Optical Straight Ray (Kanon) & Three-Dimensional Incommensurability: circle (O, C) of equal radii Q = 1 (Parm. 137e, Phil. 51c), optical diameter [A, O, C], plane diagonal O D (Q = 2), and unfolded cube diagonal O E (Q = 3, Laws VII 819d–820c).

Architectural Thesis

Unit VI gathers the late-Platonic axiomatic, ontological, aesthetic, and pedagogical foundations of geometry across Parmenides, Philebus, and Laws Book VII:

1. Optical Straightness & Equidistant Roundness (*Parmenides* 137d–138a, 145a–b): In the First and Second Hypotheses of the Parmenides, Plato gives the earliest preserved Greek definitions of round/circular (that whose extremes are everywhere equally distant from the middle, (O, C) with equal radii O C and O A) and straight (that whose middle stands in front of both extremes, epiprosthēsis along diameter A C).

2. Limit (*Peras*), Unlimited (*Apeiron*) & Pure Constructive Beauty (*Philebus* 16c–26d, 51b–52c): In Philebus 16c–26d, Socrates establishes Limit (πέρας—the equal, double, and every exact ratio of number to number or measure to measure) and the Unlimited (ἄπειρον—the indeterminate continuum of more and less) as the universal principles of mathematical order, Adopted verbatim by Proclus at the head of his Euclid commentary. At 51b–52c, Socrates defines pure, non-relative beauty: surfaces and solids constructed cleanly by compass and straightedge (τόρνοις… καὶ κανόσι).

3. Dimensional Incommensurability (*Laws* VII 817e–820d): In his final work, the Athenian Stranger mandates three liberal mathematical disciplines (arithmetic, metrics of line/surface/solid, and celestial kinematics) and castigates Greek education for assuming that length (O C, \(Q=1\)), plane surface (O D, \(Q=2\)), and solid depth (O E, \(Q=3\)) are universally commensurable.

Stephanus Conspectus

Section	Stephanus Span	Mathematical & Philosophical Argument	Tracks
VI.1–2 Parmenides Definitions	137d–138a, 145a–b	Round equidistance, optical straightness, and figure (schēma).	EN · EL
VI.3–4 Philebus Limit & Beauty	16c–26d, 51b–52c	Peras & apeiron; pure geometric beauty wrought by tornos and kanōn.	EN · EL
VI.5 Laws VII Incommensurability	VII, 817e–820d	Commensurable vs. incommensurable lengths, planes, and solids (\(1, \sqrt{2}, \sqrt{3}\)).	EN · EL