Johan van Benthem
Home / Activities / Publications / Teaching / Research / Talks
Professional Activities
Here are my current activities at interfaces of logic with philosophy, computer science, mathematics, linguistics and cognitive science.
Current university positions
Permanent
- University of Amsterdam , Institute for Logic, Language, and Computation
- Stanford University , Department of Philosophy and CSLI
Distinguished Foreign Expert, Chinese Ministry of Education. (Tsinghua award ceremony.)
Other scientific organizations
- European Association for Language, Logic & Information (FoLLI), honorary member
- International Federation for Computational Logic (IFCOLOG), oversight board
- Reasoning about Knowledge and Rationality (TARK), board of directors
- Vienna Circle Archive Amsterdam , chair
- Beth Foundation , treasurer
- Indian Association of Logic, council member
Editorial activities
- Journals, editorial boards
- Managing editor of Synthese
- Nominating Editor The Philosopher's Annual
- Handbooks
Updated electronic version appeared with Elsevier Insights, 2010.
- Handbook of Logic and Language (with Alice ter Meulen), appeared in 1997.
- Handbook of Modal Logic (with Patrick Blackburn & Frank Wolter), appeared in 2006.
- Handbook of Spatial Logics (with Marco Aiello & Ian Pratt-Hartmann), appeared in 2007.
- Handbook of Philosophy of Information (with Pieter Adriaans), appeared in 2008.
- Other book ventures
- Logic in India Logic at the Crossroads, First Indian Logic Conference and Winter School. Mumbai 2005, with Amitabha Gupta and Rohit Parikh, Allied Publishers, Delhi. The first volumes of this series are to appear with Springer Science Publishers, Heidelberg, 2011, under the titles Proof, Computation, and Agency, and Games, Norms and Reasons. Follow-up initiative: Logic and Philosophy Today, special issue of the Journal of the Indian Council for Philosophical Research, December 2010, with co-editor Amitabha Gupta, and assistant Sunil Simon. A launch workshop took place in January 2011 at the University of Delhi.
- Logic and Games First Editor-in-chief, monograph series Texts in Logic and Games, which moved to Springer Lecture Notes in AI, 2010.
A Door to Logic, selected papers, translation project in China
Translation project A Door to Logic, with students and colleagues in China, coordinated by Fenrong Liu, Philosophical Department of Tsinghua University, Beijing. The first volume Logic, Information, and Interaction (with a variety of themes from modal logic) appeared with Science Publishers, Beijing, May 2008. The next volumes are Logic, Language and Cognition (2008 workshop), and Modal Correspondence Theory have appeared in 2009, 2010. The final volume Logic and Methodology will appear in 2011. We have celebrated this series in a broader setting at the Workshop "A Door to Logic" in Beijing, May 2010. See also handout1, handout2 on some personal Holland–China logic encounters.
Some public activities
- Talentenkracht , monitoring development of reasoning skills in preschool kids.
- Spui25, public talks hosted by the university professors in Amsterdam.
- Academische Boekengids Maart 2008 'De Keuze Van' (five defining books in one's life.
Scientific events and interdisciplinary projects
List of events organized.
Netherlands Institute for Advanced Studies NIAS, 2006-2007, with a group of colleagues: Games, Action and Social Software. Follow-up in the European Science Foundation Eurocores Program "Modeling Intelligent Interaction"-- see the 2008 project LINT.
LORI Workshop Beijing, China, August 2007, on logics for knowledge and interaction (group picture), a cooperation between logicians in China and their international colleagues. The second LORI was held in Chongqing, October 2009 (group picture). We will move to Guangzhou in October 2011.
September 2008, Beth Centenary Conference and Seminar in Amsterdam on modern logic, with lively talks and historical memories.
Also check out the website Logic and Rational Interaction by Amsterdam graduate students and their colleagues elsewhere.
