Title: Logic, Games, and Agency
Lecturer: Johan van Benthem (Professor of University of Amsterdam)
Chairperson: FENG Mian (Professor of Philosophy, East China Normal University)
Date: 3 pm, April 28th, 2016 (Thursday)
Venue: Room 5303, Building of School of Humanities, Minhang Campus, ECNU
Sponsor: Si-mian Institute for Advanced Studies in Humanities, ECNU
Abstract of the Lecture:
Logic and human agency form a natural field of investigation, and have done so ever since logic started. Influences from many disciplines meet at this interface today, ranging from philosophy to computer science, economics, and cognitive science. I will discuss some major current themes in logic and agency, with a focus on games as a unifying paradigm. I will also point out some major foundational challenges that face us in this setting.
Brief Introduction of the Lecturer:
Johan van Benthem was born in Dutch in 1949. He received the doctorate of science form University of Amsterdam in 1977. And now he is the professor of University of Amsterdam, and the Henry Waldgrave Stuart Professor in Philosophy, Stanford University. He is the member of Royal Dutch Academy of Sciences. He was the Weilun Professor, School of Humanities and Social Sciences, Tsinghua University from 2008 to 2009, and was the Distinguished International Expert, Chinese Ministry of Education in 2010. His main research fields are logical model theory, modal logic and applications of logic to philosophy, linguistics, computer science and cognitive science.