Single Idea 6108

[catalogued under 6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism]

Full Idea

I think that no one will dispute that from certain ideas and axioms of formal logic, but with the help of the logic of relations, all pure mathematics can be deduced.

Gist of Idea

Maths can be deduced from logical axioms and the logic of relations

Source

Bertrand Russell (Logical Atomism [1924], p.145)

Book Reference

Russell,Bertrand: 'Russell's Logical Atomism', ed/tr. Pears,David [Fontana 1972], p.145


A Reaction

It has been said for a long time that Gödel's Incompleteness Theorems of 1930 disproved this claim, though recently there have been defenders of logicism. Beginning with 'certain ideas' sounds like begging the question.