Семантика

Материал из wikixw
Перейти к навигации Перейти к поиску

Раздел теория языков программирования см. В разделе Семантика (информатика). Для расширенного воспроизведения и длительного воспроизведения австралийским Crawl см. раздел семантика (альбом).

Семантика (от древнегреческого: σημαντικός sēmantikós, "значимый") [a] - это лингвистическое и философское исследование значения в языке , языках программирования, формальной логике и семиотике . Он связан с отношениями между означающими-такими как слова, фразы, знаки и символы —и тем, что они означают в действительности, их обозначением .

В Международной научной лексике семантика также называется семасиологией . Слово семантика впервые было использовано французским филологом Мишелем Бреалем. он обозначает целый ряд идей—от популярных до высокотехничных. Он часто используется в обычном языке для обозначения проблемы понимания, которая сводится к выбору слова или коннотации . Эта проблема понимания была предметом многих формальных исследований на протяжении длительного периода времени, особенно в области формальной семантики . В лингвистике это исследование интерпретации знаков или символов, используемых в агентах или сообщества в конкретных обстоятельствах и контекстах . в рамках этой точки зрения звуки, выражения лица, язык тела и проксемика имеют семантическое (содержательное) содержание, и каждая из них включает в себя несколько ветвей исследования. В письменном языке такие вещи, как структура абзаца и пунктуация, несут семантическое содержание; другие формы языка несут другое семантическое содержание.

Формальное изучение семантики пересекается со многими другими областями исследования , включая лексикологию , синтаксис , прагматику, этимологию и другие. Независимо от этого, семантика также является хорошо определенной областью в своем собственном праве, часто с синтетическими свойствами. в философии языка семантика и референция тесно связаны. Другие смежные области включают филологию, коммуникацию и семиотику . Таким образом, формальное изучение семантики может быть многообразным и сложным.

Семантика противопоставляется синтаксису, изучению комбинаторики единиц языка (без привязки к их значению), а прагматика-изучению отношений между символами языка, их значением и пользователями языка.[5] Семантика как область исследования также имеет значительные связи с различными репрезентационными теориями значения, включая теории истинности значения, теории когерентности значения и теории соответствия значения. Каждый из них связан с общефилософским изучением действительности и представлением о смысле. В 1960-х годах психосемантические исследования стали популярными после массовых кросс-культурных исследований Осгуда с использованием его метода семантического дифференциала (SD), который использовал тысячи существительных и прилагательных биполярных шкал. Специфическая форма метода SD, проективной семантики [6] использует только наиболее распространенные и нейтральные существительные, соответствующие 7 группам (факторам) прилагательных-шкал, наиболее последовательно встречающихся в кросс-культурных исследованиях (оценка, потенция, активность, как установлено Осгудом, и реальность, организация, сложность, ограниченность, как найдено в других исследованиях). В этом методе семь групп биполярных шкал прилагательных соответствовали семи типам существительных, поэтому считалось, что метод имеет объектно-масштабную симметрию (OSS) между шкалами и существительными для оценки с использованием этих шкал. Например, существительными, соответствующими перечисленным 7 факторам, были бы: красота, сила, Движение, жизнь, работа, хаос, закон. Ожидалось, что красота будет однозначно оценена как “очень хорошая” по прилагательным оценочных шкал, жизнь-как “очень реальная” по реальным шкалам и т. д. Однако отклонения в этой симметричной и очень простой матрице могут показывать лежащие в ее основе смещения двух типов: смещение, связанное со шкалами, и смещение, связанное с объектами. Такая разработка ПСОК была призвана повысить чувствительность метода СД к любым семантическим искажениям в ответах людей, принадлежащих к одной и той же культуре и образованию

Лингвистика[править]

В лингвистике семантика - это подполе, которое посвящено изучению значения, присущего на уровнях слов, фраз, предложений и более крупных единиц дискурса (так называемых текстов или нарративов ). Изучение семантики также тесно связано с вопросами репрезентации, референции и денотации. Основное изучение семантики направлено на изучение значения знаков , а также изучение отношений между различными языковыми единицами и соединениями : омонимия, синонимия, антонимия, гипернимия, гипонимия, меронимия, метонимия, голонимия- паронимы. Ключевая проблема заключается в том, как значение присоединяется к более крупным фрагментам текста, возможно, в результате композиции из более мелких единиц смысла. Традиционно семантика включала изучение смысла и денотативной референции , условий истинности, структуры аргументации , тематических ролей , дискурс-анализа и связи всего этого с синтаксисом.

Грамматика Монтегю[править]

