Logicism
|
|
Logicism is one of the schools of thought in the philosophy of mathematics.
Logicism is the theory that mathematics is an extension of logic and therefore all mathematics is reducible to logic. Modern philosophers believed that proof of this theory was the means of banishing the befuddlement of natural language and metaphysics from philosophical argumentation. Bertrand Russell and Alfred North Whitehead championed this theory fathered by Gottlob Frege. Frege gave up on the project after Russell recognized a paradox exposing an inconsistency in naive set theory. Russell and Whitehead continued on with the project in their Principia Mathematica with success except for the paradox of trying to formulate a logical definition of natural numbers in terms of classes.
Kurt Gödel's incompleteness theorem ultimately undermined the purpose of the project. The attempted resurrection of this theory is styled neo-logicism.
de:Logizismus et:Logitsism fr:Logicisme it:Logicismo ja:論理主義 (数学)