MLavazza

1 → → The world is everything that is the case.^[1]

2 → What is the case, the fact, is the existence of atomic facts.

3 → The logical picture of the facts is the thought.

4 → The thought is the significant proposition.

5 → Propositions are truth-functions of elementary propositions.

(An elementary proposition is a truth-function of itself.)

6 → The general form of truth-function is: $[\bar{p}, \bar{ξ}, N (\bar{ξ})]$ .

This is the general form of proposition.

7 Whereof one cannot speak, thereof one must be silent.

1 The world is everything that is the case.^[1]

1.1 The world is the totality of facts, not of things.

1.11 The world is determined by the facts, and by these being all the facts.

1.12 For the totality of facts determines both what is the case, and also all that is not the case.

1.13 The facts in logical space are the world.

1.2 The world divides into facts.

1.21 Any one can either be the case or not be the case, and everything else remain the same.

2 What is the case, the fact, is the existence of atomic facts.

↑ ^{Jump up to: 1.0} ^1.1 The decimal figures as numbers of the separate propositions indicate the logical importance of the propositions, the emphasis laid upon them in my exposition. The propositions n.1, n.2, n.3, etc., are comments on proposition No. n; the propositions n.m1, n.m2, etc., are comments on the proposition No. n.m; and so on.