Compositionality and the lexicon in evolutionary semantics

Resumo Técnico: Composicionalidade e o Léxico na Semântica Evolutiva

Problema
A semântica formal estabeleceu que os significados das sentenças surgem através da composição recursiva dos significados lexicais. No entanto, o campo da semântica evolutiva, que busca explicar universais semânticos através de pressões por simplicidade e precisão comunicativa, tem modelado amplamente os léxicos como coleções de sinais não estruturados ou composições holísticas carentes de partes lexicais interpretáveis. Esta lacuna metodológica dificulta o uso de caracterizações semânticas formais de universais para gerar explicações evolutivas.

O artigo foca na conservatividade, possivelmente o universal semântico mais conhecido (Barwise & Cooper, 1981; Keenan & Stavi, 1986), que afirma que determinantes simples expressam quantificadores conservativos sobre um argumento específico (tipicamente o segundo). Explicações evolutivas anteriores lutam para reconciliar várias tensões empíricas:

1. Aprendibilidade: Quantificadores não conservativos são difíceis de serem adquiridos por falantes de inglês (Afirmação 4), contudo, relações não conservativas no domínio verbal (ex: "outnumber"/superar em número) são aprendíveis (Afirmação 5).
2. Complexidade: Embora alguns modelos sugiram que quantificadores conservativos são conceitualmente mais simples (Afirmação 3), isso não explica por que a restrição se aplica especificamente a determinantes e não a verbos.
3. Explicação: As explicações existentes (restrição lexical, filtragem de interface, predicação ordenada) ou redescritam o fenômeno, ou dependem de mecanismos psicolinguísticos não comprovados, ou falham em fornecer uma conta evolutiva de por que os determinantes se especializam em quantificação restrita.

Metodologia
Os autores introduzem um framework computacional que integra insights da semântica formal na modelagem evolutiva. A inovação central é um modelo onde os significados lexicais e uma função de composição coevoluem sob pressões de simplicidade conceitual e precisão comunicativa.

• Modelo de Comunicação: O framework utiliza um jogo de sinalização envolvendo um emissor ($S$) e um receptor ($R$) em um contexto de cinco objetos com características inteiras. $S$ constrói um sinal para restringir o terreno comum (common ground), e $R$ atualiza crenças. O sucesso é medido pela redução dos contextos possíveis.
• Estrutura da Linguagem: A linguagem consiste em um léxico e uma função de interpretação. Crucialmente, o modelo permite análises semi-categorêmicas. Diferente da semântica formal tradicional, que coloca todo o conteúdo nas entradas lexicais (categorêmicas) ou nas regras de composição (sincategorêmicas), este framework distribui o conteúdo semântico entre ambos.
• Componentes Variáveis: O estudo deixa não especificado:
  1. Os significados de três quantificadores ($Q_1, Q_2, Q_3$).
  2. A função de composição específica ($C^c_Q$) que combina um quantificador com seus argumentos ($L$ e $R$).
• Otimização: O sistema explora um espaço de possíveis linguagens definidas por gramáticas livres de contexto probabilísticas (PCFGs). Ele avalia essas linguagens em uma fronteira de Pareto equilibrando:
  • Precisão Comunicativa: A utilidade esperada do jogo de comunicação, incorporando o enriquecimento pragmático griceano (implicaturas).
  • Complexidade Conceitual: A complexidade descritiva da função de interpretação global, permitindo que abstrações na função de composição reduzam a complexidade das entradas lexicais individuais.
• Pressuposto de Processamento: O modelo assume "gradualidade", onde os argumentos são processados progressivamente conforme recebem valores. Isso restringe o argumento da direita de usar o valor do argumento da esquerda até que este seja processado, mas não força inerentemente a conservatividade.

Principais Contribuições

