We continue with §3. Application of the Algebraic Signs to Logic.
The Signs for Multiplication (concl.)
The conception of multiplication we have adopted is that of the application of one relation to another. So, a quaternion being the relation of one vector to another, the multiplication of quaternions is the application of one such relation to a second.
Even ordinary numerical multiplication involves the same idea, for is a pair of triplets, and
is a triplet of pairs, where “triplet of” and “pair of” are evidently relatives.
If we have an equation of the form:
and there are just as many ’s per
as there are, per things, things of the universe, then we have also the arithmetical equation:
For instance, if our universe is perfect men, and there are as many teeth to a Frenchman (perfect understood) as there are to any one of the universe, then:
holds arithmetically.
So if men are just as apt to be black as things in general:
where the difference between and
must not be overlooked.
It is to be observed that:
Boole was the first to show this connection between logic and probabilities. He was restricted, however, to absolute terms. I do not remember having seen any extension of probability to relatives, except the ordinary theory of expectation.
Our logical multiplication, then, satisfies the essential conditions of multiplication, has a unity, has a conception similar to that of admitted multiplications, and contains numerical multiplication as a case under it.
(Peirce, CP 3.76)
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry