Combining Texts

Ideas for 'Parmenides', 'De arcanus motus' and 'Dthat'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

10. Modality / A. Necessity / 2. Nature of Necessity

12734	Every necessary proposition is demonstrable to someone who understands [Leibniz]
	Full Idea: Every necessary proposition is demonstrable, at least by someone who understands it.
	From: Gottfried Leibniz (De arcanus motus [1676], 203), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 6
	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?