Peirce’s 1870 “Logic of Relatives” • Comment 9.4

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:

Absolute Terms 1 M N W

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}

One observes the diagonal extension of \mathbf{1} is the same thing as the identity relation \mathit{1}.

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}

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 \mathbf{1}, \mathrm{m}, \mathrm{n}, \mathrm{w} then applying the resulting relatives to those selfsame terms again.

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: CyberneticsOntolog ForumStructural ModelingSystems Science
cc: FB | Peirce MattersLaws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

This entry was posted in Boole, Boolean Algebra, C.S. Peirce, Logic, Logic of Relatives, Mathematics, Relation Theory, Visualization and tagged , , , , , , , . Bookmark the permalink.

5 Responses to Peirce’s 1870 “Logic of Relatives” • Comment 9.4

  1. Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry

  2. Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry

  3. Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry

  4. Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry

  5. Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.