<div dir="auto">I may be completely misunderstanding but is intention what the actor intends while intension us what his action entails?  The two may coincide or overlap sometimes?<br><br><div data-smartmail="gmail_signature">---<br>Frank C. Wimberly<br>140 Calle Ojo Feliz, <br>Santa Fe, NM 87505<br><br>505 670-9918<br>Santa Fe, NM</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, May 16, 2020, 12:09 PM  <<a href="mailto:thompnickson2@gmail.com">thompnickson2@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div lang="EN-US" link="blue" vlink="purple"><div class="m_-7358461997476172673WordSection1"><p class="MsoNormal">Jon, <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">In my world, intenSionality arises within the frame of intenTional  utterances (or actions?) in which a state of affairs is framed within an a verb of explicit or implied mentation.  Or perhaps, when an action is directed toward a goal.  The hall mark of such intenTional utterances (or actions?) is implicative opacity:  From absolute certainty that A believes proposition [X] one can infer nothing about the truth of X or even the existence of any of the  objects that proposition [X] concerns.  Another way of putting this is that statements involving verbs of mentation are assertions about the organization of the behavior of actors, and say nothing about the world beyond that.  <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">What we were trying to do at the end of our conversation on Friday was construct some sort of a mapping from this understanding of the intention/extension distinction, rooted in ethology, and perhaps a bit of philosophy, to yours, rooted in programing, and perhaps also in another bit of philosophy.  And I thought we had a moment of sparking between those two worlds when you pointed out that some HUGE present of programming work consists in debugging, which I would consider to be removing from all the possible entailments of a statement (it’s EXtension) all those that are not within the INtention of the programmer.  <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">So, when you write a line of code such as “<b><i>1. Make me a ham sandwich”, </i></b>you intend the robot to assemble cheese and bread into something  you can eat, NOT to transform you into something edible.  And when the robot goes to the cupboard and gets out the butchering knives and smoking and salting tools, you realize that you need to debug the code.  <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">This is what I think you programmers ought to mean by the intension/extension distinction.  <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">What (again – forgive me – in citizen language) do you actually mean. <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">What is (to you) the intension of that distinction?<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">NIck<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Nicholas Thompson<u></u><u></u></p><p class="MsoNormal">Emeritus Professor of Ethology and Psychology<u></u><u></u></p><p class="MsoNormal">Clark University<u></u><u></u></p><p class="MsoNormal"><a href="mailto:ThompNickSon2@gmail.com" target="_blank" rel="noreferrer"><span style="color:#0563c1">ThompNickSon2@gmail.com</span></a><u></u><u></u></p><p class="MsoNormal"><a href="https://wordpress.clarku.edu/nthompson/" target="_blank" rel="noreferrer"><span style="color:#0563c1">https://wordpress.clarku.edu/nthompson/</span></a><u></u><u></u></p><p class="MsoNormal"> <u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><u></u> <u></u></p><div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0in 0in 0in"><p class="MsoNormal"><b>From:</b> Friam <<a href="mailto:friam-bounces@redfish.com" target="_blank" rel="noreferrer">friam-bounces@redfish.com</a>> <b>On Behalf Of </b>Jon Zingale<br><b>Sent:</b> Saturday, May 16, 2020 11:05 AM<br><b>To:</b> <a href="mailto:friam@redfish.com" target="_blank" rel="noreferrer">friam@redfish.com</a><br><b>Subject:</b> Re: [FRIAM] intension/extension<u></u><u></u></p></div><p class="MsoNormal"><u></u> <u></u></p><div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">Nick,<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">The <i>tension</i> in the discussion was mostly between<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">two subtly different words: <a href="https://plato.stanford.edu/entries/intentionality/" target="_blank" rel="noreferrer">Intentionality</a> as found<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">in the work of Bretano and <a href="https://plato.stanford.edu/entries/logic-intensional/" target="_blank" rel="noreferrer">intensionality</a> as found<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">in the work of Church. While Church did invent<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">the lambda calculus, the precursor to functional<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">languages, he himself was a logician.<u></u><u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333"><u></u> <u></u></span></p></div><div><p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Garamond",serif;color:#333333">Jon<u></u><u></u></span></p></div></div></div></div>-- --- .-. .-.. --- -.-. -.- ... -..-. .- .-. . -..-. - .... . -..-. . ... ... . -. - .. .- .-.. -..-. .-- --- .-. -.- . .-. ...<br>
FRIAM Applied Complexity Group listserv<br>
Zoom Fridays 9:30a-12p Mtn GMT-6  <a href="http://bit.ly/virtualfriam" rel="noreferrer noreferrer" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div>