В конце 1960-х годов Ричард Монтегю предложил систему определения семантических записей в лексиконе в терминах лямбда-исчисления . В этих терминах синтаксический анализ предложения Джон съел каждый бублик будет состоять из субъекта (Джон) и предиката ( съел каждый бублик); Монтегю продемонстрировал, что значение предложения в целом может быть разложено на значения его частей и относительно немногие правила сочетания. Полученный таким образом логический предикат будет доработан далее, например, с использованием моделей теории истинности, которые в конечном итоге связывают значения с набором Тарскианских универсалии, которые могут лежать вне логики. Понятие таких смысловых атомов или примитивов лежит в основе языковой гипотезы мышления 1970-х годов.

Несмотря на свою элегантность, грамматика Монтегю была ограничена контекстно-зависимой вариативностью в значении слова и привела к нескольким попыткам включения контекста, таким как:

  • Ситуационная семантика (1980-е гг.): истинностные значения являются неполными, они присваиваются на основе контекста
  • Генеративный лексикон (1990-е годы): категории (типы) являются неполными и назначаются на основе контекста

Динамический поворот в семантике[править]

В Хомском языкознании не было механизма для изучения семантических отношений, и нативистский взгляд рассматривал все семантические понятия как врожденные. Таким образом, даже новые концепции были предложены, чтобы быть спящими в некотором смысле. Эта точка зрения также считалась неспособной решить многие вопросы, такие как метафора или ассоциативные значения и семантические изменения , когда значения внутри языкового сообщества изменяются с течением времени, а квалиа или субъективный опыт. Другой вопрос, который не рассматривался в нативистской модели, заключался в том, как перцептивные сигналы объединяются в мышлении, например в ментальном вращении .

Этот взгляд на семантику как на врожденное конечное значение, присущее лексической единице, которая может быть составлена для порождения значений для более крупных фрагментов дискурса, в настоящее время активно обсуждается в формирующейся области когнитивной лингвистики . а также в нефодорианском лагере по философии языка .[11] Основная проблема мотивирована тем, что:

  • факторы, внутренние для языка , такие как проблема разрешения индексикала или анафоры (например , это x, him, last week ). В этих ситуациях контекст служит входом, но интерпретируемое высказывание также изменяет контекст, поэтому оно также является выходом. Таким образом, интерпретация обязательно динамична, и значение предложений рассматривается как контексты, изменяющие потенциалы вместо пропозиций .
  • факторы, внешние по отношению к языку, т. е. язык-это не набор ярлыков, прикрепленных к вещам, а "набор инструментов", важность элементов которого заключается в том, как они функционируют, а не в их прикреплениях к вещам. Эта точка зрения отражает позицию позднего Витгенштейна и его знаменитого игрового примера, а также связана с позициями Куайна , Дэвидсона и других.

Конкретным примером последнего феномена является семантическая недоспецификация – смыслы не являются полными без некоторых элементов контекста. Если взять пример одного слова, красного, то его значение в такой фразе, как Красная книга, похоже на многие другие употребления и может рассматриваться как композиционное. однако цвета, подразумеваемые в таких фразах, как красное вино (очень темный) и красные волосы (медный), или красная почва , или красная кожа, очень различны. Действительно, эти цвета сами по себе не были бы названы красными носителями языка. Эти примеры контрастны, поэтому красное вино называется так только по сравнению с другим видом вина (которое тоже не белое по тем же причинам). Этот взгляд восходит к де Соссюру:

  • Каждый из множества синонимов, таких как redouter ("бояться"), craindre ("бояться"), avoir peur ("бояться"), имеет свое особое значение только потому, что они контрастируют друг с другом. Ни одно слово не имеет такого значения, которое можно было бы определить независимо от того, что находится рядом с ним.

и может вернуться к более ранним индийским взглядам на язык, особенно взгляду Ньяи на слова как на индикаторы, а не носители смысла.

Попытка защитить систему, основанную на пропозициональном значении, для семантической недоспецификации может быть найдена в модели генеративного лексикона Джеймса Пустеевского , который расширяет контекстуальные операции (основанные на типовом сдвиге) в лексикон. Таким образом, значения генерируются "на лету" (как вы идете), основываясь на конечном контексте. Теория прототипов

Другой набор понятий, связанных с нечеткостью в семантике, основан на прототипах . Работа Элеоноры Рош в 1970-х годах привела к мнению, что естественные категории не характеризуются с точки зрения необходимых и достаточных условий, а являются градуированными (нечеткими по своим границам) и непоследовательными в отношении статуса их составляющих членов. Можно сравнить его с юнговским архетипом , хотя понятие архетипа остается статичным понятием. Некоторые постструктуралисты выступают против фиксированного или статичного значения этих слов . Деррида, следуя Ницше, говорил о смещениях в фиксированных значениях.

