Hans Kamp: La logica nascosta nel parlato quotidiano

La logica classica gestisce una frase in modo magnifico. Ha sempre lottato con la seconda frase — quella che dice "lui" o "esso" e presuppone che tu abbia prestato attenzione. Nel 1981, un logico olandese che insegnava a Londra pubblicò un articolo sostenendo che l'unità di significato non è affatto la frase, ma il discorso, e che capire la lingua consiste nel costruire una rappresentazione e mantenerla aggiornata. La semantica formale lavora nella sua ombra da allora. La descrizione che Kamp fa di se stesso: "non sono davvero un linguista", "non sono davvero un filosofo", "non sono davvero un logico".

Texel, Leida, Amsterdam

Johan Anthony Willem Kamp è nato il 5 settembre 1940 a Den Burg su Texel, l'isola olandese sulla punta della costa dell'Olanda Settentrionale. Ha frequentato il Murmellius Gymnasium ad Alkmaar dal 1952 al 1958 e poi l'Università di Leida, dove dal 1958 al 1961 ha studiato fisica e matematica. Ciò che è accaduto dopo ha stabilito il modello della sua carriera: si è appassionato alla logica e si è trasferito all'Università di Amsterdam dal 1961 al 1965 per un doctorandus in logica, fondamenti della matematica e filosofia delle scienze empiriche. Ha descritto E. W. Beth, della scuola di Amsterdam, come una delle tre più grandi influenze sul suo pensiero.

Studente di Montague

Nel 1965 è andato all'UCLA, e la scelta è stata decisiva. Il suo supervisore era Richard Montague, che stava allora costruendo il programma che tratta il linguaggio naturale come un linguaggio formale suscettibile dello stesso trattamento teorico-modello delle lingue della logica. Il suo comitato di dottorato comprendeva anche Chen Chung Chang, David Kaplan, Yiannis Moschovakis e Jordan Howard Sobel — un gruppo di logici così concentrato che ogni studente potrebbe desiderare di avere davanti. Ha conseguito il dottorato in filosofia nel 1968 con una tesi su Logica temporale e teoria dell'ordine lineare, provando un risultato di completezza funzionale: gli operatori temporali da quando (since) e fino a (until) bastano a definire tutti gli altri su ordinamenti lineari continui. Accanto a Montague e Beth, riconosce Arthur Prior, fondatore della moderna logica temporale, come influenza formativa — in ogni caso per il rigore metodologico e l'onestà intellettuale piuttosto che per la dottrina.

Ora

Il suo articolo del 1971 "Proprietà formali del 'ora'" è un piccolo classico. La parola ora è un fastidio per la semantica teorica-modello standard: il suo riferimento dipende dal momento dell'enunciazione, ma può anche essere incorporato all'interno di operatori che spostano il tempo di valutazione, e i due indici si separano. La soluzione di Kamp — la doppia indicizzazione, valutando espressioni contro due coordinate temporali contemporaneamente — è diventata equipaggiamento standard nella semantica degli indicali e della modalità.

Era allora in movimento costante: istruttore all'UCLA nel 1968, professore assistente alla Cornell dal 1968 al 1970, Amsterdam nel 1970–71, poi tredici anni di docenza all'University College London e al Bedford College dal 1971 al 1984, con una cattedra all'Università del Massachusetts, Amherst nel 1983 e una all'Università del Texas ad Austin dal 1984 al 1988.

La svolta verso il discorso

"Una teoria della verità e della rappresentazione semantica" apparve nel 1981 e introdusse la Teoria della Rappresentazione del Discorso (DRT). Il suo passo centrale è una inversione. La semantica di Montague assegna condizioni di verità frase per frase; la DRT interpone un livello di rappresentazione — una struttura di rappresentazione del discorso — che l'ascoltatore costruisce incrementalmente man mano che il testo procede, introducendo marcatori per le cose di cui si parla e condizioni su di esse, che viene poi interpretata contro un modello. L'anafora oltre i confini della frase, che aveva imbarazzato la semantica composizionale per decenni, diventa naturale: il pronome nella seconda frase raccoglie un marcatore che la prima frase ha messo sul tabellone.

La conseguenza è che il significato diventa dinamico. Una frase non è più un pacchetto statico di condizioni di verità, ma un'istruzione per aggiornare una rappresentazione, e il contesto non è un fondale fisso, ma qualcosa che il discorso stesso costruisce continuamente. Kamp pubblicò "Il paradosso del mucchio" lo stesso anno, sulla vaghezza e il sorite — i due articoli del 1981 insieme lo segnalano come un logico attratto proprio dai luoghi in cui il trattamento formale è più difficile.

