more on this theme     |     more from this thinker


Single Idea 8190

[filed under theme 6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism ]

Full Idea

The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement.

Gist of Idea

Intuitionists rely on the proof of mathematical statements, not their truth

Source

Michael Dummett (Truth and the Past [2001], 2)

Book Ref

Dummett,Michael: 'Truth and the Past (Dewey Lectures)' [Columbia 2004], p.30


A Reaction

I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture).


The 11 ideas from 'Truth and the Past'

Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett]
The truth-conditions theory must get agreement on a conception of truth [Dummett]
Intuitionists rely on the proof of mathematical statements, not their truth [Dummett]
I no longer think what a statement about the past says is just what can justify it [Dummett]
Verification is not an individual but a collective activity [Dummett]
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
Surely there is no exact single grain that brings a heap into existence [Dummett]
A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett]
Maybe past (which affects us) and future (which we can affect) are both real [Dummett]
The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett]
The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett]