Omfattning (formell semantik)
I formell semantik är omfattningen av en semantisk operator det semantiska objekt som den gäller. Till exempel, i meningen " Paulina dricker inte öl men hon dricker vin " förekommer påståendet att Paulina dricker öl inom ramen för negationen , men påståendet att Paulina dricker vin gör det inte . Omfattning kan ses som den semantiska ordningen för operationer.
En av de största problemen med forskning inom formell semantik är förhållandet mellan operatörers syntaktiska positioner och deras semantiska omfattning. Detta förhållande är inte transparent, eftersom omfattningen av en operatör inte direkt behöver motsvara dess ytposition och en enda ytform kan vara semantiskt tvetydig mellan olika omfångskonstruktioner. Vissa teorier om räckvidd anger en nivå av syntaktisk struktur som kallas logisk form , där ett objekts syntaktiska position motsvarar dess semantiska omfattning. Andra teorier beräknar omfattningsrelationer i själva semantiken, med hjälp av formella verktyg som typskiftare, monader och fortsättningar .
Fenomen
Otydlighet i omfattningen
Omfattningen av en operator behöver inte direkt motsvara ordordningen i meningen den förekommer i. Till exempel visar vissa meningar en omfångsambiguitet i och med att de relativa omfånget för två operatorer kan tolkas på flera sätt.
- Varje igelkott är vän med en giraff.
Denna mening kan förstås på två sätt. På den omvända scope -läsningen finns det en enda giraff som är mycket populär i igelkottssamhället. På ytans räckviddsavläsning kan meningen vara sann även om igelkottarna är vänner med olika giraffer.
Delat omfattning
Split scope är fenomenet där olika komponenter i ett uttrycksobjekts betydelse får omfattning på olika platser. Negativa kvantifierare är en kategori av uttryck som har hävdats ta delad omfattning.
- Företaget behöver inte sparka några anställda.
På de re (icke-delad) läsning betyder denna mening att det inte finns någon anställd som företaget behöver säga upp den anställde. Detta är en icke-delad omfattning eftersom "nej" helt enkelt tar omfattning över det modala "behovet". På den splittrade läsningen av denna mening betyder det att det inte är så att företaget behöver säga upp några anställda. Vid denna läsning sönderfaller "nej" till en negationsomfattning ovanför "behov" och en existentiell kvantifierare omfattning under den.
Indefinites har hävdats ha delat räckvidd, med separat existentiell räckvidd och distributiv räckvidd . Detta faktum kan ses i följande exempel:
- Om tre släktingar till mig dör, kommer jag att ärva ett hus.
Bland den här meningens läsning finns en som betyder "Det finns en uppsättning av tre släktingar så att, om dessa tre släktingar dör, kommer jag att ärva ett hus." Vid denna läsning tar den obestämda "mina tre släktingar" existentiell räckvidd utanför det villkorliga – det hävdar villkorslöst att dessa tre släktingar faktiskt existerar. Men om det obestämda tar fördelningsräckvidd inom det villkorliga – – talaren kommer att ärva ett hus om tre släktingar dör, inte om x dör där x kan vara någon av dessa tre släktingar.
Definitiva beskrivningar har också hävdats ha delad räckvidd. Definites anses klassiskt förutsätta att deras referenter är unika. Till exempel är den bestämda beskrivningen "katten" ofullständig i ett sammanhang där det finns flera katter som talaren kan ha i åtanke. Denna generalisering verkar dock motsägas av Haddock-beskrivningar som följande:
-
Sammanhang: Framför talaren finns många hattar, varav en innehåller en kanin. Koljabeskrivning: Kaninen i hatten
Denna substantivfras är lycklig att använda i detta sammanhang, även om det inte finns någon unik hatt. Vad som verkar licensiera denna överraskande användning av den bestämda beskrivningen är det faktum att sammanhanget innehåller en unik kanininnehållande hatt. För att kassera denna idé har det föreslagits att unikhetsförutsättningen för "hatten" tar räckvidd separat från resten av det bestämda innebörden. Med andra ord, en vittnesuppsättning är etablerad lågt i strukturen, men kontrolleras för singeltonhet högre upp.
Omfattning öar
Även om operatörer ofta kan ta kikarsikte över sin ytposition, är det inte helt fritt att ta sikte var de vill. Till exempel, som illustreras av mening 1 nedan, kan kvantifierare som har sitt ursprung i en if-sats vanligtvis inte ta räckvidd utanför den "if"-satsen. Denna mening kan inte betyda att Beth kommer att ärva ett hus för varje död släkting.
- Om varje släkting till mig dör, kommer jag att ärva ett hus.
Detta faktum liknar det faktum att en wh-fras inte kan extraheras från en "om"-sats, som visas i mening 2.
- Vilken släkting jag kommer att ärva en förmögenhet om jag dör ?
Exempel av detta slag har använts för att hävda att räckviddsrelationer bestäms av syntaktiska rörelseoperationer.
Bortsett från sin teoretiska betydelse är räckviddsöar också praktiskt användbara eftersom de kan användas för att konstruera entydiga parafraser av meningar med räckviddsambiguiteter.
Exceptionell omfattning
Medan de flesta operatörer inte kan räcka ut från en ö, kan andra. Till exempel kan det obestämda "a" i meningen nedan ta omfång utanför dess ytposition inuti en "om"-sats. Den här meningen kan innebära att det finns en viss släkting som måste dö för att talaren ska få ett hus.
- Om en släkting till mig dör kommer jag att ärva ett hus.
Exempel av detta slag har använts för att argumentera för att obestämda termer inte har standardiserade generaliserade kvantifieringsbeteckningar . På valfunktionsmetoden som föreslagits av Tanya Reinhart bidrar obestämda till en variabel över valfunktioner som kan vara existentiellt stängda när som helst högre upp i strukturen. Angelika Kratzer föreslog en annan valfunktionsbaserad teori, som liknar Reinharts förutom att valfunktionsvariabeln lämnas fri . Nyligen utförda arbeten som Charlow (2020) behandlar obestämda värden som betecknande uppsättningar av individer som kan typskiftas så att de får räckvidd på ett sätt som liknar Karttunens (1977) alternativbaserade mekanism för wh-frågor.
Formella förhållningssätt till omfattning
Den strukturella synen på räckvidd är en inflytelserik syn som ställer ett nära samband mellan syntax och semantik. Detta tillvägagångssätt kännetecknas av följande hypotes, först formulerad av Tanya Reinhart :
- Hypotes om räckvidd och domän : Det semantiska omfånget för en operator motsvarar objektets position som uttrycker det på någon nivå av syntaktisk representation.
Denna syn är allmänt antagen i generativa tillvägagångssätt som Heim och Kratzer (1998). I dessa tillvägagångssätt är den relevanta syntaktiska nivån logisk form och den syntaktiska föreställningen som motsvarar semantisk omfattning identifieras vanligtvis som c-kommando .
I strukturella tillvägagångssätt förklaras avvikelser mellan ett uttrycks ytposition och dess semantiska omfång av syntaktiska rörelseoperationer såsom kvantifierarhöjning . Rörelsemetoden motiveras till stor del av det faktum att kvantifierarens omfattning verkar lyda många av samma restriktioner som rörelse gör, t.ex. öar .
Ett framträdande alternativ till den strukturella synen är den typskiftande synen som först föreslogs av Barbara Partee och Mats Rooth. Detta tillvägagångssätt använder typskiftare för att styra skopala relationer. Eftersom typskiftare tillämpas under processen med semantisk tolkning, tillåter detta tillvägagångssätt att skopala relationer är delvis oberoende av syntaktisk struktur. Typskiftande tillvägagångssätt fungerar som grunden för många nya förslag om exceptionell omfattning, delad omfattning och andra besvärliga omfångsrelaterade fenomen.