Gil Sagi (Ludwig-Maximilians-Universität München) "What is a Fixed Term?"
In standard model-theoretic semantics, logical terms are said to be fixed in the system while nonlogical terms remain variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing them precisely amounts to. My proposal is that when a term is considered logical in a system, what gets fixed is its intension rather than its extension. I provide a rigorous way of spelling out this idea. Further, I...
Please join us for our regular reminder-and-celebration-of-our-humanity at the Emerson Hall Poetry Night!
If you're a newcomer, the basic idea is this: people sign up for ten-minute slots during which they can read their own poetry or any other poetry that they really like (or really, anything creative that has poetic qualities).
So, come to read or just to listen! And bring your significant other, friend, family members, etc. People from all departments are welcome. There will be drinks and snacks, good poetry and excellent company. We hope to see you there!