| 560 | Mathematical precision is only possible in immaterial things [Aristotle] |
| Full Idea: We should not see mathematical exactitude in all things, but only for things that do not have matter. | |
| From: Aristotle (Metaphysics [c.324 BCE], 0995a14) |
| 9076 | Mathematics studies the domain of perceptible entities, but its subject-matter is not perceptible [Aristotle] |
| Full Idea: Mathematics does not take perceptible entities as its domain just because its subject-matter is accidentally perceptible; but neither does it take as its domain some other entities separable from the perceptible ones. | |
| From: Aristotle (Metaphysics [c.324 BCE], 1078a03) | |
| A reaction: This implies a very naturalistic view of mathematics, with his very empiricist account of abstraction deriving the mathematical concepts within the process of perceiving the physical world. And quite right too. |
| 12377 | Mathematics is concerned with forms, not with superficial properties [Aristotle] |
| Full Idea: Mathematics is concerned with forms [eide]: its objects are not said of any underlying subject - for even if geometrical objects are said of some underlying subject, still it is not as being said of an underlying subject that they are studied. | |
| From: Aristotle (Posterior Analytics [c.327 BCE], 79a08) | |
| A reaction: Since forms turn out to be essences, in 'Metaphysics', this indicates an essentialist view of mathematics. |
| 2252 | Surely maths is true even if I am dreaming? [Descartes] |
| Full Idea: Surely whether I am asleep or awake, two plus three makes five, and a square does not have more than four sides. | |
| From: René Descartes (Meditations [1641], §1.20) |
| 2430 | I can learn the concepts of duration and number just from observing my own thoughts [Descartes] |
| Full Idea: When I think that I exist now, and recollect that I existed in the past, and when I conceive various thoughts, the number of which I know, then I acquire the ideas of duration and number which I can thereafter transfer to all the other objects I wish. | |
| From: René Descartes (Meditations [1641], §3.44) |
| 17185 | Mathematics deals with the essences and properties of forms [Spinoza] |
| Full Idea: Mathematics does not deal with ends, but with the essences and properties of forms (figures), …and has placed before us another rule of truth. | |
| From: Baruch de Spinoza (The Ethics [1675], IApp) | |
| A reaction: Just what I need - a nice clear assertion of essentialism in mathematics. Many say maths is all necessary, so essence is irrelevant, but I say explanations occur in mathematics, and that points to essentialism. |
| 16918 | Mathematics cannot proceed just by the analysis of concepts [Kant] |
| Full Idea: Mathematics cannot proceed analytically, namely by analysis of concepts, but only synthetically. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 284) | |
| A reaction: I'm with Kant insofar as I take mathematics to be about the world, no matter how rarefied and 'abstract' it may become. |
| 12427 | All of mathematics is properties of the whole numbers [Kronecker] |
| Full Idea: All the results of significant mathematical research must ultimately be expressible in the simple forms of properties of whole numbers. | |
| From: Leopold Kronecker (works [1885], Vol 3/274), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 09.5 | |
| A reaction: I've always liked Kronecker's line, but I'm beginning to realise that his use of the word 'number' is simply out-of-date. Natural numbers have a special status, but not sufficient to support this claim. |
| 15910 | Cantor named the third realm between the finite and the Absolute the 'transfinite' [Cantor, by Lavine] |
| Full Idea: Cantor believed he had discovered that between the finite and the 'Absolute', which is 'incomprehensible to the human understanding', there is a third category, which he called 'the transfinite'. | |
| From: report of George Cantor (works [1880]) by Shaughan Lavine - Understanding the Infinite III.4 |
| 16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
| Full Idea: We cannot long remain content with the present fragmentation [of mathematics]. Order can be created only by a system. But to construct a system it is necessary that in any step forward we take we should be aware of the logical inferences involved. | |
| From: Gottlob Frege (Logic in Mathematics [1914], p.205) |
| 12456 | I aim to establish certainty for mathematical methods [Hilbert] |
| Full Idea: The goal of my theory is to establish once and for all the certitude of mathematical methods. | |
| From: David Hilbert (On the Infinite [1925], p.184) | |
| A reaction: This is the clearest statement of the famous Hilbert Programme, which is said to have been brought to an abrupt end by Gödel's Incompleteness Theorems. |
| 12461 | We believe all mathematical problems are solvable [Hilbert] |
| Full Idea: The thesis that every mathematical problem is solvable - we are all convinced that it really is so. | |
| From: David Hilbert (On the Infinite [1925], p.200) | |
| A reaction: This will include, for example, Goldbach's Conjecture (every even is the sum of two primes), which is utterly simple but with no proof anywhere in sight. |
| 8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
| Full Idea: Hilbert wanted to derive ideal mathematics from the secure, paradox-free, finite mathematics (known as 'Hilbert's Programme'). ...Note that for the realist consistency is not something we need to prove; it is a precondition of thought. | |
| From: report of David Hilbert (works [1900], 6.7) by Michčle Friend - Introducing the Philosophy of Mathematics | |
| A reaction: I am an intuitive realist, though I am not so sure about that on cautious reflection. Compare the claims that there are reasons or causes for everything. Reality cannot contain contradicitions (can it?). Contradictions would be our fault. |
| 10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
| Full Idea: Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. | |
| From: Bertrand Russell (Mathematics and the Metaphysicians [1901], p.76) | |
| A reaction: A famous remark, though Musgrave is rather disparaging about Russell's underlying reasoning here. |
| 18119 | 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! |
| 10132 | There can be no single consistent theory from which all mathematical truths can be derived [Gödel, by George/Velleman] |
| Full Idea: Gödel's far-reaching work on the nature of logic and formal systems reveals that there can be no single consistent theory from which all mathematical truths can be derived. | |
| From: report of Kurt Gödel (On Formally Undecidable Propositions [1931]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.8 |
| 18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
| Full Idea: In mathematics everything is algorithm and nothing is meaning; even when it doesn't look like that because we seem to be using words to talk about mathematical things. | |
| From: Ludwig Wittgenstein (Philosophical Grammar [1932], p.468), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 13 'Constr' | |
| A reaction: I would have thought that an algorithm needs some raw material to work with. This leads to the idea that meaning arises from rules of usage. |
| 9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
| Full Idea: Most accounts of the concept of mathematical truth can be identified with serving one or another of either semantic theory (matching it to ordinary language), or with epistemology (meshing with a reasonable view) - always at the expense of the other. | |
| From: Paul Benacerraf (Mathematical Truth [1973], Intro) | |
| A reaction: The gist is that language pulls you towards platonism, and epistemology pulls you towards empiricism. He argues that the semantics must give ground. He's right. |
| 9812 | In mathematics, if a problem can be formulated, it will eventually be solved [Badiou] |
| Full Idea: Only in mathematics can one unequivocally maintain that if thought can formulate a problem, it can and will solve it, regardless of how long it takes. | |
| From: Alain Badiou (Mathematics and Philosophy: grand and little [2004], p.17) | |
| A reaction: I hope this includes proving the Continuum Hypothesis, and Goldbach's Conjecture. It doesn't seem quite true, but it shows why philosophers of a rationalist persuasion are drawn to mathematics. |
| 6298 | Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik] |
| Full Idea: Kitcher says maths is an 'idealising theory', like some in physics; maths idealises features of the world, and practical operations, such as segregating and matching (numbering), measuring, cutting, moving, assembling (geometry), and collecting (sets). | |
| From: report of Philip Kitcher (The Nature of Mathematical Knowledge [1984]) by Michael D. Resnik - Maths as a Science of Patterns One.4.2.2 | |
| A reaction: This seems to be an interesting line, which is trying to be fairly empirical, and avoid basing mathematics on purely a priori understanding. Nevertheless, we do not learn idealisation from experience. Resnik labels Kitcher an anti-realist. |
| 12392 | Mathematical a priorism is conceptualist, constructivist or realist [Kitcher] |
| Full Idea: Proposals for a priori mathematical knowledge have three main types: conceptualist (true in virtue of concepts), constructivist (a construct of the human mind) and realist (in virtue of mathematical facts). | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 02.3) | |
| A reaction: Realism is pure platonism. I think I currently vote for conceptualism, with the concepts deriving from the concrete world, and then being extended by fictional additions, and shifts in the notion of what 'number' means. |
| 18078 | The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher] |
| Full Idea: What makes a question interesting or gives it aesthetic appeal is its focussing of the project of advancing mathematical understanding, in light of the concepts and systems of beliefs already achieved. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.3) | |
| A reaction: Kitcher defends explanation (the source of understanding, presumably) in terms of unification with previous theories (the 'concepts and systems'). I always have the impression that mathematicians speak of 'beauty' when they see economy of means. |
| 12426 | The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher] |
| Full Idea: Insofar as we can honor claims about the aesthetic qualities or the interest of mathematical inquiries, we should do so by pointing to their explanatory power. | |
| From: Philip Kitcher (The Nature of Mathematical Knowledge [1984], 09.4) | |
| A reaction: I think this is a good enough account for me (but probably not for my friend Carl!). Beautiful cars are particularly streamlined. Beautiful people look particularly healthy. A beautiful idea is usually wide-ranging. |
| 9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
| Full Idea: Unlike logic, in the case of mathematics there may be no genuine conflict between alternative theories: it is natural to think that different theories, if both consistent, are simply about different subjects. | |
| From: Hartry Field (Recent Debates on the A Priori [2005], 7) | |
| A reaction: For this reason Field places logic at the heart of questions about a priori knowledge, rather than mathematics. My intuitions make me doubt his proposal. Given the very simple basis of, say, arithmetic, I would expect all departments to connect. |
| 6304 | Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik] |
| Full Idea: Mathematical realism is the doctrine that mathematical objects exist, that much contemporary mathematics is true, and that the existence and truth in question is independent of our constructions, beliefs and proofs. | |
| From: Michael D. Resnik (Maths as a Science of Patterns [1997], Three.12.9) | |
| A reaction: As thus defined, I would call myself a mathematical realist, but everyone must hesitate a little at the word 'exist' and ask, how does it exist? What is it 'made of'? To say that it exists in the way that patterns exist strikes me as very helpful. |
| 10201 | Virtually all of mathematics can be modeled in set theory [Shapiro] |
| Full Idea: It is well known that virtually every field of mathematics can be reduced to, or modelled in, set theory. | |
| From: Stewart Shapiro (Philosophy of Mathematics [1997], Intro) | |
| A reaction: The word 'virtually' is tantalising. The fact that something can be 'modeled' in set theory doesn't mean it IS set theory. Most weather can be modeled in a computer. |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| Full Idea: Mathematics seems to be the one and only place where we humans can be absolutely sure that we got it right. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Apart from death and taxes, that is. Personally I am more certain of the keyboard I am typing on than I am of Pythagoras's Theorem, but the experts seem pretty confident about the number stuff. |
| 4240 | It might be argued that mathematics does not, or should not, aim at truth [Lowe] |
| Full Idea: It might be argued that mathematics does not, or should not, aim at truth. | |
| From: E.J. Lowe (A Survey of Metaphysics [2002], p.375) | |
| A reaction: Intriguing. Sounds wrong to me. At least maths seems to need the idea of the 'correct' answer. If, however, maths is a huge pattern, there is no correctness, just the pattern. We can be wrong, but maths can't be wrong. Ah, I see…! |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| Full Idea: Three views of mathematics: 'pure' mathematics, where it doesn't matter if it could ever have any application; 'real' mathematics, where every concept must be physically grounded; and 'applied' mathematics, using the non-real if the results are real. | |
| From: Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.17) | |
| A reaction: Very helpful. No one can deny the activities of 'pure' mathematics, but I think it is undeniable that the origins of the subject are 'real' (rather than platonic). We do economics by pretending there are concepts like the 'average family'. |
| 15907 | Mathematics is nowadays (thanks to set theory) regarded as the study of structure, not of quantity [Lavine] |
| Full Idea: Mathematics is today thought of as the study of abstract structure, not the study of quantity. That point of view arose directly out of the development of the set-theoretic notion of abstract structure. | |
| From: Shaughan Lavine (Understanding the Infinite [1994], III.2) | |
| A reaction: It sounds as if Structuralism, which is a controversial view in philosophy, is a fait accompli among mathematicians. |