[CG] Re: Differential Logic

Differential Logic • 2 • https://inquiryintoinquiry.com/2024/10/31/differential-logic-2-a/ Cactus Language for Propositional Logic — The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions. One very efficient calculus on both conceptual and computational grounds is based on just two types of logical connectives, both of variable k-ary scope. The syntactic formulas of that calculus map into a family of graph- theoretic structures called “painted and rooted cacti” which lend visual representation to the functional structures of propositions and smooth the path to efficient computation. The first kind of connective is a parenthesized sequence of propositional expressions, written (e₁, e₂, …, eₖ₋₁, eₖ) to mean exactly one of the propositions e₁, e₂, …, eₖ₋₁, eₖ is false, in short, their “minimal negation” is true. An expression of that form is associated with a cactus structure called a “lobe”, in this case, “painted” with the colors e₁, e₂, …, eₖ₋₁, eₖ as shown below. Lobe Connective • https://inquiryintoinquiry.files.wordpress.com/2020/04/cactus-graph-ej-lobe… The second kind of connective is a concatenated sequence of propositional expressions, written e₁ e₂ … eₖ₋₁ eₖ to mean all the propositions e₁, e₂, …, eₖ₋₁, eₖ are true, in short, their “logical conjunction” is true. An expression of that form is associated with a cactus structure called a “node”, in this case, “painted” with the colors e₁, e₂, …, eₖ₋₁, eₖ as shown below. Node Connective • https://inquiryintoinquiry.files.wordpress.com/2020/04/cactus-graph-ej-node… All other propositional connectives can be obtained through combinations of the above two forms. As it happens, the parenthesized form is sufficient to define the concatenated form, making the latter formally dispensable, but it's convenient to maintain it as a concise way of expressing more complicated combinations of parenthesized forms. While working with expressions solely in propositional calculus, it's easiest to use plain parentheses for logical connectives. In contexts where ordinary parentheses are needed for other purposes an alternate typeface ( … ) may be used for the logical operators. Resources — Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/ Regards, Jon cc: https://www.academia.edu/community/VDnEpr cc: https://www.researchgate.net/post/Differential_Logic_The_Logic_of_Change_an…