Related Content

Related Overviews

Bertrand Russell (1872—1970) philosopher, journalist, and political campaigner

Alfred North Whitehead (1861—1947) mathematician and philosopher

liar paradox

Frank Plumpton Ramsey (1903—1930) mathematician and philosopher

See all related overviews in Oxford Reference »

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Overview

axiom of reducibility


Quick Reference

Axiom introduced by Russell and Whitehead in Principia Mathematica. In that system propositional functions are sorted into levels, as part of the ramified theory of types. The axiom says that for any function at any level there exists a formally equivalent function at the first level. The axiom is needed to allow the construction of elementary mathematics, in particular to certify the principle of mathematical induction. Its effect, as Ramsey pointed out, was largely to nullify the point of introducing different orders of functions.

Subjects: Philosophy


Reference entries