Cf: Peirce’s 1870 “Logic of Relatives” • Selection 6
Note. Please follow the link above for better formatting of Peirce's text,
as some of his typographical distinctions are lost in the transcript below.
We continue with §3. Application of the Algebraic Signs to Logic.
Peirce’s 1870 “Logic of Relatives” • Selection 6
The application of a relation is one of the most basic operations
in Peirce’s logic. Because relation applications are so pervasive and
because Peirce treats them on the pattern of algebraic multiplication,
the part of §3 concerned with “The Signs for Multiplication” will occupy
our attention for many days to come.
The Signs for Multiplication (cont.)
A conjugative term like “giver” naturally requires two correlates,
one denoting the thing given, the other the recipient of the gift.
We must be able to distinguish, in our notation, the giver of A to B from
the giver to A of B, and, therefore, I suppose the signification of the letter
equivalent to such a relative to distinguish the correlates as first, second,
third, etc., so that “giver of ── to ──” and “giver to ── of ──” will be
expressed by different letters.
Let “g” denote the latter of these conjugative terms. Then, the correlates
or multiplicands of this multiplier cannot all stand directly after it, as is
usual in multiplication, but may be ranged after it in regular order, so that:
will denote a giver to x of y.
But according to the notation, x here multiplies y, so that
if we put for x “owner” (o), and for y “horse” (h),
appears to denote the giver of a horse to an owner of a horse.
But let the individual horses be H, H′, H″, etc.
h = H +, H′+, H″ +, etc.
goh = go(H +, H′+, H″ +, etc.) = goH +, goH′+, goH″ +, etc.
Now this last member must be interpreted as a giver of a horse
to the owner of “that” horse, and this, therefore must be the
interpretation of goh. This is always very important. “A term
multiplied by two relatives shows that the same individual is in
the two relations.”
If we attempt to express the giver of a horse to a lover of a woman,
and for that purpose write:
we have written giver of a woman to a lover of her,
and if we add brackets, thus,
we abandon the associative principle of multiplication.
A little reflection will show that the associative principle must
in some form or other be abandoned at this point. But while this
principle is sometimes falsified, it oftener holds, and a notation
must be adopted which will show of itself when it holds. We already
see that we cannot express multiplication by writing the multiplicand
directly after the multiplier; let us then affix subjacent numbers after
letters to show where their correlates are to be found. The first number
shall denote how many factors must be counted from left to right to reach
the first correlate, the second how many more must be counted to reach the
second, and so on.
Then, the giver of a horse to a lover of a woman may be written:
g₁₂ℓ₁wh = g₁₁ℓ₂hw = g₂₍₋₁₎hℓ₁w,
Of course a negative number indicates that the former correlate
follows the latter by the corresponding positive number.
A subjacent zero makes the term itself the correlate.
denotes the lover of “that” lover or the lover of himself, just as
goh denotes that the horse is given to the owner of itself, for to
make a term doubly a correlate is, by the distributive principle,
to make each individual doubly a correlate, so that:
ℓ₀ = L₀ +, L′₀ +, L″₀ +, etc.
A subjacent sign of infinity may indicate
that the correlate is indeterminate, so that:
will denote a lover of something. We shall have some confirmation of this presently.
If the last subjacent number is a one it may be omitted. Thus we shall have:
ℓ₁ = ℓ,
g₁₁ = g₁ = g.
This enables us to retain our former expressions ℓw, goh, etc.
(Peirce, CP 3.69–70)