more from this thinker     |     more from this text


Single Idea 21493

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism ]

Full Idea

The pure mathematician deals exclusively with hypotheses. Whether or not there is any corresponding real thing, he does not care.

Gist of Idea

Pure mathematics deals only with hypotheses, of which the reality does not matter

Source

Charles Sanders Peirce (works [1892], CP5.567), quoted by Albert Atkin - Peirce 3 'separation'

Book Ref

Atkin,Albert: 'Peirce' [Routledge 2016], p.104


A Reaction

[Dated 1902] Maybe we should identify a huge branch of human learning as Hyptheticals. Professor of Hypotheticals at Cambridge University. The trouble is it would have to include computer games. So why does maths matter more than games?


The 13 ideas with the same theme [logic is only inference without commitment to initial truths]:

Arithmetic and geometry achieve some certainty without worrying about existence [Descartes]
Mathematical proofs work, irrespective of whether the objects exist [Locke]
At bottom eternal truths are all conditional [Leibniz]
Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce]
Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce]
Mathematics is just accurate inferences from definitions, and doesn't involve objects [Nietzsche]
Geometrical axioms imply the propositions, but the former may not be true [Russell]
Quine quickly dismisses If-thenism [Quine, by Musgrave]
Putnam coined the term 'if-thenism' [Putnam, by Musgrave]
The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave]
Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave]
Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
Deductivism can't explain how the world supports unconditional conclusions [Potter]