12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday September 07, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 21:49, 5 November 2007
, 21:49, 5 November 2007→Commentary Note 10.8: markup
===Commentary Note 10.8===
===Commentary Note 10.8===
In taking up the next example of relational composition, let's exchange the relation 't' = "trainer of ---" for Peirce's relation 'o' = "owner of ---", simply for the sake of avoiding conflicts in the symbols that we use. In this way, Figure 7 is transformed into Figure 11.
<pre>
<pre>
o-------------------------------------------------o
o-------------------------------------------------o
| |
| |
o-------------------------------------------------o
o-------------------------------------------------o
Figure 11. Giver of a Horse to a Trainer of It
Figure 11. Giver of a Horse to a Trainer of It
</pre>
Now here's an interesting point, in fact, a critical transition point,
Now here's an interesting point, in fact, a critical transition point, that we see resting in potential but a stone's throw removed from the chronism, the secular neigborhood, the temporal vicinity of Peirce's 1870 LOR, and it's a vertex that turns on the teridentity relation.
that we see resting in potential but a stone's throw removed from the
chronism, the secular neigborhood, the temporal vicinity of Peirce's
1870 LOR, and it's a vertex that turns on the teridentity relation.
The hypergraph picture of the abstract composition is given in Figure 12.
The hypergraph picture of the abstract composition is given in Figure 12.
<pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 12. Anything that is a Giver of Anything to a Trainer of It
Figure 12. Anything that is a Giver of Anything to a Trainer of It
</pre>
If we analyze this in accord with the "spreadsheet" model
If we analyze this in accord with the "spreadsheet" model of relational composition, the core of it is a particular way of composing a 3-adic "giving" relation ''G'' ⊆ ''X'' × ''Y'' × ''Z'' with a 2-adic "training" relation ''T'' ⊆ ''Y'' × ''Z'' in such a way as to determine a certain 2-adic relation (''G'' o ''T'') ⊆ ''X'' × ''Z''. Table 13 schematizes the associated constraints on tuples.
of relational composition, the core of it is a particular
way of composing a 3-adic "giving" relation G c X x Y x Z
with a 2-adic "training" relation T c Y x Z in such a way
as to determine a certain 2-adic relation (G o T) c X x Z.
Table 13 schematizes the associated constraints on tuples.
<pre>
Table 13. Another Brand of Composition
Table 13. Another Brand of Composition
o---------o---------o---------o---------o
o---------o---------o---------o---------o
| G o T # X | | Z |
| G o T # X | | Z |
o---------o---------o---------o---------o
o---------o---------o---------o---------o
</pre>
So we see that the notorious teridentity relation,
So we see that the notorious teridentity relation, which I have left equivocally denoted by the same symbol as the identity relation !1!, is already implicit in Peirce's discussion at this point.
which I have left equivocally denoted by the same
symbol as the identity relation !1!, is already
implicit in Peirce's discussion at this point.
===Commentary Note 10.9===
===Commentary Note 10.9===
