Logicism

Logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic. 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.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Kurt G?del's incompleteness theorem is sometimes alleged to undermine the purpose of the project. The attempted resurrection of this theory is styled neo-logicism. One of the major proponents of neo-logicism is Crispin Wright.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Logicism: Logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic. Bertrand Russell and Alfred North Whitehead championed this theory fathered by Gottlob Frege. F...

Philosophy of mathematics: Philosophy of mathematics is that branch of philosophy which attempts to answer questions such as: "why is mathematics useful in describing nature?", "in which sense(s), if any, do mathematical entities such as numbers exist?" and "why and how are mathematical statements true?". Various approaches t...

Logic: Logic (from Classical Greek λόγος (logos), originally meaning the word, or what is spoken, but coming to mean thought or reason) is most often said to be the study of arguments, although the exact definition of logic is a matter of controversy amongst philosophers (see below...