<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Daer Krassimir, List<br>
<br>
I basically support what you are saying. I understand the
mathematics you presented, I am good at mathematics and studied
logic with some of the best. However, and this is a big however,
giving a mathematical or logical proof by itself, in its formalism,
does not show anything at all. One has to be able to connect teh
mathematics to experience in a comprehensible way. This was partly
the topic of my dissertation, and I take a basically Peircean
approach, though there are others that are pretty strong as well.<br>
<br>
I fgenerally skip over the mathematics and look for the empirical
connections. If I find them, then generally all becomes clear.
Without this, the formalism is nothing more than formalism. It does
not help to give formal names to things and assume that this
identifies things, Often trying to follow up approaches kine this is
a profound waste of time. I try to, and often am able to, express my
ideas in a nonformal way. Some mathematically oriented colleagues
see this as automatically defective, since they think that formal
representation is all that really rigorously explains things. This
sort of thinking (in Logical Positivism) eventually led to its own
destruction as people started to ask the meaning of theoretical
terms and their relation to observations. It is a defunct and self
destructive metaphysics. Irt leads nowhere -- my PhD thesis was
about this problem. It hurts me to see people making the same
mistake, especially when it leads them to bizarre conclusions that
are compatible with the formalism (actually, it is provable that
almost anything is compatible with a specific formalism, up to
numerosity).<br>
<br>
I don't like to waste my time with such emptiness,<br>
<br>
John<br>
<br>
<div class="moz-cite-prefix">On 2018/02/25 6:22 PM, Krassimir Markov
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:22A2426DE7054AA5A18459F2F8B95271@VaioMarkov">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<style style="DISPLAY: none" type="text/css"><!-- P {margin-top:0;margin-bottom:0;} --></style>
<div dir="ltr">
<div style="FONT-SIZE: 14pt; FONT-FAMILY: 'Calibri'; COLOR:
#000000">
<div><font size="4">Dear Sung,</font></div>
<div> </div>
<div><font size="4">I like your approach but I think it is
only a part of the whole.</font></div>
<div> </div>
<div><font size="4">1. <strong><em>The shadows are real</em></strong>
but only a part of the whole. What is needed is a
systematic research from what they are part.</font></div>
<div> </div>
<div><font size="4">2. About the whole now I will use the
category theory I have seen you like:</font></div>
<div> </div>
<div><font size="4"><em>CAT<sub>A</sub> => F => CAT<sub>B</sub>
=> G => CAT<sub>C</sub></em></font></div>
<div><font size="4"><em></em></font> </div>
<div><font size="4"><em>CAT<sub>A</sub> => H => CAT<sub>C</sub></em></font></div>
<div><em></em> </div>
<div><em><sub><font size="4">F ○ G = H</font></sub></em></div>
<div> </div>
<div><font size="4">where</font></div>
<div> </div>
<div><font size="4"><em>F</em>, <em>G</em>, and <em>H</em>
are <em><strong>functors</strong></em>;</font></div>
<div> </div>
<div><font style="size: 4"><font size="4"><em>CAT<sub>II</sub>
<font style="face: symbol" face="Symbol">Î</font> CAT</em>
is the category of <em><strong>information interaction
categories</strong></em>;</font></font></div>
<div> </div>
<div><font size="4"><em>CAT<sub>A </sub><font face="Symbol">Î</font>
CAT<sub>II</sub></em> and <em>CAT<sub>C</sub> <font
face="Symbol">Î</font> CAT<sub>II</sub></em> are the
categories of <strong><em>mental models’ categories</em></strong>;</font></div>
<div> </div>
<div><font size="4"><em>CAT<sub>B</sub> <font face="Symbol">Î</font>
CAT<sub>II</sub></em> is the category of <strong><em>models’
categories</em></strong>.</font></div>
<div> </div>
<div>
<div><font size="4">Of course, I will explain this in
natural language (English) in further posts. </font></div>
</div>
<div> </div>
<div><font size="4"><img class="wlEmoticon wlEmoticon-smile"
style="BORDER-TOP-STYLE: none; BORDER-BOTTOM-STYLE:
none; BORDER-RIGHT-STYLE: none; BORDER-LEFT-STYLE: none"
alt="Smile" src="cid:part1.DCF1CC3A.4AFFEF42@ncf.ca"></font></div>
<div>
<div><font size="4">;</font></div>
</div>
<div> </div>
<div><font size="4">Dear Karl,</font></div>
<div><font size="4">Thank you for your post – it is very
useful and I will discus it in further posts.</font></div>
<div><font size="4">;</font></div>
<div> </div>
<div><font size="4">Dear Pedro,</font></div>
<div><font size="4">Thank you for your nice words. </font></div>
<div><font size="4">Mathematics is very good to be used when
all know the mathematical languages.</font></div>
<div><font size="4">Unfortunately, only a few scientists are
involved in the mathematical reasoning, in one hand, and,
as the Bourbaki experiment had shown, not everything is
ready to be formalized. </font></div>
<div><font size="4">How much of FIS members understood what I
had written above?</font></div>
<div><font size="4">The way starts from philosophical
reasoning and only some times ends in mathematical formal
explanations.</font></div>
<div> </div>
<div><font size="4">Friendly greetings</font></div>
<div><font size="4">Krassimir</font></div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
</div>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Fis mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a>
<a class="moz-txt-link-freetext" href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a>
</pre>
</blockquote>
<br>
<div class="moz-signature">-- <br>
John Collier<br>
Emeritus Professor and Senior Research Associate<br>
Philosophy, University of KwaZulu-Natal, Durban<br>
<a href="http://web.ncf.ca/collier">Collier web page </a><br>
</div>
</body>
</html>