Изучение значения в языке

Введение

Семантика – это изучение языкового значения. Она рассматривает, что такое смысл, как слова приобретают значение и каким образом смысл сложного выражения зависит от его составляющих частей. Важной частью этого процесса является различие между значением и референтом. Значение определяется идеями и понятиями, связанными с выражением, в то время как референт – это объект, к которому это выражение отсылает. Семантика противопоставляется синтаксису, изучающему правила построения грамматически правильных предложений, и прагматике, исследующей, как люди используют язык в коммуникации. Лексическая семантика – это раздел семантики, изучающий значение слов. Она рассматривает, имеют ли слова одно или несколько значений и в каких лексических отношениях они находятся друг с другом. Фразовая семантика изучает значение предложений, исследуя феномен композициональности, то есть то, как новые значения могут создаваться путем комбинирования слов. Формальная семантика использует логику и математику для создания точных моделей взаимосвязи между языком и смыслом. Когнитивная семантика рассматривает смысл с психологической точки зрения и предполагает тесную связь между языковыми способностями и концептуальными структурами, используемыми для понимания мира. К другим направлениям семантики относятся концептуальная семантика, вычислительная семантика и культурная семантика. Теории смысла – это общие объяснения природы значения и способов, которыми выражения наделяются им. Согласно референциальным теориям, значение выражения – это часть реальности, на которую оно указывает. Идеациональные теории отождествляют смысл с ментальными состояниями, такими как идеи, которые выражение вызывает в сознании пользователей языка. Согласно причинным теориям, смысл определяется причинами и следствиями, которые бихевиористская семантика анализирует с точки зрения стимула и реакции. К другим теориям смысла относятся семантика истинностных условий, верификационные теории, теория использования и инференциальная семантика. Изучение семантических явлений началось в античности, но как самостоятельная область исследования было признано лишь в XIX веке. Семантика имеет значение для таких областей, как формальная логика, информатика и психология.

Study of meaning in language

Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction between sense and reference. Sense is given by the ideas and concepts associated with an expression while reference is the object to which an expression points. Semantics contrasts with syntax, which studies the rules that dictate how to create grammatically correct sentences, and pragmatics, which investigates how people use language in communication. Lexical semantics is the branch of semantics that studies word meaning. It examines whether words have one or several meanings and in what lexical relations they stand to one another. Phrasal semantics studies the meaning of sentences by exploring the phenomenon of compositionality or how new meanings can be created by arranging words. Formal semantics relies on logic and mathematics to provide precise frameworks of the relation between language and meaning. Cognitive semantics examines meaning from a psychological perspective and assumes a close relation between language ability and the conceptual structures used to understand the world. Other branches of semantics include conceptual semantics, computational semantics, and cultural semantics. Theories of meaning are general explanations of the nature of meaning and how expressions are endowed with it. According to referential theories, the meaning of an expression is the part of reality to which it points. Ideational theories identify meaning with mental states like the ideas that an expression evokes in the minds of language users. According to causal theories, meaning is determined by causes and effects, which behaviorist semantics analyzes in terms of stimulus and response. Further theories of meaning include truth conditional semantics, verificationist theories, the use theory, and inferentialist semantics. The study of semantic phenomena began during antiquity but was not recognized as an independent field of inquiry until the 19th century. Semantics is relevant to the fields of formal logic, computer science, and psychology.

Определение и смежные поля

Семантика – это изучение значения в языках. Это систематическое исследование, которое изучает, что такое лингвистическое значение и как оно возникает. В ней исследуется, как выражения строятся из различных уровней составляющих, таких как морфемы, слова, словосочетания, предложения и тексты, и как значения этих составляющих влияют друг на друга. Семантика может фокусироваться на конкретном языке, например, на английском, но в самом широком смысле она исследует структуры смысла, релевантные для всех языков. Как описательная дисциплина, она стремится определить, как работает значение, не предписывая, какое значение люди должны связывать с конкретными выражениями. Некоторые из ключевых вопросов: «Как значения слов объединяются для создания значений предложений?», «Как значения соотносятся с сознанием пользователей языка и с объектами, к которым относятся слова?», и «Какова связь между значением слова и контекстами, в которых оно используется?». Основными дисциплинами, занимающимися семантикой, являются лингвистика, семиотика и философия. Помимо своего значения как области исследования, семантика может также относиться к теориям в этой области, таким как семантика истинности, и к значению конкретных выражений, например, к семантике слова «фея». Как область исследования, семантика имеет внутреннюю и внешнюю стороны. Внутренняя сторона интересуется связью между словами и психическими явлениями, которые они вызывают, такими как идеи и концептуальные представления. Внешняя сторона исследует, как слова относятся к объектам в мире и при каких условиях предложение является истинным. Многие смежные дисциплины изучают язык и значение. Семантика противопоставляется другим подразделам лингвистики, сосредоточенным на различных аспектах языка. Фонетика изучает различные типы звуков, используемых в языках, и то, как звуки соединяются для формирования слов, в то время как синтаксис изучает правила, которые определяют, как располагать слова для создания предложений. Эти различия отражаются в том, что можно овладеть некоторыми аспектами языка, не зная других, например, когда человек знает, как произносить слово, не зная его значения. Как подраздел семиотики, семантика имеет более узкую направленность на значение в языке, в то время как семиотика изучает как лингвистические, так и нелингвистические знаки. Семиотика исследует дополнительные темы, такие как значение невербальной коммуникации, условные символы и естественные знаки, независимые от человеческого взаимодействия. Примеры включают кивок в знак согласия, полосы на форме, обозначающие звание, и присутствие грифов, указывающее на близлежащий туша животного. Семантика далее противопоставляется прагматике, которая интересуется тем, как люди используют язык в общении. Выражение «Именно об этом я и говорю» может иметь разные значения в зависимости от того, кто его произносит и в какой ситуации. Семантика интересуется возможными значениями выражений: тем, что они могут и не могут означать в целом. В связи с этим она иногда определяется как изучение контекстно-независимого значения. Прагматика исследует, какое из этих возможных значений релевантно в конкретном случае. В отличие от семантики, она интересуется фактическим использованием языка, а не общей языковой компетенцией, лежащей в основе этого использования. Это включает в себя вопрос о дополнительном значении, которое можно вывести, даже если оно не выражено буквально, например, что означает, если говорящий молчит на определенную тему. Семиотик Чарльз У. Моррис проводит близкое различие, утверждая, что семантика изучает отношение между словами и миром, прагматика – отношение между словами и пользователями, а синтаксис – отношение между различными словами. Семантика связана с этимологией, которая изучает, как слова и их значения менялись в ходе истории. Метасемантика исследует метафизические основания значения и стремится объяснить, откуда оно происходит или как оно возникает. Слово «семантика» происходит от древнегреческого прилагательного semantikos, означающего «относящийся к знакам», которое является производным от sēmeion, существительного «знак». Первоначально оно использовалось для описания медицинских симптомов, а позже приобрело более широкое значение в отношении любого типа знаков, включая языковые. Слово «семантика» вошло в английский язык из французского термина semantique, который лингвист Мишель Бреаль впервые ввел в конце XIX века.

Semantics is the study of meaning in languages. It is a systematic inquiry that examines what linguistic meaning is and how it arises. It investigates how expressions are built up from different layers of constituents, like morphemes, words, clauses, sentences, and texts, and how the meanings of the constituents affect one another. Semantics can focus on a specific language, like English, but in its widest sense, it investigates meaning structures relevant to all languages. As a descriptive discipline, it aims to determine how meaning works without prescribing what meaning people should associate with particular expressions. Some of its key questions are "How do the meanings of words combine to create the meanings of sentences? ", "How do meanings relate to the minds of language users, and to the things words refer to? ", and "What is the connection between what a word means, and the contexts in which it is used?". The main disciplines engaged in semantics are linguistics, semiotics, and philosophy. Besides its meaning as a field of inquiry, semantics can also refer to theories within this field, like truth conditional semantics, and to the meaning of particular expressions, like the semantics of the word fairy. As a field of inquiry, semantics has both an internal and an external side. The internal side is interested in the connection between words and the mental phenomena they evoke, like ideas and conceptual representations. The external side examines how words refer to objects in the world and under what conditions a sentence is true. Many related disciplines investigate language and meaning. Semantics contrasts with other subfields of linguistics focused on distinct aspects of language. Phonology studies the different types of sounds used in languages and how sounds are connected to form words while syntax examines the rules that dictate how to arrange words to create sentences. These divisions are reflected in the fact that it is possible to master some aspects of a language while lacking others, like when a person knows how to pronounce a word without knowing its meaning. As a subfield of semiotics, semantics has a more narrow focus on meaning in language while semiotics studies both linguistic and non linguistic signs. Semiotics investigates additional topics like the meaning of non verbal communication, conventional symbols, and natural signs independent of human interaction. Examples include nodding to signal agreement, stripes on a uniform signifying rank, and the presence of vultures indicating a nearby animal carcass. Semantics further contrasts with pragmatics, which is interested in how people use language in communication. An expression like "That's what I'm talking about" can mean many things depending on who says it and in what situation. Semantics is interested in the possible meanings of expressions: what they can and cannot mean in general. In this regard, it is sometimes defined as the study of context independent meaning. Pragmatics examines which of these possible meanings is relevant in a particular case. In contrast to semantics, it is interested in actual performance rather than in the general linguistic competence underlying this performance. This includes the topic of additional meaning that can be inferred even though it is not literally expressed, like what it means if a speaker remains silent on a certain topic. A closely related distinction by the semiotician Charles W. Morris holds that semantics studies the relation between words and the world, pragmatics examines the relation between words and users, and syntax focuses on the relation between different words. Semantics is related to etymology, which studies how words and their meanings changed in the course of history. Metasemantics examines the metaphysical foundations of meaning and aims to explain where it comes from or how it arises. The word semantics originated from the Ancient Greek adjective semantikos, meaning 'relating to signs', which is a derivative of sēmeion, the noun for 'sign'. It was initially used for medical symptoms and only later acquired its wider meaning regarding any type of sign, including linguistic signs. The word semantics entered the English language from the French term semantique, which the linguist Michel Bréal first introduced at the end of the 19th century.

Значение

Семантика изучает значение в языке, которое ограничено значением лингвистических выражений. Она касается того, как интерпретируются знаки и какую информацию они несут. Примером может служить значение слов, представленное в определениях словаря посредством синонимичных выражений или парафраз, например, определение термина «баран» как взрослого самца овцы. Существует множество форм нелингвистического значения, которые не рассматриваются семантикой. Действия и политика могут иметь значение в связи с той целью, которой они служат. Области, такие как религия и духовность, интересуются смыслом жизни, который заключается в поиске цели или значимости существования в целом. Лингвистическое значение можно анализировать на разных уровнях. Значение слова изучается лексической семантикой и исследует денотацию отдельных слов. Оно часто связано с понятиями сущностей, например, слово «собака» ассоциируется с понятием четвероногого домашнего животного. Значение предложения относится к области фразовой семантики и касается денотации полных предложений. Обычно оно выражает понятие, применимое к определенному типу ситуации, как в предложении «собака испортила мою синюю юбку». Значение предложения часто называют пропозицией. Разные предложения могут выражать одну и ту же пропозицию, как английское предложение «the tree is green» и немецкое предложение «der Baum ist grün». Значение высказывания изучается прагматикой и связано со значением выражения в конкретной ситуации. Значение предложения и значение высказывания расходятся в случаях, когда выражения используются нелитерально, как часто бывает с иронией. Семантика в первую очередь интересуется публичным значением, которое имеют выражения, как значение, представленное в общих определениях словаря. Смысл говорящего, напротив, является личным или субъективным смыслом, который люди связывают с выражениями. Он может отличаться от буквального значения, например, когда человек ассоциирует слово «игла» с болью или наркотиками.

Semantics studies meaning in language, which is limited to the meaning of linguistic expressions. It concerns how signs are interpreted and what information they contain. An example is the meaning of words provided in dictionary definitions by giving synonymous expressions or paraphrases, like defining the meaning of the term ram as adult male sheep. There are many forms of non linguistic meaning that are not examined by semantics. Actions and policies can have meaning in relation to the goal they serve. Fields like religion and spirituality are interested in the meaning of life, which is about finding a purpose in life or the significance of existence in general. Linguistic meaning can be analyzed on different levels. Word meaning is studied by lexical semantics and investigates the denotation of individual words. It is often related to concepts of entities, like how the word dog is associated with the concept of the four legged domestic animal. Sentence meaning falls into the field of phrasal semantics and concerns the denotation of full sentences. It usually expresses a concept applying to a type of situation, as in the sentence "the dog has ruined my blue skirt". The meaning of a sentence is often referred to as a proposition. Different sentences can express the same proposition, like the English sentence "the tree is green" and the German sentence "der Baum ist grün". Utterance meaning is studied by pragmatics and is about the meaning of an expression on a particular occasion. Sentence meaning and utterance meaning come apart in cases where expressions are used in a non literal way, as is often the case with irony. Semantics is primarily interested in the public meaning that expressions have, like the meaning found in general dictionary definitions. Speaker meaning, by contrast, is the private or subjective meaning that individuals associate with expressions. It can diverge from the literal meaning, like when a person associates the word needle with pain or drugs.

Смысл и ссылка

Значение часто анализируется с точки зрения смысла и референции, также называемой интенсионалом и экстенсионалом или коннотацией и денотацией. Референт выражения – это объект, к которому это выражение отсылает. Смысл выражения – это способ, которым оно отсылает к этому объекту, или то, как этот объект интерпретируется. Например, выражения «утренняя звезда» и «вечерняя звезда» отсылают к одной и той же планете, как и выражения «2+2» и «3+1» отсылают к одному и тому же числу. Смыслы этих выражений различаются не на уровне референции, а на уровне смысла. Смысл иногда понимается как ментальное явление, помогающее людям идентифицировать объекты, к которым отсылает выражение. Некоторые семантики в своем анализе значения сосредотачиваются преимущественно на смысле или преимущественно на референции. Чтобы полностью понять значение выражения, обычно необходимо понимать, к каким объектам в мире оно отсылает и как их описывает. Различие между смыслом и референцией позволяет объяснить идентичные утверждения, которые показывают, как два выражения с разным смыслом могут иметь один и тот же референт. Например, предложение «утренняя звезда – это вечерняя звезда» является информативным, и из него можно узнать что-то новое. Предложение «утренняя звезда – это утренняя звезда», напротив, является неинформативной тавтологией, поскольку выражения идентичны не только на уровне референции, но и на уровне смысла.

Композиционность

Композициональность — ключевой аспект того, как языки конструируют значение. Это идея о том, что значение сложного выражения является функцией значений его частей. Можно понять значение предложения «Зузана владеет собакой», поняв, что означают слова «Зузана», «владеет», «а» и «собака», и как они сочетаются. В этом отношении значение сложных выражений, таких как предложения, отличается от значения слова, поскольку обычно невозможно вывести значение слова, глядя на его буквы, и вместо этого необходимо обратиться к словарю. Композициональность часто используется для объяснения того, как люди могут формулировать и понимать почти бесконечное количество значений, хотя количество слов и когнитивных ресурсов конечно. Многие предложения, которые люди читают, — это предложения, которые они никогда раньше не видели, и тем не менее они способны их понять. Условия истинности играют центральную роль в семантике, и некоторые теории полагаются исключительно на условия истинности для анализа значения. Понимание утверждения обычно подразумевает наличие представления об условиях, при которых оно было бы истинным. Это может происходить даже без знания о том, выполнены ли эти условия. Модель предполагает, что связь между ними опосредована третьим компонентом. Например, термин «яблоко» обозначает вид фруктов, но нет прямой связи между этой последовательностью букв и соответствующим физическим объектом. Связь устанавливается лишь косвенно через сознание пользователя языка. Когда они видят символ, он вызывает в их сознании ментальный образ или концепт, который устанавливает связь с физическим объектом. Этот процесс возможен только в том случае, если пользователь языка ранее усвоил значение символа. Значение конкретного символа определяется конвенциями конкретного языка. Один и тот же символ может обозначать один объект в одном языке, другой объект в другом языке и ни один объект в третьем языке. Лексические отношения описывают, как слова соотносятся друг с другом. Два слова являются синонимами, если они имеют одинаковое или очень похожее значение, например, «автомобиль» и «машина» или «купить» и «приобрести». Антонимические слова имеют противоположные значения, например, противопоставление между «жив» и «мертв» или «быстрый» и «медленный». Один термин является гипонимом другого, если значение первого термина включено в значение второго термина. Например, «муравей» — гипоним «насекомого». Прототип — это гипоним, обладающий характерными признаками типа, к которому он принадлежит. «Скворец» — прототип «птицы», а «пингвин» — нет. Два слова с одинаковым произношением — это омонимы, как «мука» и «цветок», а два слова с одинаковым написанием — это омонимы, как «банк» реки в отличие от «банка» как финансового учреждения. Гипонимия тесно связана с меронимией, которая описывает отношение между частью и целым. Например, «колесо» — мероним «автомобиля». Выражение является неоднозначным, если оно имеет более одного возможного значения. В некоторых случаях можно устранить неоднозначность, чтобы определить предполагаемое значение. Термин «полисемия» используется, если различные значения тесно связаны друг с другом, как значения слова «голова», которое может относиться к верхней части человеческого тела или к руководителю организации. Семантическое или лексическое поле — это группа слов, связанных с одной и той же деятельностью или предметом. Например, семантическое поле «кулинария» включает такие слова, как «печь», «варить», «специя» и «сковорода». Контекст выражения относится к ситуации или обстоятельствам, в которых оно используется, и включает время, место, говорящего и аудиторию. Он также охватывает другие фрагменты текста, предшествующие и последующие ему. Контекст влияет на значение различных выражений, таких как деиктическое выражение «здесь» и анафорическое выражение «она». Синтаксическая среда является экстенсиональной или прозрачной, если всегда возможно заменить выражения с одним и тем же референтом, не изменяя истинностное значение предложения. Например, среда предложения «число 8 четное» является экстенсиональной, поскольку замена выражения «число 8» на «количество планет в Солнечной системе» не меняет его истинностное значение. Для интенсиональных или непрозрачных контекстов такая замена не всегда возможна. Например, вложенное предложение в «Пако считает, что число 8 четное» является интенсиональным, поскольку Пако может не знать, что количество планет в Солнечной системе равно 8. Семантики обычно различают язык, который они изучают, называемый объектным языком, и язык, который они используют для выражения своих выводов, называемый метаязыком. Если профессор использует японский язык для обучения студента интерпретации языка логики первого порядка, то язык логики первого порядка является объектным языком, а японский — метаязыком. Один и тот же язык может одновременно выполнять роль объектного и метаязыка. Это происходит в одноязычных словарях английского языка, в которых как словарная статья, относящаяся к объектному языку, так и текст определения, относящийся к метаязыку, взяты из английского языка.

Compositionality is a key aspect of how languages construct meaning. It is the idea that the meaning of a complex expression is a function of the meanings of its parts. It is possible to understand the meaning of the sentence "Zuzana owns a dog" by understanding what the words Zuzana, owns, a and dog mean and how they are combined. In this regard, the meaning of complex expressions like sentences is different from word meaning since it is normally not possible to deduce what a word means by looking at its letters and one needs to consult a dictionary instead. Compositionality is often used to explain how people can formulate and understand an almost infinite number of meanings even though the amount of words and cognitive resources is finite. Many sentences that people read are sentences that they have never seen before and they are nonetheless able to understand them. Truth conditions play a central role in semantics and some theories rely exclusively on truth conditions to analyze meaning. To understand a statement usually implies that one has an idea about the conditions under which it would be true. This can happen even if one does not know whether the conditions are fulfilled. The model holds instead that the relation between the two is mediated through a third component. For example, the term apple stands for a type of fruit but there is no direct connection between this string of letters and the corresponding physical object. The relation is only established indirectly through the mind of the language user. When they see the symbol, it evokes a mental image or a concept, which establishes the connection to the physical object. This process is only possible if the language user learned the meaning of the symbol before. The meaning of a specific symbol is governed by the conventions of a particular language. The same symbol may refer to one object in one language, to another object in a different language, and to no object in another language. Lexical relations describe how words stand to one another. Two words are synonyms if they share the same or a very similar meaning, like car and automobile or buy and purchase. Antonyms have opposite meanings, such as the contrast between alive and dead or fast and slow. One term is a hyponym of another term if the meaning of the first term is included in the meaning of the second term. For example, ant is a hyponym of insect. A prototype is a hyponym that has characteristic features of the type it belongs to. A robin is a prototype of a bird but a penguin is not. Two words with the same pronunciation are homophones like flour and flower, while two words with the same spelling are homonyms, like a bank of a river in contrast to a bank as a financial institution. Hyponymy is closely related to meronymy, which describes the relation between part and whole. For instance, wheel is a meronym of car. An expression is ambiguous if it has more than one possible meaning. In some cases, it is possible to disambiguate them to discern the intended meaning. The term polysemy is used if the different meanings are closely related to one another, like the meanings of the word head, which can refer to the topmost part of the human body or the top ranking person in an organization. A semantic or lexical field is a group of words that are all related to the same activity or subject. For instance, the semantic field of cooking includes words like bake, boil, spice, and pan. The context of an expression refers to the situation or circumstances in which it is used and includes time, location, speaker, and audience. It also encompasses other passages in a text that come before and after it. Context affects the meaning of various expressions, like the deictic expression here and the anaphoric expression she. A syntactic environment is extensional or transparent if it is always possible to exchange expressions with the same reference without affecting the truth value of the sentence. For example, the environment of the sentence "the number 8 is even" is extensional because replacing the expression the number 8 with the number of planets in the solar system does not change its truth value. For intensional or opaque contexts, this type of substitution is not always possible. For instance, the embedded clause in "Paco believes that the number 8 is even" is intensional since Paco may not know that the number of planets in the solar system is 8. Semanticists commonly distinguish the language they study, called object language, from the language they use to express their findings, called metalanguage. When a professor uses Japanese to teach their student how to interpret the language of first order logic then the language of first order logic is the object language and Japanese is the metalanguage. The same language may occupy the role of object language and metalanguage at the same time. This is the case in monolingual English dictionaries, in which both the entry term belonging to the object language and the definition text belonging to the metalanguage are taken from the English language.

Лексическая семантика

