more from this thinker | more from this text
Full Idea
Proof in logic is merely a mechanical expedient to facilitate recognition of tautologies in complicated cases.
Gist of Idea
Logical proof just explicates complicated tautologies
Source
Ludwig Wittgenstein (Tractatus Logico-Philosophicus [1921], 6.1262)
Book Ref
Wittgenstein,Ludwig: 'Tractatus Logico-Philosophicus (Pears)', ed/tr. Pears,D. /McGuinness,B. [RKP 1961], p.64
13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
15089 | Logical proof just explicates complicated tautologies [Wittgenstein] |
13801 | An 'informal proof' is in no particular system, and uses obvious steps and some ordinary English [Bostock] |
15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |