Hans Kamp: Die Logik hinter dem Alltagsgespräch

Die klassische Logik kommt mit einem Satz wunderbar zurecht. Sie hatte immer Schwierigkeiten mit dem zweiten Satz — demjenigen, der „er“ oder „es“ sagt und davon ausgeht, dass man aufgepasst hat. 1981 veröffentlichte ein in London lehrender niederländischer Logiker einen Aufsatz, in dem er argumentierte, dass die Bedeutungseinheit überhaupt nicht der Satz sei, sondern der Diskurs, und dass das Verstehen von Sprache darin bestehe, eine Repräsentation aufzubauen und sie ständig zu aktualisieren. Die formale Semantik arbeitet seither in seinem Schatten. Kamps eigene Beschreibung seiner selbst: „nicht wirklich ein Linguist“, „nicht wirklich ein Philosoph“, „nicht wirklich ein Logiker“.

Texel, Leiden, Amsterdam

Johan Anthony Willem Kamp wurde am 5. September 1940 in Den Burg auf Texel geboren, der niederländischen Insel an der Spitze der Küste von Nordholland. Er besuchte von 1952 bis 1958 das Murmellius Gymnasium in Alkmaar und anschließend die Universität Leiden, wo er von 1958 bis 1961 Physik und Mathematik studierte. Was danach geschah, bestimmte den Verlauf seiner Karriere: Er entdeckte die Logik für sich und wechselte von 1961 bis 1965 an die Universität Amsterdam für ein doctorandus-Studium in Logik, Grundlagen der Mathematik und Philosophie der empirischen Wissenschaften. Er hat E. W. Beth von der Amsterdamer Schule als einen der drei stärksten Einflüsse auf sein Denken beschrieben.

Montagues Student

1965 ging er an die UCLA, und diese Wahl war entscheidend. Sein Betreuer war Richard Montague, der damals das Programm entwickelte, das die natürliche Sprache als eine formale Sprache behandelt, die genau der gleichen modelltheoretischen Behandlung zugänglich ist wie die Sprachen der Logik. Zu seinem Promotionskomitee gehörten auch Chen Chung Chang, David Kaplan, Yiannis Moschovakis und Jordan Howard Sobel — eine so konzentrierte Gruppe von Logikern, wie man sie sich als Student nur wünschen konnte. Er promovierte 1968 in Philosophie mit einer Dissertation über Tempuslogik und die Theorie der linearen Ordnung und bewies ein Ergebnis der funktionalen Vollständigkeit: Die temporalen Operatoren seit (since) und bis (until) reichen aus, um alle anderen auf kontinuierlichen linearen Ordnungen zu definieren. Neben Montague und Beth nennt er Arthur Prior, den Begründer der modernen Tempuslogik, als prägenden Einfluss — in jedem Fall eher wegen methodischer Strenge und intellektueller Ehrlichkeit als wegen der Lehre.

Jetzt

Sein Aufsatz von 1971 „Formale Eigenschaften von 'jetzt'“ ist ein kleiner Klassiker. Das Wort jetzt ist ein Ärgernis für die standardmäßige modelltheoretische Semantik: Sein Bezugspunkt hängt vom Zeitpunkt der Äußerung ab, aber es kann auch in Operatoren eingebettet werden, die die Auswertungszeit verschieben, wodurch die beiden Indizes auseinanderfallen. Kamps Lösung — doppelte Indizierung, bei der Ausdrücke gegen zwei zeitliche Koordinaten gleichzeitig ausgewertet werden — wurde zur Standardausrüstung in der Semantik von Indexikalen und Modalität.

Er war zu diesem Zeitpunkt ständig in Bewegung: Dozent an der UCLA 1968, Assistenzprofessor in Cornell von 1968 bis 1970, Amsterdam 1970–71, dann dreizehn Jahre Lehrtätigkeit am University College London und am Bedford College von 1971 bis 1984, mit einer Professur an der University of Massachusetts, Amherst 1983 und einer an der University of Texas at Austin von 1984 bis 1988.

Die Wende zum Diskurs

„Eine Theorie der Wahrheit und semantischen Repräsentation“ erschien 1981 und führte die Diskursrepräsentationstheorie (DRT) ein. Ihr zentraler Schritt ist eine Umkehrung. Die Montague-Semantik weist Wahrheitsbedingungen satzweise zu; die DRT schaltet eine Repräsentationsebene dazwischen — eine Diskursrepräsentationsstruktur —, die der Hörer schrittweise während des Textverlaufs aufbaut, indem er Marker für die Dinge einführt, über die gesprochen wird, und Bedingungen für sie festlegt, die dann gegen ein Modell interpretiert werden. Die Anapher über Satzgrenzen hinweg, die die kompositionelle Semantik jahrzehntelang in Verlegenheit gebracht hatte, wird natürlich: Das Pronomen im zweiten Satz greift einen Marker auf, den der erste Satz auf das Brett gesetzt hat.

