Semantyka formalna (język naturalny) - Formal semantics (natural language)

Semantyka formalna to nauka o znaczeniu gramatycznym w językach naturalnych przy użyciu narzędzi formalnych logiki i informatyki teoretycznej . Jest to dziedzina interdyscyplinarna, uznawana niekiedy za poddziedzinę zarówno językoznawstwa, jak i filozofii języka . Zawiera relacje o znaczeniu wyrażeń językowych i o tym, jak ich znaczenia składają się ze znaczeń ich części. Przedsięwzięcie formalnej semantyki może być traktowane jako przedsięwzięcie inżynierii odwrotnej semantycznych składników gramatyk języków naturalnych.

Przegląd

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

Semantyka formalna to dziedzina interdyscyplinarna, często postrzegana jako poddziedzina zarówno językoznawstwa, jak i filozofii , zawierająca również prace z zakresu informatyki , logiki matematycznej i psychologii poznawczej . W filozofii semantycy formalni zazwyczaj przyjmują ontologię platońską i eksternalistyczny pogląd na znaczenie. W lingwistyce częściej postrzega się semantykę formalną jako część badań nad poznaniem językowym . W rezultacie filozofowie kładą większy nacisk na kwestie konceptualne, podczas gdy językoznawcy 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. Powszechnie przyjmuje się, ż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 aktualnych podejść do semantyki formalnej zakłada, że chodzi o coś więcej niż o warunki prawdziwości. W formalnych ramach semantycznych semantyki dociekliwej poznanie znaczenia zdania wymaga również wiedzy, jakie kwestie (tj. pytania) nasuwa. Na przykład „Nancy pali, ale czy pije?” przekazuje te same informacje warunkowe prawdziwości, co w poprzednim przykładzie, ale podnosi również kwestię tego, czy Nancy pije. Inne podejścia uogólniają pojęcie warunkowości prawdy lub traktują ją jako epifenomenalną. Na przykład w semantyce dynamicznej znajomość znaczenia zdania sprowadza się do wiedzy, jak aktualizuje kontekst. Pietroski traktuje znaczenia jako instrukcje budowania pojęć.

Kompozycyjność

Zasada kompozycyjności jest podstawowym założeniem semantyki formalnej. Zasada ta mówi, że denotację złożonego wyrażenia określają denotacje jego części wraz ze sposobem ich kompozycji. Na przykład denotacja angielskiego zdania „Nancy pali” jest określona przez znaczenie „Nancy”, denotację „dymów”, a wszelkie operacje semantyczne łączą 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 „smoke” oznacza funkcję, która przyjmuje jako argument pewną jednostkę x i zwraca wartość prawdy „prawda”, jeśli x rzeczywiście pali. Zakładając, że słowa „Nancy” i „smoke” są semantycznie skomponowane za pomocą funkcji application , ta analiza pozwoliłaby przewidzieć, że zdanie jako całość jest prawdziwe, jeśli Nancy rzeczywiście pali.

Zjawiska

Zakres

Zakres można traktować jako semantyczny porządek operacji. Np. w zdaniu „ Paulina nie pije piwa, ale wino pije ” twierdzenie, że Paulina pije piwo występuje w ramach negacji , ale twierdzenie, że Paulina pije wino nie. Jednym z głównych problemów badań nad semantyką formalną jest związek między pozycjami składniowymi operatorów a ich zakresem semantycznym. Ta zależność nie jest przezroczysta, ponieważ zakres operatora nie musi bezpośrednio odpowiadać jego położeniu powierzchni, a pojedyncza postać powierzchni może być semantycznie niejednoznaczna między różnymi konstruktami 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 zasięgu w samej semantyce, używając narzędzi formalnych, takich jak przesuwanie 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 angielskim zdaniu „Mary ujrzała się sama” anafora „sama” jest związana z jego poprzednikiem „Mary”. 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 see her”. Chociaż wszystkie języki są wiążące, ograniczenia w tym zakresie różnią się nawet między blisko spokrewnionymi językami. Wiązanie było najważniejsze dla rządowego i wiążącego paradygmatu teorii .

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”, odnosi się do rzeczywistego świata, zdania zmodalizowane, takie jak „Nancy mogła palić” lub „Jeśli Nancy paliła, będę smutny” zawierają twierdzenia dotyczące alternatywnych scenariuszy . Do najintensywniej badanych wyrażeń należą modalne środki pomocnicze, takie jak „mógłby”, „powinien” lub „musiał”; przysłówki modalne, takie jak „możliwe” lub „koniecznie”; oraz przymiotniki modalne, takie jak „wyobrażalny” i „prawdopodobny”. Jednak komponenty modalne zostały zidentyfikowane w znaczeniach niezliczonych wyrażeń języka naturalnego, w tym kontrfaktów , postaw propozycjonalnych , dowodów , nawyków i generyków. Standardowe traktowanie modalności lingwistycznej zaproponowała w latach 70. Angelika Kratzer, nawiązując do wcześniejszej tradycji pracy w logice modalnej .

Historia

