Johan van Benthem (logician)

Johan van Benthem, actually Johannes Franciscus Abraham Karel van Benthem ( born June 12, 1949 in Rijswijk ) is a Dutch mathematical and philosophical logicians.

Van Benthem studied Physics ( bachelor's degree, 1969) and mathematics ( master's degree, 1973) and philosophy ( master's degree, 1972) at the University of Amsterdam, where he received his doctorate at Martin Loeb 1977 ( Modal correspondence theory ). 1973 to 1977 he was in the Faculty of Philosophy, University of Amsterdam, then at the University of Groningen in 1986 and again at the University of Amsterdam in the faculty of mathematics and computer science. Since 2003 he has been in Amsterdam Professor of Pure and Applied Logic, and since 2005 also professor of philosophy at Stanford University, where he conducts research since 1988 and since 1991 a visiting professor had ( Bonsall Chair ). 2008/2009 he was Weilun professor at Tsinghua University in Beijing, and he was a visiting professor at the Sun Yat- tsen University in Guangzhou.

Van Benthem enters the logic in many scientific fields such as philosophy, computer science and linguistics for a broad understanding and application. He dealt first since his dissertation Modal logic with which he was also from the 1990s. Here he proved a theorem named after him, that the modal logic is the part of 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 the late 1980s, with the logical structure of natural languages ​​( generalized quantifier theory, substructural proof theory, categorical grammar ). In the 1990s he focused on dynamic logic in information and computation and applications of logic to games (and vice versa).

He was also part of a group of Dutch logician who published as LTF Gamut ( with Jeroen Groenendijk, Dick de Jong, Martin Stokhof, Henk Verkuyl ), with Gamut represents the Universities of Groningen, Amsterdam and Utrecht.

He was selected for the Tarski Lectures for 2012. In 1996 he was awarded the highest Dutch science award, the Spinoza Prize, and led up the prize money a research program by Logic in Action. In 1998 he became an honorary doctorate from the University of Liege.

Van Benthem is editor of Synthesis.

He is a member of the Royal Netherlands Academy of Sciences (1992) and the Academia Europaea (1991).

Writings

  • The Logic of Time, Reidel 1983, 1991
  • Temporal Logic, in D. Gabbay et al 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 )
  • 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
  • Hans van Ditmarsch, J. Ketting, W. Meyer Viol Logica voor Informatica, Addison -Wesley, Amsterdam, 1991, enlarged edition with H. van Ditmarsch, Josje Lodder 2003
  • Robbert Dijkgraaf Hoe werkt with Maths, 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 Patrick Blackburn, Frank Wolter Handbook of Modal Logic, Elsevier 2006
  • Publisher with Marco Aiello, Ian Pratt -Hartmann Handbook of Spatial Logic, Springer 2007
  • Published by Pieter Adriaans Handbook of Philosophy of Information, Elsevier 2008
Mathematical logic Integrated Authority File
443095
de