Semantyka formalna (język naturalny)

Semantyka formalna to badanie znaczenia gramatycznego w językach naturalnych przy użyciu formalnych narzędzi logiki i informatyki teoretycznej . Jest to dziedzina interdyscyplinarna, czasami uważana za poddziedzinę zarówno językoznawstwa , jak i filozofii języka . Zawiera opisy tego, co oznaczają wyrażenia językowe i jak ich znaczenia składają się ze znaczeń ich części. Przedsięwzięcie semantyki formalnej można traktować jako inżynierię wsteczną semantycznych składników gramatyk języków naturalnych.

Przegląd

Semantyka formalna bada denotacje wyrażeń języka naturalnego. Zagadnienia wysokiego poziomu obejmują kompozycję , odniesienie i naturę znaczenia . Kluczowe obszary tematyczne obejmują zakres , modalność , oprawę , czas i aspekt . Semantyka różni się od pragmatyki , która obejmuje aspekty znaczenia wynikające z interakcji i intencji komunikacyjnej.

Semantyka formalna to dziedzina interdyscyplinarna, często postrzegana jako poddziedzina zarówno językoznawstwa , jak i filozofii , a jednocześnie obejmująca prace z informatyki , logiki matematycznej i psychologii poznawczej . W ramach filozofii semantycy formalni zazwyczaj przyjmują platońską i eksternalistyczny pogląd na znaczenie. W językoznawstwie częściej postrzega się semantykę formalną jako część badania poznania językowego . W rezultacie filozofowie kładą większy nacisk na kwestie pojęciowe, podczas gdy lingwiści częściej skupiają się na interfejsie składniowo-semantycznym i zmienności międzyjęzykowej.

Pojęcia centralne

Warunki prawdy

Podstawowym pytaniem semantyki formalnej jest to, co wiesz, kiedy wiesz, jak interpretować wyrażenia języka. Powszechnym założeniem jest to, że poznanie znaczenia zdania wymaga znajomości jego warunków prawdziwości , czyli innymi słowy wiedzy, jaki musiałby być świat, aby zdanie było prawdziwe. Na przykład, aby poznać znaczenie angielskiego zdania „Nancy pali”, trzeba wiedzieć, że jest ono prawdziwe, gdy osoba Nancy wykonuje czynność palenia.

Jednak wiele obecnych podejść do semantyki formalnej zakłada, że znaczenie to coś więcej niż warunki prawdy. W formalnych ramach semantycznych semantyki dociekliwej poznanie znaczenia zdania wymaga również wiedzy, jakie kwestie (tj. pytania) ono podnosi. Na przykład „Nancy pali, ale czy pije?” przekazuje te same informacje warunkowe prawdziwością, co poprzedni przykład, ale także porusza kwestię, czy Nancy pije. Inne podejścia uogólniają pojęcie warunkowości prawdy lub traktują je jako epifenomenalne. Na przykład w semantyce dynamicznej , znajomość znaczenia zdania jest równoznaczna z wiedzą, w jaki sposób aktualizuje ono kontekst. Pietroski traktuje znaczenia jako instrukcje budowania pojęć.

Kompozycyjność

Zasada kompozycyjności jest podstawowym założeniem semantyki formalnej. Zasada ta głosi, że denotacja wyrażenia złożonego jest określona przez denotacje jego części wraz ze sposobem ich składu. Na przykład denotacja angielskiego zdania „Nancy pali” jest określona przez znaczenie „Nancy”, denotacja „pali” i wszelkie operacje semantyczne łączące znaczenia podmiotów ze znaczeniami predykatów . W uproszczonej analizie semantycznej pomysł ten zostałby sformalizowany przez założenie, że „Nancy” oznacza samą Nancy, podczas gdy „pali” oznacza funkcję, która przyjmuje pewną osobę x jako argument i zwraca wartość logiczną „prawda” , jeśli x rzeczywiście pali. Zakładając, że słowa „Nancy” i „pali” są semantycznie skomponowane za pomocą funkcji application , ta analiza przewidywałaby, że zdanie jako całość jest prawdziwe, jeśli Nancy rzeczywiście pali.

Zjawiska

Zakres

