Liber I.A — Demonstrative Science, Axioms & Intellectual Vision — Structural Synopsis

Argumentative Architecture & Bekker Conspectus (Bekker 71a1–79a16)

Architectural Thesis

In Analytica Posteriora I.1–13 (71a1–79a16), Aristotle constructs the first rigorous meta-theory of deductive mathematical science (epistēmē). Answering Plato's Meno paradox (71a29; Meno 80d), Aristotle demonstrates that all intellectual teaching proceeds from pre-existent knowledge of two irreducible kinds—comprehension of meaning (ti sēmainei) and grasp of existence (hoti estin)—and classifies the indemonstrable starting points of geometry into definitions, hypotheses, postulates, and common axioms.

Logical & Noetic Progression

I.1–3 (71a1–73a20) — Pre-existent Knowledge, Apodeixis & Anti-Circularity

Establishes that scientific demonstration requires premisses that are true, primary, immediate, better known by nature, prior to, and causes of the conclusion; refutes both sceptical infinite regress and circular proof.

I.4–6 (73a21–75a37) — Essential (Kath’ Hauto) & Commensurate Universal (Katholou)

Defines the three criteria of commensurate universality: holding of all (kata pantos), essentially (kath' hauto), and qua the subject itself (hēi auto). Illustrates failure of commensurate universality when 2R is proved separately of equilateral, isosceles, and scalene triangles rather than triangle qua triangle (74a25–32), and celebrates Eudoxus's general proof of alternating proportion (74a17–25).

I.7–9 (75a38–76a30) — Genus-Specificity & Critique of Bryson’s Quadrature

Formulates the prohibition of genus-crossing (metabasis eis allo genos, 75a38): arithmetic cannot prove properties of continuous geometric magnitudes except where one science is formally subalternated to another (as optics to geometry). Exposes Bryson's circle quadrature (75b40) as sophistical because it appeals to an unmediated non-geometrical generality.

I.10–11 (76a31–77a35) — The Architecture of Mathematical First Principles

Draws the canonical distinction between common axioms (‘equals subtracted from equals leave equals’), existential hypotheses (the unit, points, and lines), definitions (which state essence without asserting existence), and constructive postulates (76b23–34). Defends geometry against Platonic separate Forms (77a5).

I.12–13 (77a36–79a16) — Pseudographema, Intellectual Vision & Subalternation

Distinguishes geometrical fallacies (pseudographēmata) from dialectical sophisms, utters the famous noetic maxim ‘these things are as it were seen by intellectual vision’ (ταῦτα δ’ ἐστὶν οἷον ὁρᾶν τῇ νοήσει, 77b30), and separates knowledge of the bare fact (to hoti) from causal demonstration (to dioti) across optics, harmonics, and astronomy.

Chapter & Bekker Span Conspectus

Treatise & Chapter	Bekker Span	Thematic Scope	Tracks
Analytica Posteriora I.1	71a1–71b8	Pre-existent Knowledge & Mathematical Learning	EN · EL
Analytica Posteriora I.2	71b9–72b4	Nature of Scientific Knowledge (Episteme) & First Principles	EN · EL
Analytica Posteriora I.3	72b5–73a20	Refutation of Infinite Regress & Circular Demonstration	EN · EL
Analytica Posteriora I.4	73a21–74a3	Predication ‘Of All’, Essential (Kath’ Hauto) & Universal (Katholou)	EN · EL
Analytica Posteriora I.5	74a4–74b4	Errors in Attaining the Commensurate Universal (Triangle 2R & Alternating Proportion)	EN · EL
Analytica Posteriora I.6	74b5–75a37	Demonstration from Necessary & Essential Premises	EN · EL
Analytica Posteriora I.7	75a38–75b20	Prohibition of Genus-Crossing (Metabasis eis allo genos)	EN · EL
Analytica Posteriora I.8	75b21–75b36	Eternal Validity of Demonstrative Conclusions	EN · EL
Analytica Posteriora I.9	75b37–76a30	Proper Principles & Bryson’s Quadrature of the Circle	EN · EL
Analytica Posteriora I.10	76a31–77a4	Definitions, Axioms (Koinai Ennoiai), Hypotheses & Postulates (Aitemata)	EN · EL
Analytica Posteriora I.11	77a5–77a35	Common Principles Across Distinct Sciences without Platonic Forms	EN · EL
Analytica Posteriora I.12	77a36–78a21	Geometrical Interrogation, Pseudographema & Intellectual Vision (77b30)	EN · EL
Analytica Posteriora I.13	78a22–79a16	Knowledge of the Fact (To Hoti) vs. Reasoned Fact (To Dioti) in Subalternate Sciences	EN · EL

Reception Snapshot in the GEOMETOR Canon

This unit encompasses 25 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.