[FRIAM] intension/extension

[Jon Zingale]

Nick,

The *tension* in the discussion was mostly between
two subtly different words: Intentionality
<https://plato.stanford.edu/entries/intentionality/> as found
in the work of Bretano and intensionality
<https://plato.stanford.edu/entries/logic-intensional/> as found
in the work of Church. While Church did invent
the lambda calculus, the precursor to functional
languages, he himself was a logician.

Jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200516/32183623/attachment.html>