<div dir="ltr"><div dir="ltr">I'm not a huge fan of larding.... but I'm going to attempt it below. <br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><br clear="all">-----------<br><div dir="ltr">Eric P. Charles, Ph.D.<br>Department of Justice - Personnel <span>Psychologist</span></div><div>American University - Adjunct Instructor</div><div></div></div><div dir="ltr"><a href="mailto:echarles@american.edu" target="_blank"></a></div></div></div></div></div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 27, 2020 at 12:09 AM Jon Zingale <<a href="mailto:jonzingale@gmail.com">jonzingale@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div style="font-family:verdana,sans-serif;font-size:small"><span style="color:rgb(51,51,51)">Thank you, Nick and Eric, for the corrections, direction, and help as I<br>grapple with these ideas that you both are so familiar with. Taking a<br>step back, it appears that evolutionary theorists identify <i>function</i> in<br>the <i>epiphenomena</i> arising from <i>underlying mechanisms</i>. </span><font color="#3d85c6"><I'm not sure what you mean by "mechanism" here, but I'm leaning towards agreement. Function can be identefied independent of mechanism.> </font><font color="#333333">What connection the</font><br><font color="#333333">epiphenomena have to the mechanisms can often be elusive, illusory, and</font><br><font color="#333333">hotly debated. </font><font color="#3d85c6"><Yes. Nick and I have been putting forth well worn examples, but in the moment there is often hot debate, including assertions that certain complex phenomena are non-functional (spandrals, genetic drift, etc.). For example, there are decades of arguments about the function of primate mating strategies (monogy, polyandry, polygyny), the liturature is huge and gnarled.></font><font color="#333333"> Must the mechanisms related to a flowing river give rise</font><br><font color="#333333">to a meaningful[Ȣ] function? Moreover and seemingly less to the point,</font><br><font color="#333333">evolutionary functions are sought after that can be identified as being</font><br><font color="#333333">preserved inter-generationally in some sense. </font><font color="#3d85c6"><Well... kinda....  I would say that, among evolutionary biologists, "Because it serves an evolutionary function" is a strongly desired answer to the question "Why did X preserve inter-generationally?"> </font><font color="#333333">The survival of gulls is</font><br><font color="#333333">an </font><i style="color:rgb(51,51,51)">unintended consequence</i><font color="#333333"> of selection upon eggshell removal. </font><font color="#3d85c6"><I'm not sure I would phrase it that way, but it seems like a plausible phrasing. That would be one way of emphasizing the "natural" part of the "natural selection" metaphor. Gulls that removed egg shells out-reproduced those that did not and, as a result, over countless generations, we now only have gulls that remove egg shells. (In that species.) However, contra examples of domestic-animal selection, there is no being that is intendeding the consequence for the gulls; and in that sense, it <i>is</i> unintended.></font><br><font color="#333333">While </font><i style="color:rgb(51,51,51)">goals</i><font color="#333333"> are related to the satisfaction of the individual, the</font><br><i style="color:rgb(51,51,51)">function</i><font color="#333333"> is not so simply defined. As Nick has pointed out many times in</font><br><font color="#333333">our conversations, </font><i style="color:rgb(51,51,51)">function</i><font color="#333333"> may better be understood in relation to a</font><br><font color="#333333">concept of </font><i style="color:rgb(51,51,51)">design</i><font color="#333333">[‖]. Perhaps it would be better to imagine </font><i style="color:rgb(51,51,51)">function</i><font color="#333333"> as</font><br><font color="#333333">needing to satisfy the specification of some </font><i style="color:rgb(51,51,51)">design</i><font color="#333333">[※]. </font><font color="#3d85c6"><Yes, in Nick's solution to various conceptual problems in evolutionary theory, "function" and "design" and "adaptation" become roughly (possibly completely) synonymous. The three terms get at the way the organism matches it's circumstances, which we can only tell through experimentation and higher-order comparisons of various kinds.> </font><font color="#333333">The styrofoam</font><br><font color="#333333">herding robot </font><i style="color:rgb(51,51,51)">knows nothing</i><font color="#333333"> of styrofoam, the bent metal in my thermo-</font><br><font color="#333333">stat </font><i style="color:rgb(51,51,51)">knows nothing</i><font color="#333333"> of comfort, the maple pod </font><i style="color:rgb(51,51,51)">knows nothing</i><font color="#333333"> of the</font><br><font color="#333333">journey or what it means to be distributed evenly, and the gull makes</font><br><font color="#333333">no connection between removing shells and predation. However the theory</font><br><font color="#333333">is to account for function, it will need to be in a language capable of</font><br><font color="#333333">describing </font><i style="color:rgb(51,51,51)">side effects</i><font color="#333333"> as </font><i style="color:rgb(51,51,51)">first-class citizens</i><font color="#333333">. </font><font color="#3d85c6"><That sounds promissing.></font><br><br><font color="#333333">Eric relates the discovery of a goal-function distinction in evolutionary</font><br><font color="#333333">theory to the discovery of the surface tension-PH distinction in chemistry.</font><br><font color="#333333">Whether intentionally identified or just a side effect of his argument,</font><br><font color="#333333">surface tension and PH are decidedly examples of intensive quantities and</font><br><font color="#333333">so are of a type best characterized by contravariant functors[⁂]. </font><font color="#3d85c6"><It would seem that was accidental, but maybe it was a fortuitous accident!></font><font color="#333333"> The</font><br><font color="#333333">connections here to contravariant logical notions (pullbacks, sections,</font><br><font color="#333333">equalizers, finite limits, etc...) may have very real manifestations wrt</font><br><font color="#333333">how we </font><i style="color:rgb(51,51,51)">must</i><font color="#333333"> investigate such ideas </font><i style="color:rgb(51,51,51)">empirically</i><font color="#333333">. Ideas like this are</font><br><font color="#333333">hinted at in Lawvere's work, but also seem to trace back further to</font><br><font color="#333333">thinkers like Clifford Truesdell and others that struggled with rational</font><br><font color="#333333">thermodynamics. From what I gather from those works, there ought</font></div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">to be a tight connection between the logic of a notion and the methods</div><div style="font-family:verdana,sans-serif;font-size:small"><span style="color:rgb(51,51,51)">we employ in coming to understand the notion. </span><font color="#3d85c6"><This whole paragraph sounds plausible... but it would probably be a pretty long discussion before I fully understood what you were getting at. The last part sounds very Pragmatic (philosophically).><br></font><br></div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">To the extent that this much may be passable, I hope to find some time<br>this week to work through the possible connection to contravariant<br>functors, to reason further in analogy to free constructions, and extend<br>the analogy to <i>exaptations</i> and <i>spandrels</i>. Again, I invite additional<br>corrections, comments, and nuance.<br></div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)"><br></div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)">Jon</div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)"><br>[Ȣ] By meaningful I exactly mean non-arbitrary. I would say that notions<br>like <i>energy</i> and <i>momentum</i> are <i>meaningful</i> to the physicist, for instance,<br>not because they are <i>arbitrary</i> but because they have a <i>privileged</i> place<br>relative to the <i>art</i> and the artisans that work there. The scientific<br>enterprise is a meaning-making enterprise and to say that such-and-such<br>idea is meaningful to the artisan is to emphasize its value relative to the art.<br><br>[‖] In a parallel post, I attempt to spell out a mathematical construction<br>that I believe can be an example if not a template relating design,<br>epiphenomena, and higher-order structure in mathematics. That this<br>construction can alternatively be interpreted as a post hoc justification,<br>gives a limiting case for not needing a designer to have a <i>design</i>.</div><div style="font-family:verdana,sans-serif;font-size:small;color:rgb(51,51,51)"><a href="http://friam.471366.n2.nabble.com/How-is-a-vector-space-like-an-evolutionary-function-td7597965.html" target="_blank">http://friam.471366.n2.nabble.com/How-is-a-vector-space-like-an-evolutionary-function-td7597965.html</a><br><br>[⁂] Footnoted again, but this time with an added emphasis on page 20:<br><a href="https://altexploit.files.wordpress.com/2017/06/1992-categories-of-space-and-quantity.pdf" target="_blank">https://altexploit.files.wordpress.com/2017/06/1992-categories-of-space-and-quantity.pdf</a><br>"<i>By contrast, an intensive quantity-type is a contravariant functor,<br>taking coproducts to products, from a distributive category, but now a<br>functor whose values have a multiplicative structure as well as an<br>additive structure.</i>"<br><br>[※] To act as touchstones, I am adding this list of functions:<br>1. herd styrofoam (<a href="http://www.verena-hafner.de/teaching/didabots.pdf" target="_blank">http://www.verena-hafner.de/teaching/didabots.pdf</a>)<br>2. maintain a comfortable temperature in the house<br>3. spread seeds far and evenly<br>4. avoid predation<br></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" target="_blank">bit.ly/virtualfriam</a><br>
un/subscribe <a href="http://redfish.com/mailman/listinfo/friam_redfish.com" rel="noreferrer" target="_blank">http://redfish.com/mailman/listinfo/friam_redfish.com</a><br>
archives: <a href="http://friam.471366.n2.nabble.com/" rel="noreferrer" target="_blank">http://friam.471366.n2.nabble.com/</a><br>
FRIAM-COMIC <a href="http://friam-comic.blogspot.com/" rel="noreferrer" target="_blank">http://friam-comic.blogspot.com/</a> <br>
</blockquote></div></div>