Hans Kamp: A lógica escondida na fala cotidiana

A lógica clássica lida com uma frase de forma magnífica. Sempre teve dificuldades com a segunda frase, aquela que diz "ele" ou "isso" e pressupõe que você esteve atento. Em 1981, um lógico neerlandês ensinando em Londres publicou um artigo argumentando que a unidade de significado não é a frase, mas o discurso, e que entender a linguagem consiste em construir uma representação e mantê-la atualizada. A semântica formal tem trabalhado à sua sombra desde então. A descrição que Kamp faz de si mesmo: "não sou realmente um linguista", "não sou realmente um filósofo", "não sou realmente um lógico".

Texel, Leiden, Amsterdã

Johan Anthony Willem Kamp nasceu em 5 de setembro de 1940 em Den Burg, em Texel, a ilha neerlandesa na ponta da costa da Holanda do Norte. Ele frequentou o Murmellius Gymnasium em Alkmaar de 1952 a 1958 e depois a Universidade de Leiden, onde estudou física e matemática de 1958 a 1961. O que aconteceu em seguida definiu o padrão de sua carreira: ele se apaixonou pela lógica e mudou-se para a Universidade de Amsterdã de 1961 a 1965 para um doctorandus em lógica, fundamentos da matemática e filosofia das ciências empíricas. Ele descreveu E. W. Beth, da escola de Amsterdã, como uma das três maiores influências em seu pensamento.

Estudante de Montague

Em 1965, ele foi para a UCLA, e a escolha foi decisiva. Seu orientador foi Richard Montague, que estava então construindo o programa que trata a linguagem natural como uma linguagem formal passível do mesmo tratamento teórico-modelo que as linguagens da lógica. Seu comitê de doutorado também incluiu Chen Chung Chang, David Kaplan, Yiannis Moschovakis e Jordan Howard Sobel — um grupo de lógicos tão concentrado quanto qualquer estudante poderia enfrentar. Ele obteve o doutorado em filosofia em 1968 com uma dissertação sobre Lógica Temporal e a Teoria da Ordem Linear, provando um resultado de completude funcional: os operadores temporais desde (since) e até (until) bastam para definir todos os outros sobre ordenamentos lineares contínuos. Ao lado de Montague e Beth, ele credita Arthur Prior, o fundador da lógica temporal moderna, como uma influência formativa — em cada caso pela rigor metodológico e honestidade intelectual, em vez de doutrina.

Agora

Seu artigo de 1971 "Propriedades formais do 'agora'" é um pequeno clássico. A palavra agora é um incômodo para a semântica teórica-modelo padrão: sua referência depende do momento da enunciação, mas também pode ser incorporada dentro de operadores que mudam o tempo de avaliação, e os dois índices se separam. A solução de Kamp — dupla indexação, avaliando expressões contra duas coordenadas temporais ao mesmo tempo — tornou-se equipamento padrão na semântica de deícticos e modalidade.

Ele estava, então, em constante movimento: instrutor na UCLA em 1968, professor assistente em Cornell de 1968 a 1970, Amsterdã em 1970–71, depois treze anos lecionando no University College London e no Bedford College de 1971 a 1984, com um cargo de professor na Universidade de Massachusetts, Amherst em 1983 e outro na Universidade do Texas em Austin de 1984 a 1988.

A virada para o discurso

"Uma Teoria da Verdade e Representação Semântica" apareceu em 1981 e introduziu a Teoria da Representação do Discurso (DRT). Seu movimento central é uma reversão. A semântica de Montague atribui condições de verdade frase por frase; a DRT interpõe um nível de representação — uma estrutura de representação do discurso — que o ouvinte constrói incrementalmente à medida que o texto progride, introduzindo marcadores para as coisas sobre as quais se está falando e condições sobre elas, que é então interpretada contra um modelo. A anáfora entre fronteiras de frases, que embaraçava a semântica composicional há décadas, torna-se natural: o pronome na segunda frase pega um marcador que a primeira frase colocou no tabuleiro.