Лексическая семантика – это подраздел семантики, изучающий значение слов. Она рассматривает семантические аспекты отдельных слов и словарный состав в целом. Это включает в себя изучение лексических отношений между словами, например, являются ли два термина синонимами или антонимами. Лексическая семантика классифицирует слова на основе общих семантических признаков и группирует их в семантические поля, объединенные общей темой. Эта информация используется для создания таксономий, организующих лексические знания, например, путем различения физических и абстрактных сущностей и подразделения физических сущностей на материю и индивидуализированные сущности. Другие интересующие темы – полисемия, неоднозначность и нечеткость. Лексическая семантика иногда разделяется на два взаимодополняющих подхода: семазиологию и ономазиологию. Семазиология исходит из слов и исследует их значение, интересуясь, имеют ли слова одно или несколько значений и как эти значения связаны между собой. В отличие от перехода от слова к значению, ономазиология переходит от значения к слову, начиная с понятия и исследуя, как это понятие называется или как оно может быть выражено в конкретном языке. Некоторые семантики также включают в область лексической семантики изучение лексических единиц, отличных от слов. Сложные выражения, такие как "чувствовать себя неважно", имеют небуквальное значение, функционирующее как единое целое и не являющееся прямой функцией составляющих его частей. Еще одна тема касается значения морфем, составляющих слова, например, того, как отрицательные префиксы, такие как in- и dis-, влияют на значение слов, частью которых они являются, как в словах "неодушевленный" и "нечестный".

Фразеологическая семантика

Фразовая семантика изучает значение предложений. Она опирается на принцип композиционности, чтобы исследовать, как значение сложных выражений возникает из комбинации их частей. Различные части могут быть проанализированы как субъект, предикат или аргумент. Субъект предложения обычно относится к конкретному объекту, в то время как предикат описывает характеристику субъекта или событие, в котором субъект участвует. Аргументы предоставляют дополнительную информацию для завершения предиката. Например, в предложении "Мэри ударила мяч", Мэри – субъект, "удар" – предикат, а мяч – аргумент. Глаголы обычно функционируют как предикаты и часто помогают устанавливать связи между различными выражениями, формируя более сложную структуру значения. В выражении "Бетховен любит Шуберта" глагол "любит" связывает того, кто любит, с объектом его любви. Другие части предложения модифицируют значение, а не формируют новые связи. Например, прилагательное "красный" модифицирует цвет другого объекта в выражении "красная машина". Еще одним композиционным механизмом является связывание переменных, которое используется для определения референции термина. Например, последняя часть выражения "женщина, которая любит Бетховена" уточняет, о какой женщине идет речь. Деревья разбора могут использоваться для отображения лежащей в основе иерархии, используемой для объединения различных частей. Различные грамматические средства, такие как герундий, также вносят вклад в значение и изучаются грамматической семантикой.

Формальная семантика

Формальная семантика использует формальные инструменты логики и математики для анализа значения в естественных языках. Её цель – разработка точных логических формализмов для прояснения связи между выражениями и их денотацией. Одной из ключевых задач является создание моделей, описывающих, как язык репрезентирует мир, например, посредством онтологических моделей, показывающих, как лингвистические выражения соотносятся с сущностями этой модели. Формальная семантика также исследует, как использовать формальные механизмы для представления лингвистических явлений, таких как квантификация, интенсиональность, именные группы, множественное число, неисчисляемые существительные, время и модальность. Семантика Монтегю – ранняя и влиятельная теория в формальной семантике, предлагающая детальный анализ того, как английский язык может быть представлен с помощью математической логики. Она опирается на логику высших порядков, лямбда-исчисление и теорию типов, чтобы показать, как смысл формируется посредством комбинации выражений, принадлежащих к разным синтаксическим категориям. Динамическая семантика – это подраздел формальной семантики, который фокусируется на том, как информация изменяется и накапливается во времени. Согласно ей, "смысл – это потенциал изменения контекста": смысл предложения определяется не информацией, которую оно содержит, а изменением информации, которое оно вносит в контекст.

Когнитивная семантика

Когнитивная семантика изучает проблему значения с психологической точки зрения, то есть то, как мышление языкового пользователя влияет на значение. Являясь субдисциплиной когнитивной лингвистики, она рассматривает язык как широкую когнитивную способность, тесно связанную с концептуальными структурами, используемыми для понимания и представления мира. Когнитивные семантики не проводят резкого различия между лингвистическими знаниями и знанием мира, рассматривая их скорее как взаимосвязанные явления. Они исследуют, как взаимодействие между языком и человеческим познанием влияет на концептуальную организацию в таких общих областях, как пространство, время, причинность и действие. Для артикуляции лежащей в основе структуры знаний иногда используется противопоставление профиля и базы. Профиль языкового выражения – это аспект структуры знаний, который он выносит на первый план, а база – фон, обеспечивающий контекст для этого аспекта, но не являющийся центром внимания. Например, профилем слова «гипотенуза» является прямая линия, в то время как базой – прямоугольный треугольник, частью которого гипотенуза и является. Когнитивная семантика также сравнивает концептуальные модели и лингвистические типологии в разных языках, рассматривая, в какой степени когнитивные концептуальные структуры человека универсальны или относительны к его языковому опыту. Другая область исследований связана с психологическими процессами, вовлеченными в применение грамматики. Также исследуются такие явления, как категоризация, понимаемая как когнитивная эвристика, позволяющая избежать перегрузки информацией путем рассмотрения различных сущностей одинаково, и воплощенность (эмбодимент), изучающая, как телесный опыт языкового пользователя влияет на значение выражений. Семантика фреймов – важная поддисциплина когнитивной семантики. Её центральная идея заключается в том, что значение терминов нельзя понимать изолированно друг от друга, а необходимо анализировать на фоне концептуальных структур, от которых они зависят. Эти структуры выражаются явно в терминах семантических фреймов. Например, слова «невеста», «жених» и «медовый месяц» вызывают в сознании фрейм «брак».

Cognitive semantics studies the problem of meaning from a psychological perspective or how the mind of the language user affects meaning. As a subdiscipline of cognitive linguistics, it sees language as a wide cognitive ability that is closely related to the conceptual structures used to understand and represent the world. Cognitive semanticists do not draw a sharp distinction between linguistic knowledge and knowledge of the world and see them instead as interrelated phenomena. They study how the interaction between language and human cognition affects the conceptual organization in very general domains like space, time, causation, and action. The contrast between profile and base is sometimes used to articulate the underlying knowledge structure. The profile of a linguistic expression is the aspect of the knowledge structure that it brings to the foreground while the base is the background that provides the context of this aspect without being at the center of attention. For example, the profile of the word hypotenuse is a straight line while the base is a right angled triangle of which the hypotenuse forms a part. Cognitive semantics further compares the conceptual patterns and linguistic typologies across languages and considers to what extent the cognitive conceptual structures of humans are universal or relative to their linguistic background. Another research topic concerns the psychological processes involved in the application of grammar. Other investigated phenomena include categorization, which is understood as a cognitive heuristic to avoid information overload by regarding different entities in the same way, and embodiment, which concerns how the language user's bodily experience affects the meaning of expressions. Frame semantics is an important subfield of cognitive semantics. Its central idea is that the meaning of terms cannot be understood in isolation from each other but needs to be analyzed on the background of the conceptual structures they depend on. These structures are made explicit in terms of semantic frames. For example, words like bride, groom, and honeymoon evoke in the mind the frame of marriage.

Другие

