Single Idea 15089

[catalogued under 5. Theory of Logic / H. Proof Systems / 1. Proof Systems]

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 Reference

Wittgenstein,Ludwig: 'Tractatus Logico-Philosophicus (Pears)', ed/tr. Pears,D. /McGuinness,B. [RKP 1961], p.64