Editing Logicism (section)

{{short description|Programme in the philosophy of mathematics}}
In the [[philosophy of mathematics]], '''logicism''' is a programme comprising one or more of the theses that – for some coherent meaning of '[[logic]]' – [[mathematics]] is an extension of logic, some or all of mathematics is [[reduction (philosophy)|reducible]] to logic, or some or all of mathematics may be [[model theory|modelled]] in logic.<ref>[http://www.philosophyprofessor.com/philosophies/logicism.php Logicism]. {{webarchive|url=https://web.archive.org/web/20080220075703/http://www.philosophyprofessor.com/philosophies/logicism.php|date=2008-02-20}}.</ref> [[Bertrand Russell]] and [[Alfred North Whitehead]] championed this programme, initiated by [[Gottlob Frege]] and subsequently developed by [[Richard Dedekind]] and [[Giuseppe Peano]].