Differential Logic • Overview 2
• https://inquiryintoinquiry.com/2024/11/25/differential-logic-overview-a/
Introduction
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Introduction
Cactus Language for Propositional Logic
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Cactus_Language_for_Propositional_Logic
Differential Expansions of Propositions
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Differential_Expansions_of_Propositions
Propositional Forms on Two Variables
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2#Propositional_Forms_on_Two_Variables
Transforms Expanded over Ordinary and Differential Variables
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2#Transforms_Expanded_over_Ordinary_and_Differential_Variables
Field Picture
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Field_Picture
Differential Fields
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Differential_Fields
Propositions and Tacit Extensions
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Propositions_and_Tacit_Extensions
Enlargement and Difference Maps
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Enlargement_and_Difference_Maps
Tangent and Remainder Maps
• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3#Tangent_and_Remainder_Maps
Resources —
Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/
Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/
#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences
Differential Logic • Overview 1
• https://inquiryintoinquiry.com/2024/11/25/differential-logic-overview-a/
A reader once told me “venn diagrams are obsolete” and of course we all know how unwieldy they become as our universes of discourse expand beyond four or five dimensions. Indeed, one of the first lessons I learned when I set about implementing Peirce's graphs and Spencer Brown's forms on the computer is that 2‑dimensional representations of logic quickly become death traps on numerous conceptual and computational counts.
Still, venn diagrams do us good service at the outset in visualizing the relationships among extensional, functional, and intensional aspects of logic. A facility with those connections is critical to the computational applications and statistical generalizations of propositional logic commonly used in mathematical and empirical practice. All things considered, then, it is useful to make as visible as possible the links between variant styles of imagery in logical representation — and that is what I hoped to do in the sketch of Differential Logic outlined below.
Note. I'll give just the links to the main topic heads in the next post. Please follow the link at the top of this post for the full outline.
Resources —
Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/
Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/
#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences
Differential Logic • 1
• https://inquiryintoinquiry.com/2024/10/30/differential-logic-1-a/
Introduction —
Differential logic is the component of logic whose object is the description of variation — focusing on the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition that broad 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 governs the use of a “differential logical calculus”, that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
Simple examples of differential logical calculi are furnished by “differential propositional calculi”. A differential propositional calculus is a propositional calculus extended by a set of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe. Such a calculus augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
Resources —
Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/
cc: https://www.academia.edu/community/lJX2qa
cc: https://www.researchgate.net/post/Differential_Logic_The_Logic_of_Change_and_Difference
#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences
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
New blog post! I review a dynamic systems model of pursuing happiness. Zerwas and Ford find that the system of happiness and goal pursuit can potentially lead to paradoxical effects. Pursuing happiness too intensely can make you less happy!
#Psychology #PsychologyToday #Happiness #DynamicSystems #Cyberntics #SystemsThinking #Emotion #EmotionRegulation
a dynamic existence- Haiku meditation with generative art is posted on medium (no paywall)
https://sophiawood.medium.com/in-dynamic-existence-3205a9bc6e07
#haiku #meditaion #strangeAttractor #creativeCoding #poetry #dynamicSystems #radialSymmetry
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
In this study, we present a thorough comparison of the performance of four different bootstrap methods for assessing the significance of causal analysis in time series data. For this purpose, multivariate simulated data are generated by a linear feedback system. The methods investigated are uncorrelated Phase Randomization Bootstrap (uPRB), which generates surrogate data with no cross-correlation between variables by randomizing the phase in the frequency domain; Time Shift Bootstrap (TSB), which generates surrogate data by randomizing the phase in the time domain; Stationary Bootstrap (SB), which calculates standard errors and constructs confidence regions for weakly dependent stationary observations; and AR-Sieve Bootstrap (ARSB), a resampling method based on AutoRegressive (AR) models that approximates the underlying data-generating process. The uPRB method accurately identifies variable interactions but fails to detect self-feedback in some variables. The TSB method, despite performing worse than uPRB, is unable to detect feedback between certain variables. The SB method gives consistent causality results, although its ability to detect self-feedback decreases, as the mean block width increases. The ARSB method shows superior performance, accurately detecting both self-feedback and causality across all variables. Regarding the analysis of the Impulse Response Function (IRF), only the ARSB method succeeds in detecting both self-feedback and causality in all variables, aligning well with the connectivity diagram. Other methods, however, show considerable variations in detection performance, with some detecting false positives and others only detecting self-feedback.