Концептуальная семантика разделяет с когнитивной семантикой идею изучения лингвистического значения с психологической точки зрения, исследуя, как люди концептуализируют и переживают мир. Она утверждает, что смысл заключается не в объектах, к которым относятся выражения, а в когнитивной структуре человеческих концепций, связывающей мышление, восприятие и действие. Концептуальная семантика отличается от когнитивной семантики тем, что вводит строгое различие между смыслом и синтаксисом и опирается на различные формальные инструменты для изучения связи между смыслом и познанием. Компьютационная семантика изучает, как значение выражений естественного языка может быть представлено и обработано на компьютерах. Она часто опирается на идеи формальной семантики и применяет их к задачам, которые могут быть решены вычислительным путем. К её ключевым проблемам относятся вычисление значения сложных выражений путем анализа их составных частей, обработка двусмысленности, нечёткости и контекстуальной зависимости, а также использование извлечённой информации в автоматическом рассуждении. Она является частью вычислительной лингвистики, искусственного интеллекта и когнитивной науки. Культурная семантика изучает связь между языковым смыслом и культурой. Она сравнивает концептуальные структуры в разных языках и интересуется тем, как значения развиваются и меняются под влиянием культурных явлений, связанных с политикой, религией и обычаями. Например, формы обращения кодируют культурные ценности и социальные иерархии, как, например, разница в вежливости выражений *tu* и *usted* в испанском или *du* и *Sie* в немецком, в отличие от английского языка, в котором отсутствуют эти различия и используется местоимение *you* в обоих случаях. Близкородственными областями являются межкультурная семантика, кросс-культурная семантика и сравнительная семантика. Прагматическая семантика изучает, как ситуация, в которой используется выражение, формирует его значение. Она основана на идее, что коммуникативное значение обычно контекстуально зависимо и определяется тем, кто участвует в обмене, какой информацией они располагают, каковы их намерения и исходные предположения. Она фокусируется на коммуникативных действиях, частью которых являются языковые выражения. Некоторые теоретики включают эти темы в сферу семантики, в то время как другие считают их частью отдельной дисциплины – прагматики.

Conceptual semantics shares with cognitive semantics the idea of studying linguistic meaning from a psychological perspective by examining how humans conceptualize and experience the world. It holds that meaning is not about the objects to which expressions refer but about the cognitive structure of human concepts that connect thought, perception, and action. Conceptual semantics differs from cognitive semantics by introducing a strict distinction between meaning and syntax and by relying on various formal devices to explore the relation between meaning and cognition. Computational semantics examines how the meaning of natural language expressions can be represented and processed on computers. It often relies on the insights of formal semantics and applies them to problems that can be computationally solved. Some of its key problems include computing the meaning of complex expressions by analyzing their parts, handling ambiguity, vagueness, and context dependence, and using the extracted information in automatic reasoning. It forms part of computational linguistics, artificial intelligence, and cognitive science. Cultural semantics studies the relation between linguistic meaning and culture. It compares conceptual structures in different languages and is interested in how meanings evolve and change because of cultural phenomena associated with politics, religion, and customs. For example, address practices encode cultural values and social hierarchies, as in the difference of politeness of expressions like tu and usted in Spanish or du and Sie in German in contrast to English, which lacks these distinctions and uses the pronoun you in either case. Closely related fields are intercultural semantics, cross cultural semantics, and comparative semantics. Pragmatic semantics studies how the meaning of an expression is shaped by the situation in which it is used. It is based on the idea that communicative meaning is usually context sensitive and depends on who participates in the exchange, what information they share, and what their intentions and background assumptions are. It focuses on communicative actions, of which linguistic expressions only form one part. Some theorists include these topics within the scope of semantics while others consider them part of the distinct discipline of pragmatics.

Теории смысла

Теории значения объясняют, что такое значение, какое значение имеет выражение и как устанавливается связь между выражением и значением.

Справочная

Референциальные теории утверждают, что значение выражения – это сущность, на которую оно указывает. Значение сингулярных терминов, таких как имена, – это индивид, к которому они относятся. Например, значение имени Джордж Вашингтон – это человек, носящий это имя. Общие термины относятся не к отдельной сущности, а к множеству объектов, к которым применяется этот термин. В этом отношении значение термина «кошка» – это множество всех кошек. Аналогично, глаголы обычно относятся к классам действий или событий, а прилагательные – к свойствам индивидуумов и событий. Простые референциальные теории сталкиваются с проблемами в отношении значимых выражений, не имеющих четкого референта. Имена, такие как Пегас и Санта-Клаус, имеют значение, даже если они не указывают на существующие сущности. Другие трудности связаны со случаями, когда разные выражения относятся к одной и той же сущности. Например, выражения «Роджер Баннистер» и «первый человек, пробежавший милю за четыре минуты» относятся к одному и тому же человеку, но не означают одно и то же самое. Это особенно актуально при обсуждении убеждений, поскольку человек может понимать оба выражения, не зная, что они указывают на одну и ту же сущность. Дополнительную проблему представляют выражения, значение которых зависит от контекста, такие как деиктические термины «здесь» и «я». Чтобы избежать этих проблем, референциальные теории часто вводят дополнительные механизмы. Некоторые отождествляют значение не непосредственно с объектами, а с функциями, указывающими на объекты. Этот дополнительный уровень имеет преимущество, заключающееся в учете контекста выражения, поскольку одно и то же выражение может указывать на один объект в одном контексте и на другой объект в другом контексте. Например, референция слова «здесь» зависит от места, в котором оно используется. Тесно связанным подходом является семантика возможных миров, которая позволяет выражениям относиться не только к сущностям в актуальном мире, но и к сущностям в других возможных мирах. Согласно этой точке зрения, выражения, такие как «первый человек, пробежавший милю за четыре минуты», относятся к разным людям в разных мирах. Этот подход также может быть использован для анализа предложений, говорящих о возможности или необходимости: возможность – это то, что истинно в некоторых возможных мирах, а необходимость – то, что истинно во всех возможных мирах.

Referential theories state that the meaning of an expression is the entity to which it points. The meaning of singular terms like names is the individual to which they refer. For example, the meaning of the name George Washington is the person with this name. General terms refer not to a single entity but to the set of objects to which this term applies. In this regard, the meaning of the term cat is the set of all cats. Similarly, verbs usually refer to classes of actions or events and adjectives refer to properties of individuals and events. Simple referential theories face problems for meaningful expressions that have no clear referent. Names like Pegasus and Santa Claus have meaning even though they do not point to existing entities. Other difficulties concern cases in which different expressions are about the same entity. For instance, the expressions Roger Bannister and the first man to run a four minute mile refer to the same person but do not mean exactly the same thing. This is particularly relevant when talking about beliefs since a person may understand both expressions without knowing that they point to the same entity. A further problem is given by expressions whose meaning depends on the context, like the deictic terms here and I. To avoid these problems, referential theories often introduce additional devices. Some identify meaning not directly with objects but with functions that point to objects. This additional level has the advantage of taking the context of an expression into account since the same expression may point to one object in one context and to another object in a different context. For example, the reference of the word here depends on the location in which it is used. A closely related approach is possible world semantics, which allows expressions to refer not only to entities in the actual world but also to entities in other possible worlds. According to this view, expressions like the first man to run a four minute mile refer to different persons in different worlds. This view can also be used to analyze sentences that talk about what is possible or what is necessary: possibility is what is true in some possible worlds while necessity is what is true in all possible worlds.

Идеалистический

Идеационные теории, также называемые менталистическими теориями, не фокусируются прежде всего на референции выражений, а объясняют значение через психические состояния пользователей языка. Один из исторически влиятельных подходов, сформулированный Джоном Локком, утверждает, что выражения обозначают идеи в сознании говорящего. Согласно этой точке зрения, значение слова «собака» – это идея, которую люди имеют о собаках. Язык рассматривается как средство передачи идей от говорящего к аудитории. После усвоения общего значения знаков, говорящий может использовать знак, соответствующий идее в его сознании, и восприятие этого знака вызывает ту же идею в сознании слушателя. Тесно связанная теория фокусируется не напрямую на идеях, а на интенциях. Этот взгляд особенно ассоциируется с Полом Грайсом, который заметил, что люди обычно общаются, чтобы вызвать определенную реакцию у аудитории. Он полагал, что значение выражения определяется предполагаемой реакцией. Это означает, что коммуникация – это не просто декодирование буквального высказывания, а требует понимания интенции говорящего или причины, по которой он это сказал. Например, если сказать ищущему бензин: «за углом есть гараж», это означает, что там можно купить бензин, благодаря намерению говорящего помочь. Это выходит за рамки буквального значения, которое не содержит явной связи с бензином.

