Differential Logic and Dynamic Systems • Discussion 7

Re: Differential Logic and Dynamic SystemsIntentional Propositions
Re: FB | Differential LogicMarius V. Constantin

Marius Constantin asks about the logical value of an intention which is not carried out.

I have in my intention to give like, but I didn’t.
What is the value (logic) of this proposition?

Dear Marius,

A difference between an expected state and an observed state is called a Surprise.  A surprise calls for an explanation.

A difference between an intended state and an observed state is called a Problem.  A problem calls for a plan of action.

There’s more discussion in the following essay and section.


cc: Conceptual GraphsCyberneticsOntologStructural ModelingSystems Science
cc: FB | Differential LogicLaws of Form • Peirce List (1) (2) (3)

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, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Differential Logic and Dynamic Systems • Discussion 7

  1. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

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 )

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.