Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

10 December 2018, AUC Logic Lectures Series, Johan van Benthem

Speaker: Johan van Benthem (ILLC/UvA, Stanford, Tsingua)
Title: Logic, the Art of Walking at Interfaces
Date: Monday 10 December 2018
Time: 18:00-19:00
Location: AUC Common Room, Science Park 113, Amsterdam

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.

Please note that this newsitem has been archived, and may contain outdated information or links.