Johannes Franciscus Abraham Karel ( Johan ) van Benthem (nacido el 12 de junio de 1949 en Rijswijk ) es profesor universitario ( universiteitshoogleraar ) de lógica en la Universidad de Amsterdam en el Instituto de Lógica, Lenguaje y Computación y profesor de filosofía en la Universidad de Stanford. (en CSLI ). Recibió el Spinozapremie en 1996 [1] y fue elegido miembro extranjero de la Academia Estadounidense de Artes y Ciencias en 2015.
Van Benthem estudió física ( B.Sc. 1969), filosofía ( MA 1972) y matemáticas ( M.Sc. 1973) en la Universidad de Ámsterdam y recibió un doctorado de la misma universidad bajo la supervisión de Martin Löb en 1977. Antes de convertirse en profesor universitario en 2003, ocupó cargos en la Universidad de Ámsterdam (1973-1977), en la Universidad de Groningen (1977-1986) y como profesor en la Universidad de Ámsterdam (1986-2003).
En 1992 fue elegido miembro de la Real Academia Holandesa de las Artes y las Ciencias . [2]
Van Benthem es conocido por sus investigaciones en el área de la lógica modal . Estas investigaciones dieron como resultado el teorema de Van Benthem, que establece que la lógica modal proposicional es el fragmento de la lógica de primer orden que es invariante bajo bisimulación .
También ha estado activo en los campos de la filosofía de la ciencia , las estructuras lógicas en el lenguaje natural ( cuantificadores generalizados , gramática categorial , teoría de la prueba subestructural ), la lógica dinámica y la lógica de actualización , y las aplicaciones de la lógica a la teoría de juegos , así como las aplicaciones de la teoría de juegos a la lógica ( semántica de juegos ). Van Benthem es miembro del grupo que publica colectivamente bajo el seudónimo de L. TF Gamut . También ha enseñado en China. Hizo un esfuerzo por alentar y organizar la colaboración internacional entre lógicos chinos y occidentales.
El profesor van Benthem se jubiló del Instituto de Lógica, Lenguaje y Computación en septiembre de 2014.
Medios relacionados con Johan van Benthem en Wikimedia Commons