PLIN0009 Semantic Theory Spring 2020 Lecture Notes 1 1 What this module is about This module is an introduction to truth-conditional semantics with a focus on two impor- tant topics in this area: compositionality and quantiication. The framework adopted here is often called formal semantics and/or model-theoretical semantics, and it is characterized by its essential use of tools and concepts developed in mathematics and logic in order to study semantic properties of natural languages. Although no textbook is required, I list some introductory textbooks below for your refer- ence. • L. T. F. Gamut (1991) Logic, Language, and Meaning. The University of Chicago Press. • Irene Heim & Angelika Kratzer (1998) Semantics in Generative Grammar. Blackwell. • Thomas Ede Zimmermann & Wolfgang Sternefeld (2013) Introduction to Semantics: An Essential Guide to the Composition of Meaning. De Gruyter Mouton. • Pauline Jacobson (2014) Compositional Semantics: An Introduction to the Syntax/Semantics. Oxford University Press. • Daniel Altshuler, Terence Parsons & Roger Schwarzschild (2019) A Course in Semantics. MIT Press. There are also several overview articles of the ield by Barbara H. Partee, which I think are enjoyable. • Barbara H. Partee (2011) Formal semantics: origins, issues, early impact. In Barbara H. Partee, Michael Glanzberg & Jurģis Šķilters (eds.), Formal Semantics and Pragmatics: Discourse, Context, and Models. The Baltic Yearbook of Cognition, Logic, and Communica- tion, vol. 6. Manhattan, KS: New Prairie Press. • Barbara H. Partee (2014) A brief history of the syntax-semantics interface in Western Formal Linguistics. Semantics-Syntax Interface, 1(1): 1–21. • Barbara H. Partee (2016) Formal semantics. In Maria Aloni & Paul Dekker (eds.), The Cambridge Handbook of Formal Semantics, Chapter 1, pp. 3–32. Cambridge University Press. There is also a video interview with Partee, which I highly recommend: https://vimeo. com/20664367 2 Truth-conditional semantics Let us irst review the idea of truth-conditions. We will call the aspect of meaning perti- nent to truth-conditions truth-conditional meaning. While we focus on truth-conditional meaning in this module, it is not meant to deny the existence of other types of meaning that natural language is capable of expressing, or to suggest that such meanings are not amenable to the approach we adopt here. In particu- 1 lar, non-truth-conditional meanings like scalar implicatures and presuppositions are quite extensively studied in the framework of formal semantics. One of the reasons why we focus on truth-conditional meaning is because our intuitions about them, which constitute our primary data, are relatively clear. The clarity of data is very important for us, as we want to build a theory of natural language semantics and test its predictions against empirical data. If the data are unclear, we can’t learn much from them. A particularly important fact about truth-conditions is that you, as a native speaker of En- glish (or any other language, for that matter), ‘know’ the truth-conditions of any grammat- ical declarative sentence in English (or whatever language you are a native speaker of). Let us state this fact as follows: A native speaker has truth-conditional intuitions about any grammatical declar- ative sentence, i.e. he or she ‘knows’ in what situations it is true and in what situations it is false. I put know in scare-quotes here because this knowledge, just like most other linguistic knowledge we talk about in linguistics, is often only implicitly known and native speakers are not necessarily consciously aware of it. In order to see that you have truth-conditional intuitions, let us look at an example. (1) There is a circle in a square. If you are given a situation depicted below, you know that the sentence is true. On the other hand, in the following situation, the sentence is false. Of course these are not the only situations that make this sentence true or false, and in fact there are ininitely many situations where the sentence is true and ininitely many situa- tions where it is false. However, it is not dificult to see that the sentence is true whenever there is a circle and there is a square and the circle is inside the square, and and is false 2 whenever this is not the case. We take this to be the truth-conditions of (1). Because writing such lengthy statements all the time would be too cumbersome, we usu- ally abbreviate descriptions of truth-conditions using ‘iff’, which stands for for ‘if and only if’.¹ For example, we write the truth-conditions of (1) as follows: (2) “There is a circle in a square” is true iff there is a circle in a square. One important caveat: Admittedly, sometimes your truth-conditional intuitions might not be very clear. For example, when is “There are many tall buildings in this city” true and when is it false? In order to determine this, you need to know what this city refers to, and what counts as a ‘tall building’ and what counts as ‘many’. But, if you are given the sentence and a particular situation, you (often) can tell whether the sentence is true or false in that situation. In this module we primarily look at sentences for which your truth-conditional intuitions are relatively clearcut.² 3 Object language vs. metalanguage We have just looked at one example sentence and its truth-conditions. Generally, the truth- conditions of any declarative sentence S in English can be written in the following schema: (3) “S” is true iff S. This might look trivial but it is not. In particular, it is important to distinguish the object language—the language we are analysing—and metalanguage—the language in which we state our analysis. The sentence in “ ” in the above statement is part of the object lan- guage, while the rest belongs to the metalanguage. In our examples so far, we are using English both as our object language and as our metalanguage, so the truth-conditions de- ceivingly look trivial, but consider the following Czech sentence instead: (4) Vlk zmrzl, zhltl hrst zrn. Suppose your job as a semanticist is to igure out the truth-conditions of this sentence. You ask your native speaker informants, and ind out that the speakers judge it to be true whenever there is a wolf that froze and swallowed a handful of grains. Then, your analysis of the sentence can be stated as: ¹This notation comes from mathematical logic. ‘S if T ’ means whenever T is true S is also true. ‘S only if T ’ means whenever S is true T is also true. Taken together S if and only if T ’ means S and T are always both true or both false, or in other words, they are equivalent. ²Expressions such as tall and many give rise to dificult but important issues for truth-conditional semantics: Sentences containing do not seem to have clear truth-conditions. Such expressions are said to be vague. This is a very good topic for a Long Essay. Here are some suggested readings on this. The book by Van Deemter is a accessible and well-written non-technical introduction and especially recommended. • Kees van Deemter (2014) Not Exactly: In Praise of Vagueness. Oxford University Press. • Hans Kamp & Galit W. Sasoon (2016) Vagueness. In Maria Aloni & Paul Dekker (eds.), The Cambridge Handbook of Formal Semantics, Chapter 14, pp. 389–441. Cambridge University Press. • Hans Kamp & Barbara H. Partee (1995) Prototype theory and compositionality. Cognition, 57: 129–191. 3 (5) “Vlk zmrzl, zhltl hrst zrn” is true iff a wolf froze and swallowed a handful of grains. This is not at all trivial, because it can be a correct or incorrect description of the truth- condition of the sentence. The distinction between object language and meta-language is very important to keep in mind. 4 The Compositionality Principle We take truth-conditional intuitions to be part of linguistic knowledge, on a par with other linguistic intuitions like grammaticality judgments (which have to do with well-formedness of linguistic expressions). One of the primary goals of truth-conditional semantics is to ig- ure out how the truth-conditional intuitions arise. It is instructive compare semantics and syntax here. Syntax tries to construct a theory that explains why and how native speakers acquire the grammaticality judgments that they have. Likewise, semantics tries to construct a theory that explains why and how native speakers acquire the truth-conditional judgements that they have. What makes truth-conditional semantics not so trivial is the fact that native speakers have truth-conditional intuitions about all grammatical declarative sentences. This is impor- tant because it entails that it’s impossible to simply memorize all pairs of declarative sen- tences and their truth-conditions, because there would be ininitely many pairs to mem- orize. It is easy to demonstrate that there are ininitely many sentences in a given natural language. (6) a. It’s raining. b. he thinks it’s raining. c. she knows that he thinks it’s raining. d. He thinks that she knows that he thinks it’s raining. e. She knows that he thinks that she knows that he thinks it’s raining. We can repeat this process indeinitely to create more sentences. At some point it will be- come very hard to understand such sentences, but nonetheless they will stay grammatical, and also should have some truth-conditions. Since one cannot remember the truth-conditions of ininitely many sentences, there must be a way to compute them. What does it mean to compute truth-conditions? Let’s take an analogy with syntax again. The syntactic component of grammar combines expressions to produce more complex expressions, such as noun phrases, verb phrases, sentences, etc.