Hans Kamp: La lógica oculta en el habla cotidiana

La lógica clásica maneja una oración de forma excelente. Siempre ha tenido dificultades con la segunda oración, aquella que dice "él" o "esto" y supone que has estado prestando atención. En 1981, un lógico neerlandés que enseñaba en Londres publicó un artículo argumentando que la unidad de significado no es la oración en absoluto, sino el discurso, y que entender el lenguaje consiste en construir una representación y mantenerla actualizada. La semántica formal ha trabajado bajo su sombra desde entonces. La descripción que Kamp hace de sí mismo es: "no soy realmente un lingüista", "no soy realmente un filósofo", "no soy realmente un lógico".

Texel, Leiden, Ámsterdam

Johan Anthony Willem Kamp nació el 5 de septiembre de 1940 en Den Burg, en Texel, la isla neerlandesa en el extremo de la costa de Holanda Septentrional. Asistió al Murmellius Gymnasium en Alkmaar de 1952 a 1958 y luego a la Universidad de Leiden, donde cursó física y matemáticas de 1958 a 1961. Lo que sucedió después estableció el patrón de su carrera: se enganchó a la lógica y se trasladó a la Universidad de Ámsterdam de 1961 a 1965 para obtener un doctorandus en lógica, fundamentos de las matemáticas y filosofía de las ciencias empíricas. Ha descrito a E. W. Beth, de la escuela de Ámsterdam, como una de las tres mayores influencias en su pensamiento.

Estudiante de Montague

En 1965 fue a la UCLA, y la elección fue decisiva. Su supervisor fue Richard Montague, quien entonces construía el programa que trata el lenguaje natural como un lenguaje formal susceptible del mismo tratamiento teórico-modelo que los lenguajes de la lógica. Su comité doctoral también incluía a Chen Chung Chang, David Kaplan, Yiannis Moschovakis y Jordan Howard Sobel, un grupo de lógicos tan concentrado como cualquier estudiante podría tener ante sí. Obtuvo el doctorado en filosofía en 1968 con una tesis sobre Lógica temporal y la teoría del orden lineal, demostrando un resultado de completitud funcional: los operadores temporales desde (since) y hasta (until) bastan para definir todos los demás sobre ordenamientos lineales continuos. Junto a Montague y Beth, reconoce a Arthur Prior, fundador de la lógica temporal moderna, como una influencia formativa, en cada caso por el rigor metodológico y la honestidad intelectual más que por la doctrina.

Ahora

Su artículo de 1971 "Propiedades formales del 'ahora'" es un pequeño clásico. La palabra ahora es una molestia para la semántica teórica de modelos estándar: su referencia depende del momento de la enunciación, pero también puede ser incrustada dentro de operadores que cambian el tiempo de evaluación, y los dos índices se separan. La solución de Kamp, la doble indexación, evaluando expresiones contra dos coordenadas temporales a la vez, se convirtió en equipamiento estándar en la semántica de los deícticos y la modalidad.

Para entonces se movía constantemente: instructor en la UCLA en 1968, profesor asistente en Cornell de 1968 a 1970, Ámsterdam en 1970–71, luego trece años dando clases en el University College London y el Bedford College de 1971 a 1984, con una cátedra en la Universidad de Massachusetts, Amherst en 1983 y otra en la Universidad de Texas en Austin de 1984 a 1988.

El giro hacia el discurso

"Una teoría de la verdad y la representación semántica" apareció en 1981 e introdujo la Teoría de Representación del Discurso (TRD). Su movimiento central es una reversión. La semántica de Montague asigna condiciones de verdad oración por oración; la TRD interpone un nivel de representación —una estructura de representación del discurso— que el oyente construye incrementalmente a medida que avanza el texto, introduciendo marcadores para las cosas de las que se habla y condiciones sobre ellas, que luego se interpretan contra un modelo. La anáfora a través de los límites oracionales, que había avergonzado a la semántica composicional durante décadas, se vuelve natural: el pronombre en la segunda oración recoge un marcador que la primera oración puso en el tablero.