Semantyka formalna pojawiła się jako główny obszar badań na początku lat siedemdziesiątych, wraz z pionierską pracą filozofa i logika Richarda Montague . Montague zaproponował system formalny znany obecnie jako gramatyka Montague, który składał się z nowego formalizmu syntaktycznego dla języka angielskiego, systemu logicznego o nazwie Logika Intensjonalna oraz zestawu homomorficznych reguł translacji łączących te dwa elementy. Z perspektywy czasu, Montague Grammar został porównany do maszyny Rube Goldberga , ale został uznany za wstrząsający, kiedy po raz pierwszy został zaproponowany, a wiele z jego fundamentalnych spostrzeżeń przetrwało w różnych modelach semantycznych, które ją zastąpiły.

Barbara Partee była jednym z założycieli i głównych współtwórców tej dziedziny.

Gramatyka Montague była dużym postępem, ponieważ pokazała, że języki naturalne można traktować jako interpretowane języki formalne . Przed Montague wielu językoznawców wątpiło w to, że jest to możliwe, a logicy tamtych czasów mieli tendencję do postrzegania logiki jako zamiennika języka naturalnego, a nie narzędzia do jego analizy. Praca Montague'a została opublikowana podczas wojen językoznawczych i wielu językoznawców początkowo było nią zdziwionych. Podczas gdy językoznawcy chcieli restrykcyjnej teorii, która mogłaby modelować jedynie zjawiska występujące w językach ludzkich, Montague poszukiwał elastycznych ram, które charakteryzowałyby pojęcie znaczenia w jego najbardziej ogólnym ujęciu. Na jednej z konferencji Montague powiedział Barbarze Partee , że jest „jedyną językoznawcą, z którą nie mogę rozmawiać”.

Semantyka formalna stała się główną poddziedziną 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 nad lingwistyczną semantyką formalną wykorzystywały system Partee do osiągnięcia bogactwa wyników empirycznych i konceptualnych. Późniejsze prace Irene Heim , Angeliki Kratzer , Tanyi Reinhart , Roberta Maya i innych opierały się na pracy Partee w celu dalszego pogodzenia jej z generatywnym podejściem do składni. Powstały szkielet znany jest jako system Heim i Kratzer , na cześć autorów podręcznika Semantics in Geneative Grammar, którzy jako pierwsi go skodyfikowali i spopularyzowali. System Heima i Kratzera różni się od wcześniejszych podejść tym, że zawiera poziom reprezentacji syntaktycznej zwany formą logiczną, która 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, proponowały modele interfejsu składniowo-semantycznego, które były bliższe modelowi Montague'a, zapewniając system interpretacji, w którym można było obliczyć denotacje na podstawie struktur powierzchniowych . Podejścia te funkcjonują 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ż

Bibliografia

Dalsza lektura

Maksa Cresswella (2006). „Semantyka formalna”. W Michael Devitt, Richard Hanley (red.). Przewodnik Blackwella po filozofii języka . Wileya-Blackwella. Numer ISBN 978-0-631-23142-4. Bardzo przystępny przegląd głównych pomysłów w tej dziedzinie.
John I. Saeed (2008). Semantyka . Wprowadzenie lingwistyki (3rd ed.). Wileya-Blackwella. Numer ISBN 978-1-4051-5639-4. Rozdział 10, Semantyka formalna, zawiera najlepsze omówienie głównych kierunków technicznych na poziomie rozdziału
Johana van Benthema ; Alicja Ter Meulen (2010). Podręcznik logiki i języka (2nd ed.). Elsevier. Numer ISBN 978-0-444-53726-3. Najbardziej wszechstronna referencja w tej dziedzinie.
Emmona W. Bacha (1989). Wykłady nieformalne z semantyki formalnej . SUNY Naciśnij. Numer ISBN 978-0-88706-772-3.Jeden z pierwszych podręczników. Dostępne dla studentów.
Ronniego Canna (1993). Semantyka formalna: wprowadzenie . Wydawnictwo Uniwersytetu Cambridge. Numer ISBN 978-0-521-37610-5.
Irena Heim ; Angelika Kratzer (1998). Semantyka w gramatyce generatywnej . Wileya-Blackwella. Numer ISBN 978-0-631-19713-3.
Gennaro Chierchii; Sally McConnell-Ginet (2000). Znaczenie i gramatyka: wprowadzenie do semantyki (wyd. 2). MIT Naciśnij . Numer ISBN 978-0-262-53164-1.
Seana A. Fulopa (2004). O logice i nauce języka . Wydawnictwo Trafford. Numer ISBN 978-1-4120-2381-8.
Glyn V. Morrill (1994). Typ gramatyki logicznej: logika kategorialna znaków . Skoczek. Numer ISBN 978-0-7923-3095-0.
Reinhard Muskens. Semantyka typologiczna . Routledge Encyklopedia filozofii online .
Bob Carpenter (1998). Semantyka typologiczna . MIT Naciśnij. Numer ISBN 978-0-262-53149-8.
Johana van Benthema (1995). Język w działaniu: kategorie, lambdy i dynamiczna logika . MIT Naciśnij. Numer ISBN 978-0-262-72024-3.
Barbara H. Partee . 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.)

Languages

In other projects