Animated Logical Graphs • 28

Re: R.J. Lipton and K.W. ReganDiscrepancy Games and Sensitivity
Re: Ontolog ForumJoseph Simpson
Re: Animated Logical Graphs • 24

I will have to focus on other business for a couple of weeks — so just by way of reminding myself what we were talking about at this juncture where logical graphs and differential logic intersect, here’s my comment on R.J. Lipton and K.W. Regan’s blog post about Discrepancy Games and Sensitivity.

Just by way of a general observation, concepts like discrepancy, influence, sensitivity, and the like are differential in character, so I tend to think the proper grounds for approaching them more systematically will come from developing the logical analogue of differential geometry.

I took a few steps in this direction some years ago in connection with an effort to understand a certain class of intelligent systems as dynamical systems.  There’s a Survey of related resources on the following page.

Resources

cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: FB | Logical GraphsLaws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.