Hans Kamp : La logique cachée dans le discours ordinaire

La logique classique traite magnifiquement bien une phrase. Elle a toujours eu des difficultés avec la deuxième phrase, celle qui dit « il » ou « elle » et suppose que vous avez été attentif. En 1981, un logicien néerlandais enseignant à Londres a publié un article arguant que l'unité de sens n'est pas la phrase du tout, mais le discours, et qu'apprendre le langage consiste à construire une représentation et à la mettre à jour continuellement. La sémantique formelle travaille dans son ombre depuis lors. La description que Kamp fait de lui-même : « pas vraiment un linguiste », « pas vraiment un philosophe », « pas vraiment un logicien ».

Texel, Leyde, Amsterdam

Johan Anthony Willem Kamp est né le 5 septembre 1940 à Den Burg sur Texel, l'île néerlandaise située à la pointe de la côte de Hollande-Septentrionale. Il a fréquenté le Murmellius Gymnasium à Alkmaar de 1952 à 1958, puis l'Université de Leyde, où il a étudié la physique et les mathématiques de 1958 à 1961. Ce qui s'est passé ensuite a défini le modèle de sa carrière : il s'est passionné pour la logique et a rejoint l'Université d'Amsterdam de 1961 à 1965 pour un doctorandus en logique, fondements des mathématiques et philosophie des sciences empiriques. Il a décrit E. W. Beth, de l'école d'Amsterdam, comme l'une des trois plus grandes influences sur sa pensée.

Étudiant de Montague

En 1965, il est allé à l'UCLA, et ce choix fut décisif. Son directeur était Richard Montague, qui élaborait alors le programme traitant le langage naturel comme un langage formel pouvant faire l'objet du même traitement théorique-modèle que les langages de la logique. Son comité de doctorat comprenait également Chen Chung Chang, David Kaplan, Yiannis Moschovakis et Jordan Howard Sobel — un groupe de logiciens aussi concentré qu'un étudiant puisse en rencontrer. Il a obtenu son doctorat en philosophie en 1968 avec une thèse sur la Logique temporelle et la théorie de l'ordre linéaire, prouvant un résultat de complétude fonctionnelle : les opérateurs temporels depuis (since) et jusqu'à (until) suffisent à définir tous les autres sur des ordres linéaires continus. Aux côtés de Montague et Beth, il crédite Arthur Prior, fondateur de la logique temporelle moderne, comme une influence formatrice — dans chaque cas pour sa rigueur méthodologique et son honnêteté intellectuelle plutôt que pour la doctrine.

Maintenant

Son article de 1971 « Propriétés formelles du 'maintenant' » est un petit classique. Le mot maintenant est une nuisance pour la sémantique théorique-modèle standard : sa référence dépend du moment de l'énonciation, mais il peut aussi être enchâssé dans des opérateurs qui déplacent le temps d'évaluation, et les deux indices se séparent. La solution de Kamp — la double indexation, évaluant les expressions par rapport à deux coordonnées temporelles à la fois — est devenue un équipement standard dans la sémantique des indexicaux et de la modalité.

Il était alors en mouvement constant : instructeur à l'UCLA en 1968, professeur adjoint à Cornell de 1968 à 1970, Amsterdam en 1970–71, puis treize ans de cours à l'University College London et au Bedford College de 1971 à 1984, avec un poste de professeur à l'Université du Massachusetts, Amherst en 1983 et un autre à l'Université du Texas à Austin de 1984 à 1988.

Le tournant vers le discours

« Une théorie de la vérité et de la représentation sémantique » est apparu en 1981 et a introduit la Théorie de la Représentation du Discours (DRT). Son mouvement central est un renversement. La sémantique de Montague assigne des conditions de vérité phrase par phrase ; la DRT interpose un niveau de représentation — une structure de représentation du discours — que l'auditeur construit de manière incrémentale à mesure que le texte progresse, introduisant des marqueurs pour les choses dont on parle et des conditions sur elles, qui est ensuite interprétée par rapport à un modèle. L'anaphore au-delà des frontières de la phrase, qui embarrassait la sémantique compositionnelle depuis des décennies, devient naturelle : le pronom dans la deuxième phrase récupère un marqueur que la première phrase a placé sur le tableau.