La consecuencia es que el significado se vuelve dinámico. Una oración ya no es un paquete estático de condiciones de verdad, sino una instrucción para actualizar una representación, y el contexto no es un telón de fondo fijo, sino algo que el propio discurso construye continuamente. Kamp publicó "La paradoja del montón" el mismo año, sobre la vaguedad y el sorites; los dos artículos de 1981 juntos lo señalan como un lógico atraído precisamente por los lugares donde el tratamiento formal es más difícil.

Del discurso a la lógica

Se trasladó al Instituto de Procesamiento del Lenguaje Natural de la Universidad de Stuttgart en 1988 como profesor de lógica formal y filosofía del lenguaje, y allí se quedó. En 1993, él y Uwe Reyle publicaron De la lógica del discurso a la lógica, el tratamiento completo que convirtió a la TRD de un artículo llamativo en un sistema funcional con suficiente cobertura para que los lingüistas computacionales pudieran implementarlo. En torno a ello, dirigió una serie de grandes proyectos colaborativos —la iniciativa europea Dyana de 1989 a 1995, el centro de investigación especial alemán SFB 340 sobre métodos de lingüística computacional de 1989 a 2000, FraCaS de 1995 a 1997, y un grupo de lógica DFG de 2000 a 2002—, que es como un marco adquiere una generación de usuarios.

La investigación siguió ampliándose: referencia temporal, presuposición, dependencia del contexto, prototipos y composicionalidad (con Barbara Partee, 1995), y lenguaje no literal —metáfora y metonimia—, que es un territorio inusual para un semántico formal. Sus conferencias Jean Nicod fueron publicadas por MIT Press como Pensar y hablar sobre cosas, y un volumen de sus escritos seleccionados apareció como Significado y dinámica de la interpretación.

Por qué se llama genio a Hans

La afirmación se basa en una intuición estructural y en la disciplina para hacerla funcionar. Kamp vio que la oración era la unidad incorrecta, que si se quiere explicar cómo la gente realmente entiende un texto conectado, se necesita una representación intermedia que crezca a medida que crece el discurso, y que esta representación puede recibir una interpretación teórico-modelo rigurosa en lugar de ser despachada como psicología. Conseguir ambas mitades es la parte difícil. Mucha gente tenía intuiciones sobre el discurso y el contexto; el logro fue construir algo lo suficientemente formal para que se pudieran probar cosas sobre ello e implementarlo en una computadora, manteniendo su reconocimiento como un modelo de lo que hace un oyente.

La cualidad de apoyo es el rango. Muy pocas personas llevan una prueba de completitud funcional en lógica temporal, un análisis de la paradoja del sorites, una teoría de la presuposición y una cuenta funcional de la metáfora en una sola carrera, y la autodescripción de Kamp —no soy realmente un lingüista, filósofo o lógico— es el informe preciso de alguien que ha sido genuinamente útil en tres campos al negarse a ser domesticado por ninguno de ellos.

Vale la pena exponer el contraargumento claramente. El Premio Rolf Schock 2024 fue otorgado a Kamp conjuntamente con Irene Heim, y los premios se comparten cuando más de una persona llega al destino; el giro dinámico en la semántica estaba en el aire alrededor de 1980, y la TRD es una solución entre varias en lugar de la única posible. También es notacionalmente pesada, y marcos dinámicos rivales han ganado cuota de mercado. Además, la reputación de Kamp es totalmente interna a una disciplina técnica: no tiene perfil público, ni libro popular, ni idea que haya escapado a la cultura general. Dentro de la semántica formal, su posición es casi incuestionable. Fuera de ella, casi nadie ha oído hablar de él.

Legado

Los honores se han acumulado constantemente: el Premio Jean Nicod en 1996, miembro correspondiente de la Real Academia Neerlandesa de las Artes y las Ciencias en 1997, un doctorado honoris causa, miembro de la Academia Estadounidense de las Artes y las Ciencias en 2015, y el Premio Rolf Schock en Lógica y Filosofía en 2024. El legado más profundo es que las preguntas cambiaron de forma. Antes de la TRD, la semántica preguntaba qué significa una oración; después, la pregunta estándar es qué hace una oración a un contexto: cómo actualiza el estado de una interpretación en curso. Todo sistema que rastrea referentes del discurso a través de las oraciones, en la lingüística teórica o en el procesamiento computacional del lenguaje, está trabajando en una tradición que comienza con un artículo que Kamp escribió en 1981 sobre cómo sabemos quién es "él".