Cf: Peirce’s 1870 “Logic of Relatives” • Comment 10.10
https://inquiryintoinquiry.com/2014/04/24/peirces-1870-logic-of-relatives-c…
Peirce’s 1870 “Logic of Relatives” • Comment 10.10
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_1#C…
All,
The last of Peirce’s three examples involving the composition of
triadic relatives with dyadic relatives is shown again in Figure 25.
Figure 25. Lover that is a Servant of a Woman
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-lsw-1.png
The hypergraph picture of the abstract composition is given in Figure 26.
Figure 26. Anything that is a Lover that is a Servant of Anything
https://inquiryintoinquiry.files.wordpress.com/2022/02/lor-1870-e280a2lse28…
This example illustrates the way Peirce analyzes the logical conjunction,
we might even say the parallel conjunction, of a pair of dyadic relatives
in terms of the comma extension and the same style of composition that we
saw in the last example, that is, according to a pattern of anaphora that
invokes the teridentity relation.
Laying out the above analysis of logical conjunction on the
spreadsheet model of relational composition, the gist of it is
the diagonal extension of a dyadic “loving” relation L ⊆ X × Y
to a triadic “being and loving” relation L ⊆ X × X × Y, which is
then composed with a dyadic “serving” relation S ⊆ X × Y so as to
determine a dyadic relation L,S ⊆ X × Y. Table 27 schematizes the
associated constraints on tuples.
Table 27. Relational Composition L,S
https://inquiryintoinquiry.files.wordpress.com/2022/02/lor-1870-relational-…
Regards,
Jon