Johan van Benthem#
| Membership Number: | 1123 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1991 |
| Main Country of Residence: | THE NETHERLANDS |
| Homepage(s): | http://staff.science.uva.nl/~johan |
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
- Applications of logic to philosophy, linguistics, computer science and cognitive science
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
