Semantics

Formal semantics seeks to identify domain-specific operations in minds which speakers perform when they compute a sentence's meaning on the basis of its syntactic structure. Theories of formal semantics are typically placed on top of theories of syntax, such as generative syntax or combinatory categorial grammar, and provided a model theory based on mathematical tools, such as typed lambda calculi. The field's central ideas are rooted in early twentieth century philosophical logic, as well as later ideas about linguistic syntax. It emerged as its own subfield in the 1970s after the pioneering work of Richard Montague and Barbara Partee and continues to be an active area of research.

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

Cognitive semantics approaches meaning from the perspective of cognitive linguistics. In this framework, language is explained by general human cognitive abilities rather than a domain-specific language module. The techniques originating from 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.[14]

Lexical semantics is 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 constructed from its contextual relations.[15] Therefore, a distinction between degrees of participation as well as modes of participation are made.[15] In order to accomplish this distinction, any part of a sentence that bears a meaning and combines with the meanings of other parts is labeled as a semantic constituent. Semantic constituents that cannot be broken down into more elementary parts are labeled minimal semantic constituents.[15]

Various fields or disciplines have long been contributing to cross-cultural semantics. Are words like love, truth, and hate universal?[16] Is even the word sense – one that is so central to semantics – universal, or a concept entrenched in a long-standing but culture-specific tradition?[17] These are the kind of crucial questions that are discussed in cross-cultural semantics. Translation theory, ethnolinguistics, linguistic anthropology and cultural linguistics specialise in the field of comparing, contrasting, and translating words, terms and meanings between languages.(see J. G. Herder, Wilhelm von Humboldt, Franz Boas, Edward Sapir, and B. L. Whorf). Philosophy, sociology, and anthropology have long-established traditions in contrasting the different nuances of the terms and concepts we use. Online encyclopaedias such as the Stanford Encyclopedia of Philosophyand Wikipedia itself have greatly expanded 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 been increasingly important in global discussions, especially since the publication of Barbara Cassin's Dictionary of Untranslatables: A Philosophical Lexicon, in 2014.[18][19]

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 analysed in terms of decidability, time/space complexity, data structures that they require and communication protocols.[20]

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 lead the computer to perform the same operations—add the value of a variable 'y' to the value of a variable 'x' and store the result in x:

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

• 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.

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.[25]

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.[26] 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 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).

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[27] 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.[28][29]

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".[30] 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).