The theory that all mathematics can ultimately be deduced from purely formal logical axioms, introduced by Frege and developed by Bertrand Russell.
- ‘There was thus an affinity between logical positivism and logicism.’
- ‘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.’
- ‘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.’
- ‘They explicitly disavow the classical philosophies of formalism, logicism, Platonism, intuitionism, and social constructivism.’
We take a look at several popular, though confusing, punctuation marks.