5.4733 Frege says that any legitimately constructed proposition must have a
sense. And I say that any possible proposition is legitimately constructed,
and, if it has no sense, that can only be because we have failed to give a
meaning to some of its constituents. (Even if we think that we have done
so.) Thus the reason why 'Socrates is identical' says nothing is that we
have not given any adjectival meaning to the word 'identical'. For when it
appears as a sign for identity, it symbolizes in an entirely different way--
the signifying relation is a different one--therefore the symbols also are
entirely different in the two cases: the two symbols have only the sign in
common, and that is an accident.
5.474 The number of fundamental operations that are necessary depends
solely on our notation.
5.475 All that is required is that we should construct a system of signs
with a particular number of dimensions--with a particular mathematical
multiplicity
5.476 It is clear that this is not a question of a number of primitive
ideas that have to be signified, but rather of the expression of a rule.
5.5 Every truth-function is a result of successive applications to
elementary propositions of the operation '(-----T)(E, ....)'. This
operation negates all the propositions in the right-hand pair of brackets,
and I call it the negation of those propositions.
Pages:
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70