Tractatus Logico-Philosophicus · Chapter
5.12 explained
Wittgenstein defines the logical relation of following (consequence) between propositions: the truth of p follows from the truth of q if every truth-ground of q is also a truth-ground of p.
What happens
Wittgenstein defines the logical relation of following (consequence) between propositions: the truth of p follows from the truth of q if every truth-ground of q is also a truth-ground of p.
Themes in this chapter
Logic and Tautology
This proposition directly addresses the logical relation of consequence, a core topic in Wittgenstein's treatment of logic.
Characters to notice
- Mr. Wittgenstein
Author of the proposition; presents the logical condition for one proposition following from another.
Key passages
“In particular the truth of a proposition p follows from that of a proposition q , if all the truth-grounds of the second are truth-grounds of the first.”
Specifically, p is a logical consequence of q if every situation that makes q true also makes p true.
Clarifies the truth-conditional definition of logical consequence.