[CG] Re: Differential Logic

Differential Logic • 3 • https://inquiryintoinquiry.com/2024/11/02/differential-logic-3-a/ Table 1 shows the cactus graphs, the corresponding cactus expressions, their logical meanings under the so‑called “existential interpretation”, and their translations into conventional notations for a sample of basic propositional forms. Table 1. Syntax and Semantics of a Calculus for Propositional Logic • https://inquiryintoinquiry.files.wordpress.com/2022/10/syntax-and-semantics… The simplest expression for logical truth is the empty word, typically denoted by ε or λ in formal languages, where it is the identity element for concatenation. To make it visible in context, it may be denoted by the equivalent expression “(())” or, especially if operating in an algebraic context, by a simple “1”. Also when working in an algebraic mode, the plus sign “+” may be used for exclusive disjunction. Thus we have the following translations of algebraic expressions into cactus expressions. • a + b = (a, b) • a + b + c = (a, (b, c)) = ((a, b), c) It is important to note the last expressions are not equivalent to the 3‑place form (a, b, c). Resources — Logic Syllabus • https://inquiryintoinquiry.com/logic-syllabus/ Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/ Regards, Jon cc: https://www.academia.edu/community/l8D7KG cc: https://www.researchgate.net/post/Differential_Logic_The_Logic_of_Change_an…