PP-2016-27: Logic in Play

PP-2016-27: van Benthem, Johan (2016) Logic in Play. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (538kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


Going beyond the traditional focus on consequence and inference, logic can be broadened to an exact theory of general information-­driven agency drawing on many sources, without giving up on its well-­established mathematical modus operandi. We show how this broader agenda involves the design of new kinds of dynamic logics for action, information, knowledge update, and belief change, and eventually, entangled with these, agents’ preferences and goals. In particular, we explore several active interfaces of logic and games, where all these themes come together in natural concrete scenarios, ending up with advocating a move from game theory to a theory of play. Our presentation throughout takes the form of discussing typical examples, identifying major themes and suggesting new open problems concerning logic and agency. Finally, we explore what taking this agency-­based perspective means for a variety of fields, including philosophy, linguistics, and game theory– and we conclude with some thoughts on what logic is, or can become, in the perspective presented here.

Note: This is the text of the invited opening lecture at the Congress of Logic, Methodology and Philosophy of Science * ASL Logic Colloquium (Helsinki 2015). It will appear in the Proceedings of the DLMPS Congress, edited by Hannes Leitgeb, Elliott Sober and Dag Westerståhl, College Publications, London.

Item Type: Report
Report Nr: PP-2016-27
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: logic, information, agency, games
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/563

Actions (login required)

View Item View Item