<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Multiple valued logic with values in interval from 0 to 1 allows a continuity of possibilities.<div class="">To see more of what people have done and are doing with it see the whole literature on fuzzy logic.</div><div class="">I would be interested in what you hope to do with such ideas.</div><div class=""><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On May 2, 2024, at 5:12 AM, Dr. Eric Werner <<a href="mailto:evwerner@gmail.com" class="">evwerner@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class="">Very nice Louis!<div class="">Now can we connect this to AI encodings and inference?</div><div class="">Best,</div><div class="">Eric <br class=""><div class=""><br id="lineBreakAtBeginningOfSignature" class=""><div dir="ltr" class="">Sent from my iPhone</div><div dir="ltr" class=""><br class=""><blockquote type="cite" class="">On May 1, 2024, at 23:41, Louis Kauffman <<a href="mailto:loukau@gmail.com" class="">loukau@gmail.com</a>> wrote:<br class=""><br class=""></blockquote></div><blockquote type="cite" class=""><div dir="ltr" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class="">Dear Folks,<div class="">There is a very nice way (not the only way!) to start in multiple valued logics by extending from 0 and 1 to all the values between 0 and 1 in the real numbers.</div><div class="">This actually was done by Boole. In a modern version I will let ~x = 1-x where x is in [0,1] = {x| 0<= x<= 1}. We can let x AND y = x ^ y = xy the usual product of numbers.</div><div class="">Thus 0^0 = 0, 0^1=0, 1^1=1. Then define x v y = ~(~x ^ ~y) to preserve the DeMorgan rule.</div><div class="">Then x v y = ~(~x ^ ~y) = 1 - (1-x)(1-y) = 1-(1-x-y+xy) = x+y - xy. (Note that 1 v 1 = 1 + 1 - 1x1 = 1 as desired for Boolean algebra.) Then we have Boolean algebra for 0 and 1 and an extension that can be thought of as probabilistic for values between</div><div class="">0 and 1. Note that ~(1/2) = (1/2) so there is a Third Value that sits on the fence. Since this works for 0 and 1, you can write a computer program with these formulas and then compute in Boolean by taking 0 and 1 values.</div><div class="">Best,</div><div class="">Lou</div><div class=""><br class=""><div class=""><br class=""><blockquote type="cite" class=""><div class="">On May 1, 2024, at 1:40 AM, <a href="mailto:joe.brenner@bluewin.ch" class="">joe.brenner@bluewin.ch</a> wrote:</div><br class="Apple-interchange-newline"><div class=""><font size="3" class="">Dear Krassimir,</font><div class=""><font size="3" class=""><br class=""></font></div><div class=""><font size="3" class="">You and others interested in this form of epistemic logic should by all means look at the 3VL neutrosophic logic of the Romanian-American Florentin Smarandache at the U. of New Mexico. It is a highly sophisticated fuzzy intuitionist logic that offers more operators than simple ternary logic.</font></div><div class=""><font size="3" class=""><br class=""></font></div><div class=""><font size="3" class="">As I discussed with Florentin some ten years ago, there is <i class="">no </i>relation between neutrosophic logics and an ontological logic of processes. They can be applied without reference to it.</font></div><div class=""><font size="3" class=""><br class=""></font></div><div class=""><font size="3" class="">Best wishes,</font></div><div class=""><font size="3" class="">Joseph<br class=""></font><blockquote style="margin-right: 0px; margin-left:15px;" class="">----Message d'origine----<br class="">De : <a href="mailto:itheaiss@gmail.com" class="">itheaiss@gmail.com</a><br class="">Date : 30/04/2024 - 22:09 (E)<br class="">À : <a href="mailto:fis@listas.unizar.es" class="">fis@listas.unizar.es</a><br class="">Objet : [Fis] The ternary logic<br class=""><br class=""><div dir="ltr" class=""><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">Dear Kate,<br class=""></font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">I want to point out that my note was just one variation of the well-known ternary logic. </font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">The ternary logic, or three-valued logic (3VL), is a logic system with three truth values: TRUE, FALSE, and UNKNOWN. It is superior to binary logic, but because of the significantly larger set of 27 unary operators, the engineer who created the first electronic computer (do you know who he was?) preferred the simpler binary (Boolean) logic. </font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">Boolean logic allows 2<sup class="">2</sup> = 4 unary operators; the addition of a third value in ternary logic leads to a total of 3<sup class="">3</sup> = 27 distinct operators on a single input value.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">At the same time, if we want to achieve development in the field of artificial intelligence and its applications, it is better to use ternary logic. It can be implemented programmatically without much effort, so it is not a question of implementation, but rather of using it expediently.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">For instance the database structural query language SQL implements ternary logic as a means of handling comparisons with NULL field content. NULL was originally intended to be used as a sentinel value in SQL to represent missing data in a database, i.e. the assumption that an actual value exists, but that the value is not currently recorded in the database. In SQL, the intermediate value is intended to be interpreted as UNKNOWN.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">In the 3VL logic based on -1,0,1 the intermediate value is 0. </font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">Thank you Kate for the very interesting interpretation of intermediate value for the case of emotions!</font></p><div style="margin: 0cm 0cm 10pt; line-height: 115%;" class=""><font size="4" face="tahoma, sans-serif" class=""> </font><br class="webkit-block-placeholder"></div><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">Dear Stu,</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">I would like to touch briefly on the "Hindu Jain concept of Unmanifest, True, Unmanifest, False" you noted.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">This is not analogous to "I don't know," because "I don't know" means "I have no way of knowing." This is a ternary logic - "Yes", "No" and "Unknown".</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">In my opinion, "Unmanifest, True, Unmanifest, False", is based on the recommendation to perceive reality as "it is" and at the same time as "it is not", qualified with "perhaps", to understand Absolute Reality. This is a variant of binary logic, in probably one of its oldest versions.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">I will recall that any change in a given entity, as a result of interaction with another (= reflection = data = ontological information), only after being recognized by the Infos (= human = agent = subject) becomes a mental model (= information = data with meaning = knowledge = epistemological information). </font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">This is what leads to the confusion of what "information" is, because in everyday life we use the term “information” for both data and knowledge. And in fact, information appears during the transition from data to knowledge, which takes place in the temporary (working) memory of the brain. Data enters it, is recognized, and is perceived as information (the data acquires meaning), after which it is stored in long-term memory. Thus, the temporary memory can be considered as a converter of the data coming at the input into information that is stored in the permanent memory and we usually call "knowledge". The opposite transition from knowledge to data is possible.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">But the reflection (the data, the ontological information) may not be recognized by the Infos (= human = agent = subject) and, under certain conditions, continue to exist in long-term memory as a reflection without meaning. This is exactly the case with "I don't know". Thus we enter the ternary aspect of consciousness, which is actually the engine of knowledge because it leads to the generation of new mental models.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">If we make an analogy with Schrödinger's Cat, then in ternary logic the observation can give one of three answers: "The cat is alive", "The cat is dead", "That in the box is not a cat and one cannot recognize what it is"!</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">This suggests that our brain is not quantum, but a vastly more complex system.</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">If we want the Jain concept to become a ternary, then we should have three concepts - "Unmanifest, True", "Unmanifest, False", and "Unmanifest, Unknown ".</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">With respect,</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">Krassimir</font></p><p class="MsoNormal" style="margin: 0.0cm 0.0cm 10.0pt;line-height: 115.0%;"><font size="4" face="tahoma, sans-serif" class="">PS: In the future, possibly it will be interesting to discuss information trialectics philosophy.</font></p><div style="margin: 0cm 0cm 10pt; line-height: 115%;" class=""><font size="4" face="tahoma, sans-serif" class=""> </font><br class="webkit-block-placeholder"></div>
</div>
<div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" class="">
<br class="">
<table style="border-top: 1.0px solid rgb(211,212,222);" class="">
<tbody class="">
<tr class="">
<td style="width: 55.0px;padding-top: 13.0px;" class=""><a href="https://urldefense.com/v3/__https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail__;!!D9dNQwwGXtA!VEMGhAxaHDmNW0s1TsN4Kvo6Bqbit42kgoNFOJ8e5TeyjrPJHTIhFL_NaFENoszHWLzq28bJo5hkqquzFxI$" class=""><img src="https://s-install.avcdn.net/ipm/preview/icons/icon-envelope-tick-round-orange-animated-no-repeat-v1.gif" alt="" width="46" height="29" style="width: 46.0px;height: 29.0px;" class="" data-unique-identifier=""></a></td>
<td style="width: 470.0px;padding-top: 12.0px;color: rgb(65,66,78);font-size: 13.0px;font-family: Arial , Helvetica , sans-serif;line-height: 18.0px;" class="">Няма вируси<a href="https://urldefense.com/v3/__https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail__;!!D9dNQwwGXtA!VEMGhAxaHDmNW0s1TsN4Kvo6Bqbit42kgoNFOJ8e5TeyjrPJHTIhFL_NaFENoszHWLzq28bJo5hkqquzFxI$" style="color: rgb(68,83,234);" class="">www.avast.com</a></td>
</tr>
</tbody>
</table>
<a href="https://urldefense.com/v3/__https://rich-v02.bluewin.ch:443/*DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2__;Iw!!D9dNQwwGXtA!WgzyecoEIbxbZWHRj99L3XPKc4qBfYp3gelFpWgVSpIjq4vUeDDJXW91IwIZO2blbH9nRlNCcwB8S0jgRRLonxZjNKU$" width="1" height="1" class=""></a>
</div><br class=""></blockquote><br class=""><div class=""><br class="webkit-block-placeholder"></div></div>_______________________________________________<br class="">Fis mailing list<br class=""><a href="mailto:Fis@listas.unizar.es" class="">Fis@listas.unizar.es</a><br class=""><a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" class="">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a><br class="">----------<br class="">INFORMACI�N SOBRE PROTECCI�N DE DATOS DE CAR�CTER PERSONAL<br class=""><br class="">Ud. recibe este correo por pertenecer a una lista de correo gestionada por la Universidad de Zaragoza.<br class="">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 class="">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 class="">http://listas.unizar.es<br class="">----------<br class=""></div></blockquote></div><br class=""></div><span class="">_______________________________________________</span><br class=""><span class="">Fis mailing list</span><br class=""><span class=""><a href="mailto:Fis@listas.unizar.es" class="">Fis@listas.unizar.es</a></span><br class=""><span class=""><a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" class="">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a></span><br class=""><span class="">----------</span><br class=""><span class="">INFORMACIÓN SOBRE PROTECCIÓN DE DATOS DE CARÁCTER PERSONAL</span><br class=""><span class=""></span><br class=""><span class="">Ud. recibe este correo por pertenecer a una lista de correo gestionada por la Universidad de Zaragoza.</span><br class=""><span class="">Puede encontrar toda la información sobre como tratamos sus datos en el siguiente enlace: <a href="https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas" class="">https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas</a></span><br class=""><span class="">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.</span><br class=""><span class=""><a href="http://listas.unizar.es" class="">http://listas.unizar.es</a></span><br class=""><span class="">----------</span><br class=""></div></blockquote></div></div></div></div></blockquote></div><br class=""></div></body></html>