Changes

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.

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.

As always, it is probably best to begin with a concrete example.  So let us initiate a discourse, whose universe <math>X\!</math> may remind us a little of the cast of characters in Shakespeare's ''Othello''.

Let us imagine a concrete example that will serve in developing the uses of Peirce's notation.  Consider a discourse whose universe <math>X\!</math> whose individuals will remind us a little of the cast of characters in Shakespeare's ''Othello''.

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"

Each of these terms denotes in a singular fashion the corresponding individual in <math>X.\!</math>

Each of these terms denotes in a singular fashion the corresponding individual in <math>X.\!</math>

As the ''general terms'' of this discussion, we may begin with the following set:

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

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"

|}

|}

In Peirce's notation, the denotation of a general term can be expressed by means of an equation between terms:

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

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"