HOME TOP UP PREV NEXT 1 GERMAN MAP      Tractatus Logico-Philosophicus 5.46

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" but also "~(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 primitive signs are not "p v q", "(x) . fx", etc., but the most general form of their combinations.

5.461

The apparently unimportant fact that the apparent relations like v and need brackets -- unlike real relations -- is of great importance.

The use of brackets with these apparent primitive signs shows that these are not the real primitive signs; and nobody of course would believe that the brackets have meaning by themselves.