Johan van Benthem
| Johan van Benthem | |
|---|---|
 | |
| Nascimento | 12 de junho de 1949 (76 anos) |
| Nacionalidade |  Neerlandês |
| Alma mater | Universidade de Amsterdã |
| Prêmios | Prêmio Spinoza (1996), Tarski Lectures (2011) |
| Carreira científica | |
| Orientador(es)(as) | Martin Hugo Löb e Steven Karl Thomason[1] |
| Orientado(a)(s) | Jeroen Groenendijk, Maarten de Rijke, Martin Stokhof |
| Instituições | Universidade de Amsterdã, Universidade Stanford |
| Campo(s) | Matemática |
| Tese | 1977 |
| Notas | «Página pessoal» (em inglês) |
Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, 12 de junho de 1949) é um matemático neerlandês. É professor de lógica matemática da Universidade de Amsterdã e professor de filosofia da Universidade Stanford.
Recebeu em 1996 o Prêmio Spinoza.
Estudou física (B.Sc. 1969), filosofia (M.A. 1972) e matemática (M.Sc. 1973) na Universidade de Amsterdã, onde obteve um doutorado em 1977, orientado por Martin Hugo Löb. Antes de tornar-se professor em 2003, lecionou na Universidade de Amsterdã (1973–1977), na Universidade de Groningen (1977–1986), e novamente na Universidade de Amsterdã (1986–2003), desta vez como professor.
Van Benthem foi um membro do grupo de publicou coletivamente com o pseudônimo L. T. F. Gamut.
Publicações
- Logic in action, North Holland, 1991.
- Handbook of Logic and Language, Editor com Alice ter Meulen, Elsevier/MIT Press, 1997.
- Modal Logic: A Semantic Perspective, com Patrick Blackburn.
Referências
- ↑ Johan van Benthem (em inglês) no Mathematics Genealogy Project
