Hans Kamp
philosophe et linguiste néerlandais
From Wikipedia, the free encyclopedia
Johan Anthony Willem « Hans » Kamp (né le )[1] est un philosophe et linguiste néerlandais, responsable de l'introduction de la Théorie des représentations du discours (DRT) en 1981[2],[3].
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Distinctions |
Biographie
Kamp est né à Den Burg[1]. Il obtient un doctorat en philosophie à l'UCLA en 1968 et enseigne à l'Université Cornell, à l'Université de Londres, à l'Université du Texas à Austin et à l'Université de Stuttgart[4]. Sa thèse, « Logique temporelle et théorie de l'ordre linéaire » (1968)[5], est consacrée à la complétude fonctionnelle en logique temporelle. Son principal résultat est que tous les opérateurs temporels sont définissables en termes de « depuis » et « jusqu'à », à condition que la structure temporelle sous-jacente soit un ordre linéaire continu. Son article de 1971 sur le « maintenant » (publié dans Theoria) est la première application de la double indexation en sémantique théorique des modèles. Son jury de thèse est composé de Richard Montague (président), Chen Chung Chang, David Kaplan, Yiannis Moschovakis et Jordan Howard Sobel.
Kamp devient membre correspondant de l'Académie royale néerlandaise des arts et des sciences en 1997[6]. Il reçoit le Prix Jean-Nicod en 1996[7] et est élu membre de l'Académie américaine des arts et des sciences en 2015[8]. En 2024, il reçoit le prix Rolf Schock conjointement avec Irene Heim.
Publications
- Kamp, Hans. « Une théorie de la vérité et de la représentation sémantique ». Dans J. Groenendijk et al. (éd.). Méthodes formelles dans l'étude du langage . Amsterdam : Centre de mathématiques, 1981.
- Kamp, Hans et Uwe Reyle. « Du discours à la logique : introduction à la sémantique modéliste du langage naturel, à la logique formelle et à la théorie de la représentation du discours ». Dordrecht : Kluwer Academic Publishers, 1994.
