display all the ideas for this combination of texts
1 idea
13828 | Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking] |
Full Idea: Leibniz argued that the necessary truths are just those which can be proved from identities by pure logic in a finite number of steps. ...[232] this claim is vindicated by Gentzen's sequent calculus. | |
From: report of Gottfried Leibniz (works [1690]) by Ian Hacking - What is Logic? §01 | |
A reaction: This seems an odd idea, as if there were no necessary truths other than those for which a proof could be constructed. Sounds like intuitionism. |