Monday, 25 February 2019

Logicism


Logicism
            Logicism is an early 20th Century philosophical and mathematical movement, initially developed in the late 19th Century by the German mathematician and logician Gottlob Frege. It is based on the premise that mathematics is just an extension of Logic, and therefore that some or all mathematics is reducible to logic. It effectively holds that mathematical theorems and truths are logically necessary or analytic. For more details, see the section on the doctrine of Logicism.
            Although the movement was fathered by Gottlob Frege, he later abandoned it after Bertrand Russell pointed out a paradox exposing an inconsistency in Frege's naive set theory. The Incompleteness Theorems of Kurt Gödel (1906 - 1978), which point out the limitations of all but the most trivial formal mathematical systems, also impacted on the credibility of Logicism to some extent.
            Russell and Alfred North Whitehead, however, continued to champion the theory in their ground-breaking "Principia Mathematica", which was published in 1910 - 1913. None of these early proponents actually used the term "logicism", which was only applied retroactively.
            There were subsequent attempts, known as Neo-Logicism, to resurrect Frege's theory through the use of Frege's own Hume's Principle. The British philosopher Crispin Wright (1942 - ) was a strong advocate.
            Logicism, along with Logical Positivism, was key in the development of the Analytic Philosophy movement later in the 20th Century.

No comments:

Post a Comment

Wings of Fire (My Early Days - chapter 1) A.P.J Abdul Kalam

 My Early Days                                                                                        A.P.J Abdul Kalam Introduction:      D...