Системы категорий объективно не существуют в мире, но коренятся в опыте людей. Эти категории развиваются как усвоенные понятия о мире-значение не есть объективная истина, а субъективная конструкция, усвоенная из опыта, и язык возникает из "основания наших концептуальных систем в общем воплощении и телесном опыте". Следствием этого является то, что концептуальные категории (то есть лексикон) не будут одинаковыми для разных культур, или даже для каждого человека в одной и той же культуре. Это приводит к еще одной дискуссии (см. гипотезу Сапира-Уорфа или эскимосские слова для снега ).

Теории в семантике[править]

Формальная семантика[править]

Основная статья: Формальная семантика (Лингвистика)

Берет свое начало от работы Монтегю (см. выше). Высоко формализованная теория семантики естественного языка, в которой выражениям присваиваются обозначения (значения), такие как индивиды, истинностные значения или функции от одного из них к другому. Истинность предложения и его логическое отношение к другим предложениям затем оценивается относительно модели.

Истинностно-условная семантика[править]

Основная статья: Истинностно-условная семантика

Пионером этой теории является философ Дональд Дэвидсон , еще одна формализованная теория, которая стремится связать каждое предложение естественного языка с метаязыковым описанием условий, при которых оно истинно, например: "снег белый" истинен тогда и только тогда, когда снег белый. Задача состоит в том, чтобы найти условия истинности для любых предложений из фиксированных значений, присвоенных отдельным словам, и фиксированных правил их объединения. На практике условно-истинностная семантика подобна теоретико-модельной семантике; однако концептуально они отличаются тем, что семантика условий истинности стремится связать язык с высказываниями о реальном мире (в форме метаязыковых высказываний), а не с абстрактными моделями.

Концептуальная семантика[править]

Основная статья: Концептуальная семантика

Эта теория является попыткой объяснить свойства структуры аргумента. Предположение, лежащее в основе этой теории, заключается в том, что синтаксические свойства фраз отражают значения слов, которые их возглавляют.[16] С помощью этой теории лингвисты могут лучше разобраться с тем фактом, что тонкие различия в значении слова коррелируют с другими различиями в синтаксической структуре, в которой слово появляется. это происходит путем рассмотрения внутренней структуры слов.Эти небольшие части, составляющие внутреннюю структуру слов, называются семантическими примитивами .

Лексическая семантика[править]

Основная статья: Лексическая семантика

Лингвистическая теория, которая исследует значение слова. Эта теория понимает, что значение слова полностью отражается его контекстом. Здесь значение слова конституируется его контекстуальными отношениями.[18] поэтому проводится различие между степенями участия, а также способами участия.[18] Для осуществления этого различения любая часть предложения, имеющая значение и сочетающаяся со значениями других составляющих, обозначается как семантическая составляющая. Семантические составляющие, которые не могут быть разбиты на более элементарные составляющие, называются минимальными семантическими составляющими.[18]

Межкультурная семантика[править]

Различные области или дисциплины уже давно вносят свой вклад в межкультурную семантику. Являются ли такие слова , как любовь , истина и ненависть универсальными?[19] является ли даже слово смысл – столь центральное для семантики – универсальным или концептом, укоренившимся в давней, но специфичной для культуры традиции?[20] Это своего рода критические вопросы, которые обсуждаются в межкультурной семантике. Теория перевода, этнолингвистика, лингвистическая антропология и лингвокультурология специализируются в области сравнения, противопоставления и перевода слов, терминов и значений из одного языка в другой (см. Гердер, У. фон Гумбольдт, Боас, Сапир и Уорф). Но философия, социология и антропология имеют давние устоявшиеся традиции в противопоставлении различных нюансов используемых нами терминов и понятий. И онлайн-энциклопедии, такие как Стэнфордская энциклопедия философии, plato.stanford.edu , и все больше и больше сама Википедия значительно облегчила возможности сравнения фона и использования ключевых культурных терминов. В последние годы вопрос о том, являются ли ключевые термины переводимыми или непереводимыми, все чаще выходит на первый план глобальных дискуссий , особенно после публикации в 2014 году словаря непереводимых терминов Барбары Кассин "философский лексикон".

Вычислительная семантика[править]

Основная статья: Вычислительная семантика

Вычислительная семантика ориентирована на обработку лингвистического значения. Для этого описываются конкретные алгоритмы и архитектуры. В рамках этой структуры алгоритмы и архитектуры также анализируются с точки зрения решаемости, пространственно-временной сложности, структур данных, которые они требуют, и протоколов связи.

Информатика[править]

Основная статья: Семантика (информатика)

В информатике термин семантика относится к значению языковых конструкций, в отличие от их формы ( синтаксиса ). Согласно Эузнату, семантика " предоставляет правила для интерпретации синтаксиса, которые не дают прямого смысла, но ограничивают возможные интерпретации того, что объявляется."[24] в инженерии онтологий термин семантика относится к значению понятий, свойств и отношений, которые формально представляют реальные сущности, события и сцены в логическом обосновании, например логике описания , и обычно реализуются на языке веб-онтологии. Смысл описания логических понятий и ролей определяется их теоретико-модельной семантикой, в основе которой лежат интерпретации.[25] понятия, свойства и отношения, определенные в онтологиях OWL , могут быть развернуты непосредственно в разметке веб-сайта в виде RDFa , микроданных HTML5 или JSON-LD , в графовых базах данных в виде RDF-троек или квадратиков и разыменованы в наборах данных LOD.

