The following outline is provided as an overview and topical guide to linguistics:
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.
Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s.
In semantics, mathematical logic and related disciplines, the principle of compositionality is the principle that the meaning of a complex expression is determined by the meanings of its constituent expressions and the rules used to combine them. The principle is also called Frege's principle, because Gottlob Frege is widely credited for the first modern formulation of it. However, the principle has never been explicitly stated by Frege, and arguably it was already assumed by George Boole decades before Frege's work.
Barbara Hall Partee is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass). She is known as a pioneer in the field of formal semantics.
Angelika Kratzer is a professor emerita of linguistics in the Department of Linguistics at the University of Massachusetts Amherst.
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought.
Natural Language Semantics is a quarterly peer-reviewed academic journal covering formal semantics and its interfaces in grammar. Its current editor-in-chief is Amy Rose Deal and it is published by Springer Science+Business Media. It is one of top four journals in formal semantics, alongside Linguistics and Philosophy, the Journal of Semantics, and Semantics and Pragmatics. Work published in the journal has been described as displaying "the same standards of lucidity and originality that mark its [founders] own thinking and writing".
The Journal of Semantics is a leading international peer-reviewed journal of semantics of natural languages published by Oxford University Press. Its current editor is Rick Nouwen of Utrecht University. The journal is available online with subscription via Oxford Journals.
In situation theory, situation semantics attempts to provide a solid theoretical foundation for reasoning about common-sense and real world situations, typically in the context of theoretical linguistics, theoretical philosophy, or applied natural language processing,
In semantics, a donkey sentence is a sentence containing a pronoun which is semantically bound but syntactically free. They are a classic puzzle in formal semantics and philosophy of language because they are fully grammatical and yet defy straightforward attempts to generate their formal language equivalents. In order to explain how speakers are able to understand them, semanticists have proposed a variety of formalisms including systems of dynamic semantics such as Discourse representation theory. Their name comes from the example sentence "Every farmer who owns a donkey beats it", in which "it" acts as a donkey pronoun because it is semantically but not syntactically bound by the indefinite noun phrase "a donkey". The phenomenon is known as donkey anaphora.
Katarzyna Malgorzata "Kasia" Jaszczolt is a Polish and British linguist and philosopher. She is currently Professor of Linguistics and Philosophy of Language at the University of Cambridge, and Professorial Fellow at Newnham College, Cambridge.
Manfred Krifka is a German linguist. He was the director of the Leibniz Centre for General Linguistics in Berlin, and professor of general linguistics at the Humboldt University of Berlin. He was editor of the academic journal Linguistics and Philosophy from 1999 to 2023 and is editor of Theoretical Linguistics
Formal semantics is the study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.
Barbara Kenyon Abbott is an American linguist. She earned her PhD in linguistics in 1976 at the University of California at Berkeley under the supervision of George Lakoff. From 1976 to 2006, she was a professor in the department of linguistics and Germanic, Slavic, Asian, and African languages at Michigan State University, with a joint appointment in philosophy. She is now a Professor Emerita.
Semantics and Pragmatics is a peer-reviewed diamond open access academic journal covering research pertaining to meaning in natural language. A highly prestigious journal, it is one of the most important venues in formal semantics, alongside Natural Language Semantics, Linguistics and Philosophy, and the Journal of Semantics.
Craige Roberts is an American linguist, known for her work on pragmatics and formal semantics.
In semantics, pragmatics, and philosophy of language, a question under discussion (QUD) is a question which the interlocutors in a discourse are attempting to answer. In many formal and computational theories of discourse, the QUD (or an ordered set of QUD's) is among the elements of a tuple called the conversational scoreboard which represents the current state of the conversation. Craige Roberts introduced the concept of a QUD in 1996 in order to formalize conversational relevance and explain its consequences for information structure and focus marking. It has subsequently become a staple of work in semantics and pragmatics, playing a role in analyses of disparate phenomena including donkey anaphora and presupposition projection.
Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.
