FedSearch - Federated network search engine

Jon Awbrey · @Inquiry

226 followers · 1602 posts · Server mathstodon.xyz

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/

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

Differential Logic and Dynamic Systems
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview
1 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1
2 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2
3 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3
4 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4
5 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5
• https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-2/

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

#neuralnetworksystems #MinimalNegationOperators #CactusCalculus #qualitativephysics #booleandifferencecalculus #BooleanFunctions #dynamicsystems #DifferentialLogic #LogicalGraphs #logic #Peirce

Last updated 1 year ago

Original post

dave's thought experiment · @dynaml

145 followers · 349 posts · Server fediscience.org

newest version! no more messing around: this one is headed over to @PLOS

#machinelearning #dynamicsystems

https://arxiv.org/abs/2205.13676

#dynamicsystems #machinelearning

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

193 followers · 1304 posts · Server mathstodon.xyz

Differential Logic and Dynamic Systems • Overview 2
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

The work pursued here is coordinated with a parallel application focusing on #NeuralNetworkSystems but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange

#qualitativechange #booleandifferencecalculus #BooleanFunctions #dynamicsystems #DifferentialLogic #LogicalGraphs #logic #Peirce #neuralnetworksystems

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

188 followers · 1271 posts · Server mathstodon.xyz

Differential Logic and Dynamic Systems • Overview
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

❝Stand and unfold yourself.❞

— Hamlet • Francisco • 1.1.2

This article develops a differential extension of propositional calculus and applies it to analyzing the temporal evolution of systems whose states are described in qualitative logical terms.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange

#qualitativechange #booleandifferencecalculus #BooleanFunctions #dynamicsystems #DifferentialLogic #LogicalGraphs #logic #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

188 followers · 1271 posts · Server mathstodon.xyz

Differential Logic and Dynamic Systems • Overview
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

❝Stand and unfold yourself.❞

— Hamlet • Francisco • 1.1.2

This article develops a differential extension of propositional calculus and applies it to analyzing the temporal evolution of systems whose states are described in qualitative logical terms.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange

#qualitativechange #booleandifferencecalculus #BooleanFunctions #dynamicsystems #DifferentialLogic #LogicalGraphs #logic #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

188 followers · 1270 posts · Server mathstodon.xyz

Differential Logic and Dynamic Systems • Overview
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

❝Stand and unfold yourself.❞

— Hamlet • Francisco • 1.1.2

This article develops a differential extension of propositional calculus and applies it to analyzing the temporal evolution of systems whose states are described in qualitative logical terms.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange

#qualitativechange #booleandifferencecalculus #BooleanFunctions #dynamicsystems #DifferentialLogic #LogicalGraphs #logic #Peirce

Last updated 1 year ago

Original post

Jon Awbrey · @Inquiry

184 followers · 1199 posts · Server mathstodon.xyz

The Phantom of the Operators • η
• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3#The_Phantom_of_the_Operators_:_.CE.B7

❝I was wondering what the reason could be, when I myself raised my head and everything within me seemed drawn towards the Unseen, which was playing the most perfect music!❞

— Gaston #Leroux • “The Phantom of the Opera”

#DifferentialLogic #DynamicSystems
#DifferentialLogicAndDynamicSystems

#differentiallogicanddynamicsystems #dynamicsystems #DifferentialLogic #leroux

Last updated 1 year ago

Original post