Причинная

Причинные теории утверждают, что значение выражения зависит от причин и следствий, которые оно порождает. Согласно бихевиористской семантике, также называемой теорией «стимул-реакция», значение выражения определяется ситуацией, побуждающей говорящего его использовать, и реакцией, которую оно вызывает у слушателя. Например, значение крика «Пожар!» определяется наличием неконтролируемого пожара и попытками его потушить или спастись. Бихевиористская семантика опирается на идею, что изучение языка заключается в усвоении поведенческих моделей в форме пар «стимул-реакция». Одной из ключевых мотиваций является стремление избежать обращения к частным ментальным сущностям и определить значение в терминах публично наблюдаемого речевого поведения. Другая причинная теория фокусируется на значении имен и утверждает, что для установления связи между именем и обозначаемым объектом необходимо событие именования. Это событие именования действует как своего рода крещение, устанавливающее первое звено в причинной цепи, в которой участвуют все последующие употребления имени. Согласно этой точке зрения, имя «Платон» отсылает к древнегреческому философу, потому что в какой-то момент его изначально так назвали, и люди продолжали использовать это имя для обозначения его. Эта идея была первоначально сформулирована Солом Крипке применительно только к именам, но впоследствии была расширена и на другие типы высказываний.

Другие

Условная семантика истины анализирует значение предложений с точки зрения их условий истинности. Согласно этому подходу, понимание предложения означает знание того, каким должен быть мир, чтобы предложение было истинным. Условия истинности могут быть выражены через возможные миры. Например, предложение "Хиллари Клинтон победила на президентских выборах в США в 2016 году" ложно в актуальном мире, но существуют возможные миры, в которых оно истинно. Экстенсия предложения может интерпретироваться как его значение истинности, а интенсия – как множество всех возможных миров, в которых оно истинно. Условная семантика истины тесно связана с верификационистскими теориями, которые вводят дополнительную идею о том, что должна существовать процедура верификации для оценки истинности предложения. Они утверждают, что смысл предложения состоит в методе его верификации или в обстоятельствах, которые его обосновывают. Например, научные утверждения часто содержат предсказания, которые можно использовать для подтверждения или опровержения посредством наблюдений. Согласно верификационизму, предложения, которые нельзя ни верифицировать, ни фальсифицировать, бессмысленны. Теория использования утверждает, что значение выражения определяется способом его употребления. Этот взгляд был впервые предложен Людвигом Витгенштейном, который понимал язык как совокупность языковых игр. Значение выражений зависит от того, как они используются в рамках игры, и одно и то же выражение может иметь разные значения в разных играх. Некоторые версии этой теории отождествляют значение непосредственно с образцами регулярного употребления. Другие сосредотачиваются на социальных нормах и конвенциях, дополнительно учитывая, считается ли определенное употребление уместным в данном обществе. Инференциалистская семантика, также называемая семантикой концептуальной роли, утверждает, что значение выражения определяется ролью, которую оно играет в посылках и заключениях корректных умозаключений. Например, из утверждения "x – мужской брат" можно заключить, что "x – брат", и из утверждения "x – брат" можно заключить, что "x имеет родителей". Согласно инференциалистской семантике, значение слова "брат" определяется этими и всеми подобными умозаключениями, которые можно вывести.

Truth conditional semantics analyzes the meaning of sentences in terms of their truth conditions. According to this view, to understand a sentence means to know what the world needs to be like for the sentence to be true. Truth conditions can themselves be expressed through possible worlds. For example, the sentence "Hillary Clinton won the 2016 American presidential election" is false in the actual world but there are some possible worlds in which it is true. The extension of a sentence can be interpreted as its truth value while its intension is the set of all possible worlds in which it is true. Truth conditional semantics is closely related to verificationist theories, which introduce the additional idea that there should be some kind of verification procedure to assess whether a sentence is true. They state that the meaning of a sentence consists in the method to verify it or in the circumstances that justify it. For instance, scientific claims often make predictions, which can be used to confirm or disconfirm them using observation. According to verificationism, sentences that can neither be verified nor falsified are meaningless. The use theory states that the meaning of an expression is given by the way it is utilized. This view was first introduced by Ludwig Wittgenstein, who understood language as a collection of language games. The meaning of expressions depends on how they are used inside a game and the same expression may have different meanings in different games. Some versions of this theory identify meaning directly with patterns of regular use. Others focus on social norms and conventions by additionally taking into account whether a certain use is considered appropriate in a given society. Inferentialist semantics, also called conceptual role semantics, holds that the meaning of an expression is given by the role it plays in the premises and conclusions of good inferences. For example, one can infer from "x is a male sibling" that "x is a brother" and one can infer from "x is a brother" that "x has parents". According to inferentialist semantics, the meaning of the word brother is determined by these and all similar inferences that can be drawn.

История

