HOME TOP UP PREV NEXT 1 2 3 4 5 6 7 8 GERMAN MAP      Tractatus Logico-Philosophicus 4.2

The sense of a proposition is its agreement and disagreement with the possibilities of the existence and non-existence of the atomic facts.

The simplest proposition, the elementary proposition, asserts the existence of an atomic fact.

The elementary proposition consists of names. It is a connexion, a concatenation, of names.

The name occurs in the proposition only in the context of the elementary proposition.

The names are the simple symbols, I indicate them by single letters (x, y, z).

The elementary proposition I write as function of the names, in the form "fx", " phi (x, y)", etc.

Or I indicate it by the letters p, q, r.

If the elementary proposition is true, the atomic fact exists; if it is false the atomic fact does not exist.

The specification of all true elementary propositions describes the world completely. The world is completely described by the specification of all elementary propositions plus the specification, which of them are true and which false.

With regard to the existence of n atomic facts there are Kn = SUMMATION(v=0 to n, binom-coeff(n over v)) possibilities.

It is possible for all combinations of atomic facts to exist, and the others not to exist.

To these combinations correspond the same number of possibilities of the truth -- and falsehood -- of n elementary propositions.

HOME TOP UP PREV NEXT 1 2 3 4 5 6 7 8 GERMAN MAP      Tractatus Logico-Philosophicus 4.2