Prologue Part I: Mathematical Being & Common Science — Analytical Summary

Scope: Friedlein pp. 3–47 · Book I (Chaps. I–XV)

Architectural Argument of Prologue Part I

In the fifteen chapters of Prologue Part I (Friedlein pp. 3–47; Taylor Book I), Proclus constructs the most complete surviving treatise of late-antique philosophy of mathematics. Before examining geometry in its specific spatial character, he establishes the common science of mathematics (κοινὴ μαθηματικὴ ἐπιστήμη) across five interlocking movements:

1. Intermediate Ontology (*Friedlein* 3–5): Drawing upon Plato's Divided Line (Republic VI, 509d–511e), Proclus situates mathematical essence in the exact middle rank of reality. Above it stand the simple, unextended, self-identical intelligibles grasped by intuitive Intellect; below it lie shifting, material, inexact sensible bodies grasped by sense and opinion. Mathematical objects surpass sensibles in eternal exactitude and necessity, yet unfold into plurality, division, and relation unlike pure Forms.

2. Limit and the Unlimited (*Friedlein* 5–7): Following Plato's Philebus, Proclus derives all mathematical existence from the cosmic dyad of Limit and the Unlimited. Limit bestows definite ratio, boundary, commensurability, and form; the Unlimited supplies inexhaustible progression in number and continuous divisibility in magnitude.

3. Common Axioms and Critique of Abstraction (*Friedlein* 7–19): Theorems of proportion, equality, whole-and-part, and sameness-and-difference pervade arithmetic, geometry, music, and astronomy alike because they descend from a single prior mathematical science. Against Peripatetic empiricism, Proclus argues (Friedlein 12–18) that mathematical concepts cannot be later-born abstractions gleaned from sensible bodies: sense-objects never exhibit an indivisible point, a breadthless line, or exact equality, nor could mutable matter ever ground eternal apodictic demonstration. Instead, discursive understanding awakens substantial logoi innate within the soul.

4. The Ascent of the Soul & Division of the Sciences (*Friedlein* 19–42): Defending theoretical mathematics against utilitarian and Epicurean detractors, Proclus synthesizes two great ancient classifications of the mathematical sciences: - The Pythagorean Quadrivium (Friedlein 35–37), dividing Quantity (ποσόν) into discrete (ἀριθμητική per se, μουσική in relation) and Magnitude (πηλίκον) into stationary (γεωμετρία) and moving (σφαιρική / ἀστρονομία). - Geminus’s Encyclopedic Classification (Friedlein 38–42), contrasting pure sciences of intelligibles (arithmetic and geometry) with six sciences operating upon sensibles: mechanics, astronomy, optics, geodesy, canonics, and logistic.

5. Dialectic and *Mathesis* as Recollection (*Friedlein* 42–47): In strict fidelity to Republic VII and the Meno, Platonic Dialectic crowns all mathematics as its unifying thrigkos (coping-stone), furnishing the unhypothetical light by which mathesis becomes true recollection.

Section Synopsis & Friedlein Map

Section	Friedlein Pages	Euclid Element	Greek Track
Chap. I: Intermediate Mathematical Essence (Metaxy)	pp. 1–5	—	Greek (p. 1)
Chap. II: Limit (Peras) and the Unlimited (Apeiron)	pp. 5–7	—	Greek (p. 5)
Chap. III–IV: Common Theorems Pervading All Mathematics	pp. 7–11	—	Greek (p. 7)
Chap. V–VI: Dianoia, Innate Logoî, and Critique of Abstraction	pp. 11–19	—	Greek (p. 11)
Chap. VII–X: Platonic Utility of Mathematics & Reply to Critics	pp. 19–32	—	Greek (p. 19)
Chap. XI–XIII: Criteria of Mathematics & Pythagorean Quadrivium	pp. 32–37	—	Greek (p. 32)
Chap. XIII (cont.): Geminus’s Classification of Pure & Mixed Sciences	pp. 38–42	—	Greek (p. 38)
Chap. XIV–XV: Dialectic as Unifying Capstone & Name of Mathesis	pp. 42–47	—	Greek (p. 42)