Семантика утвердилась как самостоятельная область исследований в XIX веке, но изучение семантических явлений началось еще в древности как часть философии и логики. В Древней Греции Платон (427–347 до н.э.) исследовал связь между именами и вещами в своем диалоге «Кратил». В нем рассматриваются позиции натурализма, утверждающего, что вещи имеют свои названия по природе, и конвенционализма, утверждающего, что имена связаны со своими референтами обычаями и конвенциями среди пользователей языка. В книге «О толковании» Аристотеля (384–322 до н.э.) были введены различные концептуальные различия, которые оказали значительное влияние на последующие работы по семантике. Он разработал раннюю форму семантического треугольника, полагая, что произносимые и написанные слова вызывают ментальные концепты, которые относятся к внешним вещам, будучи подобными им. Для него ментальные концепты одинаковы для всех людей, в отличие от условных слов, которые они связывают с этими концептами. Стоики включили в себя многие идеи своих предшественников, чтобы разработать сложную теорию языка с точки зрения логики. Они различали различные типы слов по их семантической и синтаксической роли, например, по контрасту между именами, общими существительными и глаголами. Они также обсуждали разницу между утверждениями, повелениями и запретами. В Древней Индии ортодоксальная школа Ньяя считала, что все имена относятся к реальным объектам. В ней исследовалось, как слова приводят к пониманию подразумеваемого и каковы последствия этой связи для создания знания. Философы ортодоксальной школы Мимамса обсуждали связь между значениями отдельных слов и полных предложений, рассматривая, какое из них является более базовым. В книге «Вакияпадия» Бхартрихари (IV–V вв. н.э.) различаются различные типы слов и рассматривается, как они могут нести разные значения в зависимости от способа их использования. В Древнем Китае мохисты утверждали, что имена играют ключевую роль в установлении различий, направляющих моральное поведение. Они вдохновили Школу имен, которая исследовала связь между именами и сущностями, изучая, как имена необходимы для идентификации и оценки сущностей. В Средние века Августин Гиппонский (354–430) разработал общую концепцию знаков как сущностей, представляющих другие сущности и передающих их интеллекту. Он первым ввел различие между естественными и лингвистическими знаками как различными типами, принадлежащими к общему роду. Боэций (480–528) написал перевод и различные комментарии к книге Аристотеля «О толковании», которая популяризировала его основные идеи и вдохновила размышления о семантических явлениях в схоластической традиции. Нововведением в семантике Петра Абеляра (1079–1142) был его интерес к предложениям, или значению предложений, в отличие от сосредоточения внимания на значении отдельных слов многими его предшественниками. Он также исследовал природу универсалий, которые он понимал как простые семантические явления общих имен, вызванные ментальными абстракциями, не относящимися к каким-либо сущностям. В арабской традиции Ибн Фарис (920–1004) отождествлял значение с намерением говорящего, в то время как Абу Мансур аль-Азхари (895–980) считал, что значение находится непосредственно в речи и должно быть извлечено посредством интерпретации. Важной темой в конце Средневековья было различие между категорематическими и син категорематическими терминами. Категорематические термины имеют независимое значение и относятся к какой-то части реальности, например, лошади и Сократу. Синкатегорематические термины не имеют независимого значения и выполняют другие семантические функции, такие как изменение или количественное определение значения других выражений, например, слова «некоторые», «не» и «необходимо». Раннюю версию причинной теории значения предложил Роджер Бэкон (ок. 1219/20 – ок. 1292), который считал, что вещи получают имена подобно тому, как люди получают имена через своего рода первоначальное крещение. Его идеи вдохновили традицию спекулятивных грамматиков, которые предположили, что во всех языках есть определенные универсальные структуры. Они пришли к такому выводу, проведя аналогию между способами обозначения на уровне языка, способами понимания на уровне ума и способами существования на уровне реальности. В ранний современный период Томас Гоббс (1588–1679) различал знаки, которые люди используют в частном порядке, чтобы вспомнить свои собственные мысли, и сигналы, которые используются публично для передачи своих идей другим. В «Логике Пор-Рояля» Антуан Арно (1612–1694) и Пьер Николь (1625–1695) разработали ранний предшественник различия между интенсионалом и экстенсионалом. «Опыт о человеческом разумении» Джона Локка (1632–1704) представил влиятельную версию идеационной теории значения, согласно которой слова обозначают идеи и помогают людям общаться, передавая идеи от одного разума к другому. Готфрид Вильгельм Лейбниц (1646–1716) понимал язык как зеркало мысли и пытался представить очертания универсального формального языка для выражения научных и философских истин. Эта попытка вдохновила теоретиков Христиана Вольфа (1679–1754), Георга Бернхарда Бильфингера (1693–1750) и Иоганна Генриха Ламберта (1728–1777) на разработку идеи общей науки о знаковых системах. Этьен Бонно де Кондильяк (1715–1780) принял и развил идею Лейбница о лингвистической природе мысли. Против Локка он утверждал, что язык участвует в создании идей и не является просто средством их передачи. В XIX веке семантика возникла и утвердилась как самостоятельная область исследований. Христиану Карлу Рейзигу (1792–1829) иногда приписывают отцовство семантики, поскольку он уточнил ее концепцию и объем, а также внес различные вклады в ее ключевые идеи. Мишель Бреаль (1832–1915) последовал за ним, предоставив широкое представление об этой области, для которой он ввел французский термин «семантик». Джон Стюарт Милль (1806–1873) придавал большое значение роли имен в обозначении вещей. Он различал коннотацию и денотацию имен и считал, что предложения формируются путем объединения имен. Чарльз Сандерс Пирс (1839–1914) понимал семиотику как общую теорию знаков с несколькими поддисциплинами, которые позже были идентифицированы Чарльзом У. Моррисом (1901–1979) как синтаксис, семантика и прагматика. В своем прагматистском подходе к семантике Пирс считал, что значение концепций состоит в совокупности их практических последствий. Философия Готлоба Фреге (1848–1925) внесла вклад в семантику на многих различных уровнях. Фреге первым ввел различие между смыслом и референцией, а его разработка предикатной логики и принципа композициональности заложила основу для многих последующих разработок в формальной семантике. Эдмунд Гуссерль (1859–1938) исследовал значение с феноменологической точки зрения, рассматривая ментальные акты, наделяющие выражения значением. Он считал, что значение всегда подразумевает ссылку на объект, а выражения, лишенные референта, такие как «зеленый есть» или «есть», бессмысленны. В XX веке Альфред Тарский (1901–1983) определил истину в формальных языках посредством своей семантической теории истины, которая оказала влияние на развитие семантики истинности Дональда Дэвидсона (1917–2003). Ученик Тарского Ричард Монтегю (1930–1971) сформулировал сложную формальную структуру семантики английского языка, которая способствовала установлению формальной семантики в качестве важной области исследований. Согласно структурной семантике, вдохновленной структурной философией Фердинанда де Соссюра (1857–1913), язык представляет собой сложную сеть структурных отношений, и значения слов не фиксированы индивидуально, а зависят от их положения в этой сети. Теория общей семантики была разработана Альфредом Коржибским (1879–1950) как…

Semantics was established as an independent field of inquiry in the 19th century but the study of semantic phenomena began as early as the ancient period as part of philosophy and logic. In ancient Greece, Plato (427–347 BCE) explored the relation between names and things in his dialogue Cratylus. It considers the positions of naturalism, which holds that things have their name by nature, and conventionalism, which states that names are related to their referents by customs and conventions among language users. The book On Interpretation by Aristotle (384–322 BCE) introduced various conceptual distinctions that greatly influenced subsequent works in semantics. He developed an early form of the semantic triangle by holding that spoken and written words evoke mental concepts, which refer to external things by resembling them. For him, mental concepts are the same for all humans, unlike the conventional words they associate with those concepts. The Stoics incorporated many of the insights of their predecessors to develop a complex theory of language through the perspective of logic. They discerned different kinds of words by their semantic and syntactic roles, such as the contrast between names, common nouns, and verbs. They also discussed the difference between statements, commands, and prohibitions. In ancient India, the orthodox school of Nyaya held that all names refer to real objects. It explored how words lead to an understanding of the thing meant and what consequence this relation has to the creation of knowledge. Philosophers of the orthodox school of Mīmāṃsā discussed the relation between the meanings of individual words and full sentences while considering which one is more basic. The book Vākyapadīya by Bhartṛhari (4th–5th century CE) distinguished between different types of words and considered how they can carry different meanings depending on how they are used. In ancient China, the Mohists argued that names play a key role in making distinctions to guide moral behavior. They inspired the School of Names, which explored the relation between names and entities while examining how names are required to identify and judge entities. In the Middle Ages, Augustine of Hippo (354–430) developed a general conception of signs as entities that stand for other entities and convey them to the intellect. He was the first to introduce the distinction between natural and linguistic signs as different types belonging to a common genus. Boethius (480–528) wrote a translation of and various comments on Aristotle's book On Interpretation, which popularized its main ideas and inspired reflections on semantic phenomena in the scholastic tradition. An innovation in the semantics of Peter Abelard (1079–1142) was his interest in propositions or the meaning of sentences in contrast to the focus on the meaning of individual words by many of his predecessors. He further explored the nature of universals, which he understood as mere semantic phenomena of common names caused by mental abstractions that do not refer to any entities. In the Arabic tradition, Ibn Faris (920–1004) identified meaning with the intention of the speaker while Abu Mansur al Azhari (895–980) held that meaning resides directly in speech and needs to be extracted through interpretation. An important topic towards the end of the Middle Ages was the distinction between categorematic and syncategorematic terms. Categorematic terms have an independent meaning and refer to some part of reality, like horse and Socrates. Syncategorematic terms lack independent meaning and fulfill other semantic functions, such as modifying or quantifying the meaning of other expressions, like the words some, not, and necessarily. An early version of the causal theory of meaning was proposed by Roger Bacon (c. 1219/20 – c. 1292), who held that things get names similar to how people get names through some kind of initial baptism. His ideas inspired the tradition of the speculative grammarians, who proposed that there are certain universal structures found in all languages. They arrived at this conclusion by drawing an analogy between the modes of signification on the level of language, the modes of understanding on the level of mind, and the modes of being on the level of reality. In the early modern period, Thomas Hobbes (1588–1679) distinguished between marks, which people use privately to recall their own thoughts, and signs, which are used publicly to communicate their ideas to others. In their Port Royal Logic, Antoine Arnauld (1612–1694) and Pierre Nicole (1625–1695) developed an early precursor of the distinction between intension and extension. The Essay Concerning Human Understanding by John Locke (1632–1704) presented an influential version of the ideational theory of meaning, according to which words stand for ideas and help people communicate by transferring ideas from one mind to another. Gottfried Wilhelm Leibniz (1646–1716) understood language as the mirror of thought and tried to conceive the outlines of a universal formal language to express scientific and philosophical truths. This attempt inspired theorists Christian Wolff (1679–1754), Georg Bernhard Bilfinger (1693–1750), and Johann Heinrich Lambert (1728–1777) to develop the idea of a general science of sign systems. Étienne Bonnot de Condillac (1715–1780) accepted and further developed Leibniz's idea of the linguistic nature of thought. Against Locke, he held that language is involved in the creation of ideas and is not merely a medium to communicate them. In the 19th century, semantics emerged and solidified as an independent field of inquiry. Christian Karl Reisig (1792–1829) is sometimes credited as the father of semantics since he clarified its concept and scope while also making various contributions to its key ideas. Michel Bréal (1832–1915) followed him in providing a broad conception of the field, for which he coined the French term semantique. John Stuart Mill (1806–1873) gave great importance to the role of names to refer to things. He distinguished between the connotation and denotation of names and held that propositions are formed by combining names. Charles Sanders Peirce (1839–1914) conceived semiotics as a general theory of signs with several subdisciplines, which were later identified by Charles W. Morris (1901–1979) as syntactics, semantics, and pragmatics. In his pragmatist approach to semantics, Peirce held that the meaning of conceptions consists in the entirety of their practical consequences. The philosophy of Gottlob Frege (1848–1925) contributed to semantics on many different levels. Frege first introduced the distinction between sense and reference, and his development of predicate logic and the principle of compositionality formed the foundation of many subsequent developments in formal semantics. Edmund Husserl (1859–1938) explored meaning from a phenomenological perspective by considering the mental acts that endow expressions with meaning. He held that meaning always implies reference to an object and expressions that lack a referent, like green is or, are meaningless. In the 20th century, Alfred Tarski (1901–1983) defined truth in formal languages through his semantic theory of truth, which was influential in the development of truth conditional semantics by Donald Davidson (1917–2003). Tarski's student Richard Montague (1930–1971) formulated a complex formal framework of the semantics of the English language, which was responsible for establishing formal semantics as a major area of research. According to structural semantics, which was inspired by the structuralist philosophy of Ferdinand de Saussure (1857–1913), language is a complex network of structural relations and the meanings of words are not fixed individually but depend on their position within this network. The theory of general semantics was developed by Alfred Korzybski (1879–1950) as an inquiry into how language represents reality and affects human thought. The contributions of George Lakoff (1941–present) and Ronald Langacker (1942–present) provided the foundation of cognitive semantics. Charles J. Fillmore (1929–2014) developed frame semantics as a major approach in this area. The closely related field of conceptual semantics was inaugurated by Ray Jackendoff (1945–present).

