Cf: Differential Logic and Dynamic Systems • Discussion 7 http://inquiryintoinquiry.com/2022/02/09/differential-logic-and-dynamic-sys… Re: Differential Logic and Dynamic Systems https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… ::: Intentional Propositions https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Re: FB | Differential Logic https://www.facebook.com/DifferentialLogic/posts/2868375713219794 ::: Marius V. Constantin https://www.facebook.com/JonnyCache/posts/10225410016490896?comment_id=1022… All, Marius Constantin asks about the logical value of intentions which are not carried out. <QUOTE MVC:> I have in my intention to give like, but I didn't. What is the value (logic) of this proposition? </QUOTE> 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. Prospects for Inquiry Driven Systems https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems Topos : Rudiments and Immediate Resources https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems#… Resources ========= Survey of Differential Logic https://inquiryintoinquiry.com/2021/05/15/survey-of-differential-logic-3/ Survey of Inquiry Driven Systems https://inquiryintoinquiry.com/2020/12/27/survey-of-inquiry-driven-systems-… Regards, Jon