Semantyka - Semantics

Semantyka (od starogreckiego : σημαντικός sēmantikós „znaczące”) zajmuje się badaniem znaczenia , odniesienia lub prawdy . Termin może być używany w odniesieniu do poddziedzin kilku odrębnych dyscyplin, w tym filozofii , językoznawstwa i informatyki .

Językoznawstwo

W językoznawstwie semantyka jest poddziedziną badającą znaczenie. Semantyka może odnosić się do znaczenia na poziomie słów, fraz, zdań lub większych jednostek dyskursu . Dwie z podstawowych kwestii w dziedzinie semantyki to semantyka kompozycyjna (która dotyczy tego, w jaki sposób mniejsze części, takie jak słowa, łączą się i oddziałują, tworząc znaczenie większych wyrażeń, takich jak zdania) oraz semantyka leksykalna (charakter znaczenia słowa). Inne ważne kwestie to kontekst i jego rola w interpretacji, nieprzejrzyste konteksty , niejednoznaczność , niejasność , implikacja i założenia .

Kilka dyscyplin i podejść przyczyniło się do powstania często kontrowersyjnej dziedziny semantyki. Jednym z kluczowych pytań, które łączy różne podejścia do semantyki lingwistycznej, jest związek między formą a znaczeniem, a pewien istotny wkład w badanie semantyki wywarły badania w latach 1980-1990 nad pokrewnymi tematami interfejsu składniowo-semantycznego oraz pragmatyka .

Poziom semantyczny języka współdziała z innymi modułami lub poziomami (jak składnia), na które język jest tradycyjnie podzielony. W językoznawstwie typowe jest mówienie w kategoriach „interfejsów” dotyczących takich interakcji między modułami lub poziomami. W przypadku semantyki za najistotniejsze uznaje się interfejsy semantyczne ( interfejs składniowo-semantyczny ), pragmatyczny i fonologiczny (w zakresie prozodii i intonacji ).

Dyscypliny i paradygmaty w semantyce lingwistycznej

Semantyka formalna

Semantyka formalna ma na celu identyfikację specyficznych dla danej dziedziny operacji umysłowych, jakie wykonują użytkownicy, gdy obliczają znaczenie zdania na podstawie jego struktury składniowej. Teorie semantyki formalnej są zazwyczaj oparte na teoriach składni, takich jak składnia generatywna lub kombinatoryczna gramatyka kategorialna, i dostarczają teorii modelu opartej na narzędziach matematycznych, takich jak typowane rachunki lambda . Główne idee tej dziedziny są zakorzenione w logice filozoficznej początku XX wieku , a także późniejsze idee dotyczące składni językowej. Pojawiła się jako osobna poddziedzina w latach 70. po pionierskich pracach Richarda Montague i Barbary Partee i nadal jest aktywnym obszarem badań.

Semantyka pojęciowa

Ta teoria jest próbą wyjaśnienia właściwości struktury argumentów. Założeniem tej teorii jest to, że właściwości syntaktyczne fraz odzwierciedlają znaczenie słów, które je stoją. Dzięki tej teorii lingwiści mogą lepiej poradzić sobie z faktem, że subtelne różnice w znaczeniu słów korelują z innymi różnicami w strukturze składniowej, w której słowo to się pojawia. Sposób, w jaki to się dzieje, polega na przyglądaniu się wewnętrznej strukturze słów. Te małe części, które tworzą wewnętrzną strukturę słów, nazywane są prymitywami semantycznymi .

Semantyka kognitywna

Semantyka kognitywna ujmuje znaczenie z perspektywy językoznawstwa kognitywnego . W tych ramach język jest wyjaśniany za pomocą ogólnych ludzkich zdolności poznawczych, a nie modułu językowego specyficznego dla domeny. Techniki rodzime dla semantyki kognitywnej są zwykle używane w badaniach leksykalnych, takich jak te przedstawione przez Leonarda Talmy , George'a Lakoffa , Dirka Geeraertsa i Bruce'a Wayne'a Hawkinsa . Niektóre kognitywne ramy semantyczne, takie jak te opracowane przez Talmy, uwzględniają również struktury syntaktyczne.

Semantyka leksykalna

