Johan van Benthem

Johan van Benthem
	Johan van Benthem
Nascimento	12 de junho de 1949 (74 anos); Rijswijk
Nacionalidade	Neerlandês
Alma mater	Universidade de Amsterdã
Prêmios	Prêmio Spinoza (1996), Tarski Lectures (2011)
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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.