Johan van Benthem
Home / Activities / Publications / Teaching / Research / Talks
Teaching
List of courses taught in logic, and interfaces with philosophy, mathematics, linguistics, computer science, and economics.
My current teaching is mainly on dynamic logics of information flow and games, and mathematics of modal logic.
I also pursue introductory educational projects, as logic in its modern guise belongs in the curriculum everywhere. One new project is a Spinoza gateway course 'Logic in Action' (launched March 2009) of the Dutch Open University, prepared with colleagues in the Logic Education Group.
Courses in 2009
Spring, Philosophical Institute, Tsinghua University, BeijingBeijing Seminar on Dynamic Logics of Agency and Interaction
Spring, Philosophy Department, Stanford University
Stanford Workshop on Dynamic Logics of Agency and Interaction (see also this basic course)
Modal Logic, based on new lecture notes Modal Logic for Open Minds, to appear with CSLI Publications, Stanford.
Courses in 2008
Autumn, Philosophical Institute, Tsinghua University, Beijing
Europe and US
- Logical Dynamics of Information and Interaction, intensive seminar
- Dynamics Graduate Seminar, ILLC Amsterdam
- Logic and Intelligent Interaction, ESSLLI Summer School Hamburg
- Advanced Modal Logic, Philosophy 359, Foundations of Intelligent Interaction.
The following links are only to main pages: many through-links are
not available on this web page.
- Logic in Philosophy 2003
- Logic, Games and Computation 2004
- Advanced Modal Logic, 2005, 2007
- Logics for Update, Revision, and Interaction 2005
- Introduction to Cognitive Science, Symbolic Systems 100, Spring 2006
- Dynamic Logics of Information and Interaction, Philosophy 358, Spring 2006.
- Knowledge Representation/Logic, Games & Information, CS 222 & Phil 358, with Marc Pauly and Yoav Shoham.
- Redeneren en Implementeren 2002
- Logic, Games, and Computation, Master of Logic, ILLC, Autumn 2006
- Dynamic Update Logics, advanced graduate seminar, ILLC 2007-2008.
Here are some pieces on the cultural impact of modern logic in a
broader arena, beyond reciting the classics:
|
|