ONT Re: Logic Of Relatives
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
LOR. Note 68
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| The Sign of Involution
|
| I shall take involution in such a sense that x^y
| will denote everything which is an x for every
| individual of y.
|
| Thus
|
| 'l'^w
|
| will be a lover of every woman.
|
| C.S. Peirce, CP 3.77
In arithmetic, the "involution" x^y, or the "exponentiation" of x
to the power of y, is the iterated multiplication of the factor x,
repeated as many times as there are ones making up the exponent y.
In analogous fashion, 'l'^w is the iterated multiplication of 'l',
repeated as many times as there are individuals under the term w.
For example, suppose that the universe of discourse has,
among other things, just the three women, W_1, W_2, W_3.
This could be expressed in Peirce's notation by writing:
w = W_1 +, W_2 +, W_3.
In this setting, we would have:
'l'^w = 'l'^(W_1 +, W_2 +, W_3) = 'l'W_1 , 'l'W_2 , 'l'W_3.
That is, a lover of every woman in the universe of discourse
would be a lover of W_1 and a lover of W_2 and lover of W_3.
So far so good ...
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o