1. Integração de Frameworks: O artigo propõe um template para estudar universais que envolvem compressão global dentro de uma categoria gramatical e a coevolução do significado lexical e da composição. Ele une a semântica formal (que modela estrutura) e a semântica evolutiva (que modela otimização).
2. Nova Conta da Conservatividade: Os autores argumentam que a conservatividade não é meramente uma característica dos significados dos quantificadores individuais, mas uma abstração de nível de sistema na função de composição. Ao definir a conservatividade uma única vez na função de composição (ex: restringindo o segundo argumento à interseção do primeiro), as línguas podem alcançar alta precisão comunicativa com mínima complexidade global.
3. Resolução de Tensões Empíricas: O modelo demonstra que a sensibilidade à estrutura sintática (determinantes vs. verbos) surge porque a função de composição pode evoluir restrições específicas para categorias gramaticais específicas. Isso explica por que significados não conservativos são aprendíveis em verbos (onde a função de composição permanece sem restrições), mas não em determinantes (onde a abstração de nível de sistema torna adições não conservativas custosas ou impossíveis).

Resultados
Os resultados da simulação, analisados via fronteira de Pareto, revelam três grupos distintos de línguas:

1. Sistemas Simples, de Baixa Precisão: Línguas com quantificadores degenerados e sem abstrações de nível de sistema. São simples, mas comunicativamente ineficazes.
2. Sistemas Ótimos (A Fronteira de Pareto): Línguas que encontram o melhor equilíbrio entre complexidade e precisão. Estes sistemas consistentemente evoluem uma função de composição conservativa.
   • Necessidade Pragmática: A conservatividade emerge como uma estratégia bem-sucedida apenas quando os agentes são pragmáticos. Agentes literais não selecionam sistematicamente sistemas conservativos. A abstração permite padrões de implicação complexos (ex: "todo" implica "algum") que agentes pragmicos exploram para aumentar a precisão.
   • Compressão Global: A função de composição codifica a restrição (ex: $Q(L)(R)$ torna-se $Q(L)(L \cap R)$), permitindo que os quantificadores individuais sejam definidos de forma simples (ex: apenas comparando tamanhos de conjuntos), enquanto o sistema como um todo permanece conservativo.
3. Sistemas de Retornos Decrescentes Complexos: Línguas com quantificadores exóticos e alta complexidade que oferecem ganhos negligenciáveis em precisão.

Os resultados mostram que línguas conservativas são relativamente raras no espaço prévio (~23%), mas dominam a fronteira de alta precisão e baixa complexidade quando o enriquecimento pragmático está ativo. Além disso, a capacidade de formar abstrações na função de composição é um pré-requisito para a emergência da conservatividade; sem ela, a fronteira é dominada por sistemas não conservativos.

Significância e Alegações
O artigo afirma que a imagem do significado sentencial desenvolvida na semântica formal pode ser produtivamente combinada com a modelagem evolutiva. Especificamente:

• Reenquadramento de Universais: Universais semânticos como a conservatividade devem ser caracterizados como interações entre significados lexicais e composição, e não apenas propriedades das entradas lexicais isoladas.
• Poder Explicativo: O modelo oferece uma conta melhor dos dados do que modelos anteriores ao explicar a sensibilidade gramatical da conservatividade (por que se aplica a determinantes, mas não a verbos) e as restrições de aprendibilidade observadas em experimentos psicolinguísticos.
• Mudança Metodológica: Os autores argumentam que modelos evolutivos devem ir além de sinais não estruturados para incluir funções de composição explícitas e tipos sintáticos para modelar com precisão a evolução dos universais linguísticos.
• Modéstia: Os autores reconhecem limitações, incluindo a viabilidade computacional de evoluir apenas três quantificadores de uma vez e a dependência de escolhas específicas para o léxico e primitivos conceituais. Eles sugerem que, embora os resultados específicos dependam dessas escolhas, a explicação para a emergência da conservatividade via compressão de nível de sistema é robusta.

Em conclusão, o artigo demonstra que a conservatividade emerge como uma abstração eficiente de nível de sistema que minimiza a complexidade global enquanto maximiza a precisão comunicativa em um cenário pragmático, oferecendo uma nova explicação evolutiva para um universal semântico fundamental.