What is meant is somewhat less complicated than it sounds. The symbol is intended to describe a process by the help of which, given the atomic propositions, all others can be manufactured. The process depends upon:
(a). Sheffer’s proof that all truth-functions can be obtained out of simultaneous negation, i.e. out of “not-p and not-q”;
(b). Mr. Wittgenstein’s theory of the derivation of general propositions from conjunctions and disjunctions;
(c). The assertion that a proposition can only occur in another proposition as argument to a truth-function. Given these three foundations, it follows that all propositions which are not atomic can be derived from such as are, buy a uniform process, and it is this process which is indicated by Mr. Wittgenstein’s symbol.
Introduction
By Bertrand Russell