display all the ideas for this combination of texts
1 idea
8463 | Maths can be reduced to logic and set theory [Quine] |
Full Idea: Researches in the foundations of mathematics have made it clear that all of (interpreted) mathematics can be got down to logic and set theory, and the objects needed for mathematics can be got down to the category of classes (and classes of classes..). | |
From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
A reaction: This I take to be a retreat from pure logicism, presumably influenced by Gödel. So can set theory be reduced to logic? Crispin Wright is the one the study. |