This is the third of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.

Our walk starts with quantifier expressions like "all", "some" which underlie both ordinary language and the mathematical language of science. We look at the history of logical systems for quantifiers, flagging some issues very much alive today, such as the interplay of formal and natural languages, fast practical quantifier inference versus slow conscious deductive proof, compositionality and recursion, and interfaces with probability. These topics show logic as a design lab, but also as a cross-roads where many academic disciplines meet and interact.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

The meeting will be followed by Christmas drinks until 21:00. As usual, we would appreciate it if people would bring along some traditional food to accompany the Christmas drinks. The ILLC Office will hang up a form in the Common Room on which you can indicate what you intend to make. We look forward to some delicious international Christmas food!

Glenn Shafer is one of the founders of Game-Theoretic Probability, an alternative to Kolmogorov's measure-theoretic foundations for probability. In this lecture he will talk about new game-theoretic underpinnings for statistics.