Logic, Linguistics, and Intelligent Interaction In logic the distinc-

tions between language, interpretation and communication are quite clear, in natural language understanding less so. But maybe natural language se-mantics has something to learn from new directions in logic. A first lesson was taught by Richard Montague long ago, but there are some new things to learn now. Logic, narrowly conceived, is the design and use of formal languages for thought, the study of their strengths and limitations (the trade-off between expressive power and complexity), and the use of these tools in clarifying what goes on in the mind of a mathematician, or in the memory of a com-puter carrying out a program. Montague’s lesson for NL understanding was that NL can be studied with the methods from logic. Broadly conceived, logic is the study of intelligent interaction, ratio-nal adjustment on the basis of evidence, transformation of our conceptu-alisations of the world on the basis of received information. See [1] for an overview, and for a logic textbook emphasizing this broader perspective