Johan van Benthem (logician)


Johan van Benthem (logician)

Johannes Franciscus Abraham Karel (Johan) van Benthem (born June 12 1949, Rijswijk) is a University Professor ("universiteitshoogleraar") of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University (at CSLI). He was awarded the Spinozapremie in 1996.

He studied physics (B.Sc. 1969), philosophy (M.A. 1972) and mathematics (M.Sc. 1973) at the University of Amsterdam and received a PhD from the same university under supervision of Martin Löb in 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 professor at 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 logic that 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 logic and update logic and applications of logic to game theory as well as applications of game theory to logic.

Publications

*"Logic in action", North Holland, 1991
*"Handbook of Logic and Language", ed. with Alice ter Meulen, Elsevier/MIT Press, 1997

External links

* [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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.