Peirce’s 1870 “Logic of Relatives” • Comment 9.4
Boole rationalizes the properties of what we now call boolean multiplication, roughly equivalent to logical conjunction, by means of his concept of selective operations. Peirce, in his turn, taking a radical step of analysis which has seldom been recognized for what it would lead to, does not consider this multiplication a fundamental operation, but derives it as a by-product of relative multiplication by a comma relative. In this way Peirce makes logical conjunction a special case of relative composition.
This opens up a wide field of inquiry, the operational significance of logical terms, but it will be best to advance bit by bit and to lean on simple examples.
Back to Venice and the close-knit party of absolutes and relatives we entertained when last stopping there.
Here is the list of absolute terms we had been considering before:
Here is the list of comma inflexions or diagonal extensions of those terms:
![\begin{array}{lll} \mathbf{1,} & = & \text{anything that is}\, \underline{~~~~} \\[6pt] & = & \mathrm{B\!:\!B} ~+\!\!,~ \mathrm{C\!:\!C} ~+\!\!,~ \mathrm{D\!:\!D} ~+\!\!,~ \mathrm{E\!:\!E} ~+\!\!,~ \mathrm{I\!:\!I} ~+\!\!,~ \mathrm{J\!:\!J} ~+\!\!,~ \mathrm{O\!:\!O} \\[9pt] \mathrm{m,} & = & \text{man that is}\, \underline{~~~~} \\[6pt] & = & \mathrm{C\!:\!C} ~+\!\!,~ \mathrm{I\!:\!I} ~+\!\!,~ \mathrm{J\!:\!J} ~+\!\!,~ \mathrm{O\!:\!O} \\[9pt] \mathrm{n,} & = & \text{noble that is}\, \underline{~~~~} \\[6pt] & = & \mathrm{C\!:\!C} ~+\!\!,~ \mathrm{D\!:\!D} ~+\!\!,~ \mathrm{O\!:\!O} \\[9pt] \mathrm{w,} & = & \text{woman that is}\, \underline{~~~~} \\[6pt] & = & \mathrm{B\!:\!B} ~+\!\!,~ \mathrm{D\!:\!D} ~+\!\!,~ \mathrm{E\!:\!E} \end{array}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Blll%7D++%5Cmathbf%7B1%2C%7D+%26+%3D+%26+%5Ctext%7Banything+that+is%7D%5C%2C+%5Cunderline%7B%7E%7E%7E%7E%7D++%5C%5C%5B6pt%5D++%26+%3D+%26+%5Cmathrm%7BB%5C%21%3A%5C%21B%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BC%5C%21%3A%5C%21C%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BD%5C%21%3A%5C%21D%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BE%5C%21%3A%5C%21E%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BI%5C%21%3A%5C%21I%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BJ%5C%21%3A%5C%21J%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BO%5C%21%3A%5C%21O%7D++%5C%5C%5B9pt%5D++%5Cmathrm%7Bm%2C%7D+%26+%3D+%26+%5Ctext%7Bman+that+is%7D%5C%2C+%5Cunderline%7B%7E%7E%7E%7E%7D++%5C%5C%5B6pt%5D++%26+%3D+%26+%5Cmathrm%7BC%5C%21%3A%5C%21C%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BI%5C%21%3A%5C%21I%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BJ%5C%21%3A%5C%21J%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BO%5C%21%3A%5C%21O%7D++%5C%5C%5B9pt%5D++%5Cmathrm%7Bn%2C%7D+%26+%3D+%26+%5Ctext%7Bnoble+that+is%7D%5C%2C+%5Cunderline%7B%7E%7E%7E%7E%7D++%5C%5C%5B6pt%5D++%26+%3D+%26+%5Cmathrm%7BC%5C%21%3A%5C%21C%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BD%5C%21%3A%5C%21D%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BO%5C%21%3A%5C%21O%7D++%5C%5C%5B9pt%5D++%5Cmathrm%7Bw%2C%7D+%26+%3D+%26+%5Ctext%7Bwoman+that+is%7D%5C%2C+%5Cunderline%7B%7E%7E%7E%7E%7D++%5C%5C%5B6pt%5D++%26+%3D+%26+%5Cmathrm%7BB%5C%21%3A%5C%21B%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BD%5C%21%3A%5C%21D%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BE%5C%21%3A%5C%21E%7D++%5Cend%7Barray%7D&bg=ffffff&fg=000000&s=1&c=20201002)
One observes the diagonal extension of 
Earlier we computed the following products, obtained by applying the diagonal extensions of absolute terms to the same set of absolute terms.
![\begin{array}{lllll} \mathrm{m},\!\mathrm{n} & = & \text{man that is a noble} & = & \mathrm{C} ~+\!\!,~ \mathrm{O} \\[6pt] \mathrm{n},\!\mathrm{m} & = & \text{noble that is a man} & = & \mathrm{C} ~+\!\!,~ \mathrm{O} \\[6pt] \mathrm{w},\!\mathrm{n} & = & \text{woman that is a noble} & = & \mathrm{D} \\[6pt] \mathrm{n},\!\mathrm{w} & = & \text{noble that is a woman} & = & \mathrm{D} \end{array}](https://s0.wp.com/latex.php?latex=%5Cbegin%7Barray%7D%7Blllll%7D++%5Cmathrm%7Bm%7D%2C%5C%21%5Cmathrm%7Bn%7D++%26+%3D+%26+%5Ctext%7Bman+that+is+a+noble%7D++%26+%3D+%26+%5Cmathrm%7BC%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BO%7D++%5C%5C%5B6pt%5D++%5Cmathrm%7Bn%7D%2C%5C%21%5Cmathrm%7Bm%7D++%26+%3D+%26+%5Ctext%7Bnoble+that+is+a+man%7D++%26+%3D+%26+%5Cmathrm%7BC%7D+%7E%2B%5C%21%5C%21%2C%7E+%5Cmathrm%7BO%7D++%5C%5C%5B6pt%5D++%5Cmathrm%7Bw%7D%2C%5C%21%5Cmathrm%7Bn%7D++%26+%3D+%26+%5Ctext%7Bwoman+that+is+a+noble%7D++%26+%3D+%26+%5Cmathrm%7BD%7D++%5C%5C%5B6pt%5D++%5Cmathrm%7Bn%7D%2C%5C%21%5Cmathrm%7Bw%7D++%26+%3D+%26+%5Ctext%7Bnoble+that+is+a+woman%7D++%26+%3D+%26+%5Cmathrm%7BD%7D++%5Cend%7Barray%7D&bg=ffffff&fg=000000&s=1&c=20201002)
From that we take our first clue why the commutative law holds for logical conjunction. More in the way of practical insight could be had by working systematically through the collection of products generated by the operational means at hand, namely, the products obtained by appending a comma to each of the terms 
Before we venture into that territory, however, let us equip our intuitions with the forms of graphical and matrical representation which served us so well in our previous adventures.
Resources
cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)
Inquiry Into Inquiry 
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 6 | Inquiry Into Inquiry