Single Idea 9939

[catalogued under 6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers]

Full Idea

I believe that under certain circumstances revisions in the axioms of arithmetic, or even of the propositional calculus (e.g. the adoption of a modular logic as a way out of the difficulties in quantum mechanics), is fully conceivable.

Gist of Idea

It is conceivable that the axioms of arithmetic or propositional logic might be changed

Source

Hilary Putnam (Mathematics without Foundations [1967], p.303)

Book Reference

'Philosophy of Mathematics: readings (2nd)', ed/tr. Benacerraf/Putnam [CUP 1983], p.303


A Reaction

One can change the axioms of a system without necessarily changing the system (by swapping an axiom and a theorem). Especially if platonism is true, since the eternal objects reside calmly above our attempts to axiomatise them!