<font size="3">Dear Carlos, Pedro and All,</font><div><font size="3"><br></font></div><div><font size="3">This is what I have been trying to capture with my logic of processes (Logic in Reality). It is a logic of, among other things, incompleteness, <i>etc</i>. I urge those of you not familiar with the ideas of Terrence Deacon to look at them, and perhaps mine as well. There are several easily available articles of mine in <i>Information </i>and  <i>Philosophies.</i></font></div><div><font size="3"> </font></div><div><span style="font-size: medium;">A long time ago, I said that my logic could be called </span><i style="font-size: medium;">trans-</i><span style="font-size: medium;">consistent; it handles contradictions and extends standard logic by being non-propositional. I look forward to learning what aspects of my system should be further explained and corrected.</span></div><div><span style="font-size: medium;"><br></span></div><div><span style="font-size: medium;">Thank you and best wishes. I will expand a little on the above next week.</span></div><div><span style="font-size: medium;"><br></span></div><div><span style="font-size: medium;">Joseph</span></div><div><blockquote style="margin-right: 0px; margin-left:15px;">----Message d'origine----<br>De : cgershen@gmail.com<br>Date : 08/02/2024 - 19:10 (E)<br>À : fis@listas.unizar.es<br>Objet : Re: [Fis] Limits of Formal Systems<br><br><div>
 Dear All,
</div>
<div>
 <br>
</div>
<div>
 Thank you for sharing several interesting ideas.
</div>
<div>
 <br>
</div>
<div>
 Yesterday we had a seminar at Binghamton by Dr. Pedro Márquez-Zacarías, postdoc at the Santa Fe Institute:
</div>
<div>
 "Lessons from Life Itself: Relational Models of Complexity and Self-Organization” 
 <a href="https://urldefense.com/v3/__https://vimeo.com/910918333__;!!D9dNQwwGXtA!RvTqWpX2kvtCXXuvi0Lxx5vRJ8mEMzFFpxvIoq-RQa4JCQ_LpnEJLuOFL-9y0sUowwjSXTVIKJhZJXeYga8$">https://vimeo.com/910918333 </a>
</div>
<div>
 Where he mentions several topics related to this discussion (and several interesting anecdotes). At the end I realized that in many cases we are trying to predict complex phenomena (evolution, life, societies, intelligence), but it seems that actually undecidability is not a problem, but a feature and a requirement to exhibit these levels of complexity (See Hernández-Orozco, S., Hernández-Quiroz, F., & Zenil, H. (2018). Undecidability and irreducibility conditions for open-ended evolution and emergence. Artificial Life, 24(1), 56–70. ).
</div>
<div>
 Thus, it seems that the path forward should not be to try to patch classic tools to understand complexity, but “break” them even more, because only then we will be able to model complexity. This reminds me of infinitesimals: we did not have the proper tools to describe them, so they were basically ignored until Cantor. Then people initially ridiculed him, but after some time, speaking about the infinitely small or large stopped being a problem or taboo.
</div>
<div>
 <br>
</div>
<div>
 One example of this is a Paraconsistent Logic I proposed some time ago that extends Fuzzy Logic and is able to handle contradictions:
</div>
<div>
 Gershenson, C. (1999). Modelling emotions with multidimensional logic. Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS ’99), 42–46. 
 <a href="https://urldefense.com/v3/__https://tendrel.binghamton.edu/unam/jlagunez/mdl/mdlemotions.html__;!!D9dNQwwGXtA!RvTqWpX2kvtCXXuvi0Lxx5vRJ8mEMzFFpxvIoq-RQa4JCQ_LpnEJLuOFL-9y0sUowwjSXTVIKJhZ_HDPbnA$">https://tendrel.binghamton.edu/unam/jlagunez/mdl/mdlemotions.html </a>
</div>
<div>
 <br>
</div>
<div>
 And coincidentally, yesterday I found this note from 2019:
</div>
<div>
 <b>On the completeness of potential mathematics</b>
</div>
<div>
 <div>
  Conjecture: under all possible axiomatic systems, all possible statements are valid.
 </div>
 <div>
  i.e. for any statement, there exists an infinite set of axioms under which that statement is valid.
 </div>
 <div>
  i.e. A mathematics (formal system) is not complete; but the (infinite) set of all possible mathematics (formal systems) is.
 </div>
 <div>
   
 </div>
 <div>
  e.g. for all functions, one can find an axiomatic system where that function halts.
 </div>
 <div>
  e.g. one can define an axiom: after T cycles, the machine will halt. Then all machines will halt in time <=T, and one can check the halting time by simply running the machine.
 </div>
 <div>
  Many of these potential axioms will be trivial or not useful, that is why experience helps us select useful axioms. But these are restrictive, and thus incompleteness. Consequence of being finite. For all potential axioms, i.e. for the infinite set of all possible mathematics, there is completeness… 
 </div>
 <div>
  <br>
 </div>
 <div>
  Still Computational Irreducibility, because you will need more and more axioms to prove more and more random/complex statements/strings.    
 </div>
</div>
<div>
 <br>
</div>
<div>
 <br>
</div>
<div>
 <br>
</div>
<div>
 What I want to say is that most probably we will have advances not by finding ways to extend formal systems beyond their limits, but by accepting them. In other words, we won’t find predictability, consistence, completeness, etc. as we would like. But we have to “abandon” them if we want to understand and engineer complexity. (I use quotes because we will still use them when we can, it is just that we need alternative tools for when these are not viable. Some tools have been proposed already for decades, but it seems that what we are lacking is a synthesis that brings them all together).
</div>
<div>
 <br>
</div>
<div>
 <br>
</div>Glad to have more comments rolling.
<div>
 <br>
</div>
<div>
 Best wishes,
 <br>
 <div>
  <div style="color: rgb(0,0,0);letter-spacing: normal;orphans: auto;text-align: start;text-indent: 0.0px;text-transform: none;white-space: normal;widows: auto;word-spacing: 0.0px;-webkit-text-stroke-width: 0.0px;word-wrap: break-word;-webkit-nbsp-mode: space;-webkit-line-break: after-white-space;">
   <div style="color: rgb(0,0,0);letter-spacing: normal;orphans: auto;text-align: start;text-indent: 0.0px;text-transform: none;white-space: normal;widows: auto;word-spacing: 0.0px;-webkit-text-stroke-width: 0.0px;word-wrap: break-word;-webkit-nbsp-mode: space;-webkit-line-break: after-white-space;">
    <span class="Apple-style-span" style="border-collapse: separate;font-variant-ligatures: normal;font-variant-position: normal;font-variant-numeric: normal;font-variant-alternates: normal;font-variant-east-asian: normal;font-weight: normal;line-height: normal;border-spacing: 0.0px;-webkit-text-decorations-in-effect: none;">
     <div style="word-wrap: break-word;-webkit-nbsp-mode: space;-webkit-line-break: after-white-space;">
      Carlos
     </div></span>
   </div>
  </div>
 </div>
 <br>
</div><br></blockquote><br><p></p></div>