A consequência é que o significado torna-se dinâmico. Uma frase não é mais um pacote estático de condições de verdade, mas uma instrução para atualizar uma representação, e o contexto não é um pano de fundo fixo, mas algo que o próprio discurso constrói continuamente. Kamp publicou "O Paradoxo do Monte" no mesmo ano, sobre a vagueza e o sorites — os dois artigos de 1981 juntos o destacam como um lógico atraído precisamente pelos lugares onde o tratamento formal é mais difícil.

Do discurso à lógica

Ele mudou-se para o Instituto de Processamento de Linguagem Natural da Universidade de Stuttgart em 1988 como professor de lógica formal e filosofia da linguagem, e lá permaneceu. Em 1993, ele e Uwe Reyle publicaram Do Discurso à Lógica, o tratamento completo que transformou a DRT de um artigo marcante em um sistema funcional com cobertura suficiente para que linguistas computacionais pudessem implementá-lo. Em torno disso, ele dirigiu uma série de grandes projetos colaborativos — a iniciativa europeia Dyana de 1989 a 1995, o centro de pesquisa especial alemão SFB 340 sobre métodos de linguística computacional de 1989 a 2000, FraCaS de 1995 a 1997, e um grupo de lógica DFG de 2000 a 2002 —, que é como um quadro adquire uma geração de usuários.

A pesquisa continuou a se expandir: referência temporal, pressuposição, dependência do contexto, protótipos e composicionalidade (com Barbara Partee, 1995), e linguagem não literal — metáfora e metonímia —, que é um território incomum para um semântico formal. Suas palestras Jean Nicod foram publicadas pela MIT Press como Pensando e Falando sobre Coisas, e um volume de seus escritos selecionados apareceu como Significado e a Dinâmica da Interpretação.

Por que Hans é chamado de gênio

A alegação baseia-se em uma intuição estrutural e na disciplina para fazê-la funcionar. Kamp viu que a frase era a unidade errada — que se você quer explicar como as pessoas realmente entendem um texto conectado, precisa de uma representação intermediária que cresce à medida que o discurso cresce, e que essa representação pode receber uma interpretação teórico-modelo rigorosa em vez de ser descartada como psicologia. Conseguir ambas as metades é a parte difícil. Muita gente tinha intuições sobre discurso e contexto; a conquista foi construir algo formal o suficiente para que coisas pudessem ser provadas sobre isso e implementado em um computador, enquanto permanecia reconhecível como um modelo do que um ouvinte faz.

A qualidade de suporte é a amplitude. Pouquíssimas pessoas carregam uma prova de completude funcional em lógica temporal, uma análise do paradoxo sorites, uma teoria da pressuposição e uma conta funcional da metáfora em uma única carreira, e a autodescrição de Kamp — não sou realmente um linguista, filósofo ou lógico — é o relato preciso de alguém que foi genuinamente útil em três áreas ao recusar ser domesticado por qualquer uma delas.

O contra-argumento vale a pena ser declarado claramente. O Prêmio Rolf Schock 2024 foi concedido a Kamp conjuntamente com Irene Heim, e prêmios são compartilhados quando mais de uma pessoa chega ao destino — a virada dinâmica na semântica estava no ar por volta de 1980, e a DRT é uma solução entre várias em vez da única possível. É também notacionalmente pesada, e quadros dinâmicos rivais ganharam quota de mercado. E a reputação de Kamp é inteiramente interna a uma disciplina técnica: ele não tem perfil público, nenhum livro popular, nenhuma ideia que tenha escapado para a cultura geral. Dentro da semântica formal, seu status é quase inquestionável. Fora dela, quase ninguém ouviu falar dele.

Legado

As honras acumularam-se constantemente: o Prêmio Jean Nicod em 1996, membro correspondente da Real Academia Neerlandesa de Artes e Ciências em 1997, um doutorado honorário, membro da Academia Americana de Artes e Ciências em 2015, e o Prêmio Rolf Schock em Lógica e Filosofia em 2024. O legado mais profundo é que as perguntas mudaram de forma. Antes da DRT, a semântica perguntava o que uma frase significa; depois dela, a pergunta padrão é o que uma frase faz a um contexto — como ela atualiza o estado de uma interpretação em curso. Todo sistema que rastreia referentes de discurso através de frases, em linguística teórica ou em processamento computacional de linguagem, está trabalhando em uma tradição que começa com um artigo que Kamp escreveu em 1981 sobre como sabemos quem é "ele".