COLUMBIA PHILOSOPHY COLLOQUIUM
Logic in Games
Johan van Benthem (Amsterdam/Stanford)
Thursday, November 15, 2012, 4:10 – 6:00 PM
716 Philosophy Hall, Columbia University
Abstract. In recent decades, logic has been applied in the foundations of game theory, and this makes sense as a capping stone for the philosophical logic tradition of studying various dimensions of information-driven agency. But at the same time, the core notions of logic themselves can be cast as games, and a thriving theory has sprung up around this perspective, especially at interfaces with computer science. I will compare these two perspectives of logic of games versus logic as games, discuss some results about their connections, and raise the question what this contrast tells us about logic.
Reception to follow