Zakres można traktować jako semantyczny porządek operacji. Na przykład w zdaniu „ Paulina nie pije piwa, ale pije wino ” zdanie , że Paulina pije piwo, występuje w zakresie przeczenia , ale zdanie, że Paulina pije wino, nie. Jednym z głównych problemów badań semantyki formalnej jest związek między pozycjami syntaktycznymi operatorów a ich zakresem semantycznym. Ta zależność nie jest przejrzysta, ponieważ zakres operatora nie musi bezpośrednio odpowiadać jego pozycji na powierzchni a pojedyncza forma powierzchni może być semantycznie niejednoznaczna między różnymi konstrukcjami zakresu. Niektóre teorie zakresu zakładają poziom struktury syntaktycznej zwany formą logiczną , w którym pozycja składniowa elementu odpowiada jego zakresowi semantycznemu. Inne teorie obliczają relacje zakresu w samej semantyce, używając narzędzi formalnych, takich jak przesuwniki typów, monady i kontynuacje .

Wiążący

Wiązanie to zjawisko, w którym elementy anaforyczne , takie jak zaimki , są gramatycznie powiązane z ich poprzednikami . Na przykład w zdaniu angielskim „Mary zobaczyła siebie”, anaforę „sama” jest związana swoim poprzednikiem „Maryja”. Wiązanie może być licencjonowane lub blokowane w pewnych kontekstach lub konfiguracjach składniowych, np. zaimek „her” nie może być związany przez „Mary” w zdaniu angielskim „Mary saw her”. Chociaż wszystkie języki mają wiążące ograniczenia, nawet w przypadku blisko spokrewnionych języków są różne ograniczenia. Wiązanie było głównym tematem rządu i teorii wiązania .

Modalność

Modalność to zjawisko, w którym język jest używany do omawiania potencjalnie nierzeczywistych scenariuszy. Na przykład, podczas gdy zdanie niemodalne, takie jak „Nancy paliła”, zawiera twierdzenie dotyczące rzeczywistego świata, zdania modalne, takie jak „Nancy mogła palić” lub „Jeśli Nancy paliła, będę smutny”, zawierają twierdzenia dotyczące alternatywnych scenariuszy . Najintensywniej badane wyrażenia obejmują pomocniki modalne takie jak „może”, „powinien” lub „musi”; przysłówki modalne, takie jak „prawdopodobnie” lub „koniecznie”; oraz przymiotniki modalne, takie jak „możliwy do pomyślenia” i „prawdopodobny”. Jednak komponenty modalne zostały zidentyfikowane w znaczeniach niezliczonych wyrażeń języka naturalnego, w tym kontrfaktów , postaw propozycjonalnych , dowodów , zwyczajów i rodzajów. Standardowe traktowanie modalności językowej zaproponowała Angelika Kratzer , opierając się na wcześniejszej tradycji pracy nad logika modalna .

Historia

Analiza logiczna znaczenia zdań oznajmujących rozpoczęła się od logiki arystotelesowskiej . Jednak dopiero na początku lat siedemdziesiątych XX wieku (wraz z pionierską pracą filozofa i logika Richarda Montague ) semantyka formalna stała się głównym obszarem badań. Montague zaproponował formalny system znany obecnie jako gramatyka Montague , który składał się z nowego formalizmu składniowego języka angielskiego, systemu logicznego zwanego logiką intensywną oraz zestawu homomorficznych reguły translacji łączące te dwa elementy. Z perspektywy czasu gramatykę Montague porównuje się do maszyny Rube'a Goldberga , ale kiedy została po raz pierwszy zaproponowana, uznano ją za wstrząsającą, a wiele jej fundamentalnych spostrzeżeń przetrwało w różnych modelach semantycznych, które ją zastąpiły.

Barbara Partee jest jedną z założycielek i głównych współtwórców tej dziedziny.

Gramatyka Montague była dużym postępem, ponieważ pokazała, że języki naturalne mogą być traktowane jako interpretowane języki formalne . Przed Montague wielu lingwistów wątpiło, czy jest to możliwe, a logicy tamtej epoki mieli tendencję do postrzegania logiki jako zamiennika języka naturalnego, a nie narzędzia do jego analizy. Praca Montague została opublikowana podczas wojen lingwistycznych , i początkowo wielu lingwistów było tym zaintrygowanych. Podczas gdy lingwiści chcieli teorii ograniczającej, która mogłaby jedynie modelować zjawiska zachodzące w ludzkich językach, Montague poszukiwał elastycznych ram, które charakteryzowałyby koncepcję znaczenia w jej najbardziej ogólnej postaci. Na jednej z konferencji Montague powiedział Barbarze Partee , że jest „jedyną lingwistką, z którą nie mogę rozmawiać”.

