Universiteit van Amsterdam


Institute for Logic, Language and Computation

13 November 2017, AUC Logic Lectures Series, Johan van Benthem

Speaker: Johan van Benthem
Title: Logic and Information flow
Date: Monday 13 November 2017
Location: AUC Common Room, Science Park 113, Amsterdam

Logic is about valid reasoning, which can be seen as a form of elucidating information from data already at our disposal. Logic can also deal with other forms of information flow, by observation or by communication. We will discuss how this can be done, and whether in the end there is just one or several notions of information involved in logic.