Compositionality and the lexicon in evolutionary semantics

Technische Samenvatting: Compositionaliteit en het Lexicon in de Evolutionaire Semantiek

Probleemstelling
De formele semantiek heeft vastgesteld dat zinsbetekenissen ontstaan door de recursieve compositie van lexicale betekenissen. Echter, het vakgebied van de evolutionaire semantiek, dat streeft naar een verklaring voor semantische universalia door middel van druk op eenvoud en communicatieve nauwkeurigheid, heeft lexica grotendeels gemodelleerd als collecties ongestructureerde signalen of holistische composities die ontberen aan interpreteerbare lexicale delen. Deze methodologische kloof maakt het moeilijk om formele semantische karakterisaties van universalia te gebruiken om evolutionaire verklaringen te genereren.

Het artikel richt zich op conservativiteit, vermoedelijk het bekendste semantische universalis (Barwise & Cooper, 1981; Keenan & Stavi, 1986), dat stelt dat eenvoudige determinanten kwantoren uitdrukken die conservatief zijn op een specifiek argument (meestal het tweede). Eerdere evolutionaire verantwoordingen worstelen met het verenigen van verschillende empirische spanningen:

1. Leerbaarheid: Niet-conservatieve kwantoren zijn moeilijk te verwerven voor Engelse sprekers (Claim 4), maar niet-conservatieve relaties in het verbale domein (bijv. "outnumber") zijn wel leerbaar (Claim 5).
2. Complexiteit: Hoewel sommige modellen suggereren dat conservatieve kwantoren conceptueel eenvoudiger zijn (Claim 3), verklaart dit niet waarom de beperking specifiek geldt voor determinanten en niet voor werkwoorden.
3. Verklaring: Bestaande verklaringen (lexicale restrictie, interface-filtering, geordende predicatie) herbeschrijven het fenomeen slechts, leunen op onbewezen psycholinguïstische mechanismen, of falen om een evolutionaire verklaring te bieden voor waarom determinanten gespecialiseerd zijn in beperkte kwantificatie.

Methodologie
De auteurs introduceren een computationeel kader dat inzichten uit de formele semantiek integreert in evolutionaire modellering. De kerninnovatie is een model waarbij lexicale betekenissen en een compositiefunctie mede-evolueren onder druk van conceptuele eenvoud en communicatieve nauwkeurigheid.

• Communicatiemodel: Het kader gebruikt een signaalspel tussen een zender ($S$) en een ontvanger ($R$) in een context van vijf objecten met integer kenmerken. $S$ construeert een signaal om de gemeenschappelijke grond te beperken, en $R$ actualiseert overtuigingen. Succes wordt gemeten aan de hand van de reductie van mogelijke contexten.
• Taalstructuur: De taal bestaat uit een lexicon en een interpretatiefunctie. Cruciaal is dat het model semi-categorematische analyses toestaat. In tegenstelling tot de traditionele formele semantiek, die alle inhoud in lexicale paren plaatst (categorematisch) of in compositieregels (syncategorematisch), verdeelt dit kader de semantische inhoud tussen beide.
• Variabele Componenten: De studie laat ongespecificeerd:
  1. De betekenissen van drie kwantoren ($Q_1, Q_2, Q_3$).
  2. De specifieke compositiefunctie ($C^c_Q$) die een kwantor met zijn argumenten ($L$ en $R$) combineert.
• Optimalisatie: Het systeem verkent een ruimte van mogelijke talen gedefinieerd door probabilistische context-vrije grammatica's (PCFG's). Het evalueert deze talen op een Pareto-front dat een balans zoekt tussen:
  • Communicatieve Nauwkeurigheid: De verwachte bruikbaarheid van het communicatiespel, inclusief Griceaanse pragmatische verrijking (implicaturen).
  • Conceptuele Complexiteit: De descriptieve complexiteit van de globale interpretatiefunctie, waarbij abstracties in de compositiefunctie de complexiteit van individuele lexicale paren kunnen verminderen.
• Verwerkingsaanname: Het model gaat uit van "gradualness" (geleidelijkheid), waarbij argumenten progressief worden verwerkt terwijl ze waarden worden toegewezen. Dit beperkt het rechter argument om de waarde van het linker argument te gebruiken voordat het linker argument is verwerkt, maar dwingt niet inherent tot conservativiteit.

Belangrijkste Bijdragen

