Tractatus

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 “pq” but also “(pq)”, 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 primitive signs are not “pq”, “(x).fx”, etc., but the most general form of their combinations.

Continue