[Inquiry] Re: Logic Of Relatives

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

LOR.  Note 68

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Let us make a few preliminary observations about the
"logical sign of involution", as Peirce uses it here:

| 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.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o