#cactuscalculus — Public Fediverse posts on home.social

Jon Awbrey @[email protected] · 2024-02-26 · 16:30 UTC

Survey of Differential Logic • 7
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Differential Logic • The Logic of Change and Difference
• https://inquiryintoinquiry.com/2023/08/22/differential-logic-the-logic-of-change-and-difference/

Differential Propositional Calculus
• https://inquiryintoinquiry.com/2023/11/12/differential-propositional-calculus-overview-a/
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview

Differential Logic
• https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview

Differential Logic and Dynamic Systems
• https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-a/
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativePhysics
#CactusCalculus #MinimalNegationOperators #NeuralNetworkSystems
#CalculusOfLogicalDifferences

#calculusoflogicaldifferences #neuralnetworksystems #minimalnegationoperators #cactuscalculus #qualitativephysics #booleandifferencecalculus

Jon Awbrey @[email protected] · 2023-11-12 · 15:00 UTC

Survey of Differential Logic • 6
• https://inquiryintoinquiry.com/2023/11/10/survey-of-differential-logic-6/

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Differential Logic • The Logic of Change and Difference
• https://inquiryintoinquiry.com/2023/08/22/differential-logic-the-logic-of-change-and-difference/

Differential Propositional Calculus
• https://inquiryintoinquiry.com/2023/11/12/differential-propositional-calculus-overview-a/

Differential Logic
• https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/

Differential Logic and Dynamic Systems
• https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-a/

cc: https://www.academia.edu/community/lQX66L

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativePhysics
#CactusCalculus #MinimalNegationOperators #NeuralNetworkSystems
#CalculusOfLogicalDifferences

#calculusoflogicaldifferences #neuralnetworksystems #minimalnegationoperators #cactuscalculus #qualitativephysics #booleandifferencecalculus

Jon Awbrey @[email protected] · 2023-06-11 · 21:36 UTC

Cactus Rules
• https://oeis.org/wiki/User:Jon_Awbrey/Cactus_Rules

With an eye toward the aims of the NKS Forum I've begun to work out a translation of the “elementary cellular automaton rules” (ECARs), in effect, just the boolean functions of abstract type \(f : \mathbb{B}^3 \to \mathbb{B},\) into cactus language, and I'll post a selection of my working notes here.

#Logic #LogicalGraphs #BooleanFunctions #PropositionalCalculus
#CactusCalculus #CactusLanguage #CactusSyntax #CellularAutomata

#cellularautomata #cactussyntax #cactuslanguage #cactuscalculus #propositionalcalculus #booleanfunctions

Jon Awbrey @[email protected] · 2023-04-25 · 18:20 UTC

Survey of Differential Logic • 5
• https://inquiryintoinquiry.com/2023/04/25/survey-of-differential-logic-5/

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

Please follow the above link for the full set of resources.
Articles and blog series on the core ideas are linked below.

Differential Propositional Calculus
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
1 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1
2 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2
• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/