Cf: Animated Logical Graphs • 15 https://inquiryintoinquiry.com/2019/06/30/animated-logical-graphs-15/
All, In George Spencer Brown’s Laws of Form the relation between the primary arithmetic and the primary algebra is founded on the idea that a variable name appearing as an operand in an algebraic expression indicates the contemplated absence or presence of any expression in the arithmetic, with the understanding that each appearance of the same variable name indicates the same state of contemplation with respect to the same expression of the arithmetic. For example, consider the following expression: Figure 1. Cactus Graph (a(a)) https://inquiryintoinquiry.files.wordpress.com/2019/06/box-aa.jpg We may regard this algebraic expression as a general expression for an infinite set of arithmetic expressions, starting like so: Figure 2. Cactus Graph Series (a(a)) https://inquiryintoinquiry.files.wordpress.com/2019/06/box-aa-series.jpg Now consider what this says about the following algebraic law: Figure 3. Cactus Graph Equation (a(a)) = <blank> https://inquiryintoinquiry.files.wordpress.com/2019/06/box-aa-.jpg It permits us to understand the algebraic law as saying, in effect, that every one of the arithmetic expressions of the contemplated pattern evaluates to the very same canonical expression as the upshot of that evaluation. This is, as far as I know, just about as close as we can come to a conceptually and ontologically minimal way of understanding the relation between an algebra and its corresponding arithmetic. To be continued ... Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
