Jon Awbrey · @Inquiry
28 followers · 97 posts · Server mathstodon.xyz
#Differential Propositional Calculus • 3.4
• https://inquiryintoinquiry.com/2020/02/24/differential-propositional-calculus-3/
Table 7 summarizes the notations needed to describe ordinary propositional calculi in a systematic fashion.
Table 7. Propositional Calculus • Basic Notation
• https://inquiryintoinquiry.files.wordpress.com/2020/02/propositional-calculus-basic-notation.png
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
Related Subjects —
#Peirce #Logic #Semiotics
#LogicalGraphs #DifferentialLogic
#PropositionalCalculus #BooleanFunctions
#CactusGraphs #MinimalNegationOperators
#MinimalNegationOperators #CactusGraphs #BooleanFunctions #PropositionalCalculus #DifferentialLogic #LogicalGraphs #semiotics #logic #Peirce #DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #differential
Jon Awbrey · @Inquiry
25 followers · 68 posts · Server mathstodon.xyz
#DifferentialPropositionalCalculus • 1.7
https://inquiryintoinquiry.com/2020/02/18/differential-propositional-calculus-1/
Table 5 shows the #RulesOfInference responsible for giving the #DifferentialQuality \(\mathrm{d}q\) its meaning in practice.
Table 5. #DifferentialInferenceRules
https://inquiryintoinquiry.files.wordpress.com/2020/02/differential-propositional-calculus-e280a2-differential-inference-rules.png
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
Related Subjects —
#Peirce #Logic #Semiotics
#DifferentialLogic #LogicalGraphs
#BooleanFunctions #PropositionalCalculus
#GraphTheory #ModelTheory #ProofTheory
#ProofTheory #modeltheory #graphtheory #PropositionalCalculus #BooleanFunctions #LogicalGraphs #DifferentialLogic #semiotics #logic #Peirce #DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #DifferentialInferenceRules #DifferentialQuality #RulesOfInference #DifferentialPropositionalCalculus
Jon Awbrey · @Inquiry
23 followers · 67 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • Overview
https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/
By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
#DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #TargetUniverse #SourceUniverse #LogicalTransformations #UniverseOfDiscourse #PropositionalCalculi #DifferentialPropositionalCalculi #DifferentialLogic #DifferentialPropositionalCalculus
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz#DifferentialPropositionalCalculus • #Overview
• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/
By way of introduction to #DifferentialLogic, here begins a chapter on #DifferentialPropositionalCalculi, which augment #PropositionalCalculi with terms for describing aspects of change and difference, for example, processes taking place in a #UniverseOfDiscourse or #LogicalTransformations mapping a #SourceUniverse to a #TargetUniverse.
Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics
#DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #TargetUniverse #SourceUniverse #LogicalTransformations #UniverseOfDiscourse #PropositionalCalculi #DifferentialPropositionalCalculi #DifferentialLogic #overview #DifferentialPropositionalCalculus