Cf: Peirce’s 1870 “Logic of Relatives” • Comment 10.6
https://inquiryintoinquiry.com/2014/04/16/peirces-1870-logic-of-relatives-c…
Peirce’s 1870 “Logic of Relatives” • Comment 10.6
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_1#C…
All,
As Peirce observes, it is not possible to work with relations
in general without eventually abandoning all the more usual
algebraic principles, in due time the associative law and
even the distributive law, just as we already gave up the
commutative law. It cannot be helped, as we cannot reflect
on a law except from a perspective outside it, in any case,
virtually so.
This could be done from the standpoint of the combinator calculus,
and there are places where Peirce verges on systems of a like character,
but here we are making a deliberate effort to stay within the syntactic
neighborhood of Peirce’s 1870 Logic of Relatives. Not too coincidentally,
it is for the sake of making smoother transitions between narrower and wider
regimes of algebraic law that we have been developing the paradigm of Figures
and Tables indicated above.
In the next several episodes, then, I’ll examine the cases Peirce uses
illustrate the next level of complexity in the multiplication of relative
terms, as shown in the Figures below.
Figure 16. Giver of a Horse to a Lover of a Woman
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-glwh-2.0.png
Figure 17. Giver of a Horse to an Owner of It
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-goh.png
Figure 18. Lover that is a Servant of a Woman
https://inquiryintoinquiry.files.wordpress.com/2022/01/lor-1870-lsw-1.png
Regards,
Jon