Finding:

1. close

   Semantics

   Semantics is the study of meaning, usually in language. ... Traditionally, semantics has included the study of sense and denotative reference, truth conditions, argument structure, thematic roles, discourse analysis, and the linkage of all of these to syntax.
2. close

   General semantics

   All of Postman's books are informed by his study of General Semantics (Postman was editor of ETC. from 1976 to 1986) but this book is his most explicit and detailed commentary on the use and misuse of language as a tool for thought. ... Notables among its alumni include Gene Siskel, Senator Dianne Feinstein, and Congressman Jerry Lewis.)
3. close

   Operational semantics

   Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics. ... Such a definition allows formal analysis of the behavior of programs, permitting the study of relations between programs.
4. close

   Formal semantics of programming languages

   In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. ... Some variations of formal semantics include the following:
5. close

   Lexical semantics

   Lexical semantics is a subfield of linguistic semantics. It is the study of how and what the words of a language denote (Pustejovsky, 1995).
6. close

   Denotational semantics

   In computer science, denotational semantics is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.
7. close

   Kripke semantics

   Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke, beginning when he was a teenager. It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.
8. close

   Cognitive semantics

   Cognitive semantics is part of the cognitive linguistics movement. ... As we have seen, the frame semantic account is by no means limited to the study of lexemes -- with it, researchers may examine expressions at more complex levels, including the level of the sentence (or, more precisely, the utterance).
9. close

   Generative semantics

   Generative semantics is the name of a research program within linguistics, initiated by the work of various early students of Noam Chomsky: John R. Ross, Paul Postal and later James McCawley. ... However, this was in part because the interests of key generative semanticists such as George Lakoff had gradually shifted away from the narrow study of syntax and semantics.
10. close

    Lexicology

    With the rise of new ideas after the ground break of Saussure's work, prestructuralist diachronic semantics was considerably criticized for the atomic study of words, the diachronic approach and the mingle of nonlinguistics spheres of investigation. ... Some noted lexicographers include:

Explore the following pages on Powerset:

• Semantics,
• General semantics,
• Operational semantics,
• Formal semantics of programming languages,
• Lexical semantics,
• Denotational semantics,
• Kripke semantics,
• Cognitive semantics,
• Generative semantics,
• Lexicology

Try this on Bing Research

Bing