more from this thinker | more from this text
Full Idea
All the demonstrations of mathematicians are the same, whether there be any square or circle existing in the world or no.
Gist of Idea
Mathematical proofs work, irrespective of whether the objects exist
Source
John Locke (Essay Conc Human Understanding (2nd Ed) [1694], 4.04.08)
Book Ref
Locke,John: 'Essay Concerning Human Understanding', ed/tr. Nidditch,P.H. [OUP 1979], p.566
A Reaction
Musgrave gives this as an early indication of the if-thenist view of mathematics.
| 10054 | Arithmetic and geometry achieve some certainty without worrying about existence [Descartes] |
| 10055 | Mathematical proofs work, irrespective of whether the objects exist [Locke] |
| 10056 | At bottom eternal truths are all conditional [Leibniz] |
| 14783 | Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce] |
| 21493 | Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce] |
| 24137 | Mathematics is just accurate inferences from definitions, and doesn't involve objects [Nietzsche] |
| 10053 | Geometrical axioms imply the propositions, but the former may not be true [Russell] |
| 10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
| 10066 | Putnam coined the term 'if-thenism' [Putnam, by Musgrave] |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| 22291 | Deductivism can't explain how the world supports unconditional conclusions [Potter] |