Formell semantik (naturligt språk)

Formell semantik är studiet av grammatisk betydelse i naturliga språk med hjälp av formella verktyg från logik och teoretisk datavetenskap . Det är ett tvärvetenskapligt fält, ibland betraktat som ett underområde av både lingvistik och språkfilosofi . Den ger redogörelser för vad språkliga uttryck betyder och hur deras betydelser är sammansatta av betydelserna av deras delar. Den formell semantiks företagande kan ses som det att omvända de semantiska komponenterna i naturliga språks grammatik.

Översikt

Formell semantik studerar beteckningar av naturliga språkuttryck. Bekymmer på hög nivå inkluderar kompositionalitet , referens och betydelsens natur . Viktiga ämnesområden inkluderar omfattning , modalitet , bindning , spänning och aspekt . Semantik är skild från pragmatik , som omfattar aspekter av mening som uppstår från interaktion och kommunikativ avsikt.

Formell semantik är ett tvärvetenskapligt fält som ofta ses som ett underområde av både lingvistik och filosofi , samtidigt som det innehåller arbete från datavetenskap , matematisk logik och kognitiv psykologi . Inom filosofin antar formella semantiker vanligtvis en platonistisk ontologi och en externalistisk syn på mening. Inom lingvistik är det vanligare att se formell semantik som en del av studiet av språklig kognition . Som ett resultat lägger filosofer mer tonvikt på konceptuella frågor medan lingvister är mer benägna att fokusera på syntax -semantikgränssnittet och tvärspråklig variation.

Centrala begrepp

Sanningsvillkor

Den grundläggande frågan om formell semantik är vad man vet när man vet hur man tolkar uttryck i ett språk. Ett vanligt antagande är att veta innebörden av en mening kräver att man känner till dess sanningsvillkor , eller med andra ord att veta hur världen skulle behöva se ut för att meningen ska vara sann. Till exempel, för att veta innebörden av den engelska meningen "Nancy röker" måste man veta att det är sant när personen Nancy utför handlingen att röka.

Men många nuvarande förhållningssätt till formell semantik hävdar att det finns mer i mening än sanningsvillkor. I den formella semantiska ramen för frågvis semantik kräver att veta innebörden av en mening också att man vet vilka frågor (dvs frågor) den väcker. Till exempel "Nancy röker, men dricker hon?" förmedlar samma sanningsvillkorade information som det tidigare exemplet men väcker också en fråga om huruvida Nancy dricker. Andra tillvägagångssätt generaliserar begreppet sanningsvillkor eller behandlar det som epifenomenalt. Till exempel i dynamisk semantik innebär att veta innebörden av en mening att veta hur den uppdaterar ett sammanhang. Pietroski behandlar betydelser som instruktioner för att bygga koncept.

Kompositionalitet

Kompositionsprincipen är det grundläggande antagandet inom formell semantik. Denna princip säger att beteckningen av ett komplext uttryck bestäms av beteckningarna för dess delar tillsammans med deras kompositionssätt. Till exempel bestäms beteckningen för den engelska meningen "Nancy smokes" av betydelsen av "Nancy", beteckningen "smokes", och vilka semantiska operationer som helst kombinerar betydelsen av subjekt med betydelsen av predikat . I en förenklad semantisk analys skulle denna idé formaliseras genom att anta att "Nancy" betecknar Nancy själv, medan "smokes" betecknar en funktion som tar något individuellt x som ett argument och returnerar sanningsvärdet "true " om x verkligen röker . Om man antar att orden "Nancy" och "smokes" är semantiskt sammansatta via funktionsapplikation , skulle denna analys förutsäga att meningen som helhet är sann om Nancy verkligen röker.

Fenomen

Omfattning

Omfattning kan ses som den semantiska ordningen för operationer. 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 . 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 omfattning 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 .

Bindande

Bindning är fenomenet där anaforiska element som pronomen grammatiskt förknippas med deras föregångare . Till exempel i den engelska meningen "Mary saw herself" anaforen "sig själv" bunden av dess föregångare "Mary". Bindning kan licensieras eller blockeras i vissa sammanhang eller syntaktiska konfigurationer, t.ex. kan pronomenet "henne" inte bindas av "Mary" i den engelska meningen "Mary saw her". Även om alla språk är bindande, varierar begränsningarna för det även mellan närbesläktade språk. Bindande var en viktig del för regeringen och bindande teoriparadigm .

Modalitet

Modalitet är det fenomen där språk används för att diskutera potentiellt icke-verkliga scenarier. Till exempel, medan en icke-modal mening som "Nancy rökte" gör påståenden om den faktiska världen, gör modaliserade meningar som "Nancy kanske rökt" eller "Om Nancy rökte, jag blir ledsen" påståenden om alternativa scenarier . De mest intensivt studerade uttrycken inkluderar modala hjälpämnen som "kunde", "bör" eller "måste"; modala adverb som "möjligen" eller "nödvändigtvis"; och modala adjektiv som "tänkbart" och "sannolikt". Emellertid har modala komponenter identifierats i betydelsen av otaliga naturliga språkuttryck inklusive kontrafakta , propositionella attityder , bevismaterial , vanor och generika. Standardbehandlingen av språklig modalitet föreslogs av Angelika Kratzer på 1970-talet, som bygger på en tidigare tradition av arbete inom modal logik .

Historia

