The theory that all mathematics can ultimately be deduced from purely formal logical axioms, introduced by Frege and developed by Bertrand Russell.
〔哲〕逻辑主义（认为所有的数学最终都可以用纯粹形式逻辑推理出来，由弗雷格开创，伯特兰·罗素发展）
Example sentencesExamples
There was thus an affinity between logical positivism and logicism.
His doctrine differed substantially from the formalism of Hilbert and the logicism of Russell.
This aim makes Frege the first to fully develop the main thesis of logicism, that mathematics is reducible to logic.
Of equal significance during this same period was Russell's defence of logicism, the theory that mathematics was in some important sense reducible to logic.
They explicitly disavow the classical philosophies of formalism, logicism, Platonism, intuitionism, and social constructivism.
Derivatives
logicist
noun
Philosophy
This goal is remarkably similar to those of the common sense logicists, but the research methodology is entirely different.
Example sentencesExamples
It would build on the early work in axiomatizing branches of mathematics, as well as the monumental efforts of logicists like Frege in developing rigorous logical systems.
I don't think I am doing him an injustice if I say that epistemologically he was essentially a logicist and positivist.
The logicists were like the Aristolean view in that they approached mathematics from a logical viewpoint.
Of course if we are logicists and think that mathematics reduces to logic, and logic to the application of a single rule, then scepticism is appropriate.