5.234 Truth-functions of elementary propositions are results of operations
with elementary propositions as bases. (These operations I call truth-
operations.)
5.2341 The sense of a truth-function of p is a function of the sense of p.
Negation, logical addition, logical multiplication, etc. etc. are
operations. (Negation reverses the sense of a proposition.)
5.24 An operation manifests itself in a variable; it shows how we can get
from one form of proposition to another. It gives expression to the
difference between the forms. (And what the bases of an operation and its
result have in common is just the bases themselves.)
5.241 An operation is not the mark of a form, but only of a difference
between forms.
5.242 The operation that produces 'q' from 'p' also produces 'r' from 'q',
and so on. There is only one way of expressing this: 'p', 'q', 'r', etc.
have to be variables that give expression in a general way to certain
formal relations.
5.25 The occurrence of an operation does not characterize the sense of a
proposition. Indeed, no statement is made by an operation, but only by its
result, and this depends on the bases of the operation. (Operations and
functions must not be confused with each other.)
5.251 A function cannot be its own argument, whereas an operation can take
one of its own results as its base.
5.
Pages:
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62