Formell semantikk (naturlig språk) - Formal semantics (natural language)
Formell semantikk er studiet av grammatisk betydning i naturlige språk ved hjelp av formelle verktøy fra logikk og teoretisk informatikk . Det er et tverrfaglig felt, noen ganger sett på som et underfelt for både lingvistikk og språkfilosofi . Den gir beretninger om hva språklige uttrykk betyr og hvordan deres betydning er sammensatt ut fra betydningen av delene deres. Virksomheten med formell semantikk kan betraktes som omvendt konstruksjon av de semantiske komponentene i naturspråks grammatikk.
Oversikt
Formell semantikk studerer betegnelsene til naturlige språkuttrykk. Bekymringer på høyt nivå inkluderer sammensetning , referanse og betydningen . Sentrale temaområder inkluderer omfang , modalitet , binding , anspent og aspekt . Semantikk er forskjellig fra pragmatikk , som omfatter aspekter av mening som oppstår fra interaksjon og kommunikativ intensjon.
Formell semantikk er et tverrfaglig felt, ofte sett på som et underfelt for både lingvistikk og filosofi , samtidig som det inneholder arbeid fra datavitenskap , matematisk logikk og kognitiv psykologi . Innen filosofien adopterer formelle semantikere vanligvis en platonistisk ontologi og et eksternalistisk syn på mening. Innen lingvistikk er det mer vanlig å se formell semantikk som en del av studiet av språklig kognisjon . Som et resultat legger filosofer mer vekt på konseptuelle spørsmål, mens lingvister mer sannsynlig vil fokusere på syntaks-semantisk grensesnitt og krysslingvistisk variasjon.
Sentrale konsepter
Sannhetsbetingelser
Det grunnleggende spørsmålet om formell semantikk er hva du vet når du vet hvordan du skal tolke uttrykk for et språk. En vanlig antagelse er at det å kjenne betydningen av en setning krever at man kjenner dens sannhetsbetingelser , eller med andre ord å vite hvordan verden må være for at setningen skal være sann. For eksempel, for å kjenne betydningen av den engelske setningen "Nancy smokes" må man vite at det er sant når personen Nancy utfører handling av røyking.
Mange nåværende tilnærminger til formell semantikk sier imidlertid at det er mer mening enn sannhetsbetingelser. I den formelle semantiske rammen for nysgjerrig semantikk , krever det også å vite betydningen av en setning å vite hvilke spørsmål (dvs. spørsmål) den reiser. For eksempel "Nancy røyker, men drikker hun?" formidler den samme sannhetsbetingede informasjonen som det forrige eksemplet, men reiser også et spørsmål om Nancy drikker. Andre tilnærminger generaliserer begrepet sannhetsbetingelser eller behandler det som epifenomenalt. For eksempel i dynamisk semantikk , betyr det å vite betydningen av en setning å vite hvordan den oppdaterer en kontekst. Pietroski behandler betydninger som instruksjoner for å bygge konsepter.
Komposisjonalitet
Komposisjonsprinsippet er den grunnleggende antagelsen i formell semantikk. Dette prinsippet sier at betegnelsen på et komplekst uttrykk bestemmes av betegnelsene til dets deler sammen med deres sammensetningsmåte. For eksempel bestemmes betegnelsen til den engelske setningen "Nancy røyker" av betydningen av "Nancy", betegnelsen for "røyker", og uansett semantiske operasjoner som kombinerer betydningen av emner med betydningen av predikater . I en forenklet semantisk analyse ville denne ideen blitt formalisert ved å stille at "Nancy" betegner Nancy selv, mens "røyker" betegner en funksjon som tar noen individuelle x som et argument og returnerer sannhetsverdien "sant" hvis x faktisk røyker. Forutsatt at ordene "Nancy" og "røyker" er semantisk sammensatt via funksjonsapplikasjon , vil denne analysen forutsi at setningen som helhet er sann hvis Nancy faktisk røyker.
Fenomener
omfang
Omfang kan betraktes som den semantiske operasjonsrekkefølgen. For eksempel i setningen " Paulina drikker ikke øl, men hun drikker vin ", forekommer forslaget om at Paulina drikker øl innenfor rammen av negasjon , men forslaget om at Paulina drikker vin, gjør det ikke. En av de største bekymringene ved forskning i formell semantikk er forholdet mellom operatørs syntaktiske posisjoner og deres semantiske omfang. Dette forholdet er ikke gjennomsiktig, siden omfanget til en operatør ikke trenger å svare direkte til overflateposisjonen, og en enkelt overflateform kan være semantisk tvetydig mellom forskjellige omfangskonstruksjoner. Noen teorier om omfang posisjonerer et nivå av syntaktisk struktur kalt logisk form , der elementets syntaktiske posisjon tilsvarer dets semantiske omfang. Andre teorier beregner omfangsrelasjoner i selve semantikken ved å bruke formelle verktøy som typeskiftere, monader og fortsettelser .
Bindende
Binding er fenomenet der anaforiske elementer som pronomen er grammatisk knyttet til sine forløp . For eksempel i den engelske setningen "Mary så seg selv", er anaforen "seg selv" bundet av sin foregående "Mary". Binding kan lisensieres eller blokkeres i visse sammenhenger eller syntaktiske konfigurasjoner, f.eks. Pronomenet "hennes" kan ikke bindes av "Mary" i den engelske setningen "Mary saw her". Selv om alle språk har bindende, varierer begrensningene for det selv blant nært beslektede språk. Binding var en hovedfaktor for regjeringen og bindende teoriparadigme.
Modalitet
Modalitet er fenomenet der språk brukes til å diskutere potensielt ikke-faktiske scenarier. For eksempel, mens en ikke-modal setning som "Nancy røkt" gjør påstand om den faktiske verden, gjør modaliserte setninger som "Nancy kan ha røyket" eller "Hvis Nancy røykte, vil jeg være trist" påstander om alternative scenarier . De mest intensivt studerte uttrykkene inkluderer modale hjelpestoffer som "kunne", "burde" eller "må"; modale adverb som "muligens" eller "nødvendigvis"; og modale adjektiv som "tenkelig" og "sannsynlig". Imidlertid har modale komponenter blitt identifisert i betydningen av utallige uttrykk for naturlige språk, inkludert kontrafaktiske , proposisjonelle holdninger , bevis , vaner og generiske. Standardbehandlingen av språklig modalitet ble foreslått av Angelika Kratzer på 1970 -tallet , og bygde på en tidligere tradisjon for arbeid innen modal logikk .
Historie
Formell semantikk dukket opp som et stort forskningsområde på begynnelsen av 1970 -tallet, med pionerarbeidet til filosofen og logikeren Richard Montague . Montague foreslo et formelt system som nå er kjent som Montague grammatikk som besto av en ny syntaktisk formalisme for engelsk, et logisk system kalt Intensional Logic , og et sett med homomorfe oversettelsesregler som forbinder de to. I ettertid har Montague Grammar blitt sammenlignet med en Rube Goldberg-maskin , men den ble sett på som jordskjelvende da den først ble foreslått, og mange av dens grunnleggende innsikt overlever i de forskjellige semantiske modellene som har erstattet den.
Montague Grammar var et stort fremskritt fordi det viste at naturlige språk kunne behandles som tolket formelle språk . Før Montague hadde mange lingvister tvilt på at dette var mulig, og logikere fra den epoken hadde en tendens til å se på logikk som en erstatning for naturlig språk i stedet for et verktøy for å analysere det. Montagues arbeid ble publisert under lingvistikkskrigen , og mange lingvister ble opprinnelig forundret over det. Mens lingvister ønsket en restriktiv teori som bare kunne modellere fenomener som forekommer på menneskelige språk, søkte Montague et fleksibelt rammeverk som karakteriserte begrepet mening på sitt mest generelle. På en konferanse fortalte Montague Barbara Partee at hun var "den eneste lingvisten som jeg ikke kan snakke med".
Formell semantikk vokste til et stort underfelt innen lingvistikk på slutten av 1970 -tallet og begynnelsen av 1980 -tallet, på grunn av det sentrale arbeidet til Barbara Partee. Partee utviklet et språklig troverdig system som inkorporerte de viktigste innsiktene i både Montague Grammar og Transformational grammatikk . Tidlig forskning i språklig formell semantikk brukte Partees system for å oppnå et vell av empiriske og konseptuelle resultater. Senere arbeid av Irene Heim , Angelika Kratzer , Tanya Reinhart , Robert May og andre bygde videre på Partees arbeid for å forene det ytterligere med den generative tilnærmingen til syntaks. Det resulterende rammeverket er kjent som Heim and Kratzer -systemet, etter forfatterne av læreboken Semantics in Generative Grammar som først kodifiserte og populariserte det. Heim og Kratzer -systemet skiller seg fra tidligere tilnærminger ved at det inkorporerer et nivå av syntaktisk representasjon kalt logisk form som gjennomgår semantisk tolkning. Dermed inkluderer dette systemet ofte syntaktiske fremstillinger og operasjoner som ble introdusert av oversettelsesregler i Montages system. Imidlertid foreslo arbeid av andre som Gerald Gazdar modeller av syntaks-semantisk grensesnitt som holdt seg nærmere Montages , og ga et tolkningssystem der denotasjoner kunne beregnes på grunnlag av overflatestrukturer . Disse tilnærmingene lever videre i rammer som kategorisk grammatikk og kombinatorisk kategorig grammatikk .
Kognitiv semantikk dukket opp som en reaksjon mot formell semantikk, men det har nylig vært flere forsøk på å forene begge posisjonene.
Se også
- Alternativ semantikk
- Barbara Partee
- Komposisjonalitet
- Beregningssemantikk
- Diskursrepresentasjonsteori
- Dynamisk semantikk
- Nysgjerrig semantikk
- Språkfilosofi
- Pragmatikk
- Richard Montague
- Montague grammatikk
Referanser
Videre lesning
- Max Cresswell (2006). "Formell semantikk". I Michael Devitt, Richard Hanley (red.). Blackwell -guiden til språkfilosofien . Wiley-Blackwell. ISBN 978-0-631-23142-4. En veldig tilgjengelig oversikt over hovedideene på feltet.
- John I. Saeed (2008). Semantikk . Vi introduserer lingvistikk (3. utg.). Wiley-Blackwell. ISBN 978-1-4051-5639-4. Kapittel 10, Formal semantikk, inneholder den beste kapittelnivået for de viktigste tekniske retningene
- Johan van Benthem ; Alice Ter Meulen (2010). Handbook of Logic and Language (2. utg.). Elsevier. ISBN 978-0-444-53726-3. Den mest omfattende referansen i området.
- Emmon W. Bach (1989). Uformelle forelesninger om formell semantikk . SUNY Trykk. ISBN 978-0-88706-772-3.En av de første lærebøkene. Tilgjengelig for studenter.
- Ronnie Cann (1993). Formell semantikk: en introduksjon . Cambridge University Press. ISBN 978-0-521-37610-5.
- Irene Heim ; Angelika Kratzer (1998). Semantikk i generativ grammatikk . Wiley-Blackwell. ISBN 978-0-631-19713-3.
- Gennaro Chierchia; Sally McConnell-Ginet (2000). Betydning og grammatikk: en introduksjon til semantikk (2. utg.). MIT Press . ISBN 978-0-262-53164-1.
- Sean A. Fulop (2004). Om logikk og læring av språk . Trafford Publishing. ISBN 978-1-4120-2381-8.
- Glyn V. Morrill (1994). Skriv logisk grammatikk: kategorisk logikk for tegn . Springer. ISBN 978-0-7923-3095-0.
- Reinhard Muskens. Typelogisk semantikk . Routledge Encyclopedia of Philosophy Online .
- Bob Carpenter (1998). Typelogisk semantikk . MIT Press. ISBN 978-0-262-53149-8.
- Johan van Benthem (1995). Språk i aksjon: kategorier, lambdas og dynamisk logikk . MIT Press. ISBN 978-0-262-72024-3.
- Barbara H. Partee . Refleksjoner fra en formell semantiker fra februar 2005. Rikelig med historisk informasjon. (En utvidet versjon av det innledende essayet i Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)