Tractatus Logico-Philosophicus · Chapter
5.11 explained
Wittgenstein defines logical consequence: if all truth-grounds common to a set of propositions are also truth-grounds of another proposition, then that proposition follows from the set.
What happens
Wittgenstein defines logical consequence: if all truth-grounds common to a set of propositions are also truth-grounds of another proposition, then that proposition follows from the set.
Themes in this chapter
Logic and Tautology
This proposition directly addresses the logical relation of following from, a core concept in logic.
Characters to notice
- Mr. Wittgenstein
Author of the proposition defining logical consequence.
Key passages
“If the truth-grounds which are common to a number of propositions are all also truth-grounds of some one proposition, we say that the truth of this proposition follows from the truth of those propositions.”
When every situation that makes a set of propositions true also makes another proposition true, that other proposition is a logical consequence of the set.
Clarifies the definition of logical consequence in terms of truth-grounds.