Teoria lingwistyczna badająca znaczenie słów. Teoria ta rozumie, że znaczenie słowa jest w pełni odzwierciedlone w jego kontekście . Tutaj znaczenie słowa konstytuują jego relacje kontekstowe. W związku z tym dokonuje się rozróżnienia między stopniami uczestnictwa, a także sposobami uczestnictwa. Aby osiągnąć to rozróżnienie, każda część zdania, która ma znaczenie i łączy się ze znaczeniami innych elementów składowych, jest oznaczona jako składnik semantyczny. Składniki semantyczne, których nie można podzielić na bardziej elementarne składniki, są oznaczone jako minimalne składniki semantyczne.

Semantyka międzykulturowa

Różne dziedziny lub dyscypliny od dawna przyczyniają się do semantyki międzykulturowej. Czy słowa takie jak miłość , prawda i nienawiść są uniwersalne? Czy nawet sens słowa – tak kluczowy dla semantyki – jest uniwersalnym pojęciem zakorzenionym w wieloletniej, ale specyficznej dla kultury tradycji? Są to kluczowe pytania, które są omawiane w semantyce międzykulturowej. Teoria przekładu, etnolingwistyka, antropologia lingwistyczna i lingwistyka kulturowa specjalizują się w dziedzinie porównywania, kontrastowania i tłumaczenia słów, terminów i znaczeń z jednego języka na inny (zob. Herder, W. von Humboldt, Boas, Sapir i Whorf). Ale filozofia, socjologia i antropologia mają długą tradycję w przeciwstawianiu różnych niuansów używanych przez nas terminów i pojęć. Internetowe encyklopedie, takie jak Stanford Encyclopedia of Philosophy i coraz więcej samej Wikipedii, znacznie ułatwiły porównywanie kontekstu i użycia kluczowych terminów kulturowych. W ostatnich latach pytanie o to, czy kluczowe terminy są możliwe do przetłumaczenia, czy też nieprzetłumaczalne, coraz częściej pojawia się w globalnych dyskusjach, zwłaszcza od opublikowania w 2014 r. Słownika nieprzetłumaczalnych słów Barbary Cassin : A Philosophical Lexicon .

Semantyka obliczeniowa

Semantyka obliczeniowa koncentruje się na przetwarzaniu znaczenia językowego. W tym celu opisano konkretne algorytmy i architektury. W tych ramach algorytmy i architektury są również analizowane pod kątem rozstrzygalności , złożoności czasowo-przestrzennej , wymaganych struktur danych oraz protokołów komunikacyjnych .

Filozofia

Wiele formalnych podejść do semantyki w logice matematycznej i informatyce wywodzi się z filozofii języka i logiki filozoficznej z początku XX wieku . Początkowo najbardziej wpływowa teoria semantyczna wywodziła się od Gottloba Fregego i Bertranda Russella . Frege i Russell są postrzegani jako twórcy tradycji w filozofii analitycznej wyjaśniającej znaczenie kompozycyjnie za pomocą składni i matematycznej funkcjonalności. Ludwig Wittgenstein , były uczeń Russella, jest również postrzegany jako jedna z najważniejszych postaci w tradycji analitycznej. Wszyscy trzej pierwsi filozofowie języka zajmowali się tym, jak zdania wyrażają informacje w formie zdań . Zajmowali się również wartościami prawdziwości lub warunkami prawdziwości, jakie dane zdanie ma z racji zdania, które wyraża.

We współczesnej filozofii termin „semantyka” jest często używany w odniesieniu do językowej semantyki formalnej , która łączy zarówno językoznawstwo, jak i filozofię. Istnieje również aktywna tradycja metasemantyki , która bada podstawy semantyki języka naturalnego .

Informatyka

W informatyce termin semantyka odnosi się do znaczenia konstrukcji językowych, w przeciwieństwie do ich formy ( składni ). Według Euzenata semantyka „zapewnia reguły interpretacji składni, które nie dostarczają bezpośrednio znaczenia, ale ograniczają możliwe interpretacje tego, co jest deklarowane”.

Języki programowania

