[Inquiry] Re: Logic Of Relatives

[Jon Awbrey]

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

LOR.  Note 12

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.
|
| Then
|
| ('s'^'l')^w
|
| will denote whatever stands to every woman in
| the relation of servant of every lover of hers;
|
| and
|
| 's'^('l'w)
|
| will denote whatever is a servant of
| everything that is lover of a woman.
|
| So that
|
| ('s'^'l')^w  =  's'^('l'w).
|
| C.S. Peirce, CP 3.77
|
| Charles Sanders Peirce,
|"Description of a Notation for the Logic of Relatives,
| Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic",
|'Memoirs of the American Academy', Volume 9, pages 317-378, 26 January 1870,
|'Collected Papers' (CP 3.45-149), 'Chronological Edition' (CE 2, 359-429).

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o