axiomatic method


axiomatic method

In logic, the procedure by which an entire science or system of theorems is deduced in accordance with specified rules by logical deduction from certain basic propositions (axioms), which in turn are constructed from a few terms taken as primitive. These terms may be either arbitrarily defined or conceived according to a model in which some intuitive warrant for their truth is felt to exist. The oldest examples of axiomatized systems are Aristotle's syllogistic and Euclidean geometry. Early in the 20th century, Bertrand Russell and Alfred North Whitehead attempted to formalize all of mathematics in an axiomatic manner. Scholars have even subjected the empirical sciences to this method, as in J. H. Woodger's The Axiomatic Method in Biology (1937) and Clark Hull's Principles of Behavior (1943).

This entry comes from Encyclopædia Britannica Concise.
For the full entry on axiomatic method, visit Britannica.com.

Seen & Heard

What made you look up axiomatic method? Please tell us what you were reading, watching or discussing that led you here.