Johan van Benthem
Johan van Benthem , actually Johannes Franciscus Abraham Karel van Benthem (born June 12, 1949 in Rijswijk ), is a Dutch mathematical and philosophical logician .
Live and act
Van Benthem studied physics (bachelor's degree in 1969) and then mathematics (master's degree in 1973) and philosophy (master's degree in 1972) at the University of Amsterdam , where he received his doctorate in 1977 under Martin Löb ( modal correspondence theory ). From 1973 to 1977 he was in the Faculty of Philosophy at the University of Amsterdam, then at the University of Groningen and from 1986 again at the University of Amsterdam in the Faculty of Mathematics and Computer Science. Since 2003 he has been Professor of Pure and Applied Logic in Amsterdam and has also been Professor of Philosophy at Stanford University since 2005 , where he has been researching since 1988 and has been a visiting professor since 1991 (Bonsall Chair). In 2008/2009 he was Weilun Professor at Tsinghua University in Beijing and he was visiting professor at Sun Yat-tsen University in Guangzhou .
Van Benthem advocates a broad understanding and application of logic in many fields of science such as philosophy, computer science and linguistics. He has been dealing with modal logic since his dissertation , which he also dealt with from the 1990s. Here he proved a proposition named after him that the modal logic is that part of the predicate logic that is closed under bisimulation . From 1980 he turned to the philosophy of science and applications of logic to space, time and topology and, in the late 1980s, to the logical structure of natural languages (generalized quantifier theory, substructural proof theory, categorical grammar). In the 1990s he dealt with dynamic logic in information and computation and the application of logic to games (and vice versa).
He was also part of a group of Dutch logicians who published Gamut as LTF (with Jeroen Groenendijk, Dick de Jong, Martin Stokhof, Henk Verkuyl), where Gamut stands for the universities of Groningen, Amsterdam and Utrecht.
He was selected for the 2012 Tarski Lectures . In 1996 he received the highest Dutch scientific award , the Spinoza Prize , and used the prize money to conduct a research program Logic in Action . In 1998 he received an honorary doctorate from the University of Liège.
Van Benthem is editor of the journal Synthesis .
He is a member of the Royal Netherlands Academy of Sciences (1992), the Academia Europaea (1991) and the American Academy of Arts and Sciences (2015).
Fonts
- The Logic of Time , Reidel 1983, 1991
- Temporal Logic in D. Gabbay et al. a. Handbook of Logic in artificial intelligence and logic programming , Oxford University Press 1995, pp. 241-350
- Modal Logic and Classical Logic , Bibliopolis, Naples, 1985
- Correspondence Theory in Handbook of Philosophical Logic , Kluwer-Springer 1984, 2001
- Essays in Logical Semantics , Reidel, Studies in Linguistics and Philosophy 29, 1986
- Manual of Intensional Logic , CSLI Publications, Stanford & University of Chicago Press 1988
- Language in Action: Categories, Lambdas and Dynamic Logic , North Holland, Studies in Logic, Volume 130, 1991, MIT Press 1995
- Exploring Logical Dynamics , 1996
- Logic in Games , ILLC, Amsterdam, 2001 (new edition to be published by Springer)
- with Jens Erik Fenstad , P.-K. Halvorsen, T. Langholm Situations, Language and Logic , Reidel 1987
- (as LTF Gamut) Logic, Language and Meaning , 2 volumes, Spectrum, Utrecht 1982 (Logica, taal en betekenis), University of Chicago Press 1991
- with Hans van Ditmarsch, J. Ketting, W. Meyer Viol Logica voor Informatica , Addison-Wesley, Amsterdam, 1991, extended edition with H. van Ditmarsch, Josje Lodder 2003
- with Robbert Dijkgraaf Hoe Wiskunde werkt , 2005
- Modal logic for open minds , CSLI Publications, Stanford 2010
- A door to logic. Selected papers , 4 volumes, Beijing, Science Press 2010 (Chinese)
- Editor with Alice ter Meulen Handbook of Logic and Language , MIT Press 1997
- Editor with Patrick Blackburn, Frank Wolter Handbook of Modal Logic , Elsevier 2006
- Editor with Marco Aiello, Ian Pratt-Hartmann Handbook of Spatial Logic , Springer 2007
- Editor with Pieter Adriaan's Handbook of Philosophy of Information , Elsevier 2008
Web links
| personal data | |
|---|---|
| SURNAME | Benthem, Johan van |
| ALTERNATIVE NAMES | Benthem, Johannes Franciscus Abraham Karel van (full name) |
| BRIEF DESCRIPTION | Dutch logician |
| DATE OF BIRTH | June 12, 1949 |
| PLACE OF BIRTH | Rijswijk |