van Benthem: Logic in Games

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

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s