Semantyka formalna wyrosła na główną dziedzinę językoznawstwa pod koniec lat 70. i na początku lat 80. dzięki przełomowej pracy Barbary Partee. Partee opracował językowo wiarygodny system, który zawierał kluczowe spostrzeżenia zarówno gramatyki Montague, jak i gramatyki transformacyjnej . Wczesne badania lingwistycznej semantyki formalnej wykorzystywały system Partee do uzyskania bogactwa wyników empirycznych i koncepcyjnych. Późniejsze prace Irene Heim , Angeliki Kratzer , Tanyi Reinhart , Roberta Maya i innych opierały się na pracy Partee, aby jeszcze bardziej pogodzić ją z generatywną podejście do składni. Powstały szkielet jest znany jako Heima i Kratzera , od nazwiska autorów podręcznika Semantics in Generative Grammar , który jako pierwszy go skodyfikował i spopularyzował. System Heima i Kratzera różni się od wcześniejszych podejść tym, że zawiera poziom reprezentacji syntaktycznej zwany formą logiczną , który podlega interpretacji semantycznej. Dlatego system ten często zawiera reprezentacje składniowe i operacje, które zostały wprowadzone przez reguły translacji w systemie Montague'a. Jednak prace innych, takich jak Gerald Gazdar zaproponowali modele interfejsu syntaktyka-semantyka, które były bliższe modelowi Montague'a, zapewniając system interpretacji, w którym denotacje można było obliczać na podstawie struktur powierzchniowych . Podejścia te są obecne w ramach, takich jak gramatyka kategorialna i kombinatoryczna gramatyka kategorialna .

Semantyka kognitywna pojawiła się jako reakcja na semantykę formalną, ale ostatnio podjęto kilka prób pogodzenia obu stanowisk.

Zobacz też

Dalsza lektura

Maxa Cresswella (2006). „Semantyka formalna”. W Michael Devitt, Richard Hanley (red.). Przewodnik Blackwella po filozofii języka . Wiley-Blackwell. ISBN 978-0-631-23142-4 . Bardzo przystępny przegląd głównych idei w tej dziedzinie.
John I. Saeed (2008). Semantyka . Wprowadzenie językoznawstwa (wyd. 3). Wiley-Blackwell. ISBN 978-1-4051-5639-4 . Rozdział 10, Semantyka formalna, zawiera najlepsze omówienie głównych kierunków technicznych na poziomie rozdziału
Johan van Benthem ; Alice Ter Meulen (2010). Podręcznik logiki i języka (wyd. 2). Elsevier. ISBN 978-0-444-53726-3 . Najbardziej wszechstronna referencja w okolicy.
Emmon W. Bach (1989). Nieformalne wykłady z semantyki formalnej . SUNY Naciśnij. ISBN 978-0-88706-772-3 . Jeden z pierwszych podręczników. Dostępny dla studentów.
Ronniego Canna (1993). Semantyka formalna: wprowadzenie . Wydawnictwo Uniwersytetu Cambridge. ISBN 978-0-521-37610-5 .
Irena Heim ; Angelika Kratzer (1998). Semantyka w gramatyce generatywnej . Wiley-Blackwell. ISBN 978-0-631-19713-3 .
Gennaro Chierchia; Sally McConnell-Ginet (2000). Znaczenie i gramatyka: wprowadzenie do semantyki (wyd. 2). MIT Naciśnij . ISBN 978-0-262-53164-1 .
Sean A. Fulop (2004). O logice i nauce języka . Wydawnictwo Trafford. ISBN 978-1-4120-2381-8 . ^{[ źródło opublikowane samodzielnie ]}
Glyn V. Morrill (1994). Rodzaj gramatyki logicznej: kategorialna logika znaków . Skoczek. ISBN 978-0-7923-3095-0 .
Reinharda Muskensa. Semantyka logiczna typu ^{[ stały martwy link ]} . Routledge Encyklopedia filozofii online .
Boba Carpentera (1998). Semantyka typologiczna . MIT Press. ISBN 978-0-262-53149-8 .
Johan van Benthem (1995). Język w działaniu: kategorie, wyrażenia lambda i logika dynamiczna . MIT Press. ISBN 978-0-262-72024-3 .
Barbary H. Partii . Refleksje formalnego semantyka z lutego 2005 r. Obszerne informacje historyczne. (Rozszerzona wersja eseju wprowadzającego w: Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)