<div dir="ltr">Bruno, Joseph -- The unity of the sciences comes from the fact that one understands sociality by way of biology, and one understands biology by way of chemistry, and then one understands chemistry by way of physics. Thus, the subsumptive hierarchy:<div><br></div><div>{physics {chemistry {biology {sociality}}}}</div><div><br></div><div>Comte, I think first showed us this.</div><div><br></div><div>STAN</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Feb 5, 2016 at 10:31 AM, Bruno Marchal <span dir="ltr"><<a href="mailto:marchal@ulb.ac.be" target="_blank">marchal@ulb.ac.be</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Dear Loet,<div><br></div><div>Sorry for bumping this old post, but I cannot resist (I tried!) to add my grain of salt.<br><div><br></div><div><br><div><div>On 21 Oct 2015, at 08:37, Loet Leydesdorff wrote:</div><br><blockquote type="cite"><span style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;font-size:medium"><div lang="EN-US" link="#0563C1" vlink="#954F72"><div><div style="margin-top:0in;margin-right:0in;margin-left:0.5in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">Self-reference is a key principle in art and humor and it may also be a key component of the structured coherence in science Pedro and we are seeking.<u></u><u></u></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black">Dear Joseph:<u></u><u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black"><u></u> <u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black">Do not count me in to the “we”, please. In my opinion, these “unity of science” principles are outdated. At issue is to specify how the sciences and specialties are different; in which respects and why? Obviously, the boundaries are fuzzy, since what may seem far distanced from one perspective can be nearby from another (e.g. in terms of the metrics used for the measurement such as in the case of biometrics and econometrics).<u></u><u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black"><u></u> <u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black">These distinctions are not to be identified into a single “self” of the self-reference, but to be dissolved (differentiated) in discourse. They are carried by the communication in science & technology studies or more broadly (since including the science/society interface) in the information sciences. The “self” is not transcendental to these discourses, but reflexive insofar as one has the communicative competencies to listen and – if so wished -- to participate.<u></u><u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black"><u></u> <u></u></span></div><div style="margin-top:0in;margin-right:0in;margin-left:0in;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><span style="color:black">The distinctions (such as the ones between your five schemes) may be useful heuristics. The puzzles have then to be specified.</span></div></div></div></span></blockquote><div><br></div><div><br></div><div>I think that I might agree with Pedro and Joseph. The unity of science should be preserved, despite this is hard to do when specialities lost themselves in gigantic territories. </div><div>This eventually made the search of unity in science into a "new' science, or perhaps, if we assume the conceptually strong hypothesis of Mechanism (Descartes/Turing) into the oldest of all sciences: theology.</div><div><br></div><div>In that case we can define a straitforward notion of self: the representation of the body of the machine in its brain. Descartes sought fort his without finding it, and Hanz Driesch, with embryology in mind, pretended this could not exist, due to the apparent infinite looping most naïve attempts seem to lead to. But von Neuman, and more conceptually Stephen Kleene solved that problem. John Case solved the more complex embryological problem. The basic idea is contained in the Dx =>T(xx) trick: DD will give (=>) T(DD), that is the transformation T on itself.</div><div><br></div><div>And I agree that there is nothing transcendental in that notion of self.</div><div><br></div><div>But that notion is third person descriptible, which is not the case for the first person "I", which is the one who know, notably when it has some headache, plain or some pleasure.</div><div><br></div><div>To get this one, Theatetus suggested to attach the "believer" ([]p) with "truth" (p), and we know today that such notion of truth, and thus of knowledge ([]p & p) is transcendental.</div><div><br></div><div>It is transcendental in two sense: truth (even just the arithmetical truth) is not exhaustible. </div><div>- It escape *all* semi-effective (proof-checkable) theories.</div><div>- it is not nameable or definable by the machine (as Gödel and Tarski saw).</div><div><br></div><div>But that transcendental aspect, which is forced by logic, is available by the machine. So a universal machine can know that she is universal, and that makes her know that there is an unavoidable gap between its beliefs and truth, and that it can be used to explain why consciousness and knowledge seem so hard/impossible to define. In fact the theology of the machine introduces many nuance about that self: which correspond at different fields of research (p, the truth, []p, provability/believability, []p & p (knowledge, epistemology), []p & <>p (observability, as explained earlier or in my papers), and []p & <>t & p (sensibility, qualia).</div><div><br></div><div>The unity here is given by a belief in Truth, the original main God of Plato/Parmenides/Plotinus. It is the truth we can search, and perhaps knows aspects on it, but never as such: doubt must remain for reason of self-consistency. </div><div>With Mechanism, we can limit Truth to first order arithmetical truth, and all other notion (second order truth, analysis) can be put in the epistemology of the machine. Infinities only makes proof shorter. </div><div><br></div><div>So, the unity of science is not a problem, if we come back to modesty in theology. The main formula from which all this can be derived is sometimes called the formula of modesty: []([]p -> p) -> []p (Löb formula), which is both akin to the view of the scientific attitude as essentially the doubting view (from Descartes to Popper) and to the religious attitude of staying humble in front of the Unknown. In that setting, the original sin is when we separate theology from science, and that is what threat the unity of science.</div><div><br></div><div>I like to say that only bad faith fear reason, and only bad reasons fear faith. Faith is always faith in some form of unity or unification of knowledge.</div><div><br></div><div>Best,</div><div><br></div><div>Bruno</div><div><br></div><div>PS I don't find the five scheme you mentioned. It would be nice to see if they are related to the five platonic hypostases, or the five first affirmative hypothesis of Parmenides, as those are related to the five nuances mentioned above of self-reference.</div><div><br></div><blockquote type="cite"><span style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:-webkit-auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;font-size:medium"><div lang="EN-US" link="#0563C1" vlink="#954F72">_______________________________________________<br>Fis mailing list<br><a href="mailto:Fis@listas.unizar.es" style="color:rgb(5,99,193);text-decoration:underline" target="_blank">Fis@listas.unizar.es</a><br><a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" style="color:rgb(5,99,193);text-decoration:underline" target="_blank">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a><br></div></span></blockquote></div><br><div> <span style="border-collapse:separate;color:rgb(0,0,0);font-family:Helvetica;font-size:12px;font-style:normal;font-variant:normal;font-weight:normal;letter-spacing:normal;line-height:normal;text-align:auto;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div style="word-wrap:break-word"><div><a href="http://iridia.ulb.ac.be/~marchal/" target="_blank">http://iridia.ulb.ac.be/~marchal/</a></div><div><br></div></div></span><br> </div><br></div></div></div><br>_______________________________________________<br>
Fis mailing list<br>
<a href="mailto:Fis@listas.unizar.es">Fis@listas.unizar.es</a><br>
<a href="http://listas.unizar.es/cgi-bin/mailman/listinfo/fis" rel="noreferrer" target="_blank">http://listas.unizar.es/cgi-bin/mailman/listinfo/fis</a><br>
<br></blockquote></div><br></div>