Post : Peirce's 1870 “Logic Of Relatives” • Comment 11.13
http://inquiryintoinquiry.com/2014/05/14/peirces-1870-logic-of-relatives-%e2%80%a2-comment-11-13/
Posted : May 14, 2014 at 2:48 pm
Author : Jon Awbrey
Peircers,
As we make our way toward the foothills of Peirce's 1870 Logic of Relatives, there are several
pieces of equipment that we must not leave the plains without, namely, the utilities variously known
as ''arrows'', ''morphisms'', ''homomorphisms'', ''structure-preserving maps'', among other names,
depending on the altitude of abstraction we happen to be traversing at the moment in question. As a
moderate to middling but not too beaten track, let's examine a few ways of defining morphisms that
will serve us in the present discussion.
Suppose we are given three functions J, K, L that satisfy the following
conditions:
• J : X ← Y
• K : X ← X × X
• L : Y ← Y × Y
• J(L(u, v)) = K(Ju, Jv)
Our sagittarian leitmotif can be rubricized in the following slogan:
• “The image of the ligature is the compound of the images.”
(Where J is the image, K is the compound, and L is the ligature.)
Figure 47 presents us with a picture of the situation in question.
Figure 47. Structure Preserving Transformation J : K ← L
Table 48 gives the constraint matrix version of the same thing.
Table 48. Arrow Equation: J(L(u, v)) = K(Ju, Jv)
..| J | J | J |
===================
K | X | X | X |
L | Y | Y | Y |
One way to read the Table is in terms of the informational redundancies it summarizes. For example,
one way to read it says that satisfying the constraint in the L row along with all the constraints
in the J columns automatically satisfies the constraint in the K row. Quite by design, that is one
of the ways to understand the equation J(L(u, v)) = K(Ju, Jv).
Regards,
Jon
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
