more from this thinker | more from this text
Full Idea
Leibniz has an inclination to regard all truths as provable.
Gist of Idea
Leibniz is inclined to regard all truths as provable
Source
report of Gottfried Leibniz (works [1690]) by Gottlob Frege - Grundlagen der Arithmetik (Foundations) §15
Book Ref
Frege,Gottlob: 'The Foundations of Arithmetic (Austin)', ed/tr. Austin,J.L. [Blackwell 1980], p.21
A Reaction
Leibniz sounds like the epitome of Enlightenment optimism about the powers of reason. Could God prove every truth? It's a nice thought.
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
1885 | Proof moves from agreed premises to a non-evident inference [Sext.Empiricus] |
8627 | Leibniz is inclined to regard all truths as provable [Leibniz, by Frege] |
17495 | Proof aims to remove doubts, but also to show the interdependence of truths [Frege] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
2898 | Anything which must first be proved is of little value [Nietzsche] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
17773 | Proof shows that it is true, but also why it must be true [Mayberry] |