Cf: Peirce’s 1870 “Logic of Relatives” • Comment 9.7
https://inquiryintoinquiry.com/2014/03/08/peirces-1870-logic-of-relatives-c…
Peirce’s 1870 “Logic of Relatives” • Comment 9.7
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_1#C…
All,
From this point forward we may think of idempotents, selectives,
and zero-one diagonal matrices as being roughly equivalent notions.
The only reason I say “roughly” is that we are comparing ideas at
different levels of abstraction in proposing those connections.
We have covered the way Peirce uses his invention of the comma modifier
to assimilate boolean multiplication, logical conjunction, and what we
may think of as “serial selection” under his more general account of
relative multiplication.
But the comma functor has its application to relative terms of any arity,
not just the zeroth arity of absolute terms, and so there will be a lot
more to explore on this point. But now I must return to the anchorage
of Peirce’s text and hopefully get a chance to revisit this topic later.
Regards,
Jon