Combining Texts

Ideas for 'Defending the Axioms', 'Completeness of Axioms of Logic' and 'Mathematics, Science and Language'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


5 ideas

6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematics is a mental activity which does not use language [Brouwer, by Bostock]
     Full Idea: Brouwer made the rather extraordinary claim that mathematics is a mental activity which uses no language.
     From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1
     A reaction: Since I take language to have far less of a role in thought than is commonly believed, I don't think this idea is absurd. I would say that we don't use language much when we are talking!
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock]
     Full Idea: Brouwer regards as somehow 'wicked' the idea that mathematics can be applied to a non-mental subject matter, the physical world, and that it might develop in response to the needs which that application reveals.
     From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1
     A reaction: The idea is that mathematics only concerns creations of the human mind. It presumably has no more application than, say, noughts-and-crosses.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
     Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals.
     From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40)
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
     Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness.
     From: Penelope Maddy (Defending the Axioms [2011], 3.4)
     A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
     Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics.
     From: Penelope Maddy (Defending the Axioms [2011], 2.3)
     A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor.