Johan van Benthem#
| Email: | johan 'at' science.uva.nl |
| Membership Number: | 1123 |
| Main Country of Residence: | THE NETHERLANDS |
| Section: | INFORMATICS |
| Username: | jbenthem |
Present and Previous Positions
- 2008 – 2009 Weilun Professor of Humanties, Tsinghua University, Beijing
- 2005 - Visiting University Professor, ZhongShan University, Guangzhou
- 2005 - Full Professor, Philosophy, Stanford University
- 2003 - University Professor, Logic, Univ. Amsterdam
- 2002 - Senior Researcher, CSLI, Stanford University
- 1991 - 2005 Bonsall Visiting Professor, Philosophy, Stanford University
- 1986 – 2003 Full professor Mathematical Logic and its Applications, Mathematics and Computer Science, Univ. Amsterdam
- 1980 – 1986 Full professor Symbolic Logic, Univ. Groningen
- 1977 - 1980 Associate Professor Logic, Philosophy & Mathematics, Univ. Groningen
- 1972 – 1977 Assistant professor Philosophical Logic, Univ. Amsterdam
Fields of Scholarship
- general logic, in particular, model theory and modal logic (correspondence theory, temporal logic, dynamic logic, epistemic logic)
- applications of logic to philosophy, linguistics, computer science and cognitive science (generalized quantifiers, categorial grammar, process logics, information update, logic and games, logic & epistemology)
Honours and Awards
- 1991 Member, Academia Europaea
- 1992 Member, Royal Dutch Academy of Sciences
- 1996 Spinoza Prize, Dutch National Science Organization, http://www.illc.uva.nl/lia
- 1998 Doctor honoris causa, Université de Liège
- 2001 Distinguished national visitor, National Research Council of Taiwan
- 2001 Member, Institut International de Philosophie
- 2003 University Professor, University of Amsterdam
- 2004 First Honorary Member, European Association for Logic, Language and Information FoLLI
- 2008 Henry Waldgrave Stuart Professor, named chair, Stanford University
- 2008 Weilun Professor, School of Humanities and Social Sciences, Tsinghua University
| operated by | 
|