Tractatus Logico-Philosophicus · Chapter
6.126 explained
Wittgenstein explains that whether a proposition belongs to logic can be determined by calculating the logical properties of the symbol, and that logical propositions are proved by generating tautologies from other tautologies through symbo
What happens
Wittgenstein explains that whether a proposition belongs to logic can be determined by calculating the logical properties of the symbol, and that logical propositions are proved by generating tautologies from other tautologies through symbolic rules, though this method of proof is inessential to logic itself.
Themes in this chapter
Logic and Tautology
The chapter discusses how logical propositions are tautologies and how they are generated from other tautologies by symbolic rules.
Characters to notice
- Mr. Wittgenstein
Author of the Tractatus, presenting the nature of logical propositions and proof.
Key passages
“Whether a proposition belongs to logic can be calculated by calculating the logical properties of the symbol.”
We can determine if a proposition is logical by examining the logical features of its symbolic form.
Emphasizes the formal, calculable nature of logical propositions.
“We prove a logical proposition by creating it out of other logical propositions by applying in succession certain operations, which again generate tautologies out of the first.”
A logical proposition is proved by starting with other logical propositions and applying operations that yield tautologies.
Describes the process of logical proof as a mechanical generation of tautologies.