- Johan van Benthem (logician)
Johannes Franciscus Abraham Karel (Johan) van Benthem (born
June 12 1949, Rijswijk) is a University Professor ("universiteitshoogleraar") of logicat the University of Amsterdamat the Institute for Logic, Language and Computationand professorof philosophyat Stanford University(at CSLI). He was awarded the Spinozapremiein 1996.
physics( B.Sc.1969), philosophy(M.A. 1972) and mathematics( M.Sc.1973) at the University of Amsterdam and received a PhDfrom the same university under supervision of Martin Löbin 1977. Before becoming University Professor in 2003, he held appointments at the University of Amsterdam (1973-1977), at the University of Groningen(1977-1986, and as a professorat the University of Amsterdam (1986-2003).
Van Benthem is known for his research in the area of
modal logic. This research has resulted in Van Benthem's Theorem, which states that modal logic is the fragment of first-order logicthat is closed under bisimulation.
He has also been active in the fields of
philosophy of science, logical structures in natural language ( generalized quantifiers, categorial grammar, substructural proof theory), dynamic logicand update logicand applications of logicto game theoryas well as applications of game theoryto logic.
*"Logic in action", North Holland, 1991
*"Handbook of Logic and Language", ed. with
Alice ter Meulen, Elsevier/ MIT Press, 1997
* [http://staff.science.uva.nl/~johan Van Benthem's personal homepage]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Rijswijk — Infobox Settlement official name = Rijswijk flag size = 120x100px image shield = Coat of Arms RijswijkZH.png shield size = 120x100px mapsize = 280px|subdivision type = Country subdivision name = Netherlands subdivision type1 = Province… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… … Wikipedia