Unit I: Number and Magnitude — Summary

Analytical Digest of the Prefaces, Introduction & Part I (Chapters I–II)

1. Architecture of Scientific Hypotheses (Introduction)

Poincaré opens La Science et l’Hypothèse by rejecting both naive dogmatism (that science deduces reality infallibly from self-evident axioms) and superficial nominalism (as radicalized by Édouard Le Roy, who treated scientific laws as arbitrary caprices). Instead, Poincaré distinguishes three fundamentally different kinds of hypotheses across the hierarchy of the sciences:

  1. Verifiable Empirical Generalizations — fruitful physical hypotheses tested continually against experiment;

  2. Indifferent Representational Hypotheses — auxiliary images (such as continuous fluid vs. atomic models in elasticity or optics) useful for fixing thought without altering observable differential equations;

  3. Apparent Hypotheses or Disguised Conventions (conventions ou définitions déguisées) — decrees of the mind guided, yet never logically or empirically forced, by experience, which give geometry and classical mechanics their exactitude.

Even as conventions frame our language, science reaches genuine objective reality because it grasps invariant relations between things (les rapports entre les choses).

2. Chapter I: Synthetic A Priori Reasoning by Recurrence

How can pure mathematics be simultaneously rigorous (free of empirical approximation) and creative (not a gigantic tautology repeating $A = A$)?

  • Verification vs. Proof (§§ I–II): Examining Leibniz’s analytical proof that $2 + 2 = 4$ from $x + 2 = (x + 1) + 1$, Poincaré observes that purely syllogistic substitution only performs a particular verification; it cannot establish a universal law over infinitely many integers.

  • Recursive Definitions & Cascade of Syllogisms (§§ III–V): Defining addition $x + a = [x + (a - 1)] + 1$ and multiplication recursively, Poincaré proves associativity, commutativity, and distributivity via reasoning by recurrence: establishing a theorem for $n = 1$, proving that if it holds for $n - 1$ it holds for $n$, and concluding it holds for all positive integers.

  • The Irreducible Synthetic *A Priori* Intuition (§§ VI–VIII): Complete mathematical induction condenses an infinite cascade of hypothetical syllogisms into a single formula. Because neither formal logic (restricted to finite syllogisms) nor empirical induction (restricted to finite observations) can license this leap to the infinite, Poincaré affirms—against Kant on geometry, yet with Kant on arithmetic—that mathematical induction is the true synthetic a priori intuition of the mind’s power to conceive the indefinite repetition of a once-possible act.

3. Chapter II: From the Perceptual Continuum to Dedekind Cuts & Analysis Situs

  • Fechner’s Paradox of the Physical Continuum: Sensory experience never yields a transitive continuum. In Fechner’s weight-discrimination experiments ($A = 10\text{ g}$, $B = 11\text{ g}$, $C = 12\text{ g}$), perception reports $A = B$ and $B = C$, yet $A < C$.

  • First & Second Stages of Creation (:term:`Dedekind Cuts <coupure-de-dedekind>`): To banish the contradiction $A = B = C \wedge A < C$, the mind first interpolates the countable dense scale of rationals $\mathbb{Q}$ (continuum of the first order). Yet over $\mathbb{Q}^2$ alone, the diagonal $y = x$ of a square and the inscribed circle $x^2 + y^2 = 1$ fail to intersect! By partitioning $\mathbb{Q}$ via Dedekind cuts (creating symbols such as $\sqrt{2}/2$), the mind constructs the mathematical continuum of the second order ($\mathbb{R}$).

  • Third-Order Non-Archimedean Continua & *Analysis Situs*: Mentioning Paul du Bois-Reymond’s orders of infinity (anticipating Veronese and Hilbert’s non-Archimedean continua in Chapter III), Weierstrass’s nowhere-differentiable curves, and multidimensional cuts recursively defining dimension $n$, Poincaré concludes Part I with Analysis Situs (topology): before any metric convention turns a continuum into space, qualitative homeomorphism invariants govern the pure continuum.