more on this theme     |     more from this thinker     |     more from this text


Single Idea 12734

[filed under theme 10. Modality / A. Necessity / 2. Nature of Necessity ]

Full Idea

Every necessary proposition is demonstrable, at least by someone who understands it.

Gist of Idea

Every necessary proposition is demonstrable to someone who understands

Source

Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6

Book Ref

Garber,Daniel: 'Leibniz: Body, Substance, Monad' [OUP 2009], p.238


A Reaction

This kind of optimism leads to the crisis of the Hilbert Programme in the 1930s. Gödel seems to have conclusively proved that Leibniz was wrong. What would Leibniz have made of Gödel?