more on this theme | more from this thinker
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..).
Gist of Idea
Maths can be reduced to logic and set theory
Source
Willard Quine (The Scope and Language of Science [1954], §VI)
Book Ref
Quine,Willard: 'Ways of Paradox and other essays' [Harvard 1976], p.244
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.
8461 | The category of objects incorporates the old distinction of substances and their modes [Quine] |
8462 | A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine] |
8463 | Maths can be reduced to logic and set theory [Quine] |