We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time.ContinueFind out more
The theory that all mathematics can ultimately be deduced from purely formal logical axioms, introduced by Frege and developed by Bertrand Russell.
‘They explicitly disavow the classical philosophies of formalism, logicism, Platonism, intuitionism, and social constructivism.’
‘There was thus an affinity between logical positivism and logicism.’
‘This aim makes Frege the first to fully develop the main thesis of logicism, that mathematics is reducible to logic.’
‘His doctrine differed substantially from the formalism of Hilbert and the logicism of Russell.’
‘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.’