Den logiska analysen av innebörden av deklarativa meningar började med aristotelisk logik . Det dröjde dock till början av 1970-talet (med filosofen och logikern Richard Montagues banbrytande arbete ) för formell semantik att växa fram som ett stort forskningsområde. Montague föreslog ett formellt system som nu är känt som Montague-grammatik som bestod av en ny syntaktisk formalism för engelska, ett logiskt system som kallas Intensional Logic och en uppsättning homomorfa översättningsregler som förbinder de två. I efterhand har Montague Grammar jämförts med en Rube Goldberg-maskin , men den betraktades som omvälvande när den först föreslogs, och många av dess grundläggande insikter finns kvar i de olika semantiska modellerna som har ersatt den.

Barbara Partee är en av grundarna och stora bidragsgivare till området.

Montague grammatik var ett stort framsteg eftersom det visade att naturliga språk kunde behandlas som tolkade formella språk . Innan Montague hade många lingvister tvivlat på att detta var möjligt, och logiker från den eran tenderade att se logik som en ersättning för naturligt språk snarare än ett verktyg för att analysera det. Montagues arbete publicerades under lingvistikkrigen , och många lingvister var initialt förbryllade över det. Medan lingvister ville ha en restriktiv teori som bara kunde modellera fenomen som förekommer i mänskliga språk, strävade Montague efter ett flexibelt ramverk som karakteriserade begreppet mening som mest generellt. På en konferens sa Montague till Barbara Partee att hon var "den enda språkforskaren som det inte är så att jag inte kan prata med".

Formell semantik växte till ett stort delområde av lingvistik i slutet av 1970-talet och början av 1980-talet, på grund av Barbara Partees framstående arbete. Partee utvecklade ett språkligt plausibelt system som inkorporerade nyckelinsikterna från både Montague Grammar och Transformational grammatik . Tidig forskning inom språklig formell semantik använde Partees system för att uppnå en mängd empiriska och konceptuella resultat. Senare arbete av Irene Heim , Angelika Kratzer , Tanya Reinhart , Robert May och andra byggde på Partees arbete för att ytterligare förena det med den generativa syntaxen. Det resulterande ramverket är känt som Heim och Kratzer- systemet, efter författarna till läroboken Semantics in Generative Grammar som först kodifierade och populariserade det. Heim och Kratzer-systemet skiljer sig från tidigare tillvägagångssätt genom att det innehåller en nivå av syntaktisk representation som kallas logisk form som genomgår semantisk tolkning. Således inkluderar detta system ofta syntaktiska representationer och operationer som introducerades av översättningsregler i Montagues system. Men arbete av andra som Gerald Gazdar föreslog modeller av syntax-semantikgränssnittet som stannade närmare Montagues, vilket gav ett tolkningssystem där denotationer kunde beräknas på basis av ytstrukturer . Dessa tillvägagångssätt lever vidare i ramar som kategoriserad grammatik och kombinatorisk kategorigrammatik .

Kognitiv semantik uppstod som en reaktion mot formell semantik, men det har nyligen gjorts flera försök att förena båda positionerna.

Se även

Vidare läsning

Max Cresswell (2006). "Formell semantik". I Michael Devitt, Richard Hanley (red.). Blackwell-guiden till språkfilosofin . Wiley-Blackwell. ISBN 978-0-631-23142-4 . En mycket lättillgänglig översikt över huvudidéerna på området.
John I. Saeed (2008). Semantik . Introduktion till lingvistik (3:e uppl.). Wiley-Blackwell. ISBN 978-1-4051-5639-4 . Kapitel 10, Formell semantik, innehåller den bästa täckningen på kapitelnivå av de viktigaste tekniska riktningarna
Johan van Benthem ; Alice Ter Meulen (2010). Handbook of Logic and Language (2:a uppl.). Elsevier. ISBN 978-0-444-53726-3 . Den mest omfattande referensen i området.
Emmon W. Bach (1989). Informella föreläsningar om formell semantik . SUNY Press. ISBN 978-0-88706-772-3 . En av de första läroböckerna. Tillgänglig för studenter.
Ronnie Cann (1993). Formell semantik: en introduktion . Cambridge University Press. ISBN 978-0-521-37610-5 .
Irene Heim ; Angelika Kratzer (1998). Semantik i generativ grammatik . Wiley-Blackwell. ISBN 978-0-631-19713-3 .
Gennaro Chierchia; Sally McConnell-Ginet (2000). Betydelse och grammatik: en introduktion till semantik (2:a uppl.). MIT Tryck på . ISBN 978-0-262-53164-1 .
Sean A. Fulop (2004). Om logiken och språkinlärningen . Trafford Publishing. ISBN 978-1-4120-2381-8 . ^{[ självpublicerad källa ]}
Glyn V. Morrill (1994). Typ logisk grammatik: kategorisk logik för tecken . Springer. ISBN 978-0-7923-3095-0 .
Reinhard Muskens. Typlogisk semantik ^{[ permanent död länk ]} . Routledge Encyclopedia of Philosophy Online .
Bob Carpenter (1998). Typlogisk semantik . MIT Press. ISBN 978-0-262-53149-8 .
Johan van Benthem (1995). Språk i aktion: kategorier, lambdas och dynamisk logik . MIT Press. ISBN 978-0-262-72024-3 .
Barbara H. Partee . Reflektioner av en formell semantiker från och med februari 2005. Gott om historisk information. (En utökad version av den inledande uppsatsen i Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)