Die Folge ist, dass Bedeutung dynamisch wird. Ein Satz ist kein statisches Paket von Wahrheitsbedingungen mehr, sondern eine Anweisung, eine Repräsentation zu aktualisieren, und der Kontext ist kein fester Hintergrund, sondern etwas, das der Diskurs selbst kontinuierlich aufbaut. Kamp veröffentlichte im selben Jahr „Das Paradoxon des Haufens“ über Vagheit und Sorites — die beiden Aufsätze von 1981 kennzeichnen ihn als einen Logiker, der sich genau zu den Stellen hingezogen fühlt, an denen die formale Behandlung am schwierigsten ist.

Von der Diskurs zur Logik

Er wechselte 1988 als Professor für formale Logik und Sprachphilosophie an das Institut für Maschinelle Sprachverarbeitung der Universität Stuttgart und blieb dort. 1993 veröffentlichten er und Uwe Reyle Von der Diskurs zur Logik, die umfassende Behandlung, die die DRT von einem auffälligen Aufsatz zu einem Arbeitssystem mit ausreichender Abdeckung machte, damit Computerlinguisten es implementieren konnten. Er leitete eine Reihe großer Gemeinschaftsprojekte — die europäische Dyana-Initiative von 1989 bis 1995, das deutsche Sonderforschungsbereich SFB 340 zu computerlinguistischen Methoden von 1989 bis 2000, FraCaS von 1995 bis 1997 und eine DFG-Logikgruppe von 2000 bis 2002 —, wodurch ein Rahmen eine Generation von Nutzern gewinnt.

Die Forschung weitete sich immer mehr aus: temporale Referenz, Präsupposition, Kontextabhängigkeit, Prototypen und Kompositionalität (mit Barbara Partee, 1995) und nicht-wörtliche Sprache — Metapher und Metonymie —, was für einen formalen Semantiker ungewöhnliches Terrain ist. Seine Jean-Nicod-Vorlesungen wurden von MIT Press als Denken und Sprechen über Dinge veröffentlicht, und ein Band mit seinen ausgewählten Schriften erschien als Bedeutung und Dynamik der Interpretation.

Warum Hans ein Genie genannt wird

Der Anspruch beruht auf einer strukturellen Erkenntnis und der Disziplin, sie zum Funktionieren zu bringen. Kamp erkannte, dass der Satz die falsche Einheit war — dass man, wenn man erklären will, wie Menschen tatsächlich zusammenhängenden Text verstehen, eine Zwischenrepräsentation benötigt, die wächst, während der Diskurs wächst, und dass diese Repräsentation eine rigorose modelltheoretische Interpretation erhalten kann, anstatt als Psychologie abgetan zu werden. Beide Hälften zu bekommen, ist der schwierige Teil. Viele Leute hatten Intuitionen über Diskurs und Kontext; die Leistung bestand darin, etwas so Formales aufzubauen, dass man Dinge darüber beweisen und es auf einem Computer implementieren konnte, während es als Modell dessen erkennbar blieb, was ein Hörer tut.

Die unterstützende Qualität ist die Bandbreite. Sehr wenige Menschen tragen einen funktionalen Vollständigkeitsbeweis in Tempuslogik, eine Analyse des Sorites-Paradoxons, eine Theorie der Präsupposition und eine funktionierende Erklärung der Metapher in einer Karriere, und Kamps Selbstbeschreibung — nicht wirklich ein Linguist, Philosoph oder Logiker — ist der genaue Bericht von jemandem, der in drei Bereichen aufrichtig nützlich war, indem er sich weigerte, von einem von ihnen domestiziert zu werden.

Das Gegenargument muss klar benannt werden. Der Rolf-Schock-Preis 2024 wurde Kamp gemeinsam mit Irene Heim verliehen, und Preise werden geteilt, wenn mehr als eine Person ankommt — die dynamische Wende in der Semantik lag um 1980 in der Luft, und die DRT ist eine Lösung unter mehreren und nicht die einzig mögliche. Sie ist auch notational schwerfällig, und konkurrierende dynamische Rahmen haben Marktanteile gewonnen. Und Kamps Ruf ist rein intern innerhalb einer technischen Disziplin: Er hat kein öffentliches Profil, kein populäres Buch, keine Idee, die in die allgemeine Kultur entkommen ist. Innerhalb der formalen Semantik ist sein Status fast unangefochten. Außerhalb davon hat fast niemand von ihm gehört.

Vermächtnis

Die Ehrungen haben sich stetig angesammelt: der Jean-Nicod-Preis 1996, korrespondierendes Mitglied der Königlich Niederländischen Akademie der Wissenschaften 1997, ein Ehrendoktortitel, Mitglied der American Academy of Arts and Sciences 2015 und der Rolf-Schock-Preis für Logik und Philosophie 2024. Das tiefere Vermächtnis ist, dass die Fragen ihre Form änderten. Vor der DRT fragte die Semantik, was ein Satz bedeutet; danach ist die Standardfrage, was ein Satz mit einem Kontext macht — wie er den Zustand einer laufenden Interpretation aktualisiert. Jedes System, das Diskursreferenten über Sätze hinweg verfolgt, in der theoretischen Linguistik oder in der computergestützten Sprachverarbeitung, arbeitet in einer Tradition, die mit einem Aufsatz beginnt, den Kamp 1981 darüber schrieb, wie wir wissen, wer „er“ ist.