
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Thank you Lou,<div><br></div><div>Indeed, we constantly use concepts that generalize particular instances of objects (physical or abstract), as they allow us to use finite information to communicate.</div><div>If we go to the highest level of abstraction, then we can simply say “stuff is”, and then everything is contained, actual and possible. But this description is not very useful (and needs no information). </div><div>The balance between how much information to include in a description is contextual. I elaborate this more in</div><div>Gershenson, C. (2021). On the Scales of Selves: Information, Life, and Buddhist Philosophy. In J. Cˇejkova ́, S. Holler, L. Soros, & O. Witkowski (Eds.), Alife 2021: The 2021 conference on artificial life (p. 2). MIT Press. <a href="https://urldefense.com/v3/__https://doi.org/10.1162/isal_a_00402__;!!D9dNQwwGXtA!WMDtq6Ykk6E_nqv0HC_mKKI0umbS3avqDJuLcNcs0hl9f41ZYbZljXVr1opznbLpDV0ltSsjKq4b5kUbbfo$">https://doi.org/10.1162/isal_a_00402</a> </div><div>(Section “Scales” and Fig. 1)</div><div><br></div><div>Best wishes,<br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On Feb 28, 2024, at 6:38 PM, Louis Kauffman <loukau@gmail.com> wrote:</div><br class="Apple-interchange-newline"><div><meta http-equiv="Content-Type" content="text/html charset=utf-8"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Dear Carlos,</div>When I write P = {n | n is a prime number} and assert the existence of this set, I am asserting the existence of the CONCEPT that the set expresses.<div>I am not asserting the existence in some realm of all of its members. This is my way to handle the epistemology of set theory.</div><div>Set theory is a way to handle concepts. The concept of a prime number is not problematical in relation to any questions of existence.</div><div>The same is true of the concept 2^{N} = { S | S is a subset of the natural numbers} and all the other sets that can be expressed in ZFC.</div><div><br></div><div>With this understanding it is fun to play with the fantasy that the primes or the real numbers are “actually there” somewhere. This is fun and helps in thinking about them.</div><div>When I prove that a specific knot is knotted it excites me to realize that I have proved something about the infinity of instantiations of this knot, only a finite number of which I shall ever see. They all exist in potentia. </div><div><br></div><div>These rhetorical flourishes about potentia, possibles and adjacent possibles are a similar incitement to fantasy as we get a feeling about worlds unseen.</div><div>It is fun, but lets remember that just working with concepts and percepts is the main line.</div><div><br></div><div>Some concepts, maybe most, are tied up with their realizations. So if I am looking at Chess, I imagine the existence of all possible chess games. </div><div>"All chess games” is a concept just like “all primes”.  That it happens to be a finite set does not make it more accessible than the infinity of the primes.</div><div>I can also indulge in the fantasy that I can “know” about “all chess games” but the only way to know about it is through a big sliice of experience with actual games and with </div><div>the hypotheses that people have made about general principles for the game.</div><div><br></div><div>The same is true for mathematics. The nice thing about infinite sets is that one has an open field for studying examples and finding principles that govern these examples.</div><div>Concepts are not “just” abstractions. You need to find out how they work in actual instantiations. I think the reason mathematics works even though people could argue about potential versus actual infinity forever, is that mathematics does not need to worry about existence of anything except concepts and to hope that the arena of concepts that it uses is consistent for the logic that is adopted for dealing with them.</div><div><br></div><div>And again I repeat, concepts come along with percepts. Every percept you have is accompanied by concepts and by the possibility of new concepts that can inform it.</div><div>Best,</div><div>Lou</div><div><br></div><div><br><div><blockquote type="cite"><div>On Feb 28, 2024, at 10:43 AM, Carlos Gershenson <<a href="mailto:cgershen@gmail.com">cgershen@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div><meta http-equiv="content-type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>About latent/Platonic information:</div><div>I think we can agree that there are (infinite) primes that have never been written down. Do they exist? I think so, in a particular way. Perhaps, as it was mentioned, the difference can lie between information that has been observed, and that which has not. Like the tree falling in a forest with nobody there to listen (observe), I guess we can assume that ontologically the tree fell, even if epistemologically no observer can say anything about that. (I elaborate on this distinction between “absolute being” and “relative being” here <a href="https://urldefense.com/v3/__https://arxiv.org/abs/nlin/0109001__;!!D9dNQwwGXtA!UTF2fg6sqvtQgQb_nuxoj5voh6N_Gw_p9V5p01SPx3bPOcoH28OuL7JzSKI1rsIztIhpoxXFZaIVGWmRwZo$">https://arxiv.org/abs/nlin/0109001</a> although this is from my undergrad years and for sure could be updated).</div><div><br></div><div>Gordana: Isn’t ChatGPT an observer? I mean, LLMs can be said to be trained through “observation".</div><div><br></div>Best wishes,<br><div>

<div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 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: 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>Fis mailing list<br><a href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a><br>http://listas.unizar.es/cgi-bin/mailman/listinfo/fis<br>----------<br>INFORMACI�N SOBRE PROTECCI�N DE DATOS DE CAR�CTER PERSONAL<br><br>Ud. recibe este correo por pertenecer a una lista de correo gestionada por la Universidad de Zaragoza.<br>Puede encontrar toda la informaci�n sobre como tratamos sus datos en el siguiente enlace: https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas<br>Recuerde que si est� suscrito a una lista voluntaria Ud. puede darse de baja desde la propia aplicaci�n en el momento en que lo desee.<br>http://listas.unizar.es<br>----------<br></div></blockquote></div><br></div></div></div></blockquote></div><br><div>

<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 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: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Carlos</div></span></div></div>

</div>

<br></div></body></html>