Semantics

Semantics (from Ancient Greek: σημαντικός sēmantikós, "significant")[lower-alpha 1][1] is the linguistic and philosophical study of meaning in language, programming languages, formal logic, and semiotics. It is concerned with the relationship between signifiers—like words, phrases, signs, and symbols—and what they stand for in reality, their denotation.

For the programming language theory branch, see Semantics (computer science). For other uses, see Semantics (disambiguation).
Semantics
Computing
Types
Theory
Analysis
Applications

In the international scientific vocabulary semantics is also called semasiology. The word semantics was first used by Michel Bréal, a French philologist.[2] It denotes a range of ideas—from the popular to the highly technical. It is often used in ordinary language for denoting a problem of understanding that comes down to word selection or connotation. This problem of understanding has been the subject of many formal enquiries, over a long period of time, especially in the field of formal semantics. In linguistics, it is the study of the interpretation of signs or symbols used in agents or communities within particular circumstances and contexts.[3] Within this view, sounds, facial expressions, body language, and proxemics have semantic (meaningful) content, and each comprises several branches of study. In written language, things like paragraph structure and punctuation bear semantic content; other forms of language bear other semantic content.[3]

The formal study of semantics intersects with many other fields of inquiry, including lexicology, syntax, pragmatics, etymology and others. Independently, semantics is also a well-defined field in its own right, often with synthetic properties.[4] In the philosophy of language, semantics and reference are closely connected. Further related fields include philology, communication, and semiotics. The formal study of semantics can therefore be manifold and complex.

Semantics contrasts with syntax, the study of the combinatorics of units of a language (without reference to their meaning), and pragmatics, the study of the relationships between the symbols of a language, their meaning, and the users of the language.[5] Semantics as a field of study also has significant ties to various representational theories of meaning including truth theories of meaning, coherence theories of meaning, and correspondence theories of meaning. Each of these is related to the general philosophical study of reality and the representation of meaning.

Linguistics

In linguistics, semantics is the subfield that is devoted to the study of meaning, as inherent at the levels of words, phrases, sentences, and larger units of discourse (termed texts, or narratives). The study of semantics is also closely linked to the subjects of representation, reference and denotation. The basic study of semantics is oriented to the examination of the meaning of signs, and the study of relations between different linguistic units and compounds: homonymy, synonymy, antonymy, hypernymy, hyponymy, meronymy, metonymy, holonymy, paronymy. A key concern is how meaning attaches to larger chunks of text, possibly as a result of the composition from smaller units of meaning. Traditionally, semantics has included the study of sense and reference, truth conditions, argument structure, thematic roles, discourse analysis, and the linkage of all of these to syntax.

Theories in linguistic semantics

Formal semantics
Main article: Formal semantics (linguistics)

Originates from Montague's work (see above). A highly formalized theory of natural language semantics in which expressions are assigned denotations (meanings) such as individuals, truth values, or functions from one of these to another. The truth of a sentence, and its logical relation to other sentences, is then evaluated relative to a model.

Truth-conditional semantics
Main article: Truth-conditional semantics

Pioneered by the philosopher Donald Davidson, another formalized theory, which aims to associate each natural language sentence with a meta-language description of the conditions under which it is true, for example: 'Snow is white' is true if and only if snow is white. The challenge is to arrive at the truth conditions for any sentences from fixed meanings assigned to the individual words and fixed rules for how to combine them. In practice, truth-conditional semantics is similar to model-theoretic semantics; conceptually, however, they differ in that truth-conditional semantics seeks to connect language with statements about the real world (in the form of meta-language statements), rather than with abstract models.

Conceptual semantics
Main article: Conceptual semantics

This theory is an effort to explain properties of argument structure. The assumption behind this theory is that syntactic properties of phrases reflect the meanings of the words that head them.[6] With this theory, linguists can better deal with the fact that subtle differences in word meaning correlate with other differences in the syntactic structure that the word appears in.[6] The way this is gone about is by looking at the internal structure of words.[7] These small parts that make up the internal structure of words are termed semantic primitives.[7]

Cognitive semantics
Main article: Cognitive semantics

Cognitive semantics approaches meaning from the perspective of cognitive linguistics. In this framework, language is explained via general human cognitive abilities rather than a domain-specific language module. The techniques native to cognitive semantics are typically used in lexical studies such as those put forth by Leonard Talmy, George Lakoff, Dirk Geeraerts, and Bruce Wayne Hawkins. Some cognitive semantic frameworks, such as that developed by Talmy, take into account syntactic structures as well. Semantics, through modern researchers can be linked to the Wernicke's area of the brain and can be measured using the event-related potential (ERP). ERP is the rapid electrical response recorded with small disc electrodes which are placed on a person's scalp. [8]

Lexical semantics
Main article: Lexical semantics