La conséquence est que le sens devient dynamique. Une phrase n'est plus un ensemble statique de conditions de vérité, mais une instruction pour mettre à jour une représentation, et le contexte n'est pas une toile de fond fixe, mais quelque chose que le discours lui-même construit en continu. Kamp a publié « Le paradoxe du tas » la même année, sur le flou et les sorites — les deux articles de 1981 le distinguent comme un logicien attiré précisément par les endroits où le traitement formel est le plus difficile.

Du discours à la logique

Il a rejoint l'Institut de traitement du langage naturel de l'Université de Stuttgart en 1988 en tant que professeur de logique formelle et de philosophie du langage, et y est resté. En 1993, lui et Uwe Reyle ont publié De la logique du discours à la logique, le traitement complet qui a fait passer la DRT d'un article marquant à un système de travail suffisamment couvert pour que les linguistes informaticiens puissent l'implémenter. Autour de cela, il a dirigé une série de grands projets collaboratifs — l'initiative européenne Dyana de 1989 à 1995, le centre de recherche spécial allemand SFB 340 sur les méthodes de linguistique informatique de 1989 à 2000, FraCaS de 1995 à 1997, et un groupe de logique DFG de 2000 à 2002 — qui est la façon dont un cadre acquiert une génération d'utilisateurs.

La recherche a continué à s'élargir : référence temporelle, présupposition, dépendance au contexte, prototypes et compositionnalité (avec Barbara Partee, 1995), et langage non littéral — métaphore et métonymie — ce qui est un territoire inhabituel pour un sémanticien formel. Ses conférences Jean Nicod ont été publiées par MIT Press sous le titre Penser et parler des choses, et un volume de ses écrits choisis est paru sous le titre Sens et dynamique de l'interprétation.

Pourquoi Hans est qualifié de génie

L'affirmation repose sur une intuition structurelle et la discipline nécessaire pour la faire fonctionner. Kamp a vu que la phrase était la mauvaise unité — que si vous voulez expliquer comment les gens comprennent réellement un texte connecté, vous avez besoin d'une représentation intermédiaire qui grandit à mesure que le discours grandit, et que cette représentation peut se voir donner une interprétation théorique-modèle rigoureuse plutôt que d'être traitée comme de la psychologie. Obtenir les deux moitiés est la partie difficile. Beaucoup de gens avaient des intuitions sur le discours et le contexte ; la réalisation consistait à construire quelque chose d'assez formel pour qu'on puisse prouver des choses à son sujet et l'implémenter sur un ordinateur, tout en restant reconnaissable comme un modèle de ce qu'un auditeur fait.

La qualité de soutien est l'étendue. Très peu de personnes portent une preuve de complétude fonctionnelle en logique temporelle, une analyse du paradoxe du tas, une théorie de la présupposition et un compte rendu fonctionnel de la métaphore dans une seule carrière, et l'autodescription de Kamp — pas vraiment un linguiste, philosophe ou logicien — est le rapport précis de quelqu'un qui a été authentiquement utile dans trois domaines en refusant d'être domestiqué par l'un d'eux.

Le contre-argument mérite d'être énoncé clairement. Le prix Rolf Schock 2024 a été décerné à Kamp conjointement avec Irene Heim, et les prix sont partagés lorsque plus d'une personne arrive — le tournant dynamique en sémantique était dans l'air vers 1980, et la DRT est une solution parmi d'autres plutôt que la seule possible. Elle est aussi notationnellement lourde, et des cadres dynamiques rivaux ont pris des parts de marché. Et la réputation de Kamp est entièrement interne à une discipline technique : il n'a aucun profil public, aucun livre populaire, aucune idée qui se soit échappée dans la culture générale. Au sein de la sémantique formelle, son statut est presque incontesté. En dehors, presque personne n'a entendu parler de lui.

Héritage

Les honneurs se sont accumulés régulièrement : le prix Jean Nicod en 1996, membre correspondant de l'Académie royale néerlandaise des arts et des sciences en 1997, un doctorat honorifique, membre de l'Académie américaine des arts et des sciences en 2015, et le prix Rolf Schock en logique et philosophie en 2024. L'héritage plus profond est que les questions ont changé de forme. Avant la DRT, la sémantique demandait ce que signifie une phrase ; après elle, la question standard est ce qu'une phrase fait à un contexte — comment elle met à jour l'état d'une interprétation en cours. Tout système qui suit les référents du discours à travers les phrases, en linguistique théorique ou en traitement informatique du langage, travaille dans une tradition qui commence par un article que Kamp a écrit en 1981 sur la façon dont nous savons qui est « il ».