<div dir="ltr"><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Nick,</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">The <i>tension</i> in the discussion was mostly between</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">two subtly different words: <a href="https://plato.stanford.edu/entries/intentionality/">Intentionality</a> as found</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">in the work of Bretano and <a href="https://plato.stanford.edu/entries/logic-intensional/">intensionality</a> as found</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">in the work of Church. While Church did invent</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">the lambda calculus, the precursor to functional</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">languages, he himself was a logician.</div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333"><br></div><div class="gmail_default" style="font-family:garamond,serif;font-size:small;color:#333333">Jon</div></div>