Языки программирования[править]

Семантика языков программирования и других языков является важным вопросом и областью изучения в области информатики. Как и синтаксис языка, его семантика может быть определена точно.

Например, следующие операторы используют разные синтаксисы, но вызывают выполнение одних и тех же инструкций, а именно выполняют арифметическое сложение 'y' к ' x 'и сохраняют результат в переменной, называемой 'x':

Заявление Алгоритма язык
(incf x y) Общий Шепелявый Язык
/x y x add def Постскриптум
$x += $y Перловка PHP
ADD Y TO X GIVING X КОБОЛ
ADD Y TO X. ABAP
ldr r2, [y]

ldr r3, [x] add r3, r3, r2 str r3, [x]

Языки сборки: ARM
LET X = X + Y Основные : Рано
MOV EAX,[y]

ADD [x],EAX

Языки сборки: Intel 8086
set /a x=%x%+%y% Партия
Set x = x + y Caché ObjectScript
x := x + y Ada, ALGOL, ALGOL 68, BCPL, Dylan, Eiffel, Modula-2, Oberon, OCaml, Object Pascal (Delphi), Pascal, SETL, Simula, Smalltalk, Standard ML, VHDL и др.
x += y C, C++, C#, Java, JavaScript, Python, Ruby и др.
x = x + y Основные : большинство диалектов; Fortran, MATLAB, Lua
y @ x +! Далее

Были разработаны различные способы формального описания семантики языков программирования, основанные на математической логике:

  • Операционная семантика: значение конструкции определяется вычислением, которое она индуцирует, когда она выполняется на машине. В частности, представляет интерес то, как создается эффект вычисления.
  • Денотативная семантика: значения моделируются математическими объектами, которые представляют собой эффект выполнения конструкций. Таким образом, интересен только эффект, а не то, как он достигается.
  • Аксиоматическая семантика: специфические свойства эффекта выполнения конструкций выражаются в виде утверждений . Таким образом, могут быть аспекты казней, которые игнорируются.

Семантические модели[править]

Семантическая сеть относится к расширению Всемирной паутины посредством внедрения добавленных семантических метаданных , используя методы моделирования семантических данных, такие как структура описания ресурсов (RDF) и язык веб-онтологии (OWL). В семантической сети термины, такие как семантическая сеть и семантическая модель данных, используются для описания конкретных типов моделей данных, характеризующихся использованием ориентированных графов, в которых вершины обозначают понятия или сущности в мире и их свойства, а дуги-отношения между ними. Они могут быть формально описаны как логика описания понятия и роли, соответствующие классам и свойствам OWL.[25] Психология==

В психологии семантическая память-это память смысла – иными словами, тот аспект памяти , который сохраняет только суть, общее значение припоминаемого опыта, в то время как эпизодическая память – это память о смысле. это память для эфемерных деталей-индивидуальных особенностей или уникальных особенностей опыта. Термин "эпизодическая память" был введен Тюльвингом и Шактером в контексте "декларативной памяти", которая включает в себя простую ассоциацию фактической или объективной информации, касающейся ее объекта. Значение слова измеряется компанией, которую они держат, т. е. отношениями между самими словами в семантической сети. Эти воспоминания могут передаваться из поколения в поколение или изолироваться в одном поколении из-за культурного разрыва. Различные поколения могут иметь различный опыт в сходных точках в своих собственных временных линиях. Это может затем создать вертикально неоднородную семантическую сеть для определенных слов в другой однородной культуре.[27] в сети, созданной людьми , анализирующими свое понимание слова (например , Wordnet), связи и декомпозиционные структуры сети немногочисленны и включают в себя часть, вид и подобные связи. В автоматизированных онтологиях ссылки являются вычисленными векторами без явного значения. Для вычисления значений слов разрабатываются различные автоматизированные технологии: латентная семантическая индексация и вспомогательные векторные машины, а также обработка естественного языка , искусственные нейронные сети и методы исчисления предикатов.

Идея-это психологический феномен, в котором активизация понятий вызывает чувственные переживания. Например, в синестезии активизация понятия буквы (например, буквы А ) вызывает сенсорные переживания (например, красного цвета).

Смотрите также[править]

Лингвистика и семиотика

Логика и математика

Информатика

Психология

Пруф[править]

.semanticsarchive.net/

Источник — https://wikixw.ru/index.php?title=Семантика&oldid=8063