Логика

Логики изучают корректные рассуждения и часто разрабатывают формальные языки для выражения аргументов и оценки их корректности. Одна из частей этого процесса – предоставление семантики для формального языка, чтобы точно определить значение его терминов. Семантика формального языка – это набор правил, обычно выраженных в виде математической функции, которая присваивает значения выражениям формального языка. Например, язык логики первого порядка использует строчные буквы для индивидуальных констант и прописные буквы для предикатов. Для выражения предложения "Берти – собака" можно использовать формулу , где – индивидуальная константа для Берти, а – предикат для собаки. Классическая модель-теоретическая семантика придает смысл этим терминам, определяя функцию интерпретации, которая отображает индивидуальные константы в конкретные объекты, а предикаты – в множества объектов или кортежи. Функция сопоставляет с Берти, а – с множеством всех собак. Таким образом, можно вычислить истинностное значение предложения: оно истинно, если Берти является элементом множества собак, и ложно в противном случае. Формальная логика стремится определить, являются ли аргументы дедуктивно валидными, то есть, следуют ли из предпосылок заключение. Следование можно определить с точки зрения синтаксиса или с точки зрения семантики. Синтаксическое следование, обозначаемое символом , опирается на правила вывода, которые можно понимать как процедуры преобразования предпосылок для получения заключения. Эти процедуры учитывают только логическую форму предпосылок на уровне синтаксиса и игнорируют их значение. Семантическое следование, обозначаемое символом , рассматривает значение предпосылок, в частности, их истинность. Заключение семантически следует из набора предпосылок, если истинность предпосылок гарантирует истинность заключения, то есть, если любая семантическая функция интерпретации, которая присваивает предпосылкам значение "истина", также присваивает заключению значение "истина".

Информатика

В информатике семантика программы – это то, как она ведет себя при выполнении компьютером. Семантика противопоставляется синтаксису, который определяет конкретную форму представления инструкций. Одно и то же поведение обычно можно описать различными синтаксическими конструкциями. В JavaScript это справедливо для команд `i += 1` и `i = i + 1`, которые являются синтаксически различными выражениями для увеличения значения переменной `i` на единицу. Это различие также проявляется в различных языках программирования, поскольку они используют разный синтаксис, но обычно позволяют создавать программы с одинаковым поведением на семантическом уровне. Статическая семантика фокусируется на семантических аспектах, влияющих на компиляцию программы. В частности, она занимается выявлением ошибок в синтаксически корректных программах, таких как ошибки типов, возникающие при передаче операции несовместимого типа данных. Например, это происходит, когда функция, выполняющая числовые вычисления, получает строку вместо числа в качестве аргумента. Динамическая семантика фокусируется на поведении программ во время выполнения, то есть на том, что происходит при исполнении инструкций. Основными подходами к динамической семантике являются денотационная, аксиоматическая и операционная семантика. Денотационная семантика использует математические формализмы для описания эффектов каждого элемента кода. Аксиоматическая семантика применяет дедуктивную логику для анализа условий, которые должны выполняться до и после выполнения программы. Операционная семантика интерпретирует выполнение программы как последовательность шагов, каждый из которых представляет собой переход из одного состояния в другое.

Психология

Психологическая семантика изучает психологические аспекты значения. Она рассматривает, как значение представлено на когнитивном уровне и какие ментальные процессы вовлечены в понимание и порождение языка. Кроме того, исследуется взаимодействие значения с другими психическими процессами, например, связь между языком и перцептивным опытом. Другие вопросы касаются того, как люди изучают новые слова и соотносят их с известными предметами и понятиями, как они выводят значение составных выражений, с которыми они не сталкивались ранее, как они разрешают неоднозначность выражений и как семантические иллюзии приводят к неверной интерпретации предложений. Ключевой темой является семантическая память – форма общих знаний о значении, включающая знания о языке, понятиях и фактах. Она отличается от эпизодической памяти, которая хранит события, пережитые человеком в жизни. Понимание языка опирается на семантическую память и содержащуюся в ней информацию о значениях слов. Согласно распространенной точке зрения, значения слов хранятся и обрабатываются в связи с их семантическими признаками. Модель сравнения признаков утверждает, что предложения, такие как "робин – это птица", оцениваются на психологическом уровне путем сопоставления семантических признаков слова "робин" с семантическими признаками слова "птица". Процесс оценки происходит быстро, если их семантические признаки схожи, что и происходит, когда пример является прототипом общей категории. Для атипичных примеров, как в предложении "пингвин – это птица", перекрытие семантических признаков меньше, и психологический процесс значительно замедляется.