Differential Logic and Dynamic Systems • Overview

In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms.  Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time.  Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information.  Logic-based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus.  The work laid out in this series of posts is intended to address that lack.

Part 1

Review and Transition

A Functional Conception of Propositional Calculus

Qualitative Logic and Quantitative Analogy

Philosophy of Notation : Formal Terms and Flexible Types

Special Classes of Propositions

Basis Relativity and Type Ambiguity

The Analogy Between Real and Boolean Types

Theory of Control and Control of Theory

Propositions as Types and Higher Order Types

Reality at the Threshold of Logic

Tables of Propositional Forms

A Differential Extension of Propositional Calculus

Differential Propositions : Qualitative Analogues of Differential Equations

An Interlude on the Path

The Extended Universe of Discourse

Intentional Propositions

Life on Easy Street

Back to the Beginning : Exemplary Universes

A One-Dimensional Universe

Example 1. A Square Rigging

Back to the Feature

Tacit Extensions

Example 2. Drives and Their Vicissitudes

Part 2

Transformations of Discourse

Foreshadowing Transformations : Extensions and Projections of Discourse

Extension from 1 to 2 Dimensions

Extension from 2 to 4 Dimensions

Thematization of Functions : And a Declaration of Independence for Variables

Thematization : Venn Diagrams

Thematization : Truth Tables

Propositional Transformations

Alias and Alibi Transformations

Transformations of General Type

Analytic Expansions : Operators and Functors

Operators on Propositions and Transformations

Differential Analysis of Propositions and Transformations

The Secant Operator : E
The Radius Operator : e
The Phantom of the Operators : η
The Chord Operator : D
The Tangent Operator : T

Part 3

Transformations of Discourse (cont.)

Transformations of Type B² → B¹

Analytic Expansion of Conjunction

Tacit Extension of Conjunction
Enlargement Map of Conjunction
Digression : Reflection on Use and Mention
Difference Map of Conjunction
Differential of Conjunction
Remainder of Conjunction
Summary of Conjunction

Analytic Series : Coordinate Method

Analytic Series : Recap

Terminological Interlude

End of Perfunctory Chatter : Time to Roll the Clip!

Operator Maps : Areal Views
Operator Maps : Box Views
Operator Diagrams for the Conjunction J = uv

Part 4

Transformations of Discourse (concl.)

Taking Aim at Higher Dimensional Targets

Transformations of Type B² → B²

Logical Transformations

Local Transformations

Difference Operators and Tangent Functors

Epilogue, Enchoiry, Exodus

Appendices

Appendices

Appendix 1. Propositional Forms and Differential Expansions

Table A1. Propositional Forms on Two Variables

Table A2. Propositional Forms on Two Variables

Table A3. Ef Expanded Over Differential Features

Table A4. Df Expanded Over Differential Features

Table A5. Ef Expanded Over Ordinary Features

Table A6. Df Expanded Over Ordinary Features

Appendix 2. Differential Forms

Table A7. Differential Forms Expanded on a Logical Basis

Table A8. Differential Forms Expanded on an Algebraic Basis

Table A9. Tangent Proposition as Pointwise Linear Approximation

Table A10. Taylor Series Expansion Df = df + d²f

Table A11. Partial Differentials and Relative Differentials

Table A12. Detail of Calculation for the Difference Map

Appendix 3. Computational Details

Operator Maps for the Logical Conjunction f8(u, v)

Computation of εf8
Computation of Ef8
Computation of Df8
Computation of df8
Computation of rf8
Computation Summary for Conjunction

Operator Maps for the Logical Equality f9(u, v)

Computation of εf9
Computation of Ef9
Computation of Df9
Computation of df9
Computation of rf9
Computation Summary for Equality

Operator Maps for the Logical Implication f11(u, v)

Computation of εf11
Computation of Ef11
Computation of Df11
Computation of df11
Computation of rf11
Computation Summary for Implication

Operator Maps for the Logical Disjunction f14(u, v)

Computation of εf14
Computation of Ef14
Computation of Df14
Computation of df14
Computation of rf14
Computation Summary for Disjunction

Appendix 4. Source Materials

Appendix 5. Various Definitions of the Tangent Vector

References

References

Works Cited

Works Consulted

Incidental Works

Document History

Document History

cc: Systems ScienceStructural ModelingOntolog ForumLaws of FormCybernetics

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.