Peirce’s 1870 “Logic of Relatives” • Comment 12.3 (part 1 of 2)
https://inquiryintoinquiry.com/2014/06/12/peirces-1870-logic-of-relatives-c…
Peirce’s 1870 “Logic of Relatives” • Comment 12.3
https://oeis.org/wiki/Peirce%27s_1870_Logic_Of_Relatives_%E2%80%A2_Part_2#C…
All,
We now have two ways of computing a logical involution raising
a dyadic relative term to the power of a monadic absolute term,
for example, ℓ^w for “lover of every woman”.
The first method applies set-theoretic operations to the extensions
of absolute and relative terms, expressing the denotation of the
term ℓ^w as the intersection of a set of relational applications.
Equation 1. Denotation Equation L^W
https://inquiryintoinquiry.files.wordpress.com/2022/03/lor-1870-denotation-…
The second method operates in the matrix representation,
expressing the value of the matrix L^W = Math(ℓ^w) at an
argument u as a product of coefficient powers.
Equation 2. Matrix Computation L^W
https://inquiryintoinquiry.files.wordpress.com/2022/03/lor-1870-matrix-comp…
Abstract formulas like these are more easily grasped
with the aid of a concrete example and a picture of
the relations involved. Next time we'll take up
one such example.
Regards,
Jon