1. Integratie van Kaders: Het artikel stelt een sjabloon voor om universalia te bestuderen die betrokken zijn bij globale compressie binnen een grammaticale categorie en de mede-evolutie van lexicale en compositionele betekenis. Het overbrugt de kloof tussen de formele semantiek (die structuur modelleert) en de evolutionaire semantiek (die optimalisatie modelleert).
2. Nieuw Begrip van Conservativiteit: De auteurs stellen dat conservativiteit niet louter een kenmerk is van individuele kwantorbetekenissen, maar een systeembrede abstractie in de compositiefunctie. Door conservativiteit eenmaal in de compositiefunctie te definiëren (bijv. het tweede argument beperken tot de intersectie van het eerste), kunnen talen een hoge communicatieve nauwkeurigheid bereiken met minimale globale complexiteit.
3. Resolutie van Empirische Spanningen: Het model toont aan dat de gevoeligheid voor syntactische structuur (determinanten versus werkwoorden) voortkomt uit het feit dat de compositiefunctie specifieke beperkingen kan laten evolueren voor specifieke grammaticale categorieën. Dit verklaart waarom niet-conservatieve betekenissen leerbaar zijn in werkwoorden (waar de compositiefunctie onbeperkt blijft), maar niet in determinanten (waar de systeembrede abstractie het kostbaar of onmogelijk maakt om niet-conservatieve toevoegingen te maken).

Resultaten
De simulatieresultaten, geanalyseerd via het Pareto-front, onthullen drie duidelijke groepen talen:

1. Simpele, Lage-Nauwkeurigheidssystemen: Talen met degeneratieve kwantoren en geen systeembrede abstracties. Deze zijn eenvoudig maar communicatief ineffectief.
2. Optimale Systemen (Het Pareto-front): Talen die de beste balans vinden tussen complexiteit en nauwkeurigheid. Deze systemen ontwikkelen consistent een conservatieve compositiefunctie.
   • Pragmatische Noodzaak: Conservativiteit verschijnt als een succesvolle strategie alleen wanneer agenten pragmatisch zijn. Letterlijke agenten selecteren niet systematisch conservatieve systemen. De abstractie maakt complexe implicatiepatronen mogelijk (bijv. "alle" impliceert "sommige") die pragmatische agenten exploiteren om de nauwkeurigheid te vergroten.
   • Globale Compressie: De compositiefunctie codeert de restrictie (bijv. $Q(L)(R)$ wordt $Q(L)(L \cap R)$), waardoor individuele kwantoren eenvoudig gedefinieerd kunnen worden (bijv. enkel het vergelijken van verzetgroottes), terwijl het systeem als geheel conservatief blijft.
3. Complexe Systemen met Verminderende Meeropbrengsten: Talen met exotische kwantoren en hoge complexiteit die slechts marginaal winst opleveren in nauwkeurigheid.

De resultaten tonen aan dat conservatieve talen relatief zeldzaam zijn in de voorafgaande ruimte (~23%), maar domineren op het hoog-nauwkeurige, laag-complexe front wanneer pragmatische verrijking actief is. Bovendien is het vermogen om abstracties te vormen in de compositiefunctie een vereiste voor het verschijnen van conservativiteit; zonder dit wordt het front gedomineerd door niet-conservatieve systemen.

Betekenis en Claims
Het artikel claimt dat het beeld van zinsbetekenis ontwikkeld in de formale semantiek productief gecombineerd kan worden met evolutionaire modellering. Specifiek:

• Herformulering van Universalia: Semantische universalia zoals conservativiteit moeten worden gekarakteriseerd als interacties tussen lexicale betekenissen en compositie, in plaats van eigenschappen van lexicale paren alleen.
• Verklarende Kracht: Het model biedt een betere verantwoording van de data dan eerdere modellen door de grammaticale sensitiviteit van conservativiteit te verklaren (waarom het geldt voor determinanten maar niet voor werkwoorden) en de leerbaarheidbeperkingen die in psycholinguïstische experimenten worden waargenomen.
• Methodologische Verschuiving: De auteurs betogen dat evolutionaire modellen voorbij ongestructureerde signalen moeten gaan en expliciete compositiefuncties en syntactische typen moeten bevatten om de evolutie van linguïstische universalia accuraat te modelleren.
• Bescheidenheid: De auteurs erkennen beperkingen, waaronder de computationele haalbaarheid van het tegelijkertijd evolueren van slechts drie kwantoren en de afhankelijkheid van specifieke keuzes voor het lexicon en de conceptuele primitieven. Zij suggereren dat hoewel de specifieke resultaten afhangen van deze keuzes, de verklaring voor het verschijnen van conservativiteit via systeembrede compressie robuust is.

Concluderend toont het artikel aan dat conservativiteit verschijnt als een efficiënte systeembrede abstractie die de globale complexiteit minimaliseert terwijl de communicatieve nauwkeurigheid in een pragmatische setting maximaliseert, wat een nieuw evolutionair begrip biedt voor een fundamenteel semantisch universalis.