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 ( Licenciatura en Ciencias en 1969), Filosofía ( Maestría en Ciencias en 1972) y Matemáticas ( Maestría en Ciencias en 1973) en la Universidad de Amsterdam y recibió un doctorado en la misma universidad bajo la supervisión de Martin Löb en 1977. Antes de convertirse en Universidad Profesor en 2003, ocupó cargos en la Universidad de Amsterdam (1973-1977), en la Universidad de Groningen (1977-1986) y como profesor en la Universidad de Amsterdam (1986-2003).
En 1992 fue elegido miembro de la Real Academia de Artes y Ciencias de los Países Bajos . [2]
Van Benthem es conocido por su investigación en el área de la lógica modal . Esta investigación ha dado 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. teoría 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 fomentar y organizar la colaboración internacional entre los 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