more on this theme     |     more from this thinker


Single Idea 17627

[filed under theme 6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics ]

Full Idea

It is an apparent absurdity in proceeding ...through many rather recondite propositions of symbolic logic, to the 'proof' of such truisms as 2+2=4: for it is plain that the conclusion is more certain than the premises, and the supposed proof seems futile.

Gist of Idea

It seems absurd to prove 2+2=4, where the conclusion is more certain than premises

Source

Bertrand Russell (Regressive Method for Premises in Mathematics [1907], p.272)

Book Ref

Russell,Bertrand: 'Essays in Analysis', ed/tr. Lackey,Douglas [George Braziller 1973], p.272


A Reaction

Famously, 'Principia Mathematica' proved this fact at enormous length. I wonder if this thought led Moore to his common sense view of his own hand - the conclusion being better than the sceptical arguments?


The 12 ideas from 'Regressive Method for Premises in Mathematics'

It seems absurd to prove 2+2=4, where the conclusion is more certain than premises [Russell]
Arithmetic was probably inferred from relationships between physical objects [Russell]
Which premises are ultimate varies with context [Russell]
The sources of a proof are the reasons why we believe its conclusion [Russell]
Non-contradiction was learned from instances, and then found to be indubitable [Russell]
Induction is inferring premises from consequences [Russell]
The law of gravity has many consequences beyond its grounding observations [Russell]
The most obvious beliefs are not infallible, as other obvious beliefs may conflict [Russell]
Believing a whole science is more than believing each of its propositions [Russell]
If one proposition is deduced from another, they are more certain together than alone [Russell]
Finding the axioms may be the only route to some new results [Russell]
Discoveries in mathematics can challenge philosophy, and offer it a new foundation [Russell]