back to ideas for this text

---

Single Idea 15089

[from 'Tractatus Logico-Philosophicus' by Ludwig Wittgenstein, in 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

---