• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
Philosophy Professor logo

PhilosophyProfessor.com

  • Philosophers
  • Philosophies

reducibility axiom

Axiom of reducibility:

Axiom introduced by English philosopher and mathematician Bertrand Russell (1872-1970) in connection with the ramified theory of types. It says that any higher-order property or proposition can be reduced to an equivalent first-order one.

The ramified theory caused difficulties for defining real numbers (using Dedekind sections) and for the process known as mathematical induction (roughly: if a property belongs to the first term in a series, and to the successor of any term to which it belongs, then it belongs to them all).

Russell introduced the axiom to deal with these problems, but it was widely felt to be unfounded, and was later dispensed with by Frank P. Ramsey (1903-1930) in Chapter 1 of his Foundations of Mathematics (1931).

Source:
B Russell, ‘Mathematical Logic as Based on the Theory of Types’, American Mathematical Monthly (1908); reprinted in R C Marsh, ed., Logic and Knowledge (1956) and in J van Heijenoort, ed., From Frege to Godel (1967)

Table of Contents

    • 0.1 Related:
  • 1 Videos
  • 2 Related Products
    • 2.1 Nature Of Mathematics Ilphil28 (International Library of Philosophy)

Related:

  • ramified theory of types
  • simple theory of types
  • vicious circle principle
  • logicism
  • redundancy theory of truth

  • Videos

  • Related Products

     
    Nature Of Mathematics Ilphil28 (International Library of Philosophy)

    Nature Of Mathematics Ilphil28 (International Library of Philosophy)

    • Amazon Kindle Edition
    • Ogden, C. K. (Author)
    • English (Publication Language)
    • 234 Pages - 06/23/2014 (Publication Date) - Routledge (Publisher)
    Check Price on Amazon
  • Last update 2020-06-17. Price and product availability may change.

    radical empiricism

    psychologism

    historicism

    activism

    rule utilitarianism

    • Contact
    • Facebook

    Copyright © 2022 · CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED “AS IS” AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME. “AS AN AMAZON ASSOCIATE I EARN FROM QUALIFYING PURCHASES.”