5. (00)



Propositions are truth-functions of elementary propositions.

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

5.01    The elementary propositions are the truth-arguments of propositions.

5.02    It is natural to confuse the arguments of functions with the indices of names. For I recognize the meaning of the sign containing it from the argument just as much as from the index.

In Russell's "+c", for example, "c" is an index which indicates that the whole sign is the addition sign for cardinal numbers. But this way of symbolizing depends on arbitrary agreement, and could choose a simple sign instead of "+c": but in "~p" "p""p" is not an index but an argument; the sense of "~p" cannot be understood, unless the sense of "p" has previously been understood. (In the name Julius Caesar, "Julius" is an index. The index is always part of a description of the object to whose name we attach it, e.g. The Caesar of the Julian gens.)

The confusion of argument and index is, if I am not mistaken, at the root of Frege's theory of the meaning of propositions and functions. For Frege the propositions of logical were names and their arguments the indices of these names.

5.1 - 5.6