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

Peirce’s 1870 “Logic of Relatives”Comment 8.1

To my way of thinking, CP 3.73 is one of the most remarkable passages in the history of logic.  In this first pass over its deeper contents I won’t be able to accord it much more than a superficial dusting off.

Let us invent a concrete example to illustrate the use of Peirce’s notation.  Imagine a discourse whose universe X will remind us of the cast of characters in Shakespeare’s Othello.

X ~=~ \{ \text{Bianca}, \text{Cassio}, \text{Clown}, \text{Desdemona}, \text{Emilia}, \text{Iago}, \text{Othello} \}

The universe X is “that class of individuals about which alone the whole discourse is understood to run” but its marking out for special recognition as a universe of discourse in no way rules out the possibility that “discourse may run upon something which is not a subjective part of the universe;  for instance, upon the qualities or collections of the individuals it contains” (CP 3.65).

In order to afford ourselves the convenience of abbreviated terms while preserving Peirce’s conventions about capitalization, we may use the alternate terms {}^{\backprime\backprime}\mathrm{u} {}^{\prime\prime} for the universe X and {}^{\backprime\backprime} \mathrm{Jeste} {}^{\prime\prime} for the character \text{Clown}.  This permits the above description of the universe of discourse to be rewritten in the following fashion.

\mathrm{u} ~=~ \{ \mathrm{B}, \mathrm{C}, \mathrm{D}, \mathrm{E}, \mathrm{I}, \mathrm{J}, \mathrm{O} \}

This specification of the universe of discourse could be summed up in Peirce’s notation by the following equation.

\begin{array}{*{15}{c}}  \mathbf{1}  & =      & \mathrm{B}  & +\!\!, & \mathrm{C}  & +\!\!, & \mathrm{D}  & +\!\!, & \mathrm{E}  & +\!\!, & \mathrm{I}  & +\!\!, & \mathrm{J}  & +\!\!, & \mathrm{O}  \end{array}

Within this discussion, then, the individual terms are as follows.

\begin{array}{*{7}{c}}  ^{\backprime\backprime}\mathrm{B}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{C}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{D}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{E}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{I}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{J}^{\prime\prime}, &  ^{\backprime\backprime}\mathrm{O}^{\prime\prime}  \end{array}

Each of these terms denotes in a singular fashion the corresponding individual in X.

By way of general terms in this discussion, we may begin with the following set.

\begin{array}{ccl}  ^{\backprime\backprime}\mathrm{b}^{\prime\prime}  & = &  ^{\backprime\backprime}\mathrm{black}^{\prime\prime}  \\[6pt]  ^{\backprime\backprime}\mathrm{m}^{\prime\prime}  & = &  ^{\backprime\backprime}\mathrm{man}^{\prime\prime}  \\[6pt]  ^{\backprime\backprime}\mathrm{w}^{\prime\prime}  & = &  ^{\backprime\backprime}\mathrm{woman}^{\prime\prime}  \end{array}

The denotation of a general term may be given by means of an equation between terms.

\begin{array}{*{15}{c}}  \mathrm{b} & = & \mathrm{O}  \\[6pt]  \mathrm{m} & = & \mathrm{C} & +\!\!, & \mathrm{I} & +\!\!, & \mathrm{J} & +\!\!, & \mathrm{O}  \\[6pt]  \mathrm{w} & = & \mathrm{B} & +\!\!, & \mathrm{D} & +\!\!, & \mathrm{E}  \end{array}

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 Graphs, Mathematics, Relation Theory, Visualization and tagged , , , , , , . Bookmark the permalink.

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

  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.