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.

12 December 2016, AUC Logic Lectures, Johan van Benthem

Speaker: Johan van Benthem
Title: Reasoning about Quantity
Date: Monday 12 December 2016
Time: 18:00-19:00
Location: AUC Common Room, Science Park 113

Abstract

Logicians have studied reasoning with quantifier expressions like "all", "some" ever since Antiquity, as these underlie both ordinary language and the mathematical language of science. We look at the history of logical systems for quantifiers, flagging intriguing issues still alive today, such as the interplay of formal and natural languages (with philosophical repercussions), expressive power of language for discrete and continuous quantities, and fast natural quantifier inference versus slow deductive proof. If time permits, we will add a coda about epistemic expressions in natural language.

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