5.46

Home
Su
1.
2.
3.
4.
5.
6.

 

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", "( EXISTS x).fx", etc., but the most general form of their combinations.

5.461 (1)  The apparently unimportant fact that the apparent relations like v  and  HOOK  , 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.