more from this thinker     |     more from this text


Single Idea 10056

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

Full Idea

At bottom eternal truths are all conditional, saying 'granted such a thing, such another thing is'.

Gist of Idea

At bottom eternal truths are all conditional

Source

Gottfried Leibniz (New Essays on Human Understanding [1704], 4.11.14), quoted by Alan Musgrave - Logicism Revisited §4

Book Ref

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


A Reaction

Thus showing Leibniz to have sympathy with the if-thenist view. He cites geometry as his illustration.


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]