more from this thinker     |     more from this text


Single Idea 10054

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

Full Idea

Arithmetic, geometry and sciences of that kind only treat of things without taking any great trouble to ascertain whether they are actually existent or not, and contain some measure of certainty.

Gist of Idea

Arithmetic and geometry achieve some certainty without worrying about existence

Source

René Descartes (Meditations [1641], §1), quoted by Alan Musgrave - Logicism Revisited §4

Book Ref

-: 'British Soc for the Philosophy of Science' [-], p.110


A Reaction

This is Musgrave's earliest quotation which seems to take the if-thenist view.


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]