- Posted by Beatrice
- On 06/10/2018
- 0 Comments
via della Pergola 60
Thursday, 6 March 2020
Johann van Benthem (ILLC Amsterdam, Stanford University and Beijing University)
Zoom Levels at the Interface of Logic and Games
Abstract: Logic and games meet in many ways. Logic can be used to analyze games, games can also be used to analyze logic, logic can help design new games, and so on. After presenting a whirlwind overview, we will discuss just one pervasive thread across the current landscape: viz. the existence of different natural ‘zoom levels’ in looking at game structure, linked to different notions of structural invariance between games. Our first example is Backward Induction: once in terms of a fine-grained fixed-point logic of computation, and next, in terms of a coarse-grained deontic logic of ‘best action’. Our second example is strategic action in games of imperfect information, first in terms of rich dynamic-epistemic logics of agency, and then in terms of global logics reasoning in terms of powers and dependence. We conclude by highlighting the importance of zoom levels in logic generally, as a way of seeing coherence, despite the growing diversity in logical systems.
• A. Baltag & J. van Benthem, 2019, ‘A Minimal Logic of Functional Dependence’, ILLC, University of Amsterdam. • J. van Benthem, 2014, Logic in Games, The MIT Press, Cambridge, Mass. • J. van Benthem & D. Klein, 2019, ‘Logics for Analyzing Games’, Stanford On-Line Encyclopedia of Philosophy, Stanford. • J. van Benthem, N. Bezhanishvili & S. Enqvist, 2019, ‘A New Notion of Game Equivalence, Its Logic and Algebra’, Journal of Philosophical Logic, 10.1007/s10992-018-9489-7.