Semantyka języków programowania i innych języków jest ważnym zagadnieniem i obszarem badań w informatyce. Podobnie jak składnię języka, jego semantykę można dokładnie zdefiniować.

Na przykład poniższe instrukcje używają różnych składni, ale powodują wykonanie tych samych instrukcji, a mianowicie wykonują arytmetyczne dodanie „y” do „x” i przechowują wynik w zmiennej o nazwie „x”:

Oświadczenie Języki programowania
x += y C , C++ , C# , Java , JavaScript , Python , Ruby itd.
$x += $y Perl , PHP
x := x + y Ada , ALGOL , ALGOL 68 , BCPL , Dylan , Eiffel , J , Modula-2 , Oberon , OCaml , Object Pascal (Delphi), Pascal , SETL , Simula , Smalltalk , Standard ML , VHDL itp.
MOV EAX,[y]
ADD [x],EAX
Języki asemblera : Intel 8086
ldr r2, [y]
ldr r3, [x]
add r3, r3, r2
str r3, [x]
Języki asemblera : ARM
LET X = X + Y PODSTAWOWY : wczesny
x = x + y BASIC : większość dialektów; Fortran , MATLAB , Lua
Set x = x + y Pamięć podręczna ObjectScript
ADD Y TO X. ABAP
ADD Y TO X GIVING X COBOL
set /a x=%x%+%y% Seria
(incf x y) Wspólne seplenienie
/x y x add def Postscriptum
y @ x +! Naprzód

Opracowano różne sposoby formalnego opisu semantyki języków programowania , w oparciu o logikę matematyczną :

  • Semantyka operacyjna : znaczenie konstruktu jest określone przez obliczenia, które wywołuje podczas wykonywania na maszynie. W szczególności interesujące jest, w jaki sposób powstaje efekt obliczeń.
  • Semantyka denotacyjna : Znaczenia są modelowane przez obiekty matematyczne, które reprezentują efekt wykonania konstrukcji. Interesujący jest zatem tylko efekt, a nie sposób jego uzyskania.
  • Semantyka aksjomatyczna : Specyficzne właściwości efektu wykonania konstruktów są wyrażone jako twierdzenia . W związku z tym mogą istnieć aspekty egzekucji, które są ignorowane.

Modele semantyczne

Sieć semantyczna odnosi się do rozszerzenia sieci World Wide Web poprzez osadzanie dodanych metadanych semantycznych , przy użyciu technik modelowania danych semantycznych, takich jak Resource Description Framework (RDF) i Web Ontology Language (OWL). W sieci semantycznej terminy takie jak sieć semantyczna i semantyczny model danych są używane do opisu poszczególnych typów modeli danych charakteryzujących się wykorzystaniem grafów skierowanych, w których wierzchołki oznaczają pojęcia lub byty na świecie i ich właściwości, a łuki oznaczają relacje między nimi. Można je formalnie opisać jako koncepcje i role logiki opisu , które odpowiadają klasom i właściwościom OWL .

Psychologia

Pamięć semantyczna

W psychologii , pamięć semantyczna jest pamięć sensu - innymi słowy, aspekt pamięci, który zachowuje tylko GIST , ogólne znaczenie, od zapamiętanego doświadczenia - podczas gdy pamięć epizodyczna jest pamięć dla ulotnych szczegółów - poszczególne funkcje, czyli unikatowe dane doświadczenia. Termin „pamięć epizodyczna” został wprowadzony przez Tulvinga i Schactera w kontekście „pamięci deklaratywnej”, która polegała na prostym kojarzeniu faktycznych lub obiektywnych informacji dotyczących jej przedmiotu. Znaczenie słowa jest mierzone przez towarzystwo, w którym się znajdują, tj. relacje między samymi słowami w sieci semantycznej . Wspomnienia mogą być przekazywane międzypokoleniowo lub izolowane w jednym pokoleniu z powodu zakłóceń kulturowych. Różne pokolenia mogą mieć różne doświadczenia w podobnych momentach w swoich własnych liniach czasowych. Może to następnie stworzyć pionowo niejednorodną sieć semantyczną dla niektórych słów w kulturze poza tym jednorodnej. W sieci tworzonej przez ludzi analizujących ich rozumienie słowa (takiej jak Wordnet ) linki i struktury dekompozycji sieci są nieliczne i zawierają część , rodzaj , i podobne linki. W zautomatyzowanych ontologiach łącza są obliczonymi wektorami bez wyraźnego znaczenia. Rozwijane są różne zautomatyzowane technologie do obliczania znaczenia słów: ukryte indeksowanie semantyczne i maszyny wektorów pomocniczych , a także przetwarzanie języka naturalnego , sztuczne sieci neuronowe i techniki rachunku predykatów .

