Peirce’s 1870 “Logic Of Relatives” • Comment 10.8

There’s a critical transition point in sight of Peirce’s 1870 Logic of Relatives and it’s a point that turns on the teridentity relation.

In taking up the next example of relational composition, let’s substitute the relation \mathit{t} = \text{taker of}\, \underline{~~~~} for Peirce’s relation \mathit{o} = \text{owner of}\, \underline{~~~~}, simply for the sake of avoiding conflicts in the symbols we use.  In this way, Figure 17 is transformed into Figure 22.

LOR 1870 Figure 22

The hypergraph picture of the abstract composition is given in Figure 23.

LOR 1870 Figure 23

If we analyze this in accord with the spreadsheet model of relational composition, the core of it is a particular way of composing a triadic “giving” relation G \subseteq X \times Y \times Z with a dyadic “taking” relation T \subseteq Y \times Z in such a way as to determine a certain dyadic relation (G \circ T) \subseteq X \times Z.  Table 24 schematizes the associated constraints on tuples.

\text{Table 24.} ~~ \text{Another Brand of Composition}
  \mathit{1} \mathit{1} \mathit{1}
T   Y Z
G \circ T X   Z

So we see that the notorious teridentity relation, which I have left equivocally denoted by the same symbol as the identity relation \mathit{1}, is already implicit in Peirce’s discussion at this point.

This entry was posted in Graph Theory, Logic, Logic of Relatives, Logical Graphs, Mathematics, Peirce, Relation Theory, Semiotics, Teridentity and tagged , , , , , , , , . Bookmark the permalink.

3 Responses to Peirce’s 1870 “Logic Of Relatives” • Comment 10.8

  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

Leave a Reply

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

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

Google photo

You are commenting using your Google 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.