A Mini-Guide to Logic in Action

Johan van Benthem


Current 'logical dynamics' systems describe updates in communication, belief revision steps triggered by surprising new information, or other immediate responses to observed events. But such single steps live in a much larger temporal universe of long-term, perhaps even infinite, phenomena: the realm of temporal logic. In this lecture, we discuss what happens when we try to merge these local and global perspectives. Issues include: the role of infinity in logical tasks, connections between dynamic logics of update/revision and temporal logics, modelling local dynamics versus 'prepackaging', and potential interfaces between logic and dynamical systems.


20th century philosophy; logic; philosophy; Wittgenstein Ludwig; agency; belief; dynamic logic; epistemic logic; information change; interaction

Full Text:



  • There are currently no refbacks.