Ideasthesia

Ideasthesia to zjawisko psychologiczne, w którym aktywacja pojęć wywołuje doznania zmysłowe. Na przykład w synestezji aktywacja pojęcia litery (np. litery A ) wywołuje doznania czuciowe (np. koloru czerwonego).

Psychosemantyka

W latach sześćdziesiątych badania psychosemantyczne stały się popularne po masowych badaniach międzykulturowych Charlesa E. Osgooda przy użyciu jego metody różnicowania semantycznego (SD), która wykorzystywała tysiące rzeczowników i przymiotnikowych skal dwubiegunowych. Specyficzna forma SD, metoda semantyki projekcyjnej, wykorzystuje tylko najpowszechniejsze i neutralne rzeczowniki, które odpowiadają 7 grupom (czynnikom) skal przymiotnikowych najczęściej spotykanych w badaniach międzykulturowych (ocena, siła, aktywność według Osgooda i Rzeczywistość, Organizacja, Złożoność, Ograniczenie, jak stwierdzono w innych badaniach). W tej metodzie siedem grup dwubiegunowych skal przymiotnikowych odpowiadało siedmiu rodzajom rzeczowników, więc sądzono, że metoda ma symetrię skali obiektu (OSS) między skalami a rzeczownikami do oceny za pomocą tych skal. Na przykład rzeczownikami odpowiadającymi wymienionym 7 czynnikom byłyby: Piękno, Moc, Ruch, Życie, Praca, Chaos, Prawo. Oczekiwano, że piękno będzie oceniane jednoznacznie jako „bardzo dobre” w przymiotnikach skal związanych z oceną, życie jako „bardzo prawdziwe” w skalach związanych z rzeczywistością itp. Jednak odchylenia w tej symetrycznej i bardzo podstawowej matrycy mogą wykazywać ukryte uprzedzenia dwóch typy: nastawienie związane z wagami i nastawienie związane z obiektami. Ten projekt OSS miał na celu zwiększenie wrażliwości metody SD na wszelkie uprzedzenia semantyczne w odpowiedziach osób z tej samej kultury i wykształcenia.

Teoria prototypu

Inny zestaw pojęć związanych z rozmyciem w semantyce opiera się na prototypach . Prace Eleanor Rosch z lat 70. doprowadziły do ​​poglądu, że kategorie przyrodnicze nie dają się scharakteryzować pod względem warunków koniecznych i wystarczających, ale są stopniowane (rozmyte na swoich granicach) i niespójne co do statusu ich składowych członków. Można porównać go z Jung „s archetypu , choć pojęcia archetyp trzyma się koncepcji statycznego. Niektórzy poststrukturaliści sprzeciwiają się stałemu lub statycznemu znaczeniu słów . Derrida za Nietzschem mówił o poślizgach w utrwalonych znaczeniach.

Systemy kategorie nie są obiektywnie tam na świecie, ale są zakorzenione w doświadczeniu ludzi. Kategorie te ewoluują jako wyuczone koncepcje świata – znaczenie nie jest obiektywną prawdą, ale subiektywną konstrukcją, wyuczoną z doświadczenia, a język wyłania się z „ugruntowania naszych systemów pojęciowych we wspólnym ucieleśnieniu i doświadczeniu cielesnym”. Konsekwencją tego jest to, że kategorie pojęciowe (tj. leksykon) nie będą identyczne dla różnych kultur, a nawet dla każdej jednostki w tej samej kulturze. Prowadzi to do kolejnej debaty (patrz hipoteza Sapira-Whorfa lub eskimoskie słowa oznaczające śnieg ).

Zobacz też

Uwagi

Bibliografia

Zewnętrzne linki