HOME TOP UP PREV NEXT 1 2 3 4 GERMAN MAP      Tractatus Logico-Philosophicus 5.12

5.12

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.

5.121

The truth-grounds of q are contained in those of p; p follows from q.

5.122

If p follows from q, the sense of "p" is contained in that of "q".

5.123

If a god creates a world in which certain propositions are true, he creates thereby also a world in which all propositions consequent on them are true. And similarly he could not create a world in which the proposition "p" is true without creating all its objects.

5.124

A proposition asserts every proposition which follows from it.