Dal discorso alla logica

Si è trasferito all'Istituto per l'Elaborazione del Linguaggio Naturale dell'Università di Stoccarda nel 1988 come professore di logica formale e filosofia del linguaggio, e vi è rimasto. Nel 1993, lui e Uwe Reyle hanno pubblicato Dal discorso alla logica, il trattamento completo che ha trasformato la DRT da un articolo sorprendente in un sistema funzionante con copertura sufficiente affinché i linguisti computazionali potessero implementarlo. Attorno a questo, ha gestito una serie di grandi progetti collaborativi — l'iniziativa europea Dyana dal 1989 al 1995, il centro di ricerca speciale tedesco SFB 340 sui metodi di linguistica computazionale dal 1989 al 2000, FraCaS dal 1995 al 1997 e un gruppo di logica DFG dal 2000 al 2002 — che è il modo in cui un quadro acquisisce una generazione di utenti.

La ricerca ha continuato ad ampliarsi: riferimento temporale, presupposizione, dipendenza dal contesto, prototipi e composizionalità (con Barbara Partee, 1995) e linguaggio non letterale — metafora e metonimia —, che è un territorio insolito per un semantico formale. Le sue lezioni Jean Nicod sono state pubblicate da MIT Press come Pensare e parlare delle cose, e un volume dei suoi scritti scelti è apparso come Significato e dinamica dell'interpretazione.

Perché Hans è chiamato genio

L'affermazione si basa su un'intuizione strutturale e sulla disciplina per farla funzionare. Kamp ha visto che la frase era l'unità sbagliata — che se vuoi spiegare come le persone capiscono effettivamente un testo connesso, hai bisogno di una rappresentazione intermedia che cresce man mano che il discorso cresce, e che questa rappresentazione può ricevere una rigorosa interpretazione teorica-modello invece di essere liquidata come psicologia. Ottenere entrambe le metà è la parte difficile. Molte persone avevano intuizioni sul discorso e il contesto; il successo è stato costruire qualcosa di abbastanza formale da poter essere provato e implementato su un computer, rimanendo riconoscibile come modello di ciò che fa un ascoltatore.

La qualità di supporto è l'ampiezza. Pochissime persone portano una prova di completezza funzionale nella logica temporale, un'analisi del paradosso del sorite, una teoria della presupposizione e un resoconto funzionante della metafora in una sola carriera, e l'autodescrizione di Kamp — non sono davvero un linguista, filosofo o logico — è il resoconto accurato di qualcuno che è stato genuinamente utile in tre campi rifiutandosi di essere addomesticato da uno qualsiasi di essi.

Il controargomento vale la pena essere enunciato chiaramente. Il Premio Rolf Schock 2024 è stato assegnato a Kamp congiuntamente con Irene Heim, e i premi vengono condivisi quando più di una persona arriva — la svolta dinamica nella semantica era nell'aria intorno al 1980, e la DRT è una soluzione tra diverse piuttosto che l'unica possibile. È anche notazionalmente pesante, e quadri dinamici rivali hanno preso quote di mercato. E la reputazione di Kamp è interamente interna a una disciplina tecnica: non ha profilo pubblico, nessun libro popolare, nessuna idea che sia sfuggita nella cultura generale. All'interno della semantica formale, la sua posizione è quasi indiscussa. Al di fuori di essa, quasi nessuno ha sentito parlare di lui.

Eredità

Gli onori si sono accumulati costantemente: il Premio Jean Nicod nel 1996, membro corrispondente della Reale Accademia Olandese delle Arti e delle Scienze nel 1997, una laurea honoris causa, membro dell'American Academy of Arts and Sciences nel 2015 e il Premio Rolf Schock in Logica e Filosofia nel 2024. L'eredità più profonda è che le domande hanno cambiato forma. Prima della DRT, la semantica chiedeva cosa significa una frase; dopo di essa, la domanda standard è cosa fa una frase a un contesto — come aggiorna lo stato di un'interpretazione in corso. Ogni sistema che traccia i referenti del discorso attraverso le frasi, nella linguistica teorica o nell'elaborazione computazionale del linguaggio, sta lavorando in una tradizione che inizia con un articolo che Kamp ha scritto nel 1981 su come sappiamo chi è "lui".