A linguistic theory that investigates word meaning. This theory understands that the meaning of a word is fully reflected by its context. Here, the meaning of a word is constituted by its contextual relations.[9] Therefore, a distinction between degrees of participation as well as modes of participation are made.[9] In order to accomplish this distinction any part of a sentence that bears a meaning and combines with the meanings of other constituents is labeled as a semantic constituent. Semantic constituents that cannot be broken down into more elementary constituents are labeled minimal semantic constituents.[9]

Cross-cultural semantics

Various fields or disciplines have long been contributing to cross-cultural semantics. Are words like love, truth, and hate universals?[10] Is even the word sense – so central to semantics – a universal, or a concept entrenched in a long-standing but culture-specific tradition?[11] These are the kind of crucial questions that are discussed in cross-cultural semantics. Translation theory, ethnolinguistics, linguistic anthropology and cultural linguistics specialize in the field of comparing, contrasting, and translating words, terms and meanings from one language to another (see Herder, W. von Humboldt, Boas, Sapir, and Whorf). But philosophy, sociology, and anthropology have long established traditions in contrasting the different nuances of the terms and concepts we use. And online encyclopaedias such as the Stanford encyclopedia of philosophy, https://plato.stanford.edu, and more and more Wikipedia itself have greatly facilitated the possibilities of comparing the background and usages of key cultural terms. In recent years the question of whether key terms are translatable or untranslatable has increasingly come to the fore of global discussions, especially since the publication of Barbara Cassin's Dictionary of Untranslatables: A Philosophical Lexicon, in 2014.[12][13]

Computational semantics
Main article: Computational semantics

Computational semantics is focused on the processing of linguistic meaning. In order to do this concrete algorithms and architectures are described. Within this framework the algorithms and architectures are also analyzed in terms of decidability, time/space complexity, data structures that they require and communication protocols.[14]

Philosophy

History of philosophical semantics

Many of the formal approaches to semantics in mathematical logic and computer science originated in philosophy of language. Initially, the most influential semantic theory stemmed from Gottlob Frege and Bertrand Russell. Frege and Russell are seen as the originators of a tradition in analytic philosophy to explain meaning via syntax and mathematical functionality. Ludwig Wittgenstein, a former student of Russell, is also seen as one of the seminal figures in the analytic tradition. All three of these early philosophers of language were concerned with how sentences expressed information in the form of propositions and with the truth values or truth conditions a given sentence has in virtue of the proposition it expresses.[15]

Montague grammar

In the late 1960s, Richard Montague proposed a system for defining semantic entries in the lexicon in terms of the lambda calculus. In these terms, the syntactic parse of the sentence John ate every bagel would consist of a subject (John) and a predicate (ate every bagel); Montague demonstrated that the meaning of the sentence altogether could be decomposed into the meanings of its parts and in relatively few rules of combination. The logical predicate thus obtained would be elaborated further, e.g. using truth theory models, which ultimately relate meanings to a set of Tarskian universals, which may lie outside the logic. The notion of such meaning atoms or primitives is basic to the language of thought hypothesis from the 1970s.

Despite its elegance, Montague grammar was limited by the context-dependent variability in word sense, and led to several attempts at incorporating context, such as:

Metasemantics
Main article: Metasemantics

Metasemantics is the study of the foundations of natural language semantics.[16]

Computer science
Main article: Semantics (computer science)

In computer science, the term semantics refers to the meaning of language constructs, as opposed to their form (syntax). According to Euzenat, semantics "provides the rules for interpreting the syntax which do not provide the meaning directly but constrains the possible interpretations of what is declared."[17]

Programming languages

The semantics of programming languages and other languages is an important issue and area of study in computer science. Like the syntax of a language, its semantics can be defined exactly.

For instance, the following statements use different syntaxes, but cause the same instructions to be executed, namely, perform an arithmetical addition of 'y' to 'x' and store the result in a variable called 'x':

Statement Programming languages
x += y C, C++, C#, Java, JavaScript, Python, Ruby, etc.
$x += $y Perl, PHP
x := x + y Ada, ALGOL, ALGOL 68, BCPL, Dylan, Eiffel, Modula-2, Oberon, OCaml, Object Pascal (Delphi), Pascal, SETL, Simula, Smalltalk, Standard ML, VHDL, etc.
MOV EAX,[y]
ADD [x],EAX		 Assembly languages: Intel 8086
ldr r2, [y]
ldr r3, [x]
add r3, r3, r2
str r3, [x]
 Assembly languages: ARM
LET X = X + Y BASIC: early
x = x + y BASIC: most dialects; Fortran, MATLAB, Lua
Set x = x + y Caché ObjectScript
ADD Y TO X. ABAP
ADD Y TO X GIVING X COBOL
set /a x=%x%+%y% Batch
(incf x y) Common Lisp
/x y x add def PostScript
y @ x +! Forth
x =: x + y J

Various ways have been developed to describe the semantics of programming languages formally, building on mathematical logic:[18]

  • Operational semantics: The meaning of a construct is specified by the computation it induces when it is executed on a machine. In particular, it is of interest how the effect of a computation is produced.
  • Denotational semantics: Meanings are modelled by mathematical objects that represent the effect of executing the constructs. Thus only the effect is of interest, not how it is obtained.
  • Axiomatic semantics: Specific properties of the effect of executing the constructs are expressed as assertions. Thus there may be aspects of the executions that are ignored.

Semantic models

The Semantic Web refers to the extension of the World Wide Web via embedding added semantic metadata, using semantic data modeling techniques such as Resource Description Framework (RDF) and Web Ontology Language (OWL). On the Semantic Web, terms such as semantic network and semantic data model are used to describe particular types of data model characterized by the use of directed graphs in which the vertices denote concepts or entities in the world and their properties, and the arcs denote relationships between them. These can formally be described as description logic concepts and roles, which correspond to OWL classes and properties.[19]

Psychology

Semantic memory

In psychology, semantic memory is memory for meaning – in other words, the aspect of memory that preserves only the gist, the general significance, of remembered experience – while episodic memory is memory for the ephemeral details – the individual features, or the unique particulars of experience. The term 'episodic memory' was introduced by Tulving and Schacter in the context of 'declarative memory' which involved simple association of factual or objective information concerning its object. Word meaning is measured by the company they keep, i.e. the relationships among words themselves in a semantic network. The memories may be transferred intergenerationally or isolated in one generation due to a cultural disruption. Different generations may have different experiences at similar points in their own time-lines. This may then create a vertically heterogeneous semantic net for certain words in an otherwise homogeneous culture.[20] In a network created by people analyzing their understanding of the word (such as Wordnet) the links and decomposition structures of the network are few in number and kind, and include part of, kind of, and similar links. In automated ontologies the links are computed vectors without explicit meaning. Various automated technologies are being developed to compute the meaning of words: latent semantic indexing and support vector machines as well as natural language processing, artificial neural networks and predicate calculus techniques.

Ideasthesia

Ideasthesia is a psychological phenomenon in which activation of concepts evokes sensory experiences. For example, in synesthesia, activation of a concept of a letter (e.g., that of the letter A) evokes sensory-like experiences (e.g., of red color).

Psychosemantics

In the 1960s, psychosemantic studies became popular after Charles E. Osgood's massive cross-cultural studies using his semantic differential (SD) method that used thousands of nouns and adjective bipolar scales. A specific form of the SD, Projective Semantics method[21] uses only most common and neutral nouns that correspond to the 7 groups (factors) of adjective-scales most consistently found in cross-cultural studies (Evaluation, Potency, Activity as found by Osgood, and Reality, Organization, Complexity, Limitation as found in other studies). In this method, seven groups of bipolar adjective scales corresponded to seven types of nouns so the method was thought to have the object-scale symmetry (OSS) between the scales and nouns for evaluation using these scales. For example, the nouns corresponding to the listed 7 factors would be: Beauty, Power, Motion, Life, Work, Chaos, Law. Beauty was expected to be assessed unequivocally as “very good” on adjectives of Evaluation-related scales, Life as “very real” on Reality-related scales, etc. However, deviations in this symmetric and very basic matrix might show underlying biases of two types: scales-related bias and objects-related bias. This OSS design meant to increase the sensitivity of the SD method to any semantic biases in responses of people within the same culture and educational background.[22][23]

Prototype theory

Another set of concepts related to fuzziness in semantics is based on prototypes. The work of Eleanor Rosch in the 1970s led to a view that natural categories are not characterizable in terms of necessary and sufficient conditions, but are graded (fuzzy at their boundaries) and inconsistent as to the status of their constituent members. One may compare it with Jung's archetype, though the concept of archetype sticks to static concept. Some post-structuralists are against the fixed or static meaning of the words. Derrida, following Nietzsche, talked about slippages in fixed meanings.

Systems of categories are not objectively out there in the world but are rooted in people's experience. These categories evolve as learned concepts of the world – meaning is not an objective truth, but a subjective construct, learned from experience, and language arises out of the "grounding of our conceptual systems in shared embodiment and bodily experience".[24] A corollary of this is that the conceptual categories (i.e. the lexicon) will not be identical for different cultures, or indeed, for every individual in the same culture. This leads to another debate (see the Sapir–Whorf hypothesis or Eskimo words for snow).

gollark: Yes, just make your data self-replicating, maximum backupness.
gollark: If you want really long-term backups you should probably put them on the moon or something, as it does not have wind and atmosphere and geology and stuff to be annoying.
gollark: There are "M-disc" things which can *allegedly* store data for 1000 years, although this has not been field-tested.
gollark: * blu-ray discs
gollark: Depends on temperature and whatnot.

See also

Linguistics and semiotics

Logic, mathematics and philosophy

Computer science

Notes
  1. The word is derived from the Ancient Greek word σημαντικός (semantikos), "related to meaning, significant", from σημαίνω semaino, "to signify, to indicate", which is from σῆμα sema, "sign, mark, token". The plural is used in analogy with words similar to physics, which was in the neuter plural in Ancient Greek and meant "things relating to nature".

References
  1. σημαντικός. Liddell, Henry George; Scott, Robert; A Greek–English Lexicon at the Perseus Project
  2. Chambers Biographical Dictionary, 5e.1990, p.202
  3. Neurath, Otto; Carnap, Rudolf; Morris, Charles F. W. (Editors) (1955). "International Encyclopedia of Unified Science". Science. Chicago, IL: University of Chicago Press. 86 (2235): 400–1. doi:10.1126/science.86.2235.400. PMID 17832642.CS1 maint: extra text: authors list (link)
  4. Cruse, Alan; Meaning and Language: An introduction to Semantics and Pragmatics, Chapter 1, Oxford Textbooks in Linguistics, 2004; Kearns, Kate; Semantics, Palgrave MacMillan 2000; Cruse, D. A.; Lexical Semantics, Cambridge, Massachusetts, 1986.
  5. Kitcher, Philip; Salmon, Wesley C. (1989). Scientific Explanation. Minneapolis, MN: University of Minnesota Press. p. 35.
  6. Levin, Beth; Pinker, Steven; Lexical & Conceptual Semantics, Blackwell, Cambridge, Massachusetts, 1991
  7. Jackendoff, Ray; Semantic Structures, MIT Press, Cambridge, Massachusetts, 1990
  8. Goldstein, E. Bruce, 1941- (2015). Cognitive psychology : connecting mind, research and everyday experience (4th ed.). New york: Cengage learning. ISBN 978-1-285-76388-0. OCLC 885178247.CS1 maint: multiple names: authors list (link)
  9. Cruse, D.; Lexical Semantics, Cambridge University Press, Cambridge, Massachusetts, 1986
  10. Underhill, James, W. Ethnolinguistics and Cultural Concepts: truth, love, hate & war, Cambridge University Press, 2012.
  11. Wierzbicka, Anna. Experience, Evidence, and Sense: The hidden cultural legacy of English, Oxford University Press, 2010.
  12. Cassin, Barbara. Dictionary of Untranslatables: A Philosophical Lexicon, Princeton University Press, 2014.
  13. Sadow, Lauren, ed. In Conversation with Anna Wierzbicka, https://www.youtube.com/watch?v=jCw3dfmgP-0
  14. Nerbonne, J.; The Handbook of Contemporary Semantic Theory (ed. Lappin, S.), Blackwell Publishing, Cambridge, Massachusetts, 1996
  15. "Theories of Meaning". Stanford Encyclopedia of Philosophy.
  16. Alexis Burgess, Brett Sherman (eds.), Metasemantics: New Essays on the Foundations of Meaning, Oxford University Press, 2014, p. 29 n. 13.
  17. Euzenat, Jerome. Ontology Matching. Springer-Verlag Berlin Heidelberg, 2007, p. 36
  18. Nielson, Hanne Riis; Nielson, Flemming (1995). Semantics with Applications, A Formal Introduction (1st ed.). Chicester, England: John Wiley & Sons. ISBN 0-471-92980-8.
  19. Sikos, Leslie F. (2017). Description Logics in Multimedia Reasoning. Cham: Springer International Publishing. doi:10.1007/978-3-319-54066-5. ISBN 978-3-319-54066-5.
  20. Giannini, A. J.; Semiotic and Semantic Implications of "Authenticity", Psychological Reports, 106(2):611–612, 2010
  21. Trofimova, I (2014). "Observer bias: how temperament matters in semantic perception of lexical material". PLOS ONE. 9 (1): e85677. doi:10.1371/journal.pone.0085677. PMC 3903487. PMID 24475048.
  22. Trofimova, I (1999). "How people of different age sex and temperament estimate the world". Psychological Reports. 85/2: 533–552. doi:10.2466/pr0.85.6.533-552.
  23. Trofimova, I (2012). "Understanding misunderstanding: a study of sex differences in meaning attribution". Psychological Research. 77/6 (6): 748–760. doi:10.1007/s00426-012-0462-8. PMID 23179581.
  24. Lakoff, George; Johnson, Mark (1999). Philosophy in the Flesh: The embodied mind and its challenge to Western thought. Chapter 1. New York, NY: Basic Books. OCLC 93961754.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.