Prof. dr. Johannes Franciscus Abraham Karel (roepnaam Johan) van Benthem, geboren in 1949, is professor in de logica. Van Benthem studeerde in 1972 en 1973 cum laude af in de studies wiskunde en wijsbegeerte aan de Universiteit van Amsterdam, waarna hij in 1977 aldaar promoveerde. Van 1977 tot 1986 was hij lector en later hoogleraar symbolische logica aan de Rijksuniversiteit Groningen. Van 1986 tot 2003 was Van Benthem hoogleraar wiskundige logica en wijsbegeerte der wiskunde aan de Universiteit van Amsterdam en van 2003 tot 2015 universiteitshoogleraar met als aandachtsgebied de logica en haar toepassingen in de taalkunde, filosofie, informatica en cognitiewetenschap. Voorts bezet hij vanaf 1991 de Bonsall Visiting Chair of Humanities aan Stanford University in Californië (Verenigde Staten), met tenure sinds 2005 en is hij in 2003 benoemd op de Henry Waldgrave Stuart Chair van Stanford University. In 2007 is hij benoemd tot Weilun Visiting Professor of Humanities aan de Tsinghua University in Beijing (China). Van 2013 tot 2016 was hij National Changjiang Professor aldaar. Zijn werk bestrijkt de mathematische modale logica, logica en natuurlijke taal, en verbanden tussen logica, wijsbegeerte, informatica en speltheorie. Hij is lid van de KNAW, de Academia Europaea, en de American Academy of Arts and Sciences. In 1991 was hij de oprichter en eerste directeur van het Institute for Logic, Language and Computation van de Universiteit van Amsterdam. In 1996 ontving hij de Spinoza premie voor zijn oeuvre.