Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic 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.
Formal semantics studies the denotations of natural language expressions. High-level concerns include compositionality, reference, and the nature of meaning. Key topic areas include scope, modality, binding, tense, and aspect. Semantics is distinct from pragmatics, which encompasses aspects of meaning which arise from interaction and communicative intent.
Formal semantics is an interdisciplinary field, often viewed as a subfield of both linguistics and philosophy, while also incorporating work from computer science, mathematical logic, and cognitive psychology. Within philosophy, formal semanticists typically adopt a Platonistic ontology and an externalist view of meaning. Within linguistics, it is more common to view formal semantics as part of the study of linguistic cognition. As a result, philosophers put more of an emphasis on conceptual issues while linguists are more likely to focus on the syntax-semantics interface and crosslinguistic variation.
The fundamental question of formal semantics is what you know when you know how to interpret expressions of a language. A common assumption is that knowing the meaning of a sentence requires knowing its truth conditions, or in other words knowing what the world would have to be like for the sentence to be true. For instance, to know the meaning of the English sentence "Nancy smokes" one has to know that it is true when the person Nancy performs the action of smoking.
However, many current approaches to formal semantics posit that there is more to meaning than truth-conditions. In the formal semantic framework of inquisitive semantics, knowing the meaning of a sentence also requires knowing what issues (i.e. questions) it raises. For instance "Nancy smokes, but does she drink?" conveys the same truth-conditional information as the previous example but also raises an issue of whether Nancy drinks. Other approaches generalize the concept of truth conditionality or treat it as epiphenomenal. For instance in dynamic semantics, knowing the meaning of a sentence amounts to knowing how it updates a context. Pietroski treats meanings as instructions to build concepts.
The Principle of Compositionality is the fundamental assumption in formal semantics. This principle states that the denotation of a complex expression is determined by the denotations of its parts along with their mode of composition. For instance, the denotation of the English sentence "Nancy smokes" is determined by the meaning of "Nancy", the denotation of "smokes", and whatever semantic operations combine the meanings of subjects with the meanings of predicates. In a simplified semantic analysis, this idea would be formalized by positing that "Nancy" denotes Nancy herself, while "smokes" denotes a function which takes some individual x as an argument and returns the truth value "true" if x indeed smokes. Assuming that the words "Nancy" and "smokes" are semantically composed via function application, this analysis would predict that the sentence as a whole is true if Nancy indeed smokes.
Scope can be thought of as the semantic order of operations. For instance, in the sentence "Paulina doesn't drink beer but she does drink wine," the proposition that Paulina drinks beer occurs within the scope of negation, but the proposition that Paulina drinks wine does not. One of the major concerns of research in formal semantics is the relationship between operators' syntactic positions and their semantic scope. This relationship is not transparent, since the scope of an operator need not directly correspond to its surface position and a single surface form can be semantically ambiguous between different scope construals. Some theories of scope posit a level of syntactic structure called logical form, in which an item's syntactic position corresponds to its semantic scope. Others theories compute scope relations in the semantics itself, using formal tools such as type shifters, monads, and continuations.
Binding is the phenomenon in which anaphoric elements such as pronouns are grammatically associated with their antecedents. For instance in the English sentence "Mary saw herself", the anaphor "herself" is bound by its antecedent "Mary". Binding can be licensed or blocked in certain contexts or syntactic configurations, e.g. the pronoun "her" cannot be bound by "Mary" in the English sentence "Mary saw her". While all languages have binding, restrictions on it vary even among closely related languages. Binding was a major for the government and binding theory paradigm.
Modality is the phenomenon whereby language is used to discuss potentially non-actual scenarios. For instance, while a non-modal sentence such as "Nancy smoked" makes a claim about the actual world, modalized sentences such as "Nancy might have smoked" or "If Nancy smoked, I'll be sad" make claims about alternative scenarios. The most intensely studied expressions include modal auxiliaries such as "could", "should", or "must"; modal adverbs such as "possibly" or "necessarily"; and modal adjectives such as "conceivable" and "probable". However, modal components have been identified in the meanings of countless natural language expressions including counterfactuals, propositional attitudes, evidentials, habituals and generics. The standard treatment of linguistic modality was proposed by Angelika Kratzer in the 1970s, building on an earlier tradition of work in modal logic.
Formal semantics emerged as a major area of research in the early 1970s, with the pioneering work of the philosopher and logician Richard Montague. Montague proposed a formal system now known as Montague grammar which consisted of a novel syntactic formalism for English, a logical system called Intensional Logic, and a set of homomorphic translation rules linking the two. In retrospect, Montague Grammar has been compared to a Rube Goldberg machine, but it was regarded as earth-shattering when first proposed, and many of its fundamental insights survive in the various semantic models which have superseded it.
Montague Grammar was a major advance because it showed that natural languages could be treated as interpreted formal languages. Before Montague, many linguists had doubted that this was possible, and logicians of that era tended to view logic as a replacement for natural language rather than a tool for analyzing it. Montague's work was published during the Linguistics Wars, and many linguists were initially puzzled by it. While linguists wanted a restrictive theory which could only model phenomena that occur in human languages, Montague sought a flexible framework which characterized the concept of meaning at its most general. At one conference, Montague told Barbara Partee that she was "the only linguist who it is not the case that I can't talk to".
Formal semantics grew into a major subfield of linguistics in the late 1970s and early 1980s, due to the seminal work of Barbara Partee. Partee developed a linguistically plausible system which incorporated the key insights of both Montague Grammar and Transformational grammar. Early research in linguistic formal semantics used Partee's system to achieve a wealth of empirical and conceptual results. Later work by Irene Heim, Angelika Kratzer, Tanya Reinhart, Robert May and others built on Partee's work to further reconcile it with the generative approach to syntax. The resulting framework is known as the Heim and Kratzer system, after the authors of the textbook Semantics in Generative Grammar which first codified and popularized it. The Heim and Kratzer system differs from earlier approaches in that it incorporates a level of syntactic representation called logical form which undergoes semantic interpretation. Thus, this system often includes syntactic representations and operations which were introduced by translation rules in Montague's system. However, work by others such as Gerald Gazdar proposed models of the syntax-semantics interface which stayed closer to Montague's, providing a system of interpretation in which denotations could be computed on the basis of surface structures. These approaches live on in frameworks such as categorial grammar and combinatory categorial grammar.
- Alternative semantics
- Barbara Partee
- Computational semantics
- Discourse representation theory
- Dynamic semantics
- Inquisitive semantics
- Philosophy of language
- Richard Montague
- Montague grammar
- Lewis, David (December 1970). "General Semantics". Synthese. 22 (1/2): 18–67. doi:10.1007/BF00413598.
- Seth Yalcin (2014). "Semantics and metasemantics in the context of generative grammar". In Alexis Burgess; Brett Sherman (eds.). Metasemantics: new essays on the foundations of meaning. Oxford University Press. ISBN 9780199669592.
- Borg, Emma (2004). Minimal semantics. Oxford University Press. ISBN 978-0199206926.
- Irene Heim; Angelika Kratzer (1998). Semantics in generative grammar. Wiley-Blackwell. ISBN 978-0-631-19713-3.
- Stefano Predelli (2013). Meaning without truth. Oxford Scholarship. ISBN 9780199695638.
- Ciardelli, Ivano; Groenendijk, Jeroen; Roelofsen, Floris (2019). Inquisitive Semantics (PDF). Oxford University Press.
- Veltman, Frank (1996). "Defaults in Update Semantics" (PDF). Journal of Philosophical Logic. 25 (3).
- Paul Pietroski (2018). Conjoining meanings. Oxford University Press. ISBN 9780198812722.
- Irene Heim; Angelika Kratzer (1998). Semantics in generative grammar. Wiley-Blackwell. pp. 2–3, 14–22. ISBN 978-0-631-19713-3.
- Kroeger, Paul (2019). Analyzing Meaning. Language Science Press. pp. 217–219. ISBN 978-3-96110-136-8.
- Coppock, Elizabeth; Champollion, Lucas (2019). Invitation to Formal Semantics (PDF). Manuscript. p. 42.
- Heim, Irene; Kratzer, Angelika (1998). Semantics in Generative Grammar. Oxford: Wiley Blackwell. pp. 194–198.
- Ruys, Eddy; Winter, Yoad (2011). "Quantifier scope in formal linguistics." (PDF). In Gabbay, Dov; Guenthner, Franz (eds.). Handbook of Philosophical Logic (2 ed.). Dordrecht: Springer. pp. 159–225. doi:10.1007/978-94-007-0479-4_3.
- Barker, Chris (2015). "Scope" (PDF). In Lappin, Shalom; Fox, Chris (eds.). Handbook of Contemporary Semantics (2 ed.). Wiley Blackwell. Section 4.3. doi:10.1002/9781118882139.ch2.
- Szabolcsi, Anna (2010). Quantification. Cambridge University Press. p. 92.
- Portner, Paul (2009). Modality. Oxford: Oxford University Press. ISBN 978-0-19-929242-4.
- Kaufmann, S.; Condoravdi, C. & Harizanov, V. (2006) Formal approaches to modality. Formal approaches to modality. In: Frawley, W. (Ed.). The Expression of Modality. Berlin, New York: Mouton de Gruyter
- Starr, Will (2019). "Supplement to "Counterfactuals": Indicative and Subjunctive Conditionals". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy.
- Barwise, Jon; Cooper, Robin (1981). "Generalized quantifiers and natural language". In Kulas, J; Fetzer, J.H.; Rankin, T.L. (eds.). Philosophy, Language, and Artificial Intelligence. Springer. doi:10.1007/978-94-009-2727-8_10.
- For a very readable and succinct overview of how formal semantics found its way into linguistics, see The formal approach to meaning: Formal semantics and its recent developments by Barbara Abbott. In: Journal of Foreign Languages (Shanghai), 119:1 (January 1999), 2–20.
- Partee, Barbara (2011). "Formal semantics: Origins, issues, early impact". The Baltic International Yearbook of Cognition, Logic and Communication. 6.
- Crnič, Luka; Pesetsky, David; Sauerland, Uli (2014). "Introduction: Biographical Notes" (PDF). In Crnič, Luka; Sauerland, Uli (eds.). The art and craft of semantics: A Festschrift for Irene Heim.
- Michael Moortgat (1988). Categorial investigations: logical and linguistic aspects of the Lambek calculus. Walter de Gruyter. ISBN 978-90-6765-387-9. Retrieved 5 April 2011.
- Hamm, Fritz; Kamp, Hans; Lambalgen, Michiel van (2006-09-01). "There is no opposition between Formal and Cognitive Semantics". Theoretical Linguistics. 32 (1): 1–40. CiteSeerX 10.1.1.80.6574. doi:10.1515/tl.2006.001. ISSN 1613-4060.
- Max Cresswell (2006). "Formal semantics". In Michael Devitt, Richard Hanley (ed.). The Blackwell guide to the philosophy of language. Wiley-Blackwell. ISBN 978-0-631-23142-4. A very accessible overview of the main ideas in the field.
- John I. Saeed (2008). Semantics. Introducing linguistics (3rd ed.). Wiley-Blackwell. ISBN 978-1-4051-5639-4. Chapter 10, Formal semantics, contains the best chapter-level coverage of the main technical directions
- Johan van Benthem; Alice Ter Meulen (2010). Handbook of Logic and Language (2nd ed.). Elsevier. ISBN 978-0-444-53726-3. The most comprehensive reference in the area.
- Emmon W. Bach (1989). Informal lectures on formal semantics. SUNY Press. ISBN 978-0-88706-772-3. One of the first textbooks. Accessible to undergraduates.
- Ronnie Cann (1993). Formal semantics: an introduction. Cambridge University Press. ISBN 978-0-521-37610-5.
- Irene Heim; Angelika Kratzer (1998). Semantics in generative grammar. Wiley-Blackwell. ISBN 978-0-631-19713-3.
- Gennaro Chierchia; Sally McConnell-Ginet (2000). Meaning and grammar: an introduction to semantics (2nd ed.). MIT Press. ISBN 978-0-262-53164-1.
- Sean A. Fulop (2004). On the Logic and Learning of Language. Trafford Publishing. ISBN 978-1-4120-2381-8.[self-published source]
- Glyn V. Morrill (1994). Type logical grammar: categorial logic of signs. Springer. ISBN 978-0-7923-3095-0.
- Reinhard Muskens. Type-logical Semantics[permanent dead link]. Routledge Encyclopedia of Philosophy Online.
- Bob Carpenter (1998). Type-logical semantics. MIT Press. ISBN 978-0-262-53149-8.
- Johan van Benthem (1995). Language in action: categories, lambdas, and dynamic logic. MIT Press. ISBN 978-0-262-72024-3.
- Barbara H. Partee. Reflections of a formal semanticist as of Feb 2005. Ample historical information. (An extended version of the introductory essay in Barbara H. Partee: Compositionality in Formal Semantics: Selected Papers of Barbara Partee. Blackwell Publishers, Oxford, 2004.)