TRACTATUS LOGICO-PHILOSOPHICUS

(Thus in the "Principia Mathematica" of Russell and Whitehead there occur definitions and primitive propositions in words. Why suddenly words here? This would need a justification. There was none, and can be none for the process is actually not allowed.)

But if the introduction of a new expedient has
proved necessary in one place, we must immediately ask: Where is this expedient *always* to be
used? Its position in logic must be made
clear.

5.453 All numbers in logic must be capable of justification.

Or rather it must become plain that there are no numbers in logic.

There are no pre-eminent numbers.

5.454 In logic there is no side by side, there can be no classification.

In logic there cannot be a more general and a more special.

5.4541 The solution of logical problems must be neat for they set the standard of neatness.

Men have always thought that there must be a sphere of questions whose answers—a priori—are symmetrical and united into a closed regular structure.

A sphere in which the proposition, simplex sigillum veri, is valid.

5.46 When we have rightly introduced the logical
signs, the sense of all their combinations has been
already introduced with them: therefore not only
"*p*v*q*" butalso "~(*p*v~*q*)", etc. etc. We should
then already have introduced the effect of all
possible combinations of brackets ; and it would
then have become clear that the proper general

*p*v

*q*", "", etc.,

125