Questions: Idealization in Science

Question 1

Population genetics uses the Hardy-Weinberg equilibrium, derived by assuming infinite population size — a condition no real population meets. Biologists then use deviations from Hardy-Weinberg as evidence of selection, drift, or migration. This use of the infinite-population idealization is best described as:

• A. A computational shortcut that could be replaced by a finite-population model without loss of insight
• B. A Galilean idealization performing explanatory work — the false assumption generates the null model that makes real deviations scientifically meaningful
• C. An Aristotelian abstraction that reveals a truth holding approximately in all large populations
• D. A misleading idealization that should be replaced by models of actual population sizes

Answer: (B)

This is the key distinction between idealizations that merely simplify computation and those that do explanatory work. Hardy-Weinberg is not just 'easier to calculate' — the infinite-population assumption generates the equilibrium itself, and that equilibrium serves as the scientific null model against which real populations are compared. Removing the idealization (using a realistic finite N) would destroy the null model's clarity. This is why it cannot be dismissed as merely a computational convenience: the false assumption is structurally necessary for the inference pattern.

Question 2

The distinction between Galilean idealization and Aristotelian abstraction is that:

• A. Galilean idealization applies to physics; Aristotelian abstraction applies to biology and social science
• B. Galilean idealization removes accidental features to reveal universal truths; Aristotelian abstraction introduces deliberate falsehoods to simplify analysis
• C. Galilean idealization introduces deliberately false assumptions to render systems tractable; Aristotelian abstraction removes accidental features to reveal properties that genuinely hold
• D. They are synonyms — both describe the practice of simplifying models to make them mathematically manageable

Answer: (C)

The terms are often confused. Aristotelian abstraction is a genuine generalization: remove the particular color of this triangle to expose geometric properties that hold of all triangles. The abstracted claim is true. Galilean idealization is different: assume a frictionless plane, a point mass, or an infinite population. These claims are false — no such things exist. Yet theories built on them make accurate predictions. The philosophical puzzle (why do false assumptions produce true predictions?) only arises for Galilean idealization, not for Aristotelian abstraction.

Question 3

A scientific model built on a known false assumption can nonetheless be scientifically legitimate and explanatorily powerful.

• T. True
• F. False

Answer: True

This is the central claim of the idealization literature. Models like the ideal gas (no intermolecular forces), frictionless planes, and infinite populations are known to be false descriptions of reality. Yet they underpin successful theories and explanations. Scientific legitimacy does not require literal truth of model assumptions — it requires that the conclusions drawn from the idealized model accurately describe the target system, either because the idealization is a controlled approximation or because it performs genuine explanatory work as a limiting or null-model case.

Question 4

An idealized model that makes accurate predictions is expected to have assumptions that are at least approximately true.

• T. True
• F. False

Answer: False

This is the inference that idealization-in-science refutes. The ideal gas law makes excellent predictions for many real gases at moderate pressures, yet it assumes zero intermolecular forces and zero molecular volume — both strictly and non-negligibly false at high pressures. The success of a prediction does not license reading off the truth of the underlying assumptions. This is related to the problem of 'inference to the best explanation' and the scientific realism debate: predictive success and truth of assumptions come apart when the model is an idealization.

Question 5

What is the 'de-idealization problem,' and why do infinite idealizations — like the thermodynamic limit — resist standard de-idealization strategies?

Model answer: The de-idealization problem asks: if a model is known to be false, how do we correct it and show that its conclusions still approximately hold for the real system? For controlled approximations (like point-mass planets), de-idealization works by adding corrections and showing the idealized result is the limiting case as corrections vanish. Infinite idealizations resist this because the explanatory concept (phase transitions, spontaneous symmetry breaking, Hardy-Weinberg equilibrium) only emerges at the infinite limit — in a finite system of any size, the sharp transition or equilibrium does not exist. There is no smooth correction to add; the ideal system is qualitatively different from any finite real system.

This is why infinite idealizations raise harder philosophical questions than ordinary approximations. Real systems are never infinite, yet explanations invoke concepts (thermodynamic phases, critical points) that only exist in the infinite limit. Whether such explanations are genuinely mechanistic or are better understood as structural or mathematical is an active debate in philosophy of science.