<div dir="ltr"><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763">Dear Ted and FIS colleagues,</div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763">thank you very much for your valuable and insightful contributions to this not easy to embrace topic. Its goal was to stimulate our exchange and out-of-the-box thinking through the mirror of historic recapitulation. The original focus was expanded to involve other fields of interest which enriched the discussion. The responses went far beyond my expectations (and hopefully yours too). This discussion is not over yet.  I hope you enjoyed it. We have collected sufficient material to reflect upon during the months to come. Perhaps some of you will be able to use these opinions in their research.</div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763">Thank you for your attention. </div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763">With my best wishes.</div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763">Plamen</div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div><div class="gmail_default" style="font-family:arial,sans-serif;color:#073763"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jan 31, 2023 at 1:09 PM Ted Goranson <<a href="mailto:tedgoranson@mac.com">tedgoranson@mac.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="line-break:after-white-space"><div><div dir="ltr"><div><blockquote type="cite"><div>On Jan 27, 2023, at 10:49 AM, Dr. Plamen L. Simeonov <<a href="mailto:plamen.l.simeonov@gmail.com" target="_blank">plamen.l.simeonov@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,sans-serif;color:rgb(7,55,99)">In this context, I wish we had some sort of safety and liveness boundary conditions of such logical systems; we have them in TL (Pnueli) and TLA (Lamport), and also in bivalent and multivalent (quantum) logic. I think that Ted has his thoughts on this regarding the consensus regarding the LHS and RHS of the equations. There might also be non-standard solutions, not necessarily such that are based on the balance and integrity of the LHS and RHS, or both. </div></div></div></div></blockquote></div></div></div><div><br></div>Plamen — <div><br></div><div>It is hard for me to follow the connection that is being made among <span style="color:rgb(0,0,0)">twists of history,</span> axiomatic systems, <span style="color:rgb(0,0,0)">the nature of information, and </span>complaints about current events. This could be because it is quite literally my job to understand the first three to help improve the latter, so I have my own views that could be occluding an open vision over what has been written here.. ..</div><div><br></div><div>I do believe that the world is poorly understood so we navigate it unwell. Also that our reliance on reductionist logic is the main barrier. I agree with most here that some new paradigm based on poiesistic flow of information will give us better ‘logics’. A few here support intuitionistic types.</div><div><br></div><div>So FIS is of central interest, but as with your biological systems modelling project I am interested more in things that work than those that are philosophically attractive.</div><div><br></div><div>Our team uses the term ‘influence’ for information flow and is taking some risks with some formal approaches to two-sorts and now actual code. If we think we have something that actually works, we’ll come back and report it. </div><div><br></div><div>Best, Ted</div><div><div><div dir="auto" style="line-break:after-white-space"><div dir="auto" style="line-break:after-white-space"><div dir="auto" style="line-break:after-white-space"><div><font face="HelveticaNeue" size="1" color="#6b1d2f">_________ <br>Ted Goranson<br>Senior Scientist<br>Sirius-beta<br>Queensland Australia</font></div><div><font face="HelveticaNeue" size="1" color="#6b1d2f"><br></font></div><div><font face="HelveticaNeue" size="1" color="#6b1d2f">We acknowledge the Traditional Custodians, recognise their continuing connection to land, waters and community, and pay our respects to them, their culture and their Elders past and present.</font></div></div></div></div></div></div><div><br></div></div></blockquote></div>