Logic and the dynamics of information

Johan van Benthem, Amsterdam & Stanford

We discuss how issues of information and computation interact with logic today,
and what might be a natural extended agenda of investigation beyond traditional 
single-agent models of interpretation and reasoning. The talk moves from basic 
logics of communication to strategic interaction in games, and then to logical 
aspects of longer term phenomena like stability of rational practices. Finally, we 
reassess the role of cognitive reality vis-a-vis logical theory.

References: 
(a) 'One is a Lonely Number', invited lecture, Colloquium Logicum, 
Muenster 2002, ILLC Tech Report 2003-07, University of Amsterdam. 
(b) 'Logic and the dynamics of information', L. Floridi (ed.), 2003, "Minds and Machines".