Related Directory Categories
- Logic and Foundations (871)
- Meetings (162)
- Nonstandard Logics and Extensions (140)
- People (129)
- Philosophy of Logic (114)
- Past Conferences (113)
- History (106)
- Programmable Logic (104)
- People (87)
- FPGA (87)
Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Logicism
From Wikipedia, the free encyclopedia
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.[1] 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.[2]
Kurt Gödel's incompleteness theorem is sometimes alleged to undermine the purpose of the project.
Logicism was key in the development of Analytic philosophy in the twentieth century.
Contents |
Neo-logicism describes a range of views claiming to be the successor of the original logicist program. [3] More narrowly, it is defined as attempts to resurrect Frege's programme through the use of Hume's Principle.[4] One of the major proponents of neo-logicism is Crispin Wright.[5]
- ^ http://www.philosophyprofessor.com/philosophies/logicism.php
- ^ Principia Mathematica at the Stanford Encyclopedia of Philosophy
- ^ http://mally.stanford.edu/Papers/neologicism2.pdf
- ^ http://seis.bris.ac.uk/~plxol/Courses/PHIL30067/Syllabus.htm
- ^ http://www.st-andrews.ac.uk/~mr30/papers/EbertRossbergPurpose.pdf
