論理主義
Sign in to saveIn philosophy of mathematics, logicism is a school of thought 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 reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.
Article · 日本語
数学についての論理主義(ろんりしゅぎ、英: Logicism、仏: Logicism、独: Logizismus)は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。 なお、哲学では、強力な還元主義が主要な立場になることは稀である。
Abstract from DBpedia / Wikipedia · CC BY-SA