Johan van Benthem

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken


Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 juni 1949) is een Nederlands logicus en hoogleraar logica aan de Universiteit van Amsterdam, de Stanford-universiteit en eerder aan de Rijksuniversiteit Groningen.

Van Benthem is vooral bekend om zijn werk op het gebied van de modale logica. Dit werk leidde tot de Stelling van Van Benthem, volgens welke modale logica een fragment is van de klassieke logica, gesloten onder bisimulatie.

Van Benthem is actief geweest in de formele taalkunde, in de categoriale grammatica. Hij werd in 1992 benoemd tot lid van de Koninklijke Nederlandse Akademie van Wetenschappen, KNAW. In 1996 won hij de Spinozaprijs, waarvan hij een groot deel van de premie heeft gebruikt voor het in het leven roepen van een stichting voor de promotie van de logica.

Publicaties[bewerken]

  • Logic in action, North Holland, 1991
  • Handbook of Logic and Language, red. met Alice ter Meulen, Elsevier/MIT Press, 1997

Externe links[bewerken]