AUC Logic Lectures: Logic and Information Flow
Starting from logical patterns in inferences, we broaden our scope to other information-producing actions such as questions and observations. These, too, have valid patterns that can be described using techniques from modern logic. Finally, we discuss the foundational issue of two complementary perspectives on logic: as a description of laws about an unchanging reality, and as a provider of forms of rational social activity.
Prof. Dr. Johan van Benthem is a University Professor emeritus of pure and applied logic, University of Amsterdam; Henry Waldgrave Stuart Professor of Philosophy, Stanford University (philosophy and CSLI); Changjiang Professor, Chinese Ministry of Education, Tsinghua University, Beijing; Co-director, UvA-Tsinghua joint research center in logic. He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015. Van Benthem is known for his research in the area of modal logic. He has also been active in the fields of philosophy of science, logical structures in natural language (generalised quantifiers, categorial grammar, substructural proof theory), dynamic logic and update logic, and applications of logic to game theory as well as applications of game theory to logic (game semantics).