Cf: Peirce’s 1870 “Logic of Relatives” • Comment 10.7
https://inquiryintoinquiry.com/2014/04/18/peirces-1870-logic-of-relatives-c…
Peirce’s 1870 “Logic of Relatives” • Comment 10.7
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_1#C…
All,
Here is what I get when I analyze Peirce’s
“giver of a horse to a lover of a woman” example
along the same lines as the dyadic compositions.
We may begin with the mark-up shown in Figure 19.
Figure 19. Giver of a Horse to a Lover of a Woman
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-glwh-2.0.png
If we analyze this in accord with the spreadsheet model of
relational composition then the core of it is a particular
way of composing a triadic “giving” relation G ⊆ T × U × V
with a dyadic “loving” relation L ⊆ U × W so as to obtain
a specialized type of triadic relation (G ◦ L) ⊆ T × V × W.
The applicable constraints on tuples are shown in Table 20.
Table 20. Relational Composition G ◦ L
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-relational-…
The hypergraph picture of the abstract composition is given in Figure 21.
Figure 21. Anything that is a Giver of Anything to a Lover of Anything
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-composite-o…
Regards,
Jon