PP-2016-27: van Benthem, Johan (2016) Logic in Play. [Report]
Preview |
Text (Full Text)
PP-2016-27.text.pdf Download (538kB) | Preview |
Text (Abstract)
PP-2016-27.abstract.txt Download (1kB) |
Abstract
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 |