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

Peirce’s 1870 “Logic of Relatives”Comment 8.5

I continue with my commentary on CP 3.73, developing the Othello example as a way of illustrating Peirce’s formalism.

Since multiplication by a dyadic relative term is a logical analogue of matrix multiplication in linear algebra, all the products computed above can be represented by logical matrices, that is, by arrays of boolean \{ 0, 1 \} coordinate values.  Absolute terms and dyadic relatives are represented as 1-dimensional and 2-dimensional arrays, respectively.

The equations defining the absolute terms are given again below, first as logical sums of individual terms and then as n-tuples of boolean coordinates.

Othello Universe

Since we are going to be regarding these tuples as column arrays, it is convenient to arrange them in a table of the following form.

Othello Column Array

Here are the dyadic relative terms again, followed by their representation as coefficient matrices, in this case bordered by row and column labels to remind us what the coefficient values are meant to signify.

\begin{array}{*{13}{c}}  \mathit{l} & = &  \mathrm{B\!:\!C} & +\!\!, &  \mathrm{C\!:\!B} & +\!\!, &  \mathrm{D\!:\!O} & +\!\!, &  \mathrm{E\!:\!I} & +\!\!, &  \mathrm{I\!:\!E} & +\!\!, &  \mathrm{O\!:\!D}  \end{array}

Logical Matrix L

\begin{array}{*{13}{c}}  \mathit{s} & = &  \mathrm{C\!:\!O} & +\!\!, &  \mathrm{E\!:\!D} & +\!\!, &  \mathrm{I\!:\!O} & +\!\!, &  \mathrm{J\!:\!D} & +\!\!, &  \mathrm{J\!:\!O}  \end{array}

Logical Matrix S

Here are the matrix representations of the products we calculated before.

Logical Matrix L1

Logical Matrix LO

Logical Matrix LM

Logical Matrix LW

Logical Matrix S1

Logical Matrix SO

Logical Matrix SM

Logical Matrix SW

Logical Matrix LS

Logical Matrix SL

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 C.S. Peirce, Logic, Logic of Relatives, Logical Matrices, Mathematics, Relation Theory, Visualization and tagged , , , , , , . Bookmark the permalink.