From Logic To MG
From Logic To MG
From Logic To MG
Seth Cable
University of Massachusetts Amherst
i
Forward
This document contains the class notes, handouts, and problem sets that were developed for the
Fall 2013 Proseminar in Semantics at the University of Massachusetts Amherst.
At the suggestion of course mentor Barbara Partee, as well as several students in the
class, I have collected these here and posted them publicly for anyone who may have an interest
in either Montague Grammar (MG) generally or the specific papers “Universal Grammar” (UG)
and “The Proper Treatment of Quantification in Ordinary English” (PTQ).
As to the content, structure, and goals of the course, I refer the reader to the course
syllabus that follows this forward. I will state briefly, however, that the primary original
contribution of these course notes to the already substantial didactic material on MG is its
presentation of the algebraic framework of UG, its discussion of the relationship between the UG
framework and the system presented in PTQ, and the introductory sections explaining and
motivating the development of model-theoretic semantics.
Given that these are course notes and handouts, much of the material that follows
borrows heavily from published texts and articles. A footnote at the beginning of each handout
lists the readings that those notes are based upon (and often borrow from). As a service to the
reader, however, I also list them comprehensively below:
ii
Unit 4: Montague’s Theory of Translation
Dowty, David R., Robert E. Wall, and Stanley Peters (1981) Introduction to Montague
Semantics. Dordrecht: Kluwer.
Halvorsen, Per-Kristian and William Ladusaw. 1979. “Montague’s ‘Universal Grammar’: An
Introduction for the Linguist.” Linguistics and Philosophy 3: 185-223.
Montague, Richard. (1974) “Universal Grammar.” In Thomason, Richmond (ed) Formal
Philosophy: Selected Papers of Richard Montague. New Haven: Yale University Press.
I wish to thank here the students and visitors who participated in the seminar and whose
comments and questions greatly improved the content of these notes: Elizabeth Bogal-Allbritten,
Ed Ferrier, Cameron Gibbs, Hannah Greene, Hsin-Lun Huang, Dennis Kavlakoglu, Stefan
Keine, Chisato Kitagawa, Jon Ander Mendia, Yangsook Park, Jeremy Pasquereau, Ethan Poole,
and Megan Somerday.
Special thanks are owed first and foremost to our course mentor, Barbara Partee. Besides
simply being an invaluable resource for us all, clarifying key points and drawing connections I
would never have dreamed of, she was a constant font of encouragement both for the students
and for myself. Without Barbara, this course never would have been possible.
Finally, if the reader notices any errors – either trivial or substantial – please do not
hesitate to contact me.
iii
Contents:
Given that the following material was originally separate documents, pagination begins afresh at
the beginning of each section. Consequently, specific materials cannot be located by page
number. However, I do provide here an overall outline of the material that follows.
0. Course Syllabus
2.8 Key Applications of Model Theoretic Semantics for First Order Logic
iv
4. Unit 4: Montague’s Theory of Translation
5.1 Preliminaries
6.1 First Steps Towards PTQ: A New Presentation of Our System for Quantifiers
v
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
Syllabus
Linguistics 720 Course Website:
Tuesday, Thursday 2:30 – 3:45 http://people.umass.edu/scable/LING720-FA13/
Room: Dickinson 110
Course Instructor: Seth Cable E-mail: [email protected]
Course Mentor: Barbara Partee E-mail: [email protected]
1. General Overview
In general, the semantics proseminar is intended to serve as a bridge between the introductory
graduate semantics courses (610, 620) and the more advanced semantics seminars. Typically, a
specific subject is covered in more depth than is normally done in the intro classes, but the
discussion is paced at a level appropriate for second- and third-year students.
The subject of this year’s proseminar is, loosely speaking, the formal semantic framework of
Montague Grammar. The overall goal of the course will be to provide students with enough
formal background to successfully navigate and critically evaluate the early literature of our
discipline. Consequently, this course will be closer in spirit to an introductory semantics course
than to a full-fledged seminar. It is my hope that – with input from the students and other
participants – this course may ultimately be developed into a regularly taught component our
graduate semantics curriculum.
1
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
1.1 Goals of the Course
The primary goal of this course is to provide students who have taken 610 and 620 with (some
of) the background necessary to read papers written within the Montague Grammar tradition,
especially the classic papers in Montague (1974) and Partee (1976).
As the field of formal semantics has grown over the past forty years, it has become more tightly
integrated into the other subdisciplines of linguistics – especially syntax. A consequence of this
integration is that much semantic research nowadays assumes a GB-style syntactic architecture,
where LF tree-structures are separately generated by the syntax and then ‘input’ to a recursively
defined semantic interpretation operation. In addition, in much current work, the denotations
output by the interpretation operation are characterized purely via representations in a logical
metalanguage, one that is implicitly understood by readers.
Although there are many merits to these developments, a negative consequence is that one can be
expert in reading and evaluating current semantic research, while nevertheless finding great
difficulty in comprehending the earliest and most influential works of our discipline. In addition,
although the original ‘Montague Grammar’ framework is no longer widely used, much current
work is nevertheless still written in an explicitly ‘model-theoretic’ style akin to those early
works. Finally, the research done within frameworks that are ‘directly compositional’ is best
understood and contextualized as a development of the key ideas of Montague.
For these reasons, it is quite important for semantics students to have the ability to read and
comprehend the classic papers of Montague (1974) and Partee (1976). It is also extremely
important to be able to ‘translate’ proposals from one research tradition into another, to allow for
effective comparison and evaluation of different analyses. The primary goal of this seminar,
then, is to develop these skills, alongside a deeper understanding and appreciation of the seminal
works of Montague.
A fundamental concept in the work of Montague and others is that of ‘interpretation with respect
to a model’. While this concept is emphasized in some semantics textbooks (Chierchia &
McConnell-Ginet 2000), it is not emphasized in all introductory semantics curricula. In addition,
in many semantics textbooks, the concept is introduced somewhat by fiat, without much
motivating (or clarifying) context. For this reason, our course will begin by providing some
crucial historical and conceptual context for the tools of ‘model-theoretic semantics’.
In this first section, “Why Models?”, we begin by reviewing the syntax and proof system of two
fundamentally important logical languages: Propositional Logic (PL) and First Order Logic
(FOL). We will then see how several key questions about these systems motivate the
development of a mathematically precise characterization of what it means to be an
‘interpretation’ of these languages. We will then see how so-called ‘models’ can play this rule
for FOL. Finally, we will see how, once armed with the notion of a ‘model’, we can answer those
fundamentally important questions about FOL. This general plot structure is outlined below:
2
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
Part 1: Why Models?
As outlined above, once it’s clear what can be achieved with a model theoretic semantics for
FOL, the question will naturally arise of whether such a semantics could ever be given for a
natural language. We’ll examine the obvious benefits of developing such a semantic theory, as
well as some of the obvious obstacles that initially stood in its way.
Next, the class will veer sharply into the domain of abstract algebra. Many of the key ideas in
Montague’s work are based on the following core insight: interpreting a language with respect to
a model can be conceived of mathematically as a special kind of ‘mapping’ between algebras,
namely a ‘homomorphism’. Therefore, we will begin with an introduction to the concepts of an
‘algebra’ and a ‘homomorphism’. We’ll then see right away that a ‘valuation’ of PL is essentially
a homomorphism from a kind of ‘syntactic algebra’ (forming the sentences of PL) to a ‘semantic
algebra’ (consisting of operations over truth-values). We’ll then further develop this notion of
‘interpretation as homomorphism’ so that it can apply to FOL (without quantification).
3
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
At this point, we will have enough background to begin discussing Montague’s theory of
translation. Another key part of Montague’s (1974) framework is the notion that – under certain,
very special conditions – translation from one language into another can also be conceived of as
a homomorphism between (syntactic) algebras. We’ll see that this ‘homomorphic’ conception of
translation has a very crucial consequence: if a language L can be (homomorphically)
translated into another language L’, which has a defined (model-theoretic) semantics, then
you’ve also thereby provided L with a defined (model-theoretic) semantics. We will discuss the
central importance of this consequence for the general program of formal semantics.
Once we’ve reached this point, we’ll actually have developed a significant purely ‘extensional’
fragment of English in Montague’s (1974) framework. However, many of the key advances in
Montague’s work stem from his use of a specially designed ‘Intensional Logic’ (IL). Thus, the
final stage of our gradual introduction to Montague’s system will be a study of his Intensional
Logic, as well as asome its basic applications to the analysis of English.
4
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
Having come this far, it will now be possible for us to read and discuss much of Montague’s
seminal paper “Universal Grammar” (UG). Our guide to this work will be the excellent
overviews by Halvorsen & Ladusaw (1979) and Dowty et al. (1981). Having walked through the
most important parts of UG, we will also be well-equipped to read and discuss that most seminal
of Montague’s works, “The Proper Treatment of Quantification in Ordinary English” (PTQ). If
time permits, we will also read one or two other classic works in formal semantics, such as
Karttunen’s “Syntax and Semantics of Questions”.
• This is not an introduction to semantics. I assume students have taken (the equivalent) of
610 and 620. Thus, many technical concepts from 610 and 620 will be assumed.
(e.g., extension, intension, possible world semantics, etc.)
• Doing the reading is critical. I’m going to aim to move relatively quickly, particularly
through Part 1. This course is cumulative, and so it’s crucial that you keep up.
5
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
At any point in the semester, please meet with Barbara and I regarding any issues at all,
particularly if you are having any kind of difficulties with the course. We are also very happy to
discuss anything at all, especially any interesting puzzles you happen to note along the way.
2. Course Requirements
As mentioned, this class will be closer in spirit to 620 than to a full-fledge seminar. Thus, the
course requirements will be similar to those of 620.
Due to the technical nature of the course material, it is critical that students complete regular
weekly problems sets. These problem sets will be assigned on Thursday and due the following
Thursday. Students are permitted to collaborate on problem sets, as long as each student writes
up their work individually. The answers to the problem sets will not always be discussed in class.
In such cases, I will write up and distribute answer keys.
Students will be required to complete a final project, which will be presented in two formats: an
in-class presentation at the end of the term, and a final paper.
The nature of this final project is rather open-ended, but any of the following types of
project would be acceptable:
The in-class presentations will take place during a special meeting after the final class; ideally
during the week of December 9th – December 13th. The final paper will be due December 20th.
Students should decide upon a final project by November 14th (at the absolute latest).
6
Seth
Cable
Proseminar
on
Semantic
Theory
Fall
2013
Ling
720
3. Various Dates of Interest
7
Unit
1:
Formal
Preliminaries
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Formal Preliminaries, Part 1: Relations and Functions 1
For a review of these key concepts, the reader is referred to Partee et al. (1993), Chapter 1
The defining property of an ordered pair is that ‘order matters’. That is:
• If <x,y> = <y,x>, then x = y
• If x ≠ y, then <x,y> ≠ <y,x>
With the notion of an ordered pair, we can define the concept of an ordered triple:
<x, y, z> =def < <x,y> , z >
1
These notes are based upon material in the following required readings: Partee et al. (1993) Chapter 1, Chapter 2;
Heim & Kratzer (1998) pp. 29-32; Stewart & Tall (1977) pp. 105-106.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) n-Ary Cartesian Product
Suppose that A1, …, An is a series of n sets:
A1 × … × An =def the set of all n-tuples <a1, …, an> such that a1 ∈ A1, … an ∈ An
=def { <a1, …, an> : ai ∈ Ai }
Illustration:
{ a, b } × { c, d } × {e , f } = {<ace>, <acf>, <ade>, <adf>, <bce>, <bcf> <bde>, <bdf>}
Note: Given the definition in (2), an n-ary relation R is equivalent to a binary relation
whose domain is a set of (n-1)-tuples, (i.e., an (n-1)-ary relation).
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2.3 Functions and Stuff
(10) Function
Let f: A B.
Illustrations:
Bijection: a d
b e
c f
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(13) Inverses and Bijections
a. Since a function f is a relation, we can speak of its inverse f -1
Proof:
(i) f -1 is a function.
Suppose it weren’t. Then there would be <x,y>, <x,z> ∈ f -1 where y ≠ z.
But this would entail f(z) = f(y) = x, and so f isn’t an injection, and so f
isn’t a bijection, contrary to assumption.
f: (A1 × … × An) B
• Note that an n-ary function is a set of ordered pairs, the first member of which is an n-
tuple.
Illustration:
{ < < x,y >, z > : z = x + y } = { <x,y,z> : z = x + y }
{ < < x,y,z >, s > : s = x + y + z } = { <x,y,z,s> : s = x + y + z }
Note: Sometimes the term ‘function’ is restricted to unary functions. Functions of arity greater
than 1 (i.e., binary, ternary, etc.) are sometimes dubbed ‘operations’.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2.4 Function Composition
Note: In the definitions above, the functions g and f are assumed to be unary…
We can generalize these definitions to functions of any arity…
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) (Generalized) Function Composition
Let g be an n-ary function, and let f1, …, fn be a series of n m-ary functions. The
composition of g and f1, …, fn is the m-ary function defined as follows:
g<f1, …, fn> =def the m-ary function such that for any m-ary sequence a1, … am
g<f1, …, fn>(<a1, … am>) =
g( f1(<a1, … am>), …, fn(<a1, … am>))
Illustration:
3. Characteristic Functions
Note:
• Given this regular correspondence between sets and (characteristic) functions, we will
often shift freely between the two without comment.
• Note, however, that such equivocation is not entirely innocent: sets are distinct set-
theoretic objects from their characteristic functions.
Note: For this reason, we will also often shift freely between n-ary relations and n-ary
characteristic functions (even though they are, strictly speaking, different objects)
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(19) One Final Observation
• The characteristic function of an n-ary relation is an n-ary function.
• But, recall from (14), that every n-ary function is equivalent to an (n+1)-ary relation
Note: Sometimes, Montague shifts freely between these two objects (so, watch out!)
4. Currying Functions 2
Illustration:
Suppose we have the following function f: { a, b } × { c, d } {1, 0}
curry(f) = [ λx : [ λy : f(<x,y>) ] ]
2
Given that the original discoverer of this technique was Moses Schönfinkel, some have proposed that the term
‘schönfinkeling’ be used instead of ‘currying’ (as Haskell Curry rediscovered the technique later). However, to my
knowledge, the term ‘schönfinkeling’ has not widely caught on in mathematics and computer science.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(21) Currying n-Ary Functions
• Note that in the definition in (20), the set A could itself be a set of pairs.
o In such a case, f(<<x,y>,z>) = c iff curry(f)(<x,y>)(z) = c
• Thus, in such a case, curry(f) will itself be a binary function. Thus, we could easily
also speak of the function curry(curry(f)).
o In such a case f(<<x,y>,z>) = c iff curry(curry(f))(x)(y)(z) = c
o This reasoning clearly generalizes to the following:
Note: The lambda notation again makes it quite easy to define CUR(f)
Let R R ⊆ A1 × … × An be an n-ary relation. From (18) and (21), it follows that there is a
unique function CUR(fR) such that:
Note: Again, the lambda notation makes it quite easy to define CUR(fR)
Note:
Putting all of this together, we will often shift freely between the following (distinct) set-
theoretic objects:
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
5. Indexing
• Throughout the notes above, I’ve made use of the following informal notation:
A = {a1, …, an}
• Note that this informal notation implies the existence of a bijection f: {1, 2, ..n } A
f(i) = ai
• Note that there’s no special reason why use have to use numbers as indices; it’s just
convenient. This sets up the following general definition.
Definition:
Let J and A be sets such that there is a bijection f: J A. We can say that A is an
indexed family, and that J is the index set.
Notation:
Suppose that A is an indexed family, whose index set is J. We can represent A as follows:
(ii) { aj }j ∈ J
• Throughout the notes above, we’ve also used numerical indices to represent n-tuples:
< a1 , … , an >
• We can adapt our notation in (ii) above as means for compactly representing n-tuples.
Both of the following are equivalent to < a1 , … , an >:
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(25) Union and Intersection of Indexed Sets
Let S be an indexed family of sets with index set A.
a. ∪S = { x : x ∈ Sa for some a ∈ A }
b. ∩S = { x : x ∈ Sa for all a ∈ A }
a. If S is an indexed family of sets with index set A, then ‘∪S’ is sometimes written:
b. If S is an indexed family of sets with index set A, then ‘∩S’ is sometimes written:
c. If S is an indexed family of sets with index set {1, …, n }, then ‘∪S’ is sometimes
written:
c. If S is an indexed family of sets with index set {1, …, n }, then ‘∩S’ is sometimes
written:
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Formal Preliminaries, Part 2: Cardinalities, Infinities, and Proof by Induction 1
Note: ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ
The following statements are intuitively true for finite sets. We’ll therefore assume they
are true for all sets (including infinite ones).
Note:
• Recall that if f is a bijection, then f -1 is a bijection too.
o Thus, by the definition in (3b), if |A| = |B|, then |B| = |A| (as desired)
o Also, as you can prove to yourself:
If |A| = |B| and |B| = |C|, then |A| = |C|
For any set A, |A| = |A|
1
These notes are based upon the following required readings: Partee et al. (1993), Chapter 4, pp. 192-198.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Key Consequence: Infinite Sets Can Have Same Cardinality as Proper Subsets
• Although it seems sensible to speak of |ℕ|, there is clearly no finite cardinal number
n ∈ ℕ such that |ℕ| = n.
• We introduce the special symbol ‘א0’ (aleph null) below to refer to this first
transfinite cardinal.
א0 = |ℕ|
(7) Countable and Countably Infinite
a. A set S is countably (denumerably) infinite iff |S| = א0
b. A set S is countable iff S is finite or S is countably infinite.
• To show that an infinite set S is countable, show that there is a bijection from S to ℕ
• After all, this would entail |S| = |ℕ| = א0
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
f(x) = 0 if x = 0
2x-1 if x is positive
-2x if x is negative
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Now that we know that ℤ and ℕ–{0} are countable, we can show that S is countable by
showing that there is a bijection from S to ℤ or from S to ℕ–{0}
• After all, this would entail |S| = |ℤ| = א0 or |S| = |ℕ–{0}| = א0
Usually, the following ‘intuitive’ (or ‘visual’) proof is used to show that there is a
bijection from { n : n ∈ ℚ and n > 0 } to ℕ–{0}
a. Step One:
We can arrange the set { n : n ∈ ℚ and n > 0 } into the following infinite table:
b. Step Two:
Some rationals appear more than once in this table (e.g., 1/1 = 2/2). We can fix
this by snaking around the grid (infinitely) in the way sketched below. Every time
we hit a number that we’ve already passed, we cross it out.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
c. Step Three:
We take the augmented grid resulting from Step 2 (where repeated rationals are
crossed out), and we snake through it again just as before, mapping the rationals
in the grid to ℕ–{0} in the following way:
Suppose that at step m in the ‘snaking’ we’ve just mapped the rational
p/q to the natural number n.
f(1/1) = 1 f(2/3) = 7
f(1/2) = 2 f(3/2) = 8
f(2/1) = 3 f(4/1) = 9
f(3/1) = 4 f(5/1) = 10
f(1/3) = 5 f(1/5) = 11
f(1/4) = 6 f(1/6) = 12 …
d. Step Four:
The function f defined above is a bijection from { n : n ∈ ℚ and n > 0 } to
ℕ–{0}
(i) It is an injection:
No two rationals will end up mapped to the same number in ℕ–{0}
(ii) It is a surjection:
Since there are infinite number of positive rationals, every number
in ℕ–{0} will be equal to f(x) for some rational x.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(13) The Rationals are Countable
• We can use the result in (12) to show that the entire set of rationals ℚ is countable.
• Consider the function h defined below (where f is the function in (12))
So far, we’ve seen that |ℕ| = |ℤ| = |ℚ| = א0, even though ℕ ⊂ ℤ ⊂ ℚ
• This might lead one to wonder whether, in addition, |ℝ| = א0
• In this section, we’ll see that this is not the case, |ℝ| ≠ א0
o That is, there are some infinities that are uncountable (non-denumerable)
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) Key Result: The Real Numbers Between 0 and 1 are Uncountable
b. The Proof;
o Suppose that |{ n : n ∈ ℝ and 0 < n < 1 }| = |ℕ|. Then there is a bijection f
from { n : n ∈ ℝ and 0 < n < 1 } to ℕ.
o Given this bijection f, it is possible to write an (infinitely long) list of all the
members of { n : n ∈ ℝ and 0 < n < 1 }. Given the key background fact in
(16a), this list will look as follows, where anm is the mth decimal in the nth real
number in the ordering:
o Now, we can use this list to define a real number r between 0 and 1 that is not
on this list:
• The integer component of r is 0
• The first decimal in r after 0 is different from a11
• The second decimal in r after 0 is different from a22
• The third decimal in r after 0 is different from a33
• (and so on…)
o Therefore, this list doesn’t contain all the real numbers between 0 and 1.
Consequently, there is no bijection from { n : n ∈ ℝ and 0 < n < 1 } to ℕ.
Thus, |{ n : n ∈ ℝ and 0 < n < 1 }| ≠ |ℕ|. Thus, |ℝ| >|ℕ| = א0
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(17) Additional Transfinite Cardinals
Suppose that for some property P, we can show (i) and (ii):
(i) 0 has property P
(ii) For any n ∈ ℕ, if n has property P, then (n+1) has property P.
Then we can conclude that every n ∈ ℕ has property P
Suppose that for some property P, we can show (i) and (ii):
(i) 0 has property P
(ii) For any n ∈ ℕ, if every number m < n has property P, then n has P
Then we can conclude that every n ∈ ℕ has property P
(i) Proving that 0 has property P is called the ‘base step’ (‘base case’)
(ii) Proving either (18ii) or (19ii) is called the ‘induction step’.
Note: If the base case is some numeral n > 0, then a proof by induction demonstrates that P
holds for all m such that n ≤ m
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Claim:
For all n ∈ ℕ such that 2 ≤ n, A ∪ ( B1 ∩ … ∩ Bn ) = (A ∪ B1) ∩ … ∩ (A ∪ Bn)
Proof by Induction:
a. Base Step: n = 2
A ∪ ( B1 ∩ B2 ) = (A ∪ B1) ∩ (A ∪ B2)
b. Induction Step
Let n ∈ ℕ be such that: A ∪ ( B1 ∩ … ∩ Bn ) = (A ∪ B1) ∩ … ∩ (A ∪ Bn)
o Thus, A ∪ ( B1 ∩ … ∩ Bn ∩ Bn+1 ) =
(A ∪ B1) ∩ … ∩ (A ∪ Bn) ∩ (A ∪ Bn+1 )
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(23) Illustration of Strong Induction: Well Ordering Principle
a. Base Step: n = 0
Clearly, 0 ∉ S. (After all, for all s ∈ S, 0 ≤ s)
b. Induction Step
Let n ∈ ℕ be such that for all m < n, m ∉ S. We will show that n ∉ S.
• Suppose that s ∈ S. Now, clearly (n-1) < s. (After all, if s ≤ (n-1), then s < n,
and so by the induction assumption s ∉ S, contrary to assumption.)
• Next, since (n-1) < s, it follows that n ≤ s. Since s was arbitrary, it follows that
for all s ∈ S, n ≤ s.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on the ‘Formal Preliminaries’ 1
a. Let A = {b,c} and B = {2,3}. State whether the following are true or false:
c. Let f: AB and g: BC both be bijections. Show that (g°f )-1 = (f -1)°(g -1)
a aa
bc
cb
b ab
bc
ca
c ac
bc
cc
1
Most of these exercises are taken from Partee et al. (1993), Chapters 2 and 4.
2
Assume that the domain of the characteristic function of R is {1,2}×{1,2}.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(2) Proving that Sets are Countable
a. Show that the set of integer powers of ten {10, 100, 1000, 10000, … } is
countable.
(i) There is a finite alphabet for writing sentences, consisting of 26 letters and
a space (forget punctuation marks for now)
(iii) There is no upper bound on the length of sentences of English. That is, for
any sentence S of English, there is always a longer sentence S’.
Some Hints:
• To solve this, you simply have to show that there is a defined way of ordering
the sentences of English into an infinite ‘list’ (as we did for the rationals
greater than 0).
• Another, more round-about way of solving this makes use of the following
key consequence of the ‘fundamental theorem of arithmetic’
( X1 ∪ … ∪ Xn )´ = X1´ ∩ … ∩ Xn´
Hint:
You can appeal to the following general equivalences:
(i) X´´ = X
(ii) X1 ∩ … ∩ Xn = (X1 ∩ … ∩ X(n-1) ) ∩ Xn
(iii) X1 ∪ … ∪ Xn = (X1 ∪ … ∪ X(n-1) ) ∪ Xn
2
Unit
2:
Review
of
Propositional
Logic
and
First
Order
Logic
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Propositional Logic: Syntax and Natural Deduction 1
• I want to provide some key historical and intellectual context to the ‘model theoretic’
approach to natural language semantics, context that is usually missing from introductory
semantics classes / texts.
• I want to begin by getting across the very motivation for having ‘models’ at all:
• Consequently, I’m going to start off by giving a purely syntactic introduction to the
systems of Propositional Logic and First Order (Predicate) Logic.
o We’ll then see that certain key questions about these systems will require us to
develop a mathematically precise characterization of what it is to be an
‘interpretation’ of these formal languages…
b. Invalid Argument: All cats are mortal. All dogs are mortal.
Therefore, all cats are dogs.
1
These notes are based upon material in the following required reading: Gamut (1991), Chapter 1, Chapter 2 pp. 28-
41, Chapter 4 pp. 128-141; Partee et al. (1993) Chapter 5, Chapter 6 pp. 97-98.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(3) Major Weakness of Syllogistic Logic
• Only applies to ‘syllogisms’, a very restricted form of argument.
• Consequently, cannot capture valid arguments based on relations:
All horses are animals.
Therefore, every horse’s head is an animal’s head.
a. Early-to-Mid 1800’s
• Essentially all of First Order Logic (with a little Second Order Logic, too)
2
For a nice overview of Frege’s funky logical notation: http://en.wikipedia.org/wiki/Begriffsschrift
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(5) The Core Idea Behind a Formal Logic
• A precisely defined formal notation for representing certain aspects (not all) of the
‘logical structure’ of an assertion.
• A set of syntactically defined rules for deriving formulas in the notation from other
formulas in the notation.
1. p (~q ∨ r) Premise
2. q Premise
3. q ~r Premise
4. ~r Modus Ponens 2,3
5. q & ~r Conjunction 2,4
6. ~~(q & ~r) Double Negation 5
7. ~(~q ∨ ~~r) DeMorgans 6
8. ~(~q ∨ r) Double Negation 7
9. ~p Contraposition 1,8
• As with classical logic, the goal of the enterprise is to provide a purely syntactic
characterization of what it is to be a valid argument.
• So, how can you be sure that your syntactically defined system does what it’s
supposed to do?
o How do you show that it only derives valid inferences?
o How do you show that it derives all the valid inferences?
o It wasn’t until about the 1930’s or so until this idea reached its modern form
(Löwenheim, Gödel, Tarski)
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. A Review of Propositional Logic (PL): Syntax and Informal Semantics 3
The system of Propositional Logic (PL) is intended to capture the inferences that depend upon
the meaning of the so-called ‘sentential connectives’: and, or, if…then, and not
• We can use the syntactic rules in (8) and the informal semantics in (7) to write PL
formulae that ‘encode’ certain statements of English:
a. Sentence: “Dave is tall, and if Dave isn’t tall, then Mary is dancing.”
Encoding: ( p & ( ~p q ) )
b. Sentence: “If Bill or John is leaving, then Mary and Sue are not happy.”
Encoding: ( ( b ∨ j ) ( ~m & ~s ) )
3
My discussion here will assume prior familiarity with the overall system of Propositional Logic. Students are
referred to Partee et al. (1993), Chapter 6 for crucial background.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• This definition allows us to use mathematical induction to prove things about all
well-formed formulae of PL.
2. ϕ is of the form (χ & ψ), where χ contains m < n logical constants, and ψ
contains j < n logical constants. By assumption, then, χ and ψ both contain an
even number of parentheses. Thus, so does ϕ.
3. ϕ is of the form (χ ∨ ψ), where χ contains m < n logical constants, and ψ contains
j < n logical constants. By argument parallel to (2), so does ϕ.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• The general structure of the proof in (11) is extremely common in (meta)logic. It’s
often called proof by induction on the complexity of formula.
(ii) For every complex formula ϕ, if the immediate subformulae of ϕ have property P,
then so does ϕ
• We’re going to lay out some rules – stated entirely in syntactic terms – for deriving
formulae in PL from other formulae.
o As we’ll see, these syntactic rules intuitively capture certain key aspects of the
everyday meaning of the English logical words ‘not’, ‘and’, ‘or’, ‘if..then’
(ii) ‘RULE n, …, m’ Where ‘RULE’ is the name of one of the derivation rules
below, and ‘n, …, m’ are the numbers of the formulae in
the derivation that are ‘input’ to the rule
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(15) Some Terminology and Notation
c. Key notation: { ϕ1 , ϕ2 , ϕ3 … } ⊢ ψ
‘There is a derivation where a subset of { ϕ1 , ϕ2 , ϕ3 … }
are the assumptions, and ψ is the conclusion’
Note: Given the way ‘⊢’ is defined in (15c), the set { ϕ1 , ϕ2 , ϕ3 … } could be infinite.
This will make certain proofs about the system easier later on…
Now let’s get to stating and illustrating some of the deduction rules!...
1. …
… …
n1 ϕ
… …
n2 ψ
… …
m (ϕ & ψ) I& n1, n2
1. p Assumption
2. q Assumption
3. r Assumption
4. (p & q) I& 1,2
5. (p & r) I& 1,3
6. ((p & q) & (p & r)) I& 4,5
Intuitive Motivation:
If we can (in English) assert some sentence ‘S1’, and some sentence ‘S2’, then we can
also assert the sentence ‘S1 and S2’
Note:
From now on, I’ll leave ‘the following is an acceptable derivation’ implicit in the statement of
the deduction rules…
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(17) The Rule of ‘&-Elimination’ (E&)
1. … 1. …
… … … …
n (ϕ & ψ ) n (ϕ & ψ )
… … … …
m ϕ E& n m ψ E& n
Intuitive Motivation:
If we can (in English) assert some sentence ‘S1 and S2’, then we can also assert ‘S1’.
If we can (in English) assert some sentence ‘S1 and S2’, then we can also assert ‘S2’.
Note: By a similar derivation, we can show ((p & q) & r) ⊢ (p & (q & r))
1. …
… …
n. ϕ
… …
m. ϕ Repetition n
Illustration:
1. (p & (q & r)) Assumption
2. p E& 1
3. (q & r) E& 1
4. q E& 3
5. r E& 3
6. (p & q) I& 2,4
7. r Repetition 5
8. ((p & q) & r) I& 6,7
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(19) The Rule of ‘-Elimination’ (E)
The following derivation rule is often referred to as ‘modus ponens’
1. …
… …
n1 (ϕ ψ)
… …
n2 ϕ
… …
m ψ E n1, n2
Intuitive Motivation:
If we can (in English) assert the sentence ‘If S1 then S2’, and we can assert the sentence
‘S1’, then we can also assert ‘S2’
Illustration: { (p (q r)), p, q } ⊢ r
1. (p (q r)) Assumption
2. p Assumption
3. q Assumption
4. (q r) E 1,2
5. q Repetition 3
6. r E 4,5
Intuitive Motivation:
If whenever we assume ‘S1’ it follows that ‘S2’, then we can assert ‘if S1 then S2’.
The Rule:
The following is an acceptable derivation, as long as no line j > m makes reference to any
lines from n1 to n2.
1. …
… …
n1 ϕ Assumption
…
n2 ψ
m (ϕ ψ) I
• In such a derivation, we say that the formulae occurring on lines n1 to n2 have been
dropped or withdrawn
• Note the key restriction that once a formula has been dropped, no subsequent lines
can make reference to it.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
1. ( (p & q) r ) Assumption
2. p Assumption
3. q Assumption
4. (p & q) I& 2,3
5. r E 1, 4
6. (q r) I
7. (p (q r)) I
1. … 1. …
… … … …
n. ϕ n. ψ
… … … …
m. (ϕ ∨ ψ) I∨ n m. (ϕ ∨ ψ) I∨ n
Intuitive Motivation:
If we can (in English) assert a sentence ‘S1’, then for any sentence ‘S2’, we can assert ‘S1
or S2’ and ‘S2 or S1’ (inclusive ‘or’)
1. …
… …
n1 (ϕ ∨ ψ)
… …
n2 (ϕ χ)
… …
n3 (ψ χ)
… …
m χ E∨ n1, n2, n3
Intuitive Motivation:
If we can (in English) assert ‘S1 or S2’, ‘if S1 then S3’ and also ‘if S2 then S3’, then we can
also assert ‘S3’
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(23) Illustration of the Rules for Disjunction: Associativity of ‘∨’ (Part 1)
(p ∨ (q ∨ r)) ⊢ ((p ∨ q) ∨ r)
1. (p ∨ (q ∨ r)) Assumption
2. p Assumption
3. (p ∨ q) I∨ 2
4. ((p ∨ q) ∨ r) I∨ 3
5. (p ((p ∨ q) ∨ r)) I
6. (q ∨ r) Assumption
7. q Assumption
8. (p ∨ q) I∨ 7
9. ((p ∨ q) ∨ r) I∨ 8
10. (q ((p ∨ q) ∨ r)) I
11. r Assumption
12. ((p ∨ q) ∨ r) I∨ 11
13. (r ((p ∨ q) ∨ r)) I
14. ((p ∨ q) ∨ r) E∨ 6, 10, 13
15. ((q ∨ r) ((p ∨ q) ∨ r)) I
16. ((p ∨ q) ∨ r) E∨ 1, 5, 15
1. …
… …
n1 ϕ
… …
n2 ~ϕ
… …
m ⊥ E~ n1 n2
1. …
… …
n1 ϕ Assumption
…
n2 ⊥
m ~ϕ I~
Intuitive Motivation:
If whenever we assume ‘S’ a contrdiction follows, then we can assert ‘not S’.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(26) Illustration of the Rules for Negation: Double Negation (Part 1)
p ⊢ ~~p
1. p Assumption
2. ~p Assumption
3. ⊥ E~ 1,2
4. ~~p I~
1. …
… …
n ⊥
m ϕ EFSQ
Illustration: { (p ∨ q) , ~p } ⊢ q
1. (p ∨ q) Assumption
2. ~p Assumption
3. p Assumption
4. ⊥ E~ 2,3
5. q EFSQ
6. (p q) I
7. q Assumption
8. q Repetition 7
9. (q q) I
10. q E∨ 1, 6, 9
1. …
… …
n ~~ ϕ
… …
m ϕ ~~ n
Note:
Although our system without (28) can prove one half of the equivalence ‘ϕ iff ~~ϕ’ (26), we
need the rule in (28) for our system to derive the complete equivalence.
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. The Power of Our Natural Deduction System for PL
Although we our system has just 11 (really, 10) relatively simple rules, it can capture a great
many intuitively valid inferences!
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
First Order (Predicate) Logic: Syntax and Natural Deduction 1
• I wish to provide some historical and intellectual context to the formal tools that logicians
developed to study the semantics of artificial languages.
• For this reason, I’m beginning with a purely syntactic presentation of two key logical
systems: Propositional Logic (PL) and First Order (Predicate) Logic (FOL).
• In our last notes, we covered PL. Now, we’ll get a (syntactic) introduction to FOL.
1. A Review of First Order (Predicate) Logic (FOL): Syntax and Informal Semantics 2
The system of First Order Logic (FOL) is intended to capture the inferences that depend upon:
(i) the meaning of the so-called ‘sentential connectives’: and, or, if…then, and not
(ii) the meaning of the quantifiers ‘every’ and ‘some’
(i) An infinite set of predicate letters: {P, Q, R, B, … P1, P2, P3, P4, …}
• Each predicate letter has an associated ‘arity’ (unary, binary, etc.)
• Each predicate letter ‘stands for’ a property or a relation
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(2) The Definition of a ‘Well-Formed Formula’ (WFF) in FOL
The set of ‘well-formed formulae’ of PL, WFF, is the smallest set such that:
b. If ϕ, ψ ∈ WFF, then
1. ~ϕ ∈ WFF
2. (ϕ & ψ) ∈ WFF
3. (ϕ ∨ ψ) ∈ WFF
4. (ϕ ψ) ∈ WFF
Notes:
• The clause in (2a) creates the atomic formulae of FOL. The clause in (2c) creates the
universal formulae and existential formulae.
• The set WFF includes formulae with ‘free variables’ and ‘vacuous quantification’ (defined
properly later)
Hxb (free variables)
∃y∀xHxb (vacuous quantification)
∃yHxb (free variables and vacuous quantification)
a. Sentence: ‘If Bill or John is leaving, then Mary and Sue aren’t happy.’
Encoding: ((Lb ∨ Lj) (~Hm & ~Hs))
In setting up such encodings, it is critical to supply a ‘key’, indicating what the predicate
letters and individual constants ‘stand for’:
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Important Note:
• In the key above, formulae of the form ‘Gxyz’ are interpreted so that x is the ‘subject’ of
gave, while ‘y’ is the direct object, and ‘z’ is the indirect object.
• Nothing forces this however. We could just have easily had the following in our key:
Gxyz: z gave y to x
a An occurrence of the variable υ in the formula ϕ is free in ϕ if (i) and (ii) hold:
(i) that occurrence of υ does not occur directly to the right of either ∃ or ∀
(ii) that occurrence of υ is not in the scope of any occurrence of ∃υ or ∀υ in ϕ
(iv) The first occurrence of ‘x’ in ‘(Px & ∃xBx)’ is bound by ‘∀x’
(v) The occurrence of ‘x’ in ‘Bx’ is bound by ‘∃x’
(vi) The occurrence of ‘x’ in ‘Bx’ is not bound by ‘∀x’
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. A Review of First Order Logic (FOL): Natural Deduction
• We’re going to lay out some rules – stated entirely in syntactic terms – for deriving
formulae in FOL from other formulae.
o As we’ll see, these syntactic rules intuitively capture certain key aspects of the
everyday meaning of the English logical words ‘every’ and ‘some’
a. Definition of ‘derivation’
b. Turnstyle notation ‘⊢’
c. The rules I&, E&, Repetition, I, E, I∨, E∨, I~, E~, EFSQ, ~~
Our natural deduction system for FOL adds four new rules.
1. …
… …
n [α/υ]ϕ
… …
m ∃υϕ I∃ n
Intuitive Motivation:
If we can (in English) assert for a particular thing α that ‘ϕ’ is true of α, then we can
assert that there is something that ‘ϕ’ is true of.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(12) The Rule of ‘∀-Elimination’ (E∀)
1. …
… …
n ∀υϕ
… …
m [α/υ]ϕ E∀ n
Intuitive Motivation
If we can (in English) assert that ‘ϕ’ is true of everything, then for any particular thing α,
we can assert that ‘ϕ’ is true of α,
Intuitive Motivation:
If we can show that ‘ϕ’ is true of an arbitrary entity α (‘arbitrary’ = we’ve not assumed
anything about α whatsoever), then we can assert that ‘ϕ’ is true of everything.
Key Definition:
If ‘[α/υ]ϕ’ appears in a derivation at line n, then α is arbitrary at line n if (i) and (ii) hold
(i) α does not appear in any (non-dropped) assumptions in the derivation
(ii) α does not appear in ϕ
The Rule:
The following is an acceptable derivation, as long as α is arbitrary at line n.
1. …
… …
n [α/υ]ϕ
… …
m ∀υϕ I∀ n
1. ∀x∀yPxy Assumption
2. ∀yPay E∀ 1
3. Paa E∀ 2
4. ∀xPxx I∀ 3
• Note: ‘Paa’ = ‘[a/x]Pxx’, and a is arbitrary (in ‘[a/x]Pxx’) in at line 3.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) The Rule of ‘∃-Elimination’ (E∃)
Intuitive Motivation:
If we can assert (i) that ‘ϕ’ is true of something, and (ii) that if ‘ϕ’ is true of an arbitrary
entity α, then ψ must be true (‘arbitrary’ = we’ve not assumed anything about α
whatsoever), then we can assert that ‘ψ’ is true.
Key Definition:
If ‘[α/υ]ϕ ψ’ appears in a derivation at line n, then α is arbitrary at line n if (i)-(iii):
(i) α does not appear in any (non-dropped) assumptions in the derivation
(ii) α does not appear in ϕ
(iii) α does not appear ψ
The Rule:
The following is an acceptable derivation, as long as α is arbitrary at line n.
1. …
… …
n1 ∃υϕ
… …
n2 [α/υ]ϕ ψ
… …
m ψ E∃ n1, n2
1. ∃x∀yPxy Assumption
2. ∀yPby Assumption
3. Pba E∀ 2
4. ∃xPxa I∃ 3
5. ∀yPby ∃xPxa I
6. ∃xPxa E∃ 1,5
7. ∀y∃xPxy I∀ 6
• Note:
‘∀yPby’ = ‘[b/x]∀yPxy’, and b is arbitrary (in ‘[b/x]∀yPxy’ ∃xPxa’) at line 5
Side Comment:
- The rules I∀ and E∃ add significantly to the complexity of our natural deduction system.
- However, they are crucial for system to capture all the valid inferences in FOL
- They also greatly complicate the proof that our natural deduction system for FOL is ‘complete’
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. The Power of Our Natural Deduction System for FOL
Although we our system for FOL has just 15 (really, 14) relatively simple rules, it can capture a
great many intuitively valid inferences!
1. ~∃xPx Assumption
2. Pa Assumption
3. ∃xPx I∃ 2
4. ⊥ E~ 1, 3
5. ~Pa I~
6. ∀x~Px I∀ 6
1. ∀x~Px Assumption
2. ∃xPx Assumption
3. Pa Assumption
4. ~Pa E∀ 1
5. ⊥ E~ 3,4
6. (Pa ⊥) I
7. ⊥ E∃ 2, 6
8. ~∃xPx I~
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on Propositional Logic and First Order Logic:
Translation and Natural Deduction 1
Please encode the following English statements as formulae in PL. Be sure to include a
‘key’ indicating what English statements each propositional letter ‘stands for’.
Please provide derivations in our natural deduction system for PL establishing each of the
following.
a. (p ∨ q) ⊢ ((p q) q)
b. (p & ~q) ⊢ ~(p q)
c. (p ~q) ⊢(q ~p)
d. (p & (q ∨ r)) ⊢ ((p & q) ∨ (p & r))
e. ((p & q) ∨ (p & r)) ⊢ (p & (q ∨ r))
Please encode the following English statements as formulae in FOL. Be sure to include a
‘key’ indicating what the predicate letters and individual constants ‘stand for’.
a. Although John and Mary love each other deeply, they make each other unhappy.
b. It is not the case that all ambitious people are not honest.
c. Lyn got a present from John, but she didn’t get anything from Peter.
d. Nobody lives in Hadley who wasn’t born there.
e. People who live in Amherst or close buy own a car.
f. If somebody is noisy, then everybody is annoyed at him.
1
Most of these exercises are taken from Gamut (1991), Volume 1: Chapters 2, 3 and 4
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Identifying Sentences of FOL
Please identify whether the following formulae of FOL are sentences or not.
(6) Derivations in Our Natural Deduction System for First Order Logic
Please provide derivations in our natural deduction system for FOL establishing each of
the following.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Propositional Logic: Formal Semantics and Valuations 1
a. A precisely defined formal notation for representing certain aspects of the ‘logical
structure’ of an assertion.
b. A set of syntactically defined rules for deriving formulas in the notation from
other formulas in the notation (e.g., our system of ‘Natural Deduction’).
How do we know when we’ve succeeded? How do we know whether our formal system
indeed produces all and only the inferences that are valid (in the notation)?
a. Entailment:
A set of formulae S entails ψ, if ‘whenever’ every ϕ ∈ S is true, so is ψ
• Notation: S⊨ψ
b. Soundness:
We’ve established the soundness of our system, if we can show that every
derivation is / corresponds to a valid inference.
• Notation: If S ⊢ ψ, then S ⊨ ψ
c. Completeness:
We’ve established the completeness of our system, if we can show that every
valid inference (in the notation) corresponds to a derivation.
• Notation: If S ⊨ ψ, then S ⊢ ψ,
1
These notes are based upon material in the following required readings: Gamut (1991), Chapter 2 pp. 44-54; Partee
et al. (1993), Chapter 6 pp. 97-112.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) The Main Obstacle to Proving Soundness and Completeness
The notion of ‘entailment’ in (3a) is currently too vague and informal for precise
(mathematical) argumentation.
• What, exactly, does it mean to say ‘whenever all the formulae in S are true’?
Let us begin by considering our informal semantics for PL, and how it can be used to
determine a truth-value for a PL formula:
a. Step One:
b. Step Two:
Next, to determine whether the whole formula is true, we first consider the truth
of the English sentences that the proposition letters are mapped to:
c. Step Three:
Finally, once we have the truth-values of the English translations, the meanings of
the (English) logical connectives determine a truth-value for the whole formula.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
It seems, then, that an informal interpretation of PL determines a truth-value for a PL formula by
• Then, for complex formulae, the main connective determines the truth-value of the whole
formula, based on the truth-values of the component formulae
Thus, it seems we can develop a more abstract, mathematically precise conception of ‘PL
interpretation’ in the following way...
b. If ϕ, ψ ∈ WFF, then
1. V(~ϕ) = 1 iff V(ϕ) = 0
2. V((ϕ & ψ)) = 1 iff V(ϕ) = 1 and V(ψ) = 1
3. V((ϕ ∨ ψ)) = 1 iff V(ϕ) = 1 or V(ψ) = 1 (inclusive ‘or’)
4. V((ϕ ψ)) =1 iff V(ϕ) = 0 or V(ψ) = 1 (inclusive ‘or’)
a. ϕ || ~ϕ b. ϕ | ψ || (ϕ & ψ) c. ϕ | ψ || (ϕ ∨ ψ)
1 0 1 1 1 1 1 1
0 1 1 0 0 1 0 1
0 1 0 0 1 1
d. ϕ | ψ || (ϕ ψ) 0 0 0 0 0 0
1 1 1
1 0 0
0 1 1
0 0 1
2
My discussion here will assume prior familiarity with the formal semanitcs of Propositional Logic, particularly
truth-tables, validity, tautology, logical-equivalence, etc. Students are referred to Partee et al. (1993), Chapter 6 for
crucial background.
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(8) Calculating Truth-Tables for Complex Formulae
• In top row, list all the proposition letters in the formula (followed by double lines).
• Then, list all the sub-formulae, going from bottom-up (followed by single lines)
• Each row below corresponds to one of the possible valuations of the proposition
letters in the sentence (2n rows, where n = number of proposition letters)
We can use this notion of a ‘valuation’ to provide a more precise characterization of our key
semantic concepts!
(9) Tautology
a. Informal Notion: S is a tautology if S is ‘necessarily true’
b. Formal Notion: ϕ is a tautology if for every valuation V, V(ϕ) = 1
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Key Consequences
• A formula ϕ of PL is a tautology iff ~ϕ is a contradiction.
• A formula ϕ of PL is contingent iff ~ϕ is contingent
b. Formal Notion:
ϕ and ψ are logically equivalent if for every valuation V, V(ϕ) = V(ψ)
Key Consequences
• Formulae ϕ and ψ of PL are logically equivalent iff ~ϕ and ~ψ are logically equivalent.
• If ϕ and ψ are both tautologies, then ϕ and ψ are logically equivalent.
• If ϕ and ψ are both contradictions, then ϕ and ψ are logically equivalent.
Given our definition of valuation in (6), our definition of ‘logical equivalence’ in (12b) captures
a wide variety of intuitive equivalences, many of which we also derived in our proof system!
p | q | r || (p ∨ q) | ((p ∨ q) ∨ r ) | (q ∨ r) | ((p ∨ (q ∨ r ))
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
1 0 0 1 1 0 1
0 1 1 1 1 1 1
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(15) Key Result: Substitution of Logically Equivalent Formulae
Informal Statement:
If ϕ and ψ are logically equivalent, then replacing ϕ with ψ will have no effect on the
truth-value of a larger sentence.
Formal Statement:
Suppose that ϕ and ψ are logically equivalent, that ϕ is a subformula of χ, and that χ’ is
the formula just like χ, except that all instances of ϕ are replaced with ψ. It follows that χ
and χ’ are logically equivalent.
• Informally speaking, what (15) shows is that if ϕ and ψ are logically equivalent, then
anything we can ‘express’ in PL with ϕ, we can also ‘express’ with ψ
• Now, recall the following key equivalences (proofs left to the student):
(i) (ϕ ψ) is logically equivalent to (~ϕ ∨ ψ)
(ii) (ϕ ∨ ψ) is logically equivalent to ~(~ϕ & ~ψ)
(iii) (ϕ & ψ) is logically equivalent to ~(~ϕ ∨ ~ψ)
• It follows from (i) that anything we can ‘express’ in PL with ‘’, we can also express
with ‘~’ and ‘∨’
• It follows from (ii) that anything we can ‘express’ in PL with ‘∨’, we can also express
with ‘~’ and ‘&’.
• It follows from (iii) that anything we can ‘express’ in PL with ‘&’ we can also
express with ‘~’ and ‘&’
• Consequently, we can drop ‘’ from our PL system (leaving ‘~’, ‘&’ ‘∨’), and
still have an equivalently ‘expressive’ system
• Consequently, we can drop ‘∨’ from our system (leaving ‘&’ and ‘~’), and still
have an equivalently ‘expressive’ system
• Consequently, we can drop ‘&’ from our system (leaving ‘∨’ and ‘~’), and still
have an equivalently ‘expressive’ system
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(17) Key Result: Defining Operators in Terms of Other Operators
Given the result in (16), we could view the operators ‘’ and ‘∨’ (or ‘’ and ‘&’) not as
primitive operators, but as special abbreviations for more complex formulae
We’ll make use of this commonplace idea in (17) later on, as it will greatly simplify the
definitions of the logical languages we use for the semantic analysis of English…
Finally, the notion of ‘valuation’ provides us with a more rigorous definition of ‘entailment’…
(19) Entailment
a. Informal Notation:
A set of formulae S entails ψ, if ‘whenever’ every ϕ ∈ S is true, so is ψ
b. Formal Notion:
A set of formulae S entails ψ, if every valuation V of S is such that V(ψ) = 1
Let S be a finite set of formulae { ϕ1, … , ϕn }. S entails ψ iff ((ϕ1 & … & ϕn) ψ) is a
tautology.
Proof: Suppose that S entails ψ. Thus, for any valuation V, if V((ϕ1 & … & ϕn)) = 1 then
V is a valuation for S, and so V(ψ) = 1. Thus, for any valuation V, if V((ϕ1 & …
& ϕn)) = 1, then V(ψ) ≠ 0, and so V(((ϕ1 & … & ϕn) ψ)) = 1.
Suppose that ((ϕ1 & … & ϕn) ψ) is a tautology. Now suppose that V is a
valuation of S. It follows that V((ϕ1 & … & ϕn)) = 1. Moreover, since ((ϕ1 & …
& ϕn) ψ) is a tautology, it follows that V(((ϕ1 & … & ϕn) ψ)) = 1.
Consequently, it must be the case that V(ψ) ≠ 0, and so V(ψ) = 1.
One can ‘effectively’ compute whether a finite set of PL formulae S entail a formula ψ
• Just compute the truth-table for (S ψ) and check whether it’s a tautology!
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Now that we have this notion of ‘valuation’, the key issues in (3) become much more tractable!
(22) Soundness of PL
• If S ⊢ ψ, then S ⊨ ψ
• If S ⊢ ψ, then if V is a valuation for S, V(ψ) = T
(23) Completeness of PL
• If S ⊨ ψ, then S ⊢ ψ
• If every valuation V of S is also a valuation of ψ, then S ⊢ ψ
In the next set of notes, we’ll see how (22) and (23) can be rigorously proved!
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
First Order Logic: Formal Semantics and Models 1
c. Step Three:
Finally, once we have the truth-values of the atomic sentences, the meanings of
the (English) logical connectives determine a truth-value for the whole formula.
~Pbc = ‘It is not the case that Seth is older than Rajesh’ = True
Fa = ‘Angelika Kratzer is French’ = False
(Fa & ~Pbc) = false
1
These notes are based upon material in the following required readings: Gamut (1991), Chapter 3 pp. 87-101;
Partee et al. (1993), Chapter 7 pp. 140-152, Chapter 13 pp. 321-331.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
It seems, then, that an informal interpretation of FOL determines a truth-value for an FOL
sentence (without quantification) by
• Mapping the predicate letter to some set (property) or set of n-tuples (relation)
• For atomic sentences, the sentence is true if the individual(s) named by the constant are
‘in’ the set or relation denoted by the predicate letter.
• For complex sentences, the main connective determines the truth-value of the whole
formula, based on the truth-values of the component formulae
Thus, it seems we can develop a more abstract, mathematically precise conception of ‘FOL
interpretation’ in the following way...
b. A function I, whose domain is the individual constants and predicate letters, and
whose range satisfies the following conditions:
Note:
• If Φ is a unary predicate letter, then I(Φ) ⊆ D1 = D (a subset of D)
• If Φ is a binary predicate letter, then I(Φ) ⊆ D2 = D×D (a set of pairs from D)
• If Φ is a ternary predicate letter, then I(Φ) ⊆ D3 = D×D×D (a set of triples from D), etc.
(8) Illustration:
The following is a model of FOL < { Angelika, Seth, Rajesh }, I >, where I consists of at
least the following mappings:
2
My discussion here will assume prior familiarity with the formal semantics of First Order Logic. Students are
referred to Partee et al. (1993), Chapter 7 for crucial background.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
With this notion of ‘model’ in place, we can introduce the key formal semantic notion below:
Let M be a model <D, I>. Then the ‘valuation based on M’ (VM) is a function whose
domain is the set of FOL sentences (without quantifiers), whose range is {0,1}, and
which satisfies the conditions below:
(10) Illustration
Let M be the model (partially) defined in (8). From (9), it follows that
• I(a) ∈ I(F) and <I(b), I(c) > ∉ I(P) iff (by definition of I in (8))
In this way, the definition of ‘model’ in (8) and ‘valuation’ in (9) mirrors the way our earlier
‘informal interpretation’ (key) maps the formula ‘(Fa & ~Pbc)’ to the truth-value false
PROBLEM: We forgot about quantifiers! How do we add them into the picture?
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(11) Key Problem: The Semantics of Formulae with Free Variables
• Moreover, we’re going to want this formula to end up being entailed by ‘Pa’.
a. In English, “Something is red” is true iff there is a particular thing x such that we
could ‘point to it’ and truthfully say ‘THAT is red’.
b. In English, “Everything is red” is true iff for any thing in the world x, you could
‘point to it’, and truthfully say ‘THAT is red’.
a. ∃xϕ is true iff there is a thing α such that ϕ is true when x ‘picks out’ α
b. ∀xϕ is true iff for any thing α, ϕ is true when x ‘picks out’ α
Note: g needn’t be an injection; it could map two different variables to the same α ∈ D!
(15) Notation
Let M be a model <D, I>, and let g be a variable assignment based on M, and let α ∈ D,
and let v be a variable of FOL.
g(v/α) is the variable assignment exactly like g except (at most) that it maps v to α
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Note: The following follow from the definition in (15)
• g(x/a)(y/b) is just like g except (at most) that it maps x to a and y to b.
• g(x/a)(x/b) = g(x/b)
With these notions in place, we can revise our notion of ‘valuation’ in (9) so that it now can map
every formula (without quantifiers) to truth values, even those with free variables!
(18) Valuation of FOL, Relative to a Model and a Variable Assignment (To Be Revised)
Let M be a model <D, I> and g be a variable assignment (based on M) Then the
‘valuation based on M and g’ (VM,g) is a function whose domain is the set of FOL
formulae (without quantifiers), whose range is {0,1}, and which satisfies the conditions
below:
(i) If ϕ = Φt1... tn, then VM,g(ϕ) = 1 iff < [[t1]]M,g , ..., [[tn]]M,g)> ∈ I(Φ)
(19) Illustration
Let M be the model (partially) defined in (8) and let g be the following variable
assignment: {<x, Rajesh>, <y, Seth>, <z, Angelika>. From (18), it follows that
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Our notion of ‘interpretation (valuation) with respect to a variable assignment’ explicates what
we mean by ‘when a variable picks out α’
With this in mind we can extend our definition in (18) to include quantifiers!
a. What We Ultimately Want: Two equations whose left hand side looks like:
(i) ∃xψ is true iff there is a thing α such that ψ is true when x ‘picks out’ α
(ii) ∀xψ is true iff for any thing α, ψ is true when x ‘picks out’ α
(21) Valuation of FOL, Relative to a Model and a Variable Assignment (Final Version)
Let M be a model <D,I> and g be a variable assignment (based on M). Then the
‘valuation based on M and g’ (VM,g) is a function whose domain is the set of FOL
formulae, whose range is {0,1}, and which satisfies the conditions below:
(i) If ϕ = Φt1... tn, then VM,g(ϕ) = 1 iff < [[t1]]M,g , ..., [[tn]]M,g)> ∈ I(Φ)
(ii) If ϕ = ~ψ, then VM,g(ϕ) = 1 iff VM,g(ψ) = 0
(iii) If ϕ = (ψ & χ), then VM,g(ϕ) = 1 iff VM,g(ψ) = 1 and VM,g(χ) = 1
(iv) If ϕ = (ψ ∨ χ), then VM,g(ϕ) = 1 iff VM,g(ψ) = 1 or VM,g(χ) = 1
(v) If ϕ = (ψ χ), then VM,g(ϕ) = 1 iff VM,g(ψ) = 0 or VM,g(χ) = 1
(vi) If ϕ = ∃vψ, then VM,g(ϕ) = 1 iff there is an a ∈ D such that VM,g(v/a)(ψ) = 1
(vii) If ϕ = ∀vψ, then VM,g(ϕ) = 1 iff for every a ∈ D, VM,g(v/a)(ψ) = 1
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(22) Illustration 3
Let M be a model <{Dave, Joe}, I>, where I(L) = {<Dave,Joe>, <Joe,Dave>}. Let g be a
variable assignment such that g(x) = Dave and g(y) = Joe.
• We’ve found a viable way of using models to assign truth-values to formulae of FOL
• So, we’ve also found a way of using models to assign truth-values to FOL sentences
o So, models seem like an excellent characterization of ‘interpretation’ for FOL
3
For another helpful illustration of the key definitions in (21), see Partee et al. (1993), Chapter 13 pp. 326-327.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Some Important Consequences and Notations
• That is, the truth-value of a sentence relative to a model and a variable assignment
doesn’t depend upon the variable assignment at all (since there are no free variables)
o Notice how in (22b), we don’t ever actually calculate the value of g for any
variable.
So, even though we need to refer to a variable assignment to calculate the truth-value of a
sentence, the sentence’s truth-value doesn’t depend upon the assignment we pick…
Also, if we want to – and some do – we can eliminate direct reference to VM,g in our semantics
for FOL, by extending the notation ‘[[ . ]]M,g’, defined in (17)
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(25) Interpretation With Respect to a Model
Let M be a model <D, I> and g be a variable assignment based on M. Then the
interpretation (a.k.a. denotation) of an ‘expression’ of FOL relative to M and g [[.]]M,g is
defined as follows:
d. If ϕ = Φt1... tn, then [[ϕ]]M,g = 1 iff < [[t1]]M,g , ..., [[tn]]M,g)> ∈ [[ Φ ]]M,g
(26) Notation
Let ϕ be a sentence of FOL and M be a model. The interpretation (a.k.a. denotation) of ϕ
with respect to M, [[ϕ]]M, is [[ϕ]]M,g for an arbitrary variable assignment g.
Consequences:
• ϕ is true in M iff [[ϕ]]M = 1 iff M is a model for ϕ
M
• M is a model for S iff for all ϕ ∈ S, [[ϕ]] = 1
With our formal characterization of ‘truth’ for FOL, we can give precise definitions to the
concepts of ‘tautology’, ‘contradiction’, ‘logical equivalence’ and ‘entailment’….
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) Tautology
Let ϕ be a sentence of FOL. ϕ is a tautology iff for every model M [[ϕ]]M = 1
Important Note:
It’s common for logicians to refer to FOL sentences true in every model as universally valid.
• The term ‘tautology’ is often restricted to FOL formulae that can be obtained by taking a
tautology of PL and replacing the propositional letters with FOL sentences.
(28) Contradiction
Let ϕ be a sentence of FOL. ϕ is a contradiction iff for every model M [[ϕ]]M = 0
(29) Contingent
Let ϕ be a sentence of FOL. ϕ is contingent iff there are models M and M’ such that
[[ϕ]]M = 1 and [[ϕ]]M’ = 0.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) Consequences
• ϕ is a tautology (universally valid) iff ~ϕ is a contradiction
• ϕ is contingent iff ~ϕ is contingent
• Similarly, there is no purely mechanical procedure for calculating whether or not one
FOL sentence ‘entails’ another (defined below) or whether two sentences of FOL are
‘logically equivalent’ (defined below).
o Unlike PL, ‘you gotta use your noodle…’
• [[∀x~Px]]M,g = 1 iff
• For all a ∈ D, [[~Px]]M,g(x/a) = 1 iff
• For all a ∈ D, [[Px]]M,g(x/a) = 0 iff
• For all a ∈ D, a ∉ I(P) iff
• It is not the case that there is an a ∈ D s.t. a ∈ I(P) iff
• It is not the case that there is an a ∈ D s.t. [[Px]]M,g(x/a) = 1 iff
• It is not the case that [[∃xPx]]M,g = 1 iff
• [[∃xPx]]M,g = 0 iff
• [[~∃xPx]]M,g = 1
(33) Consequences
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(34) Consequence
The following two formulae are logically equivalent: ∃xPx and ~∀x~Px
Informal Statement:
If ϕ and ψ are logically equivalent, then replacing ϕ with ψ will have no effect on the
truth-value of a larger sentence.
Formal Statement:
Suppose that ϕ and ψ are logically equivalent, that ϕ is a subformula of χ, and that χ’ is
the formula just like χ, except that all instances of ϕ are replaced with ψ. It follows that χ
and χ’ are logically equivalent.
• Informally speaking, what (35) says is that if ϕ and ψ are logically equivalent, then
anything we can ‘express’ in FOL with ϕ, we can also ‘express’ with ψ
• From (34), it follows that anything we can ‘express’ in FOL with ‘∃’ we can express
with ‘∀’ and ‘~’.
• Consequently, we could drop ‘∃’ from our FOL system, leaving just ‘∀’ and ‘~’,
and still have an equally ‘expressive’ system
• In addition, we could simply view ‘∃’ as a special abbreviation for more complex
formulae:
∃vψ is ‘shorthand’ for ~∀x~ψ
• (We’ll make use of these ideas later, where they will come in handy for the
definitions of logical languages we use for the semantic analysis of English…)
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(37) Entailment
Let ϕ, ψ be a sentences of FOL. ϕ entails ψ if every model M such that [[ϕ]]M = 1 is also
such that [[ψ]]M = 1
Proof of Entailment:
Let M be any model <D, I> such that [[(∀xPx ∨ ∀xQx)]]M = 1. Let g be any variable
assignment based on M.
Now that we have this notion of ‘interpretation with respect to a model’, it becomes possible to
prove rigorously that our proof system for FOL is sound and complete!
(38) Soundness of PL
• If S ⊢ ψ, then S ⊨ ψ
• If S ⊢ ψ, then if M is a model for S, then [[ψ]]M = 1
(39) Completeness of PL
• If S ⊨ ψ, then S ⊢ ψ
• If every model M for S is also a model for ψ, then S ⊢ ψ
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on Propositional Logic and First Order Logic:
Formal Semantics 1
ϕ | ψ || (ϕ ↓ ψ)
1 1 0
1 0 0
0 1 0
0 0 1
1
Most of these exercises are taken from Gamut (1991), Volume 1: Chapter 2, Chapter 3
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(5) Proving Logical Equivalence for First Order Logic Sentences
Please show that the following pairs of formulae are logically equivalent.
a. ∀xPx ⊨ ∃xPx 2
b. ∃x(Px & Qx) ⊨ (∃xPx & ∃xQx)
c. ∃y∀xPxy ⊨ ∀x∃yPxy
2
Hint: Recall that the domain D of a model has to be a non-empty set.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Proving the Soundness and Completeness of Propositional Logic:
Some Highlights 1
b. We’ve given a formal semantics for PL notation, and used it to provide a (proper)
semantic definition of ‘valid inference’ in PL.
S⊨ψ
Soundness of PL:
If ψ can be derived from S in our natural deduction system for PL, then S entails ψ
• If S ⊢ ψ, then S ⊨ ψ
• If S ⊢ ψ, then if V is a valuation for S, V(ψ) = T
Completeness of PL:
If S entails ψ, then ψ can be derived from S in our natural deduction system.
• If S ⊨ ψ, then S ⊢ ψ
• If every valuation V of S is also a valuation of ψ, then S ⊢ ψ
• Before there were proper proofs, people were largely convinced that PL and FOL
were ‘complete’
o After all, anything anyone ever wanted to prove could be proved!
• The first proper proof that FOL is complete was Gödel’s PhD thesis (1929)
o It’s crazy complicated, and nobody teaches it anymore
• In his PhD thesis, Henkin (1949) hit upon a much simpler, and just plain cooler proof
o This is the one everybody teaches to this day…
1
These notes are based upon material in the following required readings: Gamut (1991), Chapter 4 pp. 148-155;
Crossley et al. (1972), Chapter 2; Partee et al. (1993) Chapter 8 pp. 225-227.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
For reasons of time, I won’t give the complete proof of either soundness or completeness:
• However, I will hit the ‘highlights’ of both…
• As we’ll see, the completeness proof is more involved, and more interesting!...
• Key Idea:
We can use (strong) induction to prove the following, which would prove (5):
I won’t give the entire inductive proof of (7), but I’ll give you the main gist…
The following are, technically speaking, proofs in our natural deduction system.
a. 1. p Assumption
b. 1. p Assumption
2. (q & r) Assumption
3. (s t) Assumption
• Proof (1a) consists of one single line. It terminates right after we add ‘p’ as an
assumption. Thus, {p} ⊢p (which intuitively should be the case)
• Proof (1b) has three lines. It terminates right after we add the third assumption
‘(st)’. Thus, {p, (q&r), (st)} ⊢(st) (which intuitively should be the case)
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(9) Proof of Soundness Theorem (7) By Strong Induction
• Given our system, the proof in question must be a ‘degenerate’ case like (8a),
where ψ is an Assumption.
b. Induction Step:
Let n ∈ ℕ be such that for all m < n, if S ⊢ ψ with a proof consisting of m lines,
then S ⊨ ψ.
• We’ll now show that if S ⊢ ψ with a proof consisting of n lines, then S ⊨ ψ.
• We’ll show this by considering all the ways that a proof consisting of (n-1)
lines can be extended to a proof consisting of n lines.
1. Adding an assumption ψ
2. Deriving ψ by Repetition
3. Deriving ψ by I&
4. Deriving ψ by E&
5. Deriving ψ by I∨
6. Deriving ψ by E∨
7. Deriving ψ by E
8. Deriving ψ by I
9. Deriving ψ by E~
10. Deriving ψ by I~
11. Deriving ψ by ~~
12. Deriving ψ by EFSQ
1. Adding ψ as an Assumption
Suppose that S ⊢ ψ with a proof consisting of n lines, where the final line has
‘Assumption’ as the justification. It follows that ψ ∈ S, and so S ⊨ ψ
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. Deriving ψ by Repetition
Suppose that S ⊢ ψ with a proof consisting of n lines, where the final line has
‘Repetition’ as the justification.
3. Deriving ψ by I&
Suppose that S ⊢ ψ with a proof consisting of n lines, where the final line has
‘I&’ as the justification.
4. Deriving ψ by E&
(Can be shown via an argument parallel to the one for I&)
5. Deriving ψ by I∨
(easily shown via an argument similar to those above)
6. Deriving ψ by E∨
(easily shown via an argument similar to those above)
7. Deriving ψ by E
Suppose that S ⊢ ψ with a proof consisting of n lines, where the final line has
‘E’ as the justification.
EXCEPT THAT: the steps for I and I~ rely upon a minor (trivial) lemma concerning
‘conditional proofs’…
2
After all, if there were a valuation V of S s.t. V(ψ) = 0, then since S ⊨ ϕ, this valuation would be s.t.V(ϕ ψ) =
0, and so S wouldn’t entail (ϕ ψ).
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(10) Important Note
As trivial as it is, this proof of the soundness of PL would not even get off the ground
without a clear, mathematically precise definition of what ‘entailment’ for PL is…
• And this requires a clear, mathematically precise definition of what an ‘interpretation’
of PL is…
The first crucial step to proving completeness is the ‘Key Lemma’ in (13).
• For reasons of time, I won’t review the demonstration here.
• Interested readers are referred to Gamut (1991), p. 150
The second crucial step to proving completeness is seeing how the ‘Consistency Theorem’ in
(14) would entail Completeness in (11)
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The third and most arduous step in the completeness is proof is proving (14).
And, the most arduous part of proving (14) is proving the lemma in (16)…
Note:
For those who are interested, proving (16) isn’t intellectually all that difficult. It just takes time to
correctly lay out the procedure for constructing S* from S….
Now that we have this huge set S*, we’re home free!
b. Claim:
The valuation V defined in (18a) is a valuation for S*.
The final step in the completeness theorem is proving the claim in (18).
• The proof will be by induction on the complexity of formulae…
Again, I won’t do the whole proof here, but I’ll review some key illustrative steps…
3
This set S* is commonly referred to as a ‘maximally consistent set’. Note, too, that since S* is consistent, ⊥ ∉ S*.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(19) Proof of the Model Existence Lemma
Claim:
Let V be the valuation defined in (18a). For any formula ϕ of PL, ϕ ∈ S* iff V(ϕ) = 1.
b. Induction Step:
Suppose that ϕ is a (complex) formula of PL, and that for any of its immediate
subformulae ψ ∈ S* iff V(ψ) = 1. We will now that that ϕ ∈ S* iff V(ϕ) = 1.
There are four cases to consider: ~, &, ∨,
1. ϕ = ~ψ
~ψ ∈ S* iff (by closure property in (16a))
ψ ∉ S* iff (by induction assumption)
V(ψ) = 0 iff (by definition of a valuation)
V(~ψ) = 1
2. ϕ = (ψ & χ)
(ψ & χ) ∈ S* iff (by closure property in (16b))
ψ ∈ S* and χ ∈ S* iff (by induction assumption)
V(ψ) = 1 and V(χ) = 1 iff (by definition of a valuation)
V(ψ & χ) = 1
a. Given the lemma in (16), we’ve shown that any consistent set S can be
‘expanded’ into a larger consistent set S* with the properties in (16a-d).
b. Given (18)-(19), we’ve shown that any such set S* with the properties in (16a-d)
has a valuation V.
c. Since V is a valuation for S*, and S ⊆ S*, it follows that V is a valuation for S.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(21) Taking Stock of What We’ve Done
• We’ve just seen how these notions have allowed us to prove that our syntactic proof
system for PL is a perfect syntactic characterization of validity in PL
• For the first time in human history, we’ve shown that we can indeed give a
perfect, purely syntactic characterization of what it means for an inference to be
valid (in a specified language)
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Key Applications of Model Theoretic Semantics for FOL:
Soundness, Completeness, Compactness, etc. 1
b. We’ve given a formal (model-theoretic) semantics for FOL notation, and used it
to provide a (proper) semantic definition of ‘valid inference’ in FOL.
S⊨ψ
In these notes, I’ll review some key applications of our model-theoretic semantics for FOL.
These results will provide further motivation for using ‘models’ as a mathematical
characterization of ‘interpretation’ for FOL…
Soundness of FOL:
If ψ can be derived from S in our natural deduction system for FOL, then S entails ψ
• If S ⊢ ψ, then S ⊨ ψ
• If S ⊢ ψ, then if M is a model for S, [[ψ]]M = T
Completeness of FOL:
If S entails ψ, then ψ can be derived from S in our natural deduction system.
• If S ⊨ ψ, then S ⊢ ψ
• If every model M for S is also a model for ψ, then S ⊢ ψ
• We simply extend the soundness proof of PL so that the induction step also
considers the cases where:
1
These notes are based upon material in the following required readings: Gamut (1991), Chapter 4 pp. 148-155;
Crossley et al. (1972), Chapter 2; Partee et al. (1993) Chapter 8 pp. 198-201.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Illustration of the Additional Steps for Proving Soundness of FOL
The following subcase can be added to the induction step in (9b) of the handout “Proving
the Soundness and Completeness of Propositional Logic”
13. Deriving ψ by I∃
Suppose that S ⊢ ψ with a proof consisting of n lines, where the final line has
‘I∃’ as the justification.
For reasons of time, I won’t walk through the other four additional cases…
Nevertheless, we can still see that this proof wouldn’t even get off the ground without our
formal, model-theoretic semantics for FOL…
a. Key Lemma:
Let S be a set of sentences in FOL. S ∪ {ψ} is inconsistent iff S ⊢ ~ψ
b. Consistency Theorem:
If S is a consistent set of sentences in FOL, then there is a model M of S.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Again, the most arduous step of the completeness proof is showing proving the Consistency
Theorem (4b)…
And the most difficult part of proving (4b) is proving the lemma in (5)…
Also, proving this lemma is much more involved for FOL than for PL.
Again, now that we have this huge set S*, we’re home free!...
2
Those who are intimately familiar with the completeness proof for FOL will know that I’m ‘fudging’ here on the
statement of Lindenbaum’s Lemma for FOL (since I’m not mentioning extending our FOL language by adding
infinitely many constants).
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
To prove the key claim in (7), and thus the Model Existence Lemma, we again do (strong)
induction on the number of logical operators in an FOL sentence…
• The proof is basically the same as that for PL; the only new and interesting steps come
with the atomic formulae and the quantificational formulae
Claim:
Let M be the model defined in (7a). For any natural number n, if ϕ is a sentence of FOL
with n logical operators, then ϕ ∈ S* iff [[ϕ]]M = 1.
b. Induction Step:
Let n be such that for all m < n, if ϕ is a sentence of FOL with m logical
operators, then ϕ ∈ S* iff [[ϕ]]M = 1. We will now show that if ϕ is a sentence of
FOL with n logical operators, then ϕ ∈ S* iff [[ϕ]]M = 1.
[[∃xψ ]]M = 1
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
a. Given the lemma in (5), any consistent set S of FOL sentences can be ‘expanded’
into a larger consistent set S* with the properties in (5a-f).
b. Given (7)-(8), any such set S* with the properties in (5a-f) has a model M .
c. Since M is a model for S*, and S ⊆ S*, it follows that M is a model for S.
Thus, any consistent set of FOL sentences has a model M. QED (4b).
In the Henkin proof of FOL’s completeness, we construct a model structure directly from
the set of FOL sentences S*.
Thus, the very nature of models themselves – objects of the form <D, I> - factor into the
central core step of the proof.
• We’ve just seen how this notion has allowed us to prove that our syntactic proof
system for FOL is a perfect syntactic characterization of validity in FOL
• For the first time in human history, we’ve shown that we can indeed give a
perfect, purely syntactic characterization of what it means for an inference to be
valid (in a specified language)
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. Some Other Important Results of our Model Theoretic Semantics
a. The Challenge:
If all we have is the natural deduction system, if S ⊢ ⊥, then we can eventually
show that (we’ll have the proof). But if S ⊬ ⊥, there’s no way to conclusively
show this (in finite time) with just the natural deduction system.
b. The Solution:
• Given soundness, if S ⊢ ⊥, then S ⊨ ⊥, and so there is no model M for S.
• Thus, with our model theoretic semantics, we can show that S is
consistent (S ⊬ ⊥) by devising a model for S!
a. The Challenge:
Again, if all we have is the natural deduction system, there’s no way to
conclusively show (in finite time) that S ⊬ ϕ.
b. The Solution:
Given soundness again, if S ⊭ ϕ then S ⊬ ϕ. Therefore, if we can show that that
there is a model M of S such that [[ϕ]]M = 0, we’ve shown that S ⊬ ϕ.
For centuries, mathematicians struggled to show whether the fifth axiom of Euclid’s
geometry was ‘independent’ of the other axioms (or not).
• People tried to derive contradictions from the negation of the fifth axiom, but couldn’t
succeed.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) Compactness Theorem
a. Claim:
A set of FOL sentences S has a model iff every finite subset of S has a model.
b. Proof:
(i) If S has a model, then of course every finite subset does (duh).
(ii) Suppose S doesn’t have a model.
• Thus, S⊨⊥ and so by completeness, S⊢⊥.
• Since derivations are finite, it follows that there is some finite subset
S’ ⊆ S such that S’⊢⊥.
• Thus, by soundness, S’⊨⊥, and so S’ doesn’t have a model.
• Thus, not every finite subset S’ ⊆ S has a model.
The theorem in (14) is a powerful tool in advanced meta-logic and model-theory, since it allows
for easier proofs that certain infinite sets of sentences are consistent…
The theorems in (15) entail that – although sentences of FOL can ‘say’ that there are infinitely
many things – they cannot say whether that infinity is countable or not…
• Some philosophers (Putnam) have also tried to connect (15) with philosophical problems
relating to the nature of reference and meaning…
Lindstrom’s Theorem provides a powerful tool for showing that a given logical system – no
matter how superficially different from FOL it is – is ultimately just a notational variant of FOL.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Models Beyond First Order Logic
• Throughout the 50s and 60s, logicians developed model-theoretic semantics for logical
systems beyond FOL.
♢(p & ☐q) ‘it’s possible that p and it’s necessary that q’.
a. Syntax: PL/FOL + the unary sentence connectives P ‘it was the case that’
and F ‘it will be the case that’
F(p & Pq) ‘it will be the case that p and it was the case that q.
a. Syntax: FOL + variables over n-ary relations (for every natural number n)
∀P (Pab Pbc)
‘every relation that holds between a & b also holds between c & b’
‘It was once possible that Dave would have something in common with Mary’
P♢F∃P (Pd & Pm)
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• For most of the 20th century, it was commonly held that there is a fundamental
difference between natural languages and artificial languages (like FOL).
• This difference in type was held to entail that the mathematical tools for
analyzing artificial languages could not be applied to natural languages.
• But, if we could give a model theoretic semantics for NL, that would
weaken the idea that there is such a fundamental division (Montague)
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(22) Another, Partisan Comment
• When we semanticists lay out a model theoretic semantics for a natural language, we
thereby specify what (some of) the valid inferences in that language are.
o Under any model theoretic semantics, some sentences will end up being
predicted to be true whenever some other (set of) sentences are…
• Moreover, in as much as the theory is truly rigorous and formal, these predictions
can be calculated without any understanding of the (object) language itself.
Thus, we semanticists are the true inheritors of the original Artisotelian logical program:
providing a formal/predictive characterization of valid inference for (natural) language.
Alas, in the world of the late 50s and early 60s, the following were some obvious
roadblocks to developing such a program for natural language semantics…
• Sentences like the following are semantically ambiguous, but they don’t seem
(at first glance) to be syntactically ambiguous.
• But who in the world understands English grammar well enough to give a
recursive formal syntax for English?
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
c. The Ungodly Complexity of the Syntax/Semantics Interface in NL
The main reason why people were so pessimistic about a formal semantics for
natural language is that there just seemed to be so many puzzles about the
syntax/semantics interface in natural language.
• This sentence doesn’t mean the same thing as ‘every boy sings or
every boy dances’.
• Thus, this isn’t a case of two conjoined sentences with ellipsis.
• So, ‘or’ must join together the two VPs directly…
• BUT HOW IS THAT POSSIBLE, IF IT ALSO JOINS TOGETHER
TWO SENTENCES?
Of course, Montague (1974) showed how the issues in (23a-c) can be solved…
To see how he did this, though, we need to start with ALGEBRA…
11
Unit
3:
Algebras
and
Semantics
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Algebraic Perspective on Propositional Logic:
The First Steps Towards Montague Grammar 1
• Many of the key ideas underlying Montague’s general semantic program stem from an
‘algebraic’ perspective on logic and its formal semantics.
• However, it will require us to first make some superficial revisions to our syntax and
semantics for PL and FOL.
a. If ϕ is a string in the vocabulary of PL which is in the set WFF, then the following
is also in WFF: The result of concatenating the symbol ‘~’ and the string ϕ
b. If ϕ and ψ are strings in the vocabulary of PL which are in the set WFF, then the
following is also in WFF: The result of concatenating ‘(’, ϕ, ‘&’, ψ and ‘)’.
c. If ϕ and ψ are strings in the vocabulary of PL which are in the set WFF, then the
following is also in WFF: The result of concatenating ‘(’, ϕ, ‘∨’, ψ and ‘)’.
d. If ϕ and ψ are strings in the vocabulary of PL which are in the set WFF, then the
following is also in WFF: The result of concatenating ‘(’, ϕ, ‘’, ψ and ‘)’.
1
These notes are based upon material in the following required readings: Partee et al. (1993) Chapter 9, Chapter 13
pp. 331-336. In addition, students are highly encouraged to begin reading Halvorsen & Ladusaw (1979) and Dowty
et al. (1981) Chapter 8, and to start gradually working through Montague’s original “Universal Grammar” paper.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Just for fun – but with big implications for later – let’s introduce the ‘syntactic operations’
below:
With all this in place, we can offer the following equivalent restatement of the syntax of PL:
(5) Vocabulary
Let A be a set, and f be an n-ary function. We say that A is closed under f if
(6) Observation
The set WFF defined in (4) is closed under the operations Not, And, Or, and If.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(7) Abstracting Even Further
If we wanted to – and we will want to later on – we could schematically represent each of
the ‘syntactic rules’ in (4b-e) as the following tuples:
• Syntactic Operations (Neg, And, Or, If) freely apply to any strings of symbols, and
output strings that aren’t necessarily part of the language we want to define.
• Syntactic Rules (7b-e) make use of the syntactic operations to define categories of
strings in the vocabulary, i.e., syntactic categories (e.g. ‘WFF’)
Now, recall our formal definition of a ‘valuation’ for Propositional Logic, below:
Again, just for fun – but with big implications for later – let’s introduce the following ‘semantic
operations’:
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(10) Semantic Operations Over {1,0}
The following operations (functions) take as input elements of either {1,0} or {1,0}2:
We can use the semantic operations in (10) and the syntactic operations in (3) to provide the
following re-statement of what a valuation is…
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. Prolegomena, Part 2: A New Presentation of FOL
We’ll also slightly alter our presentation of FOL in a manner similar to what we just did for PL...
• Recall our earlier definition below:
b. If ϕ, ψ ∈ WFF, then
1. ~ϕ ∈ WFF
2. (ϕ & ψ) ∈ WFF
3. (ϕ ∨ ψ) ∈ WFF
4. (ϕ ψ) ∈ WFF
For our first minor change, we’ll slightly alter the syntax of the atomic formulae.
Now, let’s expand the syntactic operations in (3) by adding the following…
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
With these syntactic operations, we can restate our definition of WFF in FOL as follows:
The set of ‘well-formed formulae’ of PL, WFF, is the smallest set such that:
We could also use our schematic notation in (7) to provide the following even more compact
presentation of the rules in (16b)-(16g).2
2
Rule (16a) won’t be schematically representable in this way until we’ve made one last change, to come later.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Given our new notation for atomic formulae and our semantic operations in (10), we’ll make a
slight change to our definitions of ‘model’ and ‘valuation w.r.t. a model and variable assignment’
b. A function I, whose domain is the individual constants and predicate letters, and
whose range satisfies the following conditions:
Note:
We are now interpreting predicate letters not as subsets of D or relations on D, but as the
curried characteristic functions of such sets and relations.
Let M be a model <D,I> and g be a variable assignment (based on M). Then the
‘valuation based on M and g’ (VM,g) is a function whose domain is the set of FOL
formulae, whose range is {0,1}, and which satisfies the conditions below:
3
Note that if I(Φ) is the curried characteristic function of R, then this is equivalent to saying < [[α1]]M,g , ...,
[[αn]]M,g)> ∈ R, as in our original definition of a valuation based on M and g.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(20) Illustration of the New Definition
Rajesh Angelika 0
Rajesh 0
Seth 1
Seth Angelika 0
Rajesh 0
Seth 0
• 1
4
Note that we are again basically interpreting ‘F’ as “is French” and ‘P’ as “is older than”.
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Algebras and Morphisms: The Key Concepts
Various advances in algebra in the 18th and 19th century lead mathematicians to develop a highly
general and abstract definition of what a system of ‘algebra’ is.
An algebra is a tuple < A, f1, … fn > consisting of a set A together with one or more
operations (functions) f1, … , fn, where A is closed under each of f1, … , fn.
• Note: The operations f1, … , fn don’t have to be of the same arity, but they must be of
some finite arity.
a. < ℕ, +, × >
o The natural numbers are closed under addition and multiplication
Note: This is not an algebra: < ℕ, +, ×, – >, since ℕ isn’t closed under subtraction
b. < ℤ, +, ×, – >
o The integers are closed under addition, multiplication, and subtraction
Note: This is not an algebra: < ℤ, +, ×, –, ÷ >, since ℤ isn’t closed under division.
c. < ℚ, +, ×, –, ÷ >
o The rationals are closed under addition, multiplication, subtraction, division
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(23) Key Observation
The algebras < {1,0}, Conj, Disj > and < {{a}, ∅}, ∩, ∪ > are intuitively ‘similar’
If you apply bijection h to the result of fi applied to a1 through am, you get the same thing
in B as you’d get if
You applied the bijection h to a1 through am to get a sequence b1 through bm
You then applied the corresponding function gi in B to b1 through bm
o And so we see how the isomorphism h entails that the structure of the algebra
A is ‘mirrored’ in the algebra B
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(25) Illustration
The algebras < {1,0}, Conj, Disj > and < {{a}, ∅}, ∩, ∪ > are isomorphic.
In addition to the notion of ‘isomorphism’ in (24), there’s also a weaker notion of ‘similarity’
between algebras, that of ‘homomorphism’.
Note:
A homomorphism differs from an isomorphism in that the former need not be an injection or a
surjection; it can map two different things in A to the same thing in B, or there could be things in
B that nothing in A gets mapped to…
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) Key Illustration
The algebras < WFFPL , Not, And, Or, If > and < {1,0}, Neg, Conj, Disj, Imp > are
homomorphic.
Demonstration:
Assume the correspondence Not ~ Neg, And ~ Conj, Or ~ Disj, and If ~ Imp.
Let V be any valuation, as defined in (12).
A valuation V: WFFPL {1,0} is a homomorphism from < WFFPL , Not, And, Or, If >
(‘syntactic algebra) to < {1,0}, Neg, Conj, Disj, Imp > (‘semantic algebra’)
One of the crucial insights of Montague was to generalize from (28) in the following way…
Let the language of PL be the algebra L = < WFFPL , Not, And, Or, If >. An interpretation
of PL is a structure < B, f1, f2, f3, f4, h> such that:
However, as shown below, the notion of ‘interpretation’ is more general than that of ‘valuation’
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(31) An Interpretation That is Not Based on Valuations
Let h: WFFPL P({a,b,c}) be a function from WFFPL to the powerset of {a,b,c} with the
following key properties: 5
Key Consequence:
The structure < P({a,b,c}), ´, ∩, ∪, IMP, h > is an interpretation of PL.
We could view an interpretation like < P({a,b,c}), ´, ∩, ∪, IMP, h > as being one in which the
WFFs of PL are mapped to the ‘possible worlds’ in {a,b,c} where they are true…
Finally, we can (try to) generalize the notion of ‘interpretation’ in (29) to any language…
Let L = < A, f1, …, fn > be a ‘syntactic algebra’ for a given language. An interpretation of
L is a structure < B, g1, …, gn, j> such that:
If B = <B, g1, …, gn, j> is an interpretation of L, then the meaning assignment for L
determined by B is the unique homomorphism h from L to <B, g1, …, gn> such that j ⊆ h.
5
That such a function exists can be shown by giving a concrete example. Students familiar with modal
propositional logic will be familiar with many such concrete examples.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(33) Semantics and Homomorphism: The Intuitive Relation
b. Key Observation:
(33a) basically says that interpretation is homomorphism from syntax to meaning
• Finally, you input [[ψ]], [[χ]] into a semantic rule SemR that ‘corresponds’ to
the syntactic rule SynR
Syntax: Semantics
ψ χ [[ψ]] [[χ]]
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
5. Moving Beyond Propositional Logic: The Key Challenges
If the definition in (32) is truly viable, then all we need to do to provide a semantics for a
language L is the following:
• Find a structure < B, g1, …, gn, j> that satisfies the key properties of being an
‘interpretation’ of the language.
Thus, in order for the general semantic program embodied in (32) to be viable, we must be able
to characterize every (semantically interpreted) language as a syntactic algebra…
• Given our presentation in (16), the key syntactic operations forming the WFFs of
FOL are: Concat, Not, And, Or, If, Ext, All.
• However, the structure < WFFFOL, Concat, Not, And, Or, If, Ext, All > is not an
algebra!
Main Issue:
In PL, applying any of the syntactic operations to a WFF creates a WFF. This just
isn’t the case for FOL
The Solution:
We’ll need to augment what we mean by an ‘algebraic characterization’ of a
language, and thus the definition in (32).
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on Syntactic Operations, Semantic Operations, and Homomorphisms
b. (((p ∨ r) q) ∨ s)
a. ∀x((Px) ∃y((Lx)y))
b. ∃z(((Ra)z) ∨ ~((Ra)z))
c. ((Ab) ∨ ~∃x(Ax))
a. DP D NP
b. PP P NP
c. NP A NP
d. S NP VP
e. How could we capture the following PS rule using this ‘triplet’ notation? Please
do not in any way alter the notation:
VP V (NP)
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Our New Definition of a Model
Let M be a model <D,I> as defined in the handout “First Order Logic: Formal Semantics
and Models”, where D = { a, b, c }, and I consists of at least the mappings below:
I(P) = { x : x ∈ D and x is a vowel }
I(Q) = { <x,y> : x,y ∈ D and x precedes y in the alphabet }
a. Please convert M into a model as defined in (18) on the handout “An Algebraic
Perspective on Propositional Logic.” That is, state what D and I should be under
the new definition in (18).
b. Please use the new definition of ‘valuation’ in (19) on the handout “An Algebraic
Perspective on Propositional Logic” to show how the converted model M assigns
truth-values to the following formulae.
(i) ∃x(Px)
(ii) ∀x∃y((Qy)x)
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Algebraic Perspective on the Syntax of First Order Logic (Without Quantification) 1
• Based on our algebraic semantics for PL, we were lead to the (preliminary)
generalization in (2) below.
• However, its not possible to directly extend this conception of interpretation to FOL:
o Unlike PL, the structure < WFFFOL , Concat, Not, And, Or, If, Ext, All > is not
an algebra, because WFFFOL isn’t closed under those operations…
Let L = < A, f1, …, fn > be a ‘syntactic algebra’ for a given language. An interpretation of
L is a structure < B, g1, …, gn, j> such that:
If B = <B, g1, …, gn, j> is an interpretation of L, then the meaning assignment for L
determined by B is the unique homomorphism h from L to <B, g1, …, gn> such that j ⊆ h.
• In a ‘syntactic algebra’ for L, < A, f1, …, fn >, the set A can be a strict superset of the
well-formed sentences of the language.
• For FOL, we’ll construct an algebra < A, Concat, Not, And, Or, If, Ext, All > such
that WFFFOL ⊂ A.
• We’ll then see how we can define/characterize WFFFOL in terms of this algebra (with
a few added formal ingredients)
• In the next notes, we’ll build an algebraic semantics for WFFFOL from these tools
1
These notes are based upon material in the following readings: Halvorsen & Ladusaw (1979), Dowty et al. (1981)
Chapter 8, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
We’ll construct WFFFOL from < A, Concat, Not, And, Or, If, Ext, All > by using a
‘generate and filter’ approach not too unlike classic GB:
• In the algebra < A, Concat, Not, And, Or, If, Ext, All >, A will contain all the WFF’s
of FOL, but also a whole bunch of ‘syntactic garbage’ (e.g., (P & a), ~x, etc.)
• We’ll then show how syntactic rules function as a kind of filter over A (in the GB
sense), separating out the WFFs from the ‘syntactic garbage’.
• We’ll use these rules (‘syntactic filters’) to formally define that subset of A which is
the well-formed formulae of FOL.
• In the next notes, we’ll make a minimal change to (2) so that it will straightforwardly
extend to the complex system consisting of the algebra and these ‘filters’.
o Thus, our ‘algebraic semantics’ will interpret – not only the WFFs of
FOL – but also all the syntactic garbage (!!!)
As always, though, to make our lives easier, we’ll start out by considering only the set of
sentences of FOL that don’t have any quantifiers.
We’ll also assume a minimal set of sentence connectives (&, ~)…
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. An Algebraic Characterization of WFFFOL-NoQ
In this section, we’re going to show how the set WFFFOL-NoQ can be characterized in terms of a
syntactic algebra. There will be six major steps:
3. Using the Category Labels to Define the ‘Basic Expressions’ of FOL-NoQ (i.e.,
the non-logical constants)
5. Using the Syntactic Rules and the Basic Expressions (non-logical constants) to
Obtain the Syntactic Categories of FOL-NoQ
Note:
As we’ll see, the resulting system generating WFFFOL-NoQ can be viewed as a kind of abstract
mathematical characterization of ‘what’s going on’ in recursive definitions like (5).
(7) Remarks
a. WFFFOL-NoQ ⊆ A
• Anything in WFFFOL-NoQ can be created by iterated application of Concat, Not,
And to the predicate letters and individual constants.
b. WFFFOL-NoQ ≠ A
• A includes such ‘syntactic garbage’ as (P & a), ~x, (ab).
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(8) a. Question:
Since WFFFOL-NoQ ⊆ A, why not equate FOL-NoQ with the algebra <A, Concat,
Not, And>, like we did for PL?
b. Answer:
There’s not enough ‘information’ in <A, Concat, Not, And> alone to
construct/define the set WFFFOL-NoQ
• But, if we paired this algebra with some other formal devices that could be
used to construct/define WFFFOL-NoQ …
This will probably become a bit clearer to you once you actually see how we do this…
a. Syntactic Categories
We can view the ‘syntactic categories’ of a given language sets of strings in the
vocabulary of that language.
Illustration:
• We could say that the category ‘NP’ in English is the set of strings { dog,
student of history, ugly man with a telescope, big funny book about bees, … }
• We could say that the category ‘VP’ in English is the set of strings { runs, ate
a pickle, laughs in the face of danger, always sings horribly, …}
Illustration:
o CNP, CN, CVP, CN, CV, CPP, CP, CDP, CD, CS, CAP, CA, …
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
We’re now going to define a set of syntactic category labels and syntactic categories for FOL…
These will later be used to define a set of syntactic rules that can be used to ‘extract’
WFFFOL-NoQ from the set A….
The category labels will be very familiar to the semanticists…
a. e∈T
o This is the category label for expressions denoting ‘entities’; i.e., the terms
b. t∈T
o This is the category label for things denoting ‘truth-values’; i.e., the WFFs.
We can use these sets Xδ in conjunction with the syntactic rules (to be defined below) to
generate the full set of categories Cδ for the language.
2
This would be ‘anaphoric one’ in English, which some analyze as an NP pronouns (e.g. ‘a student of chemistry
from France, and one from Germany’).
3
This would be the VP-proform ‘so’, that appears in sentences like ‘Mary went to the park, and Frank did so too’.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(12) The Basic Expressions of FOL-NoQ
b. X<e, …, t > = The set of n-ary predicate letters, where n = the number of times e
appears in the category label X<e, …, t >
Note: This states that our ‘lexicon’ for FOL-NoQ contains (i) individual constants, and (ii) n-
ary predicate letters for every n ∈ ℕ, but nothing else. (i.e., the non-logical constants)
Another important use of the syntactic category labels is in stating syntactic rules. Recall the
syntactic rules that we had constructed for PL and FOL in the last handout.
Recall that the WFFs of FOL-NoQ are going to be of category t. We could then rewrite the key
rules in (13a,b) as follows:
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Finally, in addition to the rules in (14a,b), let’s also add every rule of the general form in (15c),
where σ, τ ∈ T.
IMPORTANT NOTE:
(15c) is a kind of ‘meta-rule’, a short hand for representing an infinite set of rules. It
encompasses all the following (concrete) rules:
2.5 Using the Rules and Basic Expressions to Generate the Syntactic Categories
With our basic expressions in (12) and our syntactic rules in (15), we can define the syntactic
category Cδ for every category label δ.
a. Xτ ⊆ Cτ
b. If (i) < f , < σ1, …, σn>, τ > is a syntactic rule, and (ii) ϕ1, …, ϕn are such that
each ϕi ∈ Cσi, then f (ϕ1…ϕn) ∈ Cτ
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In plain English, the (full) category Cτ will contain all the basic (lexical) expressions of that
category, as well as all the complex expressions of that category that you can create from the
syntactic rules!
• Note, then, that the definition in (16) is simply a formal, mathematically precise
statement of how we’ve been informally reading rules like (15).
c. If a,b are individual constants, then a,b ∈ Xe (12a), and so a,b ∈ Ce (16a).
e. If Q is a binary predicate letter, and a,b are individual constants, then ((Qa)b) ∈ Ct
Q ∈ C<e,<e,t>> (17b)
a,b ∈ Ce (17c)
< Concat < <e, <e, t>>, e >, <e,t> > is a rule (15c)
Concat(Q,a) ∈ C<et> (16b)
(Qa) ∈ C<et>
< Concat < <e, t>, e >, t > is a syntactic rule (15c)
Concat((Qa),b) ∈ Ct (16b)
((Qa)b) ∈ Ct
g. If P is a unary predicate letter, Q is a binary predicate letter, and a,b are individual
constants, then (((Qa)b) & ~(Pa)) ∈ Ct
~(Pa) ∈ Ct (17f)
((Qa)b) ∈ Ct (17e)
< And, <t, t>, t> is a syntactic rule (15b)
And(((Qa)b), ~(Pa)) ∈ Ct (16b)
(((Qa)b) & ~(Pa)) ∈ Ct
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(18) Introducing (Montagovian) Analysis Trees
o A handy way of representing calculations like those in (17a-g) is through the use of
trees of form in (18a).
o These trees represent how a particular syntactic rules works to create an expression of
a particular category.
ϕ1 … ϕn ‘Inputs’ to Rule
b. Illustrations
(i) < (Pa), Concat >
P a
Q a
Q a P a
Note: Although these are superficially similar to PS trees, they are importantly different, in that
the non-terminal nodes do not list the category of the resulting expression, but rather the
syntactic operation used to obtain it…
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2.6 Putting It All Together: Defining WFFFOL-NoQ in Terms of these Ingredients
That is, we can take our syntactic algebra < A, Concat, Not, And > and obtain that subset
of A equal to WFFFOL-NoQ by adding:
Given the definition in (16) for creating Cτ from these ingredients (for every τ ∈ T), we
are able to obtain the set Ct = WFFFOL-NoQ
Thus, if we add the ingredients in (19a,b,c) to our syntactic algebra <A, Concat, Not, And>,
we will have ‘enough information’ to obtain the set WFFFOL-NoQ...
…Thus, given the comment in (8b), we could abstractly characterize FOL-NoQ as in (20)
The language FOL-NoQ is the structure < A, Concat, Not, And, Xτ, S, t >τ ∈ T , where:
d. t is the category label τ such that Cτ is the set of WFFs of FOL-NoQ (19).
Again, we’ve seen how the elements of the structure < A, Concat, Not, And, Xτ, S, t >τ ∈ T can
be used to obtain WFFFOL-NoQ
o For this reason, we are now justified in equating FOL-NoQ with this structure.
o Note that < A, Concat, Not, And, Xτ, S, t >τ ∈ T is not actually itself an algebra. Rather, it
contains an algebra as one of its proper parts.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Generalizing Our Treatment of FOL-NoQ to All Languages
In Montague Grammar, our method for defining FOL-NoQ by means of a ‘syntactic algebra’ is
generalized to all languages, in (approximately) the following way.
o Note: the set Γ is an index set, used to index the (syntactic) operations in the
(syntactic) algebra < A , Fγ >γ ∈ Γ
o Note: The set Δ is the set of category labels, being used to index each of the
set of ‘basic categories’ (lexical items) Xδ
o Note: The conditions in (i) and (ii) are what give us that < A , Fγ >γ ∈ Γ is a
‘syntactic algebra’, where A contains all the well-formed structures of the
language L (as well as a ton of junk).
c. S is a set of sequences of the form < Fγ , < δ1, …, δn >, δ >, where γ ∈ Γ, Fγ is an
n-ary operation, and δ1, …, δn, δ ∈ Δ
d. δ0 ∈ Δ
o Note: δ0 will be the category label of the ‘sentences’ of L.
o Note: Given that a language L is often characterized as a ‘set of
sentences’, this element δ0 will allow us to define such a set L
given our structure above.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Key Observation:
Our ‘algebraic characterization’ of FOL-NoQ in (20) is a specific instance of the general kind of
structure in (21).
With the general definition in (21) at our disposal, we can also offer the following general
definition of what it is to be a ‘syntactic category’ of the language L.
o Note: This means that the members of CAT are the sets Cδ , for all δ ∈ Δ
b. Xδ ⊆ Cδ , for all δ ∈ Δ
o Note: This means that for every category label δ ∈ Δ, the category Cδ
contains all the ‘basic expressions’ (lexical items) of that category.
c. If the sequence < Fγ , < δ1, …, δn >, δ > ∈ S, and ϕ1, …, ϕn are such that ϕi ∈ Cδi,
then Fγ(ϕ1…ϕn) ∈ Cδ
o Note: This says that Cδ will contain – not just the basic expressions
lexical items Xδ - but also all the expressions of category δ you can
generate via the syntactic rules.
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. Applying Our Definition of a ‘Language’ to (a Fragment of) English
If (21) truly is a viable definition of what a ‘language’ is, then it should be possible to represent a
natural language, like English, as such a system.
o In this section, we’ll show that this is possible for a subpart (fragment) of English,
roughly corresponding in its expressive power to FOL-NoQ
b. One early and perennial criticism of Montague Grammar was its accompanying
theory of syntax, stated in (21).
c. Note, though, that the intellectual motivation behind Montague’s theory of syntax
was completely different from that of generative linguists.
Thus, it’s a feature – not a bug – that his system of syntax doesn’t
(necessarily) capture generalizations regarding the structure of human
languages.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) The Syntactic Operations
a. Merge:
Binary operation that maps two strings ‘x’, ‘y’ to the string ‘x y’
b. AndE
Binary operation that maps two strings ‘x’, ‘y’ to the string ‘x and y’
c. NotE
Unary operation that maps a string ‘x’ to the string ‘it is not the case that x’
Illustration: NotE( Barack smokes ) = It is not the case that Barack smokes
The language ‘Mini-English’ is the structure < A, Merge, AndE, NotE, Xδ , SE, S > δ ∈ Δ
such that:
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) Some Remarks
c. The set A also contains a whole bunch of ‘syntactic garbage’ (smokes loves, it is
not the case that Mitt, Michelle Barack, etc.)
d. We can use the rules in SE and the general definition in (22) to generate the
syntactic categories Cδ of English.
As with FOL-NoQ, we can use ‘analysis trees’ as a handy way of
representing the calculations (31).
e. Note that given rule (28a) the string loves Michelle is the same category (IV) as
the intransitive verb smokes.
This is a recurring idea in Montague’s papers and other early MG works
That is, Montague and others don’t distinguish syntactically between
‘VPs’ and single intransitive verbs.
I believe the main reason for this is that – from their perspective – this
is more elegant than having an extra rule converting all IVs to VPs…
loves Barack
< Barack smokes and it is not the case that Mitt smokes, AndE >
< Barack smokes, Merge > < It is not the case that Mitt smokes, NotE >
Mitt smokes
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Montague’s General Theory of Semantics 1
Last time, we motivated and illustrated the following general definition of what a ‘language’ is:
Given this (re)definition of what a ‘language’ is, we must now slightly revise our earlier
definition of what an ‘interpretation’ of a language is.
a. < B, Gγ >γ ∈ Γ is an algebra with the same number of operations as < A , Fγ >γ ∈ Γ
Note: This is basically already represented in the fact that that the operations Gγ
and Fγ are indexed by the same set Γ
Note: f is a function from the basic expressions (lexical times) to some meanings.
Thus, f represents the ‘lexical semantics’ of our language, and so is like the
function ‘I’ in a model <D, I>.
1
These notes are based upon material in the following readings: Halvorsen & Ladusaw (1979), Dowty et al. (1981)
Chapter 8, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The meaning assignment for L determined by B is the unique homomorphism g from the
syntactic algebra < A , Fγ >γ ∈ Γ to the semantic algebra < B, Gγ >γ ∈ Γ such that f ⊆ g
b. Under the definitions in (2) and (4), we still conceive of ‘meaning’ (i.e.,
semantics) as a homomorphism from a syntactic algebra to a semantic one.
c. Under these new definitions, however, a meaning assignment g will also map all
the ‘syntactic garbage’ in A to some kind of meanings in B.
o Since the set of all and only the well-formed expressions of a language
don’t generally form an algebra…
o In the general case, the ‘syntactic algebra’ for a language will contain
a bunch of ‘syntactic garbage’.
We’ll now illustrate the definitions in (2) and (3) by describing a general class of interpretations
for FOL-NoQ, as well as some specific instances of this class…
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. Towards The Notion of a ‘Fregean Interpretation’
In his classic paper ‘Universal Grammar’, Montague introduces the term ‘Fregean Interpretation’
as a label for a specific kind of ‘interpretation’, as defined in (2).
• It’s a very complex definition, and we’ll begin to get a handle on it by introducing a core
sub-part of it for our language of FOL-NoQ
(ii) X<e, …, t > = The set of n-ary predicate letters, where n = the number of
times e appears in the category label X<e, …, t >
Illustrative Members of Ct :
(((Qa)b) & ~(Rc)) ~(~(Ab) & ~((Sc)d)) ~(((Tg)b) & ~(Lg))
We’ll begin by defining a family of sets that will serve as the semantic values in a ‘Fregean
interpretation’
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) The Set of ‘Possible Denotations’ (To be Revised)
Let T be the set of types and E be some non-empty set (of entities). The set Dτ, E of
denotations of type τ based on E is defined as follows:
(i) De,E = E
(ii) Dt,E = { 0, 1 }
(iii) If σ, τ ∈ T, then D<σ,τ>,E = the set of functions from Dσ ,E to Dτ,E
= Dτ,EDσ,E
Illustration: Let E = { Michelle, Barack, Mitt }.
Dt,E = { 0, 1 }
The family of sets defined in (6) will be a key ingredient in the definition of a ‘Fregean
Interpretation’ of FOL-NoQ…
The second key ingredient will be the semantic operations defined below…
With these ingredients, we can now make a first attempt at defining what a ‘Fregean
Interpretation’ of FOL-NoQ is…
2
Note that GConcat is basically an operation of ‘function application’.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(8) Fregean Interpretation of FOL-NoQ (To Be Substantially Revised)
Let E be a set (of entities). A Fregean Interpretation of FOL-NoQ based on E is an
interpretation of FOL-NoQ < B, Gγ , f >γ ∈ {Concat, Not, And} such that
• According to our definition in (2), in order for < B, Gγ , f >γ ∈ {Concat, Not, And} to be an
‘interpretation’, < B, Gγ >γ ∈ {Concat, Not, And} must be an algebra.
• However, if B = ∪τ∈T Dτ, E , then it isn’t closed under GConcat, GNot, GAnd
o GNot, GAnd are only defined for elements of B that are in Dt,E
o GConcat is only defined for pairs α, β such that α ∈ D<σ, τ>, E and β ∈ Dσ, E,
• Thus, there has to be ‘meanings’ in B that this syntactic garbage gets mapped to
• For example, since GNot, and FNot would ‘correspond’ in the homomorphism, we
need to have it that for an individual constant ‘a’ where f(a) = α ∈ De, E
g( ~a ) =
g(FNot(a)) =
GNot(g(a)) =
GNot(f(a)) =
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(11) Incorporating ‘Semantic Garbage’ Into Our System
What is ‘semantic garbage’, however? And how do we incorporate it into our system?
• Halvorsen & Ladusaw (1979) have some more focused discussion of the matter, but
they also leave the nature of the ‘semantic garbage’ entirely open (and cryptic).
• For better or worse, the following is my own proposal: we are going to slightly
redefine De so that it contains a special element ‘garbage’
o We are then going to redefine the operations Gγ in light of this…
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) Illustration of These Definitions
Let f be the <et> function { <Barack, 0>, <Michelle, 1> }3
With the formalization of ‘semantic garbage’ in (12) and (13) at hand, we can now properly
define a ‘fregean interpretation’ for FOL-NoQ…
a. B = ∪τ∈T Dτ, E
Note: Again, the set B of semantic values is the union of all the denotations of
type τ based on E.
Note: This definition now makes use of the revised definition in (12), which adds
the special element garbage to De, E
Note: Under the new definitions in (13), B is closed under GConcat, GNot, GAnd
3
Technically speaking f must also now be defined for garbage. We can simply assume that f(garbage) = 0 for all
<et> functions f. Similar such assumptions can be made for functions of the other types. From this point on, we’ll
simply ignore garbage in our specifications of the denotations of the basic lexical items.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) A Concrete Instance of a Fregean Interpretation of FOL-NoQ
Let the set S = { Michelle, Barack, Mitt }. Let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be the
Fregean interpretation based on S, such that f contains the following mappings:
a. f(a) = Michelle
b. f(b) = Barack
c. f(c) = Mitt
d. f(P) = h = { <Michelle, 0>, <Barack,1>, <Mitt,0> }
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
Note: We’ve basically interpreted ‘P’ as the property ‘is president’, and we’ve
interpreted ‘Q’ as the relation ‘x is loved by y’.
We can now use the ‘meaning assignment g determined by B’ to interpret formulae in our FOL-
NoQ language!...
4
Note that by the definition in (3), f ⊆ g, and so if α ∈ X then g(α) = f(α).
τ
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(18) Using the Fregean Interpretation in (16) to Interpret Sentences of FOL-NoQ
Let g be the meaning assignment for FOL-NoQ that is determined by B in (16).
(vi) GAnd( GConcat(GConcat( f(Q), f(a) ), f(b)), GConcat( f(P), f(b) ) ) = (by definition of f)
(vii) garbage
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Fregean Interpretations and Models of FOL-NoQ
• In the last set of notes, we developed the general definition of ‘language’ in (1),
according to which any language is built upon a ‘syntactic algebra’ < A , Fγ >γ ∈ Γ
• We saw how one specific such ‘Fregean interpretation’ can be used to map sentences
of FOL-NoQ to truth-values (just like a classical model!)
There’s an important relation between our concept of ‘Fregean Interpretation’ in (15) and our
concept of a ‘model’ for FOL, repeated below:
Let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be a Fregean interpretation (for FOL-NoQ); let g be
meaning assignment determined by B. Let M = <D,I> be such that D = De,E and I = f.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Let M = <D,I> be a model (for FOL-NoQ). Let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be such
that B = ∪τ∈T Dτ, D and f = I.
a. Claim: <B, Gγ , f>γ ∈ {Concat, Not, And} is a Fregean interpretation (for FOL-NoQ)
b. Claim: Let g be the meaning assignment determined by B. For any sentence ϕ (of
FOL-NoQ), g(ϕ) = [[ϕ]]M
c. Given this relationship between models and Fregean interpretations, we can freely
shift between the two (cf. sets and their characteristic functions).
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. Extending The Framework to Natural Languages
A second fundamental contribution of Montague’s was the discovery that there are, in principle,
two different ways of providing an interpretation for a language.
a. Step 1:
Provide an analysis of language L as a structure < A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ
satisfying the core definition in (1).
b. Step 2: Specify a structure < B, Gγ , f >γ ∈ Γ satisfying the core definition in (2)
of an ‘interpretation’ for < A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ
a. Step 1:
Provide an analysis of language L as a structure < A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ
satisfying the core definition in (1).
b. Step 2:
Take an (artificial) language L’ = < A’ , F’γ’ , X’δ’ , S’, δ0’ >γ’ ∈ Γ’ , δ’ ∈ Δ’ such
that there is already a known interpretation B = < B, Gγ’ , f >γ’ ∈ Γ’ for L’.
• This is the method pursued by Montague in his most seminal papers, UG and PTQ
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
< A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ
In other words, with ‘indirect interpretation’, we get our semantics for L ‘indirectly’,
through the translation language L’. But we still do get a semantics for L.
This notion of ‘indirect interpretation’ will become clearer once we work through a concrete
example…
There are a few important properties of ‘indirect interpretation’ that we can go ahead
and observe, however….
• Note that if we ‘indirectly interpreted’ language L via language L’, then we have also
thereby ‘directly interpreted’ L, via the composition of the two homomorphisms g°h
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(31) Some Choice Quotes
The general point here is that, to give a semantics for (e.g.) English in Montague Grammar, you
don’t have to translate English into any logical language…
• It’s just that doing so can be a very handy, elegant means of specifying an
interpretation for the language.
Again, this will all become clearer when we’ve seen some concrete instances of it…
If the logical language is well-designed and familiar to readers, then it can provide a more
‘perspicuous’ representation (statement / name) of the meanings that we wish to be
assigned to the (natural) language expressions.
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(33) Partisan Comment: Indirect Interpretation and Semantics in the 21st Century
• In a certain sense, much of the semantic literature nowadays is rife with ‘indirect
interpretation’, but without an explicit, model-theoretic semantics for the translation
language.
o This isn’t always the case though… sometimes formulas and notations
creep in that seem to make sense, but turn out not to upon deeper probing…
In the next set of notes, we’ll set the record straight by delving into Montague’s theory of
translation…
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on Languages and Interpretations
h. What is the difference between A and the meaningful expressions of L? Can they
ever be the same?
a. Please alter this structure minimally, so that the category CS includes strings like
the following:
If Mitt smokes, then Barack smokes.
b. Please provide an analysis tree showing how the following string is derived.
If Barack loves Michelle, then it is not the case that Mitt smokes.
c. Are the following meaningful expressions of the language you defined? Why or
why not?
(i) Then Barack smokes.
(ii) If Barack loves Michelle.
(ii) And Barack smokes.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(3) More Advanced Exercise on Language Design
Let First Order Logic (FOL) be the language defined in (16) on the handout “An
Algebraic Perspective on Propositional Logic.”
(ii) Use these operations to define an algebra <A, Fγ>γ ∈ Γ such that the WFFs
of FOL are a subset of A.
(iii) Special Hint: Let the syntactic category labels Δ be T ∪ {var}, where T is
the set of types, and ‘var’ is the category label for variables.
(i) Please state whether the following are or are not meaningful expressions
of the language you defined.
1. ((Ra)x)
2. (((Ra)x)c)
3. ∃x((Ra)x)
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Another Exercise on Language Design
Let Propositional Logic (PL) be the language defined in (4) on the handout “An
Algebraic Perspective on Propositional Logic.” Please represent PL as a language,
following the definition in (21) on the handout “An Algebraic Perspective on the Syntax
of First Order Logic”.
a. Let E be a set of entities, and let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be a Fregean
interpretation for FOL-NoQ based on E (as defined in (15) on MGTS). Let M be
a model <E, I> (as defined in (21) on MGTS), where I = f.
Please show via induction on structural complexity that every ϕ ∈ Ct is such that
[[ϕ]]M = g(ϕ), where g is the meaning assignment based on B.
Some Hints:
1. First, show that if ϕ is an atomic formula of FOL-NoQ, then [[ϕ]]M = g(ϕ).
To show this, first use our definition of a model M to show:
[[ (…(Φα1)…αn) ]]M = g(Φ)(g(α1))…(g(αn))
Then, use the homomorphism property of g to show:
g(Φ)(g(α1))…(g(αn)) = g( (…(Φα1)…αn) )
2. Next, assume that ϕ is a conjunction (ψ & χ), and that ψ and χ are both such that [[ψ]]M
= g(ψ) and [[χ]]M = g(χ). Show that [[ϕ]]M = g(ϕ).
To show this, use the definition of a model M and the induction assumption to show:
[[(ψ & χ)]]M = GAnd( g(ψ), g(χ) )
Then use the homomorphism property of g to show:
GAnd( g(ψ), g(χ) ) = g( (ψ & χ) )
3. Next, assume that ϕ is a negation ~ψ, and that ψ is such that [[ψ]]M = g(ψ). Show that
[[ϕ]]M = g(ϕ).
To show this, follow the same general strategy laid out in 2.
b. Let M be a model <D, I>. Let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be a Fregean
interpretation for FOL-NoQ based on D, where f = I.
Please show via induction on structural complexity that every ϕ ∈ Ct is such that
[[ϕ]]M = g(ϕ), where g is the meaning assignment based on B.
3
Unit
4:
Montague’s
Theory
of
Translation
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Montague’s Theory of Translation: Laying the Groundwork 1
o For example, simply knowing that (1a) can be translated as (1b) doesn’t tell
you anything about what (1a) means.
o For example, given that you speak English, knowing that (1a) can be
translated as (1c) would inform you of the meaning of (1a).
• Of course, even such translations don’t necessarily mean one has a compositional
semantics for language L.
• Develop a theory of the system that maps syntactic structures to some kind of
‘mentalese’ (conceptual structures) encoding the information in the sentence.
“A dog is a reptile” [State Is-included in ( [Thing Type: Dog ] ) ( [Thing Type: Reptile ] ) ]
(Jackendoff 1983: 96)
1
These notes are based upon material in the following readings: Halvorsen & Ladusaw (1979), Dowty et al. (1981)
Chapter 8, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Early and Perennial Criticism of Such Approaches
Given the fundamental fact in (1), simply translating a sentence of English to a sentence
of ‘mentalese’ isn’t (necessarily) providing a semantics for the English sentence.
• The problem of providing a semantics for English now becomes the problem of
providing a semantics for the ‘mentalese’ notation (one that had never been taken up)
Up to now, we’ve been using the term “First Order Logic” to refer to a single language…
• However, at this point, it will be important to view First Order Logic not as a single
language, but rather as a family of infinitely many different languages…
A first order language (first order logic) is a language whose vocabulary of symbols
satisfies the conditions in (6a) and whose WFFs satisfy the conditions in (6b).
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(7) Remarks
a. Note that a first order language only needs a countable set of predicate letters and
individual constants. Thus, in a first order language, those sets can be finite.
b. Note that we are requiring a first order language to use the vocabulary in (6ai, ii),
the (infinite) variables in (iii), and the exact syntax rules in (6b).
The reason for this is simply because we need to keep some things constant
between FOLs; it works for us right now to keep these constant.
We can think of the general term ‘First Order Logic’ as referring to this
infinite set of different languages.
The language ‘Politics’ is the first order language whose vocabulary is as in (8a) and
whose WFFs are defined in (8b).
(9) Some Illustrative Formulae of Politics Notice how the vocabulary in our
logical language is boldfaced, and
a. ~(smokes’ barack’) followed by primes?...
b. ( (loves’ barack’) michelle’ ) Get used to that!...
c. ~( (smokes barack’) & (smokes’ mitt’) )
d. ∀x ~( (smokes’ x) & ~~((loves’ mitt’) x))
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Introducing the Central Characters
d. Step Four: Fix that problem, leading to a further refinement of our definition
of what a language is…
As we’ve done before, we’re going to make our lives easier by putting aside quantification for
the moment…
a. ~(smokes’ barack’)
b. ( (loves’ barack’) michelle’ )
c. ~( (smokes barack’) & (smokes’ mitt’) )
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(13) Remarks
Politics-NoQ is not a ‘first order language’, as defined in (6).
In terms of its structure, Politics-NoQ is quite similar to our language FOL-NoQ from
the last two handouts.
Consequently, we can easily see how to characterize Politics-NoQ in terms of our
general (Montagovian) definition of a language.
a. ~(smokes’ barack’)
b. ( (loves’ barack’) michelle’ )
c. ~( (smokes barack’) & (smokes’ mitt’) )
Given this structural similarity between Politics-NoQ and FOL-NoQ, it’s also rather easy to set
up a (Fregan) interpretation for Politics-NoQ!
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) A (Fregean) Interpretation of Politics-NoQ
Let the set S = { Michelle, Barack, Mitt }. Let B = <B, Gγ , f>γ ∈ {Concat, Not, And} be the
Fregean interpretation based on S, such that f consists of the following mappings:
a. f(michelle’) = Michelle
b. f(barack’) = Barack
c. f(mitt’) = Mitt
d. f(smokes’) = h = { <Michelle, 0>, <Barack,1>, <Mitt,0> }
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
Note: We’ve basically interpreted ‘smokes’’ as the property ‘smokes’, and we’ve
interpreted ‘loves’’ as the (curried) relation ‘x is loved by y’.2
(ix) 0
2
That is, in the notation of Heim & Kratzer (1998), we’re interpreting loves’ as [λy: [λx: x loves y]]. The
semanticists in the house can probably guess why we’re doing this ; )
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Finally, to get our third player on the field, let’s recall that fragment of English that we defined a
while back…
< It is not the case that Barack smokes and Mitt smokes, KAnd >
< It is not the case that Barack smokes, KNot > < Mitt smokes, KConcat >
Barack smokes
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Unfortunately, there’s a fundamental problem with the language as defined in (18). To see this,
recall our ultimate goal, informally sketched out below.
However, some such strings in our mini-English language can be created in more
than one way from the syntactic operations (and rules) of our language.
Example: < It is not the case that Barack smokes and Mitt smokes, KNot >
< Barack smokes, KConcat > < Mitt smokes, KConcat >
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(22) Some More General Remarks
Also, we have the background belief that (19) has these two readings because of the
different ways that the sentence can be constructed in English
o (i.e., it’s not because of any ambiguity in what the words mean…)
Thus, unlike with Politics-NoQ, it is not feasible to build a semantics that interprets
(directly or indirectly) English strings.
In LING 610, this problem doesn’t even arise, because right from the start we’re
interpreting phrase structure trees
o After all, a given tree is only ever constructed in one way by Merge and
Move… hmm…
Under such a homomorphism, we’d naturally want KConcat and FConcat to correspond.
This will get the right interpretation for VPs (IVs) after all:
However, this will get the wrong result for sentences! Sentences will end up mapped
to syntactic garbage in A.
Syntactic Garbage!!!
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
But, there is no operation in the algebra for Politics-NoQ which will take as argument
the translation of Barack (barack’) and the translation of smokes (smokes’) and
return the formula (smokes’ barack’)
We want it to be that the interpreted expressions of our language can only ever be
created from the syntactic operations (rules) in exactly one way.
This way, we won’t ever have to worry about interpreting ‘syntactically ambiguous’
expressions (because they just won’t exist in our language).
(26) Question
Below we have our earlier (Montagovian) definition of a language. What do we have to
add to this to ensure that no expressions are syntactically ambiguous?
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) Montague’s Answer
At a minimum, we need to ensure that:
a. Nothing in the basic expressions Xδ (lexical items) can also be constructed by the
syntactic operations.
That is: Xδ and the range of Fγ are disjoint for all δ ∈ Δ and γ ∈ Γ
That is: For all sequences a1, …, an ∈ An and a’1, … a’m ∈ Am, if Fγ(a1, …, an) =
Fγ’(a’1, … a’m), then Fγ = Fγ’ and <a1, …, an> = <a’1, … a’m>.
Note that if the conditions in (27) hold, then every expression in A will either be (i) a basic
expression (lexical item), or (ii) constructible in exactly one way from the syntactic operations.
d. For all sequences a1, …, an ∈ An and a’1, … a’m ∈ Am, if Fγ (a1, …, an) =
Fγ ’(a’1, … a’m), then Fγ = Fγ ’ and a1, …, an = a’1, … a’m.
e. S is a set of sequences of the form < Fγ , < δ1, …, δn >, δ >, where γ ∈ Γ, Fγ is an
n-ary operation, and δ1, …, δn, δ ∈ Δ
f. δ0 ∈ Δ
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(29) Remarks
a. Our language Politics-NoQ is such a disambiguaged language.
b. Our language ‘mini-English’ is not a disambiguated language.
c. Potential Problem:
If we assume that the expressions of mini-English (and English) are strings, then
we just aren’t going to be able to represent those systems as disambiguated
languages.
d. Solution:
Along with the concept of a ‘disambiguated language’ in (28), we need a more
general concept of a ‘language’.
Importantly, R can be many-to-one (surjection), and so we can have more than one
expression from the disambiguated language being mapped to the same expression in
the range of R (hence, the term ‘ambiguating’)
a. Informal Definition
(i) Vocabulary: Same as Politics-NoQ
(ii) The WFFs of ‘Politics-NoQ-SansParens’
1. If ϕ is an n-ary predicate letter and each of α1, …, αn is either an
individual constant or a variable, then ϕα1…, αn ∈ WFF
2. If ϕ, ψ ∈ WFF, then ~ϕ ∈ WFF and ϕ & ψ ∈ WFF
b. Formal Definition
The pair < < A , Fγ , Xτ , S , t >γ ∈ {Concat, Not, And}, τ ∈ T, R >, where the structure
<A , Fγ , Xτ , S , t >γ ∈ {Concat, Not, And}, τ ∈ T is Politics-NoQ, and R is the function
that takes any element of A and deletes every parenthesis.
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(32) Remark
Every disambiguated language < A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ can also be represented as
a language < < A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ, R>
Simply let R be the identity function!!
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
5. Representing Mini-English Via a Disambiguated Language
For a syntactically ambiguous natural language like English, we could assume that the
syntactically disambiguated expressions are the analysis trees themselves!!
That is, (mini-)English is a pair < L, R>, where the expressions of L are analysis trees,
and the relation R simply maps an analysis tree to the string in its root node!
(37) Remarks
We’ll see in a moment how to actually implement the idea in (36). For the moment, let’s
notice the similarities and differences between this and an ‘LF’-based semantics.
a. Key Similarity:
Our semantics does not directly interpret surface strings of English. Rather, it
interprets abstract structures that represent how those strings can be derived.
b. Key Difference:
Unlike an ‘LF’-based semantics (like in 610), our system doesn’t first construct
the analysis tree (LF structure) for a whole sentence and then ‘input’ that into
semantic interpretation…
o That is, as will be clear in a few more classes, the syntax and semantics work
in tandem with one another…
But how do we construct a ‘disambiguated language’ where the expressions are analysis trees?
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(38) Step One: The Category Labels
The syntactic categories of Disambiguated mini-English will be just the same as before:
a. XNP = { < Barack, ∅>, < Michelle, ∅>, < Mitt, ∅> }
b. XIV = { < smokes, ∅> }
c. XTV = { < loves, ∅> }
d. XS = ∅
In the definitions below, α and β are trees whose root nodes are ordered pairs. In
addition α’ and β’ are the first members of the root nodes of α and β (respectively).
α β
α β
Just for fun – since it will set us up for something important later, let’s also add the
following syntactic operation.
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(42) The Syntactic Rules
We can retain much the same set of syntactic rules SE that we had before:
a. < It is not the case that Barack smokes and Mitt smokes, Not >
< Barack smokes, Concat > < Mitt smokes, Concat >
< Barack , ∅ > < smokes , ∅ > < Mitt, ∅> < smokes, ∅ >
b. < It is not the case that Barack smokes and Mitt smokes, And >
< It is not the case that Barack smokes, Not > < Mitt smokes, Concat >
< Barack smokes, Concat > < Mitt, ∅> < smokes, ∅ >
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Now, we can use Disambiguated Mini-English to characterize Mini-English as a language, in
the sense of (30)
a. The structure < E, Kγ, Xδ , SE, S >γ ∈ {Concat, Not, And, If}, δ ∈ Δ is Disambiguated
Mini-English, as defined in (43).
b. R is a function which takes as input a tree T in E, and returns as output the first
member of the root node of T.
17
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Montague’s Theory of Translation: The Notion of a ‘Translation Base’ 1
(i) Politics-NoQ
The structure < A , Fγ , Xτ , S , t >γ ∈ {Concat, Not, And}, τ ∈ T where the
algebra < A, Fγ >γ ∈ {Concat, Not, And}, and the sets Xτ and S are as before.
1
These notes are based upon material in the following readings: Halvorsen & Ladusaw (1979), Dowty et al. (1981)
Chapter 8, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Although we’ve come closer to our goal by restricting our attention to ‘disambiguated
languages’, there are still two key problems facing our project…
• But this seems inconsistent! How can OP(barack’ , smokes’) = (smokes’ barack’),
while OP(loves’, barack’) = (loves’ barack’)???
The Plan:
We’ll go halfway to fixing the problem in (3); at which point, the problems in (3) and (4) will
become the same. Then we’ll solve that more general problem by introducing a new, central idea
of Montague’s: the Translation Base.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) The Basic Expressions
The basic expressions of DME will be just the same as before, too.
a. XNP = { < Barack, ∅>, < Michelle, ∅>, < Mitt, ∅> }
b. XIV = { < smokes, ∅> }
c. XTV = { < loves, ∅> }
d. XS = ∅
In the definitions below, α and β are trees whose root nodes are ordered pairs. In
addition α’ and β’ are the first members of the root nodes of α and β (respectively).
α β
α β
α β
α β
Right now, the only difference between KMerge-S and KMerge-IV is the index on the root of the
output. Again, later on these operations will become more substantively different.
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
With the changes to our syntactic operations in (7) come some concomitant changes to our
syntactic rules…
• In particular, we can now assume without problem that KMerge-IV corresponds to FConcat
h( KMerge-IV( loves, Michelle )) =
FConcat ( h(loves), h(Michelle)) =
FConcat ( loves’ , michelle’) = ( loves’ michelle’ )
• Now, however, we have this additional operation KMerge-S. And, there doesn’t seem
to be an operation in Politics-NoQ that corresponds to it.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Polynomial Operations and Derived Syntactic Rules
a. From an algebra <A, Fγ>γ ∈ Γ, create new complex operations from the operations
{ Fγ }γ ∈ Γ.
This will provide us with the key tools for introducing Montague’s notion of a ‘translation base’.
Advisory:
In my own view, the technical concept of a ‘translation base’ is the least a priori intuitive
ingredient of Montague’s theory…
• Once you see what the thing does – and how it does what it does – it becomes easier
to get your mind around…
• Thus, please have faith that we’re going somewhere interesting with all this…
In this section, we’ll cover the goal in (14a). The principle means of creating a complex
operation from simpler operations is function composition (Handout 1), repeated below.
g<f1, …, fn> =def the m-ary function such that for any m-ary sequence a1, … am
g<f1, …, fn>(<a1, … am>) =
g( f1(<a1, … am>), …, fn(<a1, … am>))
Illustration:
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In addition to function composition, we’ll also make use of the special functions in (16) and (17).
a. Id1,1(a) = a
Id1,1(b) = b
b. Id1,2(a,b) = a Id1,2(c,d) = c
Id2,2(a,b) = b Id2,2(c,d) = d
c. Id1,3(a,b,c) = a Id1,3(c,d,e) = c
Id2,3(a,b,c) = b Id2,3(c,d,e) = d
Id3,3(a,b,c) = c Id3,3(c,d,e) = e
a. Ca,1(a) = a Cb,1(a) = b
Ca,1(b) = a Cb,1(b) = b
b. Ca,2(a,b) = a Cb,2(a,b) = b
Ca,2(c,d) = a Cb,2(c,d) = b
c. Ca,3(a,b,c) = a Cb,3(a,b,c) = b
Ca,3(c,d,e) = a Cb,3(c,d,e) = b
With these ingredients in place, we can introduce the key concept in (18).
a. Fγ ∈ K for all γ ∈ Γ
Note: The polynomial operations over A include all the operations in A
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(19) Remark
So, in other words, F is a polynomial operation over A (= <A, Fγ>γ ∈ Γ) if any of the
following hold:
b. F is an identity function.
d. You can obtain F via iterated function composition from either (a), (b), or (c).
We’ll now illustrate the key concept in (18) by looking at some polynomial operations over the
syntactic algebra for Politics-NoQ, <A, Fγ>γ ∈ {Concat, Not, And}.
(21) Id2,3 This function takes any triple in A and returns the second member.
(22) Id1.2 This function takes any pair in A and returns the first member.
(23) Id2.2 This function takes any pair in A and returns the second member.
(24) FNot<FNot>
This function takes any expression in A and returns its double negation.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(26) FNot<FAnd<Id1,2, FNot<Id2,2>>>
This function takes any pair of expressions α, β in A and returns ~(α & ~β).
h( KIf (α, β) ) = FNot<FAnd<Id1,2, FNot<Id2,2>>>(h(α), h(β)) = ~(h(α) & ~h(β)) = (h(α) h(β))
( smokes’ barack’ )
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) Summary Observation
• If we look to the polynomial operations over the syntactic algebra for Politics-NoQ,
<A, Fγ>γ ∈ {Concat, Not, And}, we will find syntactic operations over A that could viably
correspond to the syntactic operations KIf and KMerge-S over E
• How, though, does this help us in our quest for a homomorphism from E to A?...
a. Key Fact:
Let A be an algebra <A, Fγ>γ ∈ Γ. If the set { Hγ’ }γ’ ∈ Γ’ consists of polynomial
operations over A, then A is closed under { Hγ’ }γ’ ∈ Γ’.
b. Key Consequence:
Let A be an algebra <A, Fγ>γ ∈ Γ, and let { Hγ’ }γ’ ∈ Γ’ consist of polynomial
operations over A. The structure <A, Hγ>γ’ ∈ Γ’, is an algebra.
Thus, given (31b), if <A, Fγ>γ ∈ {Concat, Not, And} is the syntactic algebra for Politics-NoQ, then the
following is also an algebra: <A, Hγ>γ ∈ {Merge-S, Merge-IV, Not, And, If}, where
• HMerge-IV = FConcat
And, it seems like it might be possible to have a homomorphism from the syntactic algebra
for DME <E, Kγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} to <A, Hγ >γ ∈ {Merge-S, Merge-IV, Not, And, If}
Before we can use all of this to lay out a theory of homomorphic translation between languages,
we also need to introduce a way of constructing complex syntactic rules (14b)…
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3.2 The Derived Syntactic Rules of a Language L
• As we’ll soon see, one way of ensuring this appeals to the notion of a ‘derived
syntactic rule’, defined in this section.
• For reasons that will also be clear shortly, this definition is going to closely
mirror the definition for the polynomial operations over an algebra
a. S⊆K
Note: Thus all the syntactic rules of L are also ‘derived syntactic rules’
Note:
This means that all the logically possible syntactic rules of the form below are
also ‘derived syntactic rules’:
Note:
This means that all the logically possible syntactic rules of the form below are
also ‘derived syntactic rules’.
The fourth and final condition on the derived syntactic rules basically amounts to them being
closed under ‘composition’… it is rather complex to state formally, however…
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
d. If <F , <δ1 , … δn>, δ> ∈ K, F is an n-ary operation, and each of G1, … Gn are an
m-ary operation such that <Gj , <δ’1 , … δ’m>, δj > ∈ K, then the following is also
a member of K:
<F<G1, … Gn>, <δ’1 , … δ’m>, δ>
Note: To get a sense of how this ‘composition’ operation on rules works, consider that (i) and
(ii) are rules in our language Politics-NoQ.
Thus, definition (33) would entail that the following is a ‘derived rule’ of Politics-NoQ.
Note, too, that this derived rule would intuitively ‘be true of’ for Politics-NoQ.
• This raises the following key generalization…
a. Claim: If ϕ1, … ϕn are such that each ϕi ∈ Cδi , then H(ϕ1, … ϕn) ∈ Cδ
(That is, the derived syntactic rules will only ever generate ‘meaningful
expressions’ of a language.)
In the previous section, we developed the tools below. We also developed them so that they
mirror one another.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(36) Derived Syntactic Rules
A way of taking a language <A, Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ, and creating new complex
syntactic rules S’ from the polynomial operations over <A , Fγ>γ ∈ Γ.
We’re now going to use these tools to construct Montague’s general theory of translation…
To do this, let’s first consider some ideal properties of a translation function h from one language
<A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ to another language < A’ , F’γ’ , X’δ’ , S’, δ’0>γ’ ∈ Γ’ , δ’ ∈ Δ’
• That is, if δ ∈ Δ, then there must be a corresponding δ’ ∈ Δ’ such that if ϕ ∈ Cδ, then
h(ϕ) ∈ Cδ’
• For example, thinking of our languages DME and Politics-NoQ, such a mapping of
the categories would be as follows:
NP e
TV <e,<e,t>>
IV <et>
St
• The reason why such a mapping is needed is ultimately tied to Montague’s (final)
definition of a ‘Fregean Interpretation’… Just go with it for now…
• We’ve already seen that in the general case the basic operations { F’γ’ }γ’ ∈ Γ’ of L’
are not going to be sufficient.
• We’ve also already seen that the polynomial operations over the syntactic algebra for
L’, < A’ , F’γ’ >γ’ ∈ Γ’ can supply us with such operations.
Consequence:
A translation from L to L’ must identify some polynomial operations { Hγ }γ ∈ Γ over the
syntactic algebra for L’ < A’ , F’γ’ >γ’ ∈ Γ’
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(39) Derived Syntactic Rules
A translation h from L to L’ should always map the ‘meaningful expressions’ of L to
meaningful expressions in L’.
• Now, recall that we’re going to want h to be a homomorphism, where every syntactic
operation Fγ in L corresponds with some polynomial operation Hγ over the syntactic
algebra of L’.
h( Fγ(α1, … αn) ) = Hγ( h(α1), … h(αn) )
Consequence:
Under a translation h from L to L’, if Fγ in L corresponds with Hγ (a polynomial operation
over L’), then if (a) is a syntactic rule of L, then (b) is a derived syntactic rule of L’
a. < Fγ , <δ1 , … δn>, δ >
b. < Hγ , <g(δ1), … g(δn)>, g(δ) >
• To see how the condition above works, recall the general result in (34): if the tuple
<Hγ , <g(δ1), … g(δn)>, g(δ) > is a derived syntactic rule, and ϕ1, … ϕn are such that
each ϕi ∈ Cg(δi) , then H(ϕ1, … ϕn) ∈ Cg(δ)
o Now, given our category correspondence (37), it follows that h(α1) ∈ Cg(δ1),
…, h(αn) ∈ Cg(δn)
o Therefore, from our general result in (34) – and the fact that (b) is a derived
rule of L’ – it follows that Hγ(h(α1), … h(αn)) ∈ Cg(δ)
With all of these ingredients on the table, we can now provide Montague’s general definition
of a ‘translation base’…
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(40) Translation Base from Language L to Language L’
Let L be a language <L, R> and L’ be a language <L’, R’>, where L is the disambiguated
language <A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ and L’ = <A’ , F’γ’ , X’δ’ , S’, δ’0>γ’ ∈ Γ’ , δ’ ∈ Δ’
b. For all γ ∈ Γ, Hγ is a polynomial operation over the algebra <A’, F’γ’ >γ’ ∈ Γ’
sharing the same arity as Fγ (38)
c. If <Fγ , <δ1 , … δn>, δ > ∈ S, then the following is a derived syntactic rule for L’:
<Hγ , <g(δ1), … g(δn)>, g(δ) > (39)
With the notion of a translation base, we can construct the following definition of a translation
function…
(42) Remarks
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(43) Definition of Translation
Let L be a language <L, R> and L’ be a language <L’, R’>, where L is the disambiguated
language <A , Fγ , Xδ , S, δ0>γ ∈ Γ , δ ∈ Δ and L’ = <A’ , F’γ’ , X’δ’ , S’, δ’0>γ’ ∈ Γ’ , δ’ ∈ Δ’
Let T be a translation base from L to L’, and let k be the translation function determined
by T.
To round out these notes, we’ll use all these tools to spell out a translation base and
(homomorphic) translation function from Mini-English to Politics-NoQ
(44) Mini-English
Mini-English is the structure < < E, Kγ, Xδ , SE, S >γ ∈ {Merge-S, Merge-IV, Not, And, If}, δ ∈ Δ, R>,
where
a. The structure <E, Kγ, Xδ , SE, S>γ ∈ {Merge-S, Merge-IV, Not, And, If}, δ ∈ Δ is
Disambiguated Mini-English, as defined in (10).
b. R is a function which takes as input a tree T in E, and returns as output the first
member of the root node of T.
(45) Politics-NoQ
Politics-NoQ is the structure <<A , Fγ , Xτ , S , t >γ ∈ {Concat, Not, And}, τ ∈ T , R’>, where:
We’ll now lay out each of the three main ingredients for a translation base from Mini-English to
Politics-NoQ…
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(46) Correspondence Between the Syntactic Categories
Given our discussion in (37), let us define the function g: Δ T as follows:
b. HMerge-IV = FConcat
c. < HMerge-IV , < <e,<e,t>>, e >, <e,t> > is a derived rule of Politics-NoQ
Showing that (48a-e) hold will be left as an exercise for the student. Note that (48a,b,c) are
trivial; only (48d,e) require some calculating out…
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(50) Putting It All Together: The Translation Base from Mini-English to Politics-NoQ
Let T be the structure < g , Hγ , j>γ ∈ {Merge-S, Merge-IV, Not, And, If}, where g, Hγ , and j are as
defined in (46)-(49). T is a translation base from Mini-English to Politics-NoQ.
We can now use the translation function k determined by T to homomorphically map expressions
of mini-English to expressions of Politics-NoQ.
(52) Remark
Under the translation function k determined by T, and given the definition in (43), it
follows that there are two different formulae in Politics-NoQ that are translations of the
Mini-English sentence It is not the case that Barack smokes and Mitt smokes.
(exercise for the student!)
17
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(53) What We Wanted
We wanted to develop a way of homomorphically mapping expressions of DME to
expressions of Politics-NoQ (so that we can ultimately get a semantics for English)
< E, Kγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} < A , Fγ >γ ∈ {Concat, Not, And}
k g
<A, Hγ>γ ∈ {Merge-S, Merge-IV, Not, And, If} < B, Gγ >γ ∈ {Concat, Not, And}
18
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Montague’s Theory of Translation: Translation Bases and Indirect Interpretations 1
b. Politics-NoQ
Politics-NoQ is the language << A , Fγ , Xτ , S , t >γ ∈ {Concat, Not, And}, τ ∈ T , Id>
(i) <A , Fγ , Xτ , S , t>γ ∈ {Concat, Not, And}, τ ∈ T is the disambiguated language
Politics-NoQ.
(ii) Id is the identity function.
< E, Kγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} < A , Fγ >γ ∈ {Concat, Not, And}
k h
<A, Hγ>γ ∈ {Merge-S, Merge-IV, Not, And, If} < B, Gγ >γ ∈ {Concat, Not, And}
1
These notes are based upon material in the following readings: Halvorsen & Ladusaw (1979), Dowty et al. (1981)
Chapter 8, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
< E, Kγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} < A , Fγ >γ ∈ {Concat, Not, And}
k h
<A, Hγ>γ ∈ {Merge-S, Merge-IV, Not, And, If} < B, Gγ >γ ∈ {Concat, Not, And}
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) Remarks
• Note that in the algebra < B, Gγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} the set B is the set of
meanings in our interpretation of Politics-NoQ
• Although Montague doesn’t say it, the operations { Gγ }γ ∈ {Merge-S, Merge-IV, Not, And, If}
are all polynomial operations over <B, Gγ>γ ∈ {Concat, Not, And} whose definitions mirror
those of the operations in our translation base { Hγ }γ ∈ {Merge-S, Merge-IV, Not, And, If}
• As desired, hºk is a homomorphism from <E, Kγ>γ ∈ { Merge-S, Merge-IV, Not, And, If}
(Disambiguated-Mini-English) to < B, Gγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} (our derived
semantic algebra).
• Thus, thanks to our translation base T, we now have an interpretation for Mini-
English.
The Interpretation for Mini-English: < B, Gγ , hºj >γ ∈ {Merge-S, Merge-IV, Not, And, If}
(i) <B, Gγ >γ ∈ {Merge-S, Merge-IV, Not, And, If} is the derived algebra guaranteed by (3)/(4),
(ii) h is the meaning assignment determined by < B, Gγ >γ ∈ {Concat, Not, And}
(iii) j is the lexical translation function in our translation base T.
• Note that this structure will satisfy our general definition of an interpretation:
Clearly, this result in (5)/(6) generalizes to all languages, allowing us to state the following
general theorem…
You can no doubt already see how (7) follows from what we’ve seen so far…
For those who are interested, we can give a more explicit proof of it as in (8).
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(8) Proof of the General Theorem on Indirect Interpretation
• Therefore, by the theorem in (3)/(4), there is an algebra <B, Gγ>γ ∈ Π such that h
is also a homomorphism from <A, Hγ>γ ∈ Π to <B, Gγ>γ ∈ Π
• Therefore, we know that for all γ ∈ Π, Kγ and Gγ have the same arity.
(9) Remark
Furthermore, the meaning assignment determined by the interpretation <B, Gγ, hºj >γ ∈ Π
will be hºk (proof left as exercise for the student)
b. Answer:
If we can provide an interpretation for L’ and the translation from L to L’ satisfy
the conditions of a translation base, then we are guaranteed a compositional
semantics for L.
Thus, a new viable path to providing a semantics for a (natural) language is to provide a
translation base from that language to a logical language whose semantics is already defined.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. Illustration: Mini-English and Politics-NoQ
Illustration: Let T be the tree such that R(T) = Barack loves Michelle.
m. 1
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(13) The Interpretation of Disambiguated Mini-English
Let < B, Gγ , l >γ ∈ {Merge-S, Merge-IV, Not, And, If} be the structure defined as follows:
Note:
• The definitions of the operations {Gγ}γ ∈ {Merge-S, Merge-IV, Not, And, If} mirror the
definitions of the operations {Hγ}γ ∈ {Merge-S, Merge-IV, Not, And, If} in our translation base.
• Moreover, {Gγ}γ ∈ {Merge-S, Merge-IV, Not, And, If} are all polynomial operations over the
semantic algebra <B, Gγ>γ ∈ {Concat, Not, And}
(14) Remark < B, Gγ , l >γ ∈ {Merge-S, Merge-IV, Not, And, If} is an interpretation of Mini-English
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(15) Remark
The meaning assignment g determined by <B, Gγ, l>γ ∈ {Merge-S, Merge-IV, Not, And, If} is equal
to hºk
(16) Illustration
Let g be the meaning assignment determined by <B, Gγ l>γ ∈ {Merge-S, Merge-IV, Not, And, If}.
Let T be the tree such that R(T) = Barack loves Michelle.
m. 1
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(20) Some Choice Quotes
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(21) Road Map of Where We’ve Been and Where We’re Going
• We’ve now covered the conceptual core of the Montague Grammar architecture, as
well as the key sections of Montague’s “Universal Grammar”.
o Sections of UG Covered: 1, 2, 3, 5
• Following that, we’ll examine Montague’s Intensional Logic and its applications to
English (and various puzzles therein).
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on Translation and Indirect Interpretation
There are four steps to showing that A is closed under H, corresponding to the four
‘ways’ by which H could be a member of K.
b. Step Two:
Let Idn,m be any identity function (projection function). Show that A is closed
under Idn,m.
d. Step Four:
Let G be an n-ary function that A is closed under. Let F1, … Fn be n m-ary
functions that A is closed under. Show that A is closed under G<F1, … Fn>.
There are four steps to showing that H(ϕ1, … ϕn) ∈ Cδ, corresponding to the four ‘ways’
by which <H, <δ1 , … δn>, δ> could be a derived syntactic rule of L.
a. Step One:
Let <H, <δ1 , … δn>, δ> ∈ S. Show that if ϕ1, … ϕn are such that each ϕi ∈ Cδi,
then H(ϕ1, … ϕn) ∈ Cδ.
b. Step Two:
Let <H, <δ1 , … δn>, δ> be a rule of the form < Idn,m , <δ1, … , δn, … , δm> , δn>.
Show that if ϕ1, … ϕm are such that each ϕi ∈ Cδi, then Idn,m(ϕ1, … ϕm) ∈ Cδn .
c. Step Three:
Let <H, <δ1 , … δn>, δ> be of the form < Ca,n, <δ1, …, δn>, δ >, where a ∈ Cδ.
Show that if ϕ1, … ϕn are such that each ϕi ∈ Cδi, then Ca,n(ϕ1, … ϕn) ∈ Cδ.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
d. Step Four:
Let the rule <F , <δ1 , … δn>, δ> have the property that if ϕ1, … ϕn are such that
each ϕi ∈ Cδi, then F(ϕ1, … ϕn) ∈ Cδ. In addition, for each G1, … Gn, let the rule
<Gj , <δ’1 , … δ’m>, δj > have the property that if ϕ1, … ϕm are such that each ϕi ∈
Cδ’i, then Gj(ϕ1, … ϕm) ∈ Cδj.
Show that the rule <F<G1, … Gn>, <δ’1 , … δ’m>, δ> has the property that if ϕ1,
…, ϕm are such that each ϕi ∈ Cδ’i, then F<G1, … Gn>(ϕ1, … ϕm) ∈ Cδ.
a. Minimally alter our language Mini-English so that its expressions now include
strings like Neither Mitt smokes nor Barack smokes.
Note:
Don’t worry if your system also produces such marginal strings as Neither it
is not the case that Mitt smokes nor Barack loves Michelle.
Note:
Be sure to show that any new polynomial operations in your translation base
have the property in (40c) on handout “The Notion of a Translation Base.”
c. Please show how your new translation base, along with our interpretation for
Politics-NoQ, assigns a truth-value to the analysis tree for Neither Mitt smokes
nor Barack smokes.
2
Unit
5:
An
Algebraic
Approach
to
Quantification
and
Lambda
Abstraction
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Algebraic Approach to Quantification and Lambda Abstraction: Preliminaries 1
a. A Theory of Syntax
(i) ‘Disambiguated’ languages as quintuples <A, Fγ, Xδ, S, δ0>γ ∈ Γ , δ ∈ Δ
(ii) Languages as pairs < <A, Fγ, Xδ, S, δ0>γ ∈ Γ , δ ∈ Δ, R>
b. A Theory of Semantics
(i) Interpretations as structures <B, Gγ, f >γ ∈ Γ
(ii) Meaning assignments as homomorphisms from <A, Fγ>γ∈Γ to <B, Gγ>γ∈Γ
We’re now going to apply these analytic tools (framework) to the phenomenon of quantification,
both in English and in logical languages…
• Since we’re ultimately going to use this logical language to indirectly interpret
English quantificational NPs, this language will also include ‘λ’
• This will give us a more comprehensible means for establishing certain key
semantic properties of the language.
d. Step Four: Introduce a translation base from English to the logical language.
• This takes work, but the key ideas will already be familiar to you.
1
These notes are based upon material in the following readings: Partee et al. (1993) Chapter 13, Dowty et al. (1981)
Chapter 4, and Thomason (1974) Chapter 7 (Montague’s “Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
1. The Logical Language TL: Non-Montagovian Presentation
I assume that everyone has a basic familiarity with lambda abstraction and its applications to
natural language semantics.
• For a review, the student is referred to Heim & Kratzer (1998: 34-40) and Partee et al.
(1993: 336-369).
(ii) Variables:
For every type τ ∈ T, a countably infinite set of variables of type τ:
VARτ = { vτ, n : n ∈ ℕ }
(5) Remarks
a. Note that in (4c), we are using the types to categorize expressions of our
language, just as in our Montagovian definitions of FOL-NoQ and Politics-NoQ.
b. Given (4ci), we will have individual constants (CONe) and for any n ∈ ℕ, a set of
n-ary predicate constants (CON<e,t>, CON<e,<e,t>>, CON<e<e<e,t>>>, …)
c. Given (4ci), we can also have constants of type t, <<e,t>,t>, <e,e>, etc.
o Given our intended applications, we won’t make use of such constants here.
d. Given (4cii), our variables now come with a subscript indicating their type.
• ve,3 v<e,t>,4 v<e,<e,t>>,2 v<<e,t>,t>,6 vt,190
2
We’ll now make use of a larger set of primitive logical operators. This will make the statement of our semantics
longer, but it will later simplify our analysis of English.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) Meta-Language Abbreviations for Variables
Although our variables ‘officially’ all look like those in (5d), to save space we will make
use of the following meta-language abbreviations for variables of type e and <e,t>:
a. xn = ve,n b. Pn = v<e,t>,n
In our (relatively) informal syntaxes for PL, FOL, FOL-NoQ, Politics, and Politics-NoQ, our
syntax defined a set of ‘WFFs’…
• But, now that our logical language contains ‘λ’, it will be more efficient to arrange our
syntax so that it defines sets of ‘meaningful expressions’ of various types τ ∈ T (MEτ)
a. Vocabulary of Politics+λ
(i) Logical Constants: (as in (4a))
(ii) Syntactic Symbols: (, )
(iii) Non-Logical Constants
1. Variables (as in (4cii))
2. Constants: CONe = { mitt’, barack’, michelle’ }
CON<et> = { smokes’, man’, president’ }
CON<e<e,t>> = { loves’ }
For all other τ ∈ T, CONτ = ∅
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(9) Some Illustrative Meaningful Expressions of Politics+λ
(i) loves’ ∈ CON<e<e,t>>, smokes’ ∈ CON<e,t>, mitt’, barack’ ∈ CONe, x3 ∈ VARe (8a)
(ii) loves’ ∈ ME<e<e,t>>, smokes’ ∈ ME<e,t>, mitt’, barack’, x3 ∈ MEe (7a)
(iii) (loves’ mitt’) ∈ ME<e,t> (7b)
(iv) ((loves’ mitt’) x3) ∈ MEt (7b)
(v) ~((loves’ mitt’) x3) ∈ MEt (7c)
(vi) (smokes’ x3) ∈ MEt (7b)
(vii) ((smokes’ x3) ~((loves’ mitt’) x3)) ∈ MEt (7c)
(viii) ∀x3 ( (smokes’ x3) ~ ( ( loves’ mitt’ ) x3) ) ∈ MEt (7d)
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. The Semantics of a TL: Non-Montagovian Presentation
• This model-theoretic semantics will provide the basis from which we will develop a
(Montagovian) interpretation for a TL language.
• Furthermore, seeing the relationship between this model-theoretic semantics and the later
interpretation will lay important groundwork for our presentation of PTQ
b. A function I, whose domain is equal to (i) and whose range satisfies the condition
in (ii).
(i) Domain of I: ∪τ ∈ T CONτ
(ii) Condition on Range of I: If α ∈ CONτ , then I(α) ∈ Dτ,E
(12) Remarks
If <E,I> is a model for a TL language, then:
3
Note that since our model-theoretic semantics won’t ever interpret ‘syntactic garbage’, we needn’t add the special
element garbage to De,E.
4
To avoid confusion with the notation in (10), the domains of models will now generally be represented as ‘E’.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(13) Illustration: A Model for Politics+λ
Let the model M be the pair <{Barack, Michelle, Mitt}, I>, where I consists of the
following mappings:
a. I(michelle’) = Michelle
b. I(barack’) = Barack
c. I(mitt’) = Mitt
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
Given that we now have variables for types other than e, we also need a concomitant change in
our definition of a variable assignment…
(15) Remarks
If M = <E,I> is a model for a TL language, and g is a variable assignment based on M
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
With the definitions in (11) and (14), we can now define the notion of ‘interpretation with
respect to a model M and a variable assignment g, [[.]]M,g.’
(17) Remarks
a. Given the sorting of variables into types, along with the definition in (14), our
definitions in (16h,i) allow our language to quantify, not only over entities, but
also over objects of all other types.
b. Similarly, given the definition in (14), our definition in (16j) entails that the type
of the variable in a lambda expression will determine the domain of the function
denoted by the expression.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
I will now use the definitions in (16) to show how our model in (13) can be used to assign
semantic values to meaningful expressions of Politics+λ.
• For reasons of space, the calculations below are greatly appreviated…
• Students should work out for themselves the full calculations based on (16)…
Note: Even though neither h, i, nor k map Michelle to 1, there are still other functions f ∈ D<et>,E
such that f(Michelle) = 1
(ii) The function p with domain De,E , range Dt,E, and for all a ∈ De,E ,
p(a) = 1 iff i(a) = 1 and h(a) = 1 =
(iv) The function p with domain {Mitt, Barack, Michelle}, range {0,1}, and
for all a ∈ {Mitt, Barack, Michelle},
p(a) = 1 iff { <Michelle, 0>, <Barack,1>, <Mitt,1> }(a) = 1 and
{ <Michelle, 0>, <Barack,1>, <Mitt,0> }(a) = 1 =
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
d. (λP4 (P4 mitt’))
(ii) The function p with domain D<et>,E , range Dt,E and for all a ∈ D<et>,E ,
p(a) = a(Mitt) =
(iii) The function p with domain D<et>,E , range Dt,E and for all a ∈ D<et>,E ,
p(a) = 1 iff a(Mitt) = 1
(v) The characteristic function of the set of ‘properties that Mitt has’.
Note:
Given the result in (18d), we also have it that:
• [([(λP4 (P4 mitt’)) smokes’)]]M,g = p([[smokes’)]]M,g) = p(h) = h(Mitt) = 0
M,g
• [([(λP4 (P4 mitt’)) man’)]] = p([[man’)]]M,g) = p(i) = i(Mitt) = 1
(ii) The function p with domain D<et>,E, range Dt,E and for all a ∈ D<et>,E ,
p(a) = 1 iff for all a’ ∈ De,E, either i(a’) = 0 or a(a’) = 1 =
(iii) The function p with domain D<et>,E, range Dt,E and for all a ∈ D<et>,E ,
p(a) = 1 iff for all a’ ∈ De,E, if i(a’) = 1 then a(a’) = 1
(v) The characteristic function of the set of ‘properties every man has’
Note:
Given the result in (18e), we also have it that:
• [[((λP4 ∀x3 ( (man’ x3) (P4 x3))) smokes’)]]M,g = p([[smokes’)]]M,g) = p(h) = 0
• [[((λP4 ∀x3 ( (man’ x3) (P4 x3))) man’)]]M,g = p([[man’)]]M,g) = p(i) = 1
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. A Key Logical Equivalence
The model-theoretic semantics introduced above yields a key logical equivalence, one that will
be of much use to us shortly…
[barack’/x3] ((man’ x3) & (smokes’ x3)) = ((man’ barack’) & (smokes’ barack’))
• If (λvψ) is such that v ∈VARτ and ψ ∈ MEσ, then by (16j), [[(λvψ)]]M,g is the
function p with domain Dτ,E and range Dσ,E such that for all a in Dτ,E, p(a) =
[[ψ]]M,g(v/a)
• If ϕ ∈ MEτ, then by (16) it follows that there is an a ∈ Dτ,E such that [[ϕ]]M,g = a.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(23) a. Question:
Why must we assume in (20) that (λvψ) and ϕ have no variables in common?
b. Answer:
If ϕ contains a free variable v’ which is bound in ψ, then it can sometimes happen
that v’ is free in ((λvψ) ϕ) but bound in [ϕ/v]ψ.
Illustration: ((λvt,3 ∃x2((Px2) & vt,3)) (Qx2)) is not logically equivalent to:
∃x2((Px2) & (Qx2))
As the semanticists in the audience are no doubt aware, we will be making much use of
lambda conversion when it comes time to translate structures of English to structures of
Politics+λ.
• Lambda conversion will allow us to ‘convert’ those complex formulae into simpler,
logically equivalent formulae.
o These simpler formulae will more transparently represent the ‘meanings’ that
our translation ends up assigning to the expressions of English.
Rough Illustration:
In the rough illustration below, imagine that h is our translation function from English to
Politics+λ.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. The Logical Language Politics+λ: Montagovian Presentation
(ii) Variables:
For every type τ ∈ T, a countably infinite set of variables of type τ:
VARτ = { vτ, n : n ∈ ℕ }
a. FConcat(α, β) = (α β)
b. FNot(α) = ~α
c. FAnd(α, β) = (α & β)
d. FOr(α, β) = (α ∨ β)
e. FIf(α, β) = (α β)
f. F∃ (α, β) = ∃α β
g. F∀ (α, β) = ∀α β
h. Fλ (α, β) = (λα β)
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) The Syntactic Algebra of Politics+λ
<A, Fγ >γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ} is the algebra such that:
(i) { Fγ }γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ} are as defined in (26)
(ii) A is the smallest set such that the following holds:
1. For all τ ∈ T, CONτ ⊆ A and VARτ ⊆ A
2. A is closed under { Fγ }γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ}
Note:
Thus, the set A contains all the constants and variables in (25), and is closed under the syntactic
operations in (26).
Note:
Thus, the syntactic category labels include (i) all the types, and (ii) for every type τ ∈ T, the
‘variable type’ <var, τ>.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) The Syntactic Rules of Politics+λ
The (countably infinite) set S consists of (a) and (b) below:
Note: Rules (30bii), (30biii), and (30biv) can be informally read as the following, each of which
mirrors an informal syntactic rule in (7d,e).
Politics+λ is the structure <A, Fγ, Xδ , S, t>γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ}, δ ∈ Δ such that A,
{ Fγ }γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ}, { Xδ }δ ∈ Δ, S, Δ are all as defined in (25)-(30)
We will now illustrate the definitions above by examining some meaningful expressions of (31),
with associated calculations.
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(32) Illustrative ME: ~ ( ( loves’ mitt’ ) x3 ) ∈ Ct
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(35) Illustrative ME: ((λx3 (man’ x3)) mitt’) ∈ Ct
(36) Illustrative ME: (λP4 ∀x3 ((man’ x3) (P4 x3))) ∈ C<<e,t>,t>
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Algebraic Approach to Quantification and Lambda Abstraction:
Fregean Interpretations 1
a. Non-Logical Vocabulary
(i) Constants:
CONe = { mitt’, barack’, michelle’ }
CON<et> = { smokes’, man’, president’ }
CON<e<e,t>> = { loves’ }
For all other τ ∈ T, CONτ = ∅
(ii) Variables:
For every type τ ∈ T, a countably infinite set of variables of type τ:
VARτ = { vτ, n : n ∈ ℕ }
b. Syntactic Algebra:
<A, Fγ >γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ} is the algebra such that:
(i) { Fγ }γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ} are as defined on the previous handout
(ii) A is the smallest set such that the following holds:
1. For all τ ∈ T, CONτ ⊆ A and VARτ ⊆ A
2. A is closed under { Fγ }γ ∈ {Concat, Not, And, Or, If, ∃, ∀, λ}
e. Syntactic Rules:
S is the (countably) infinite set consisting of:
(i) <FNot , <t>, t> (ii) <FAnd , <t,t>, t>
(iii) <FOr , <t,t>, t> (vi) <FIf , <t,t>, t>
And, for every σ, τ ∈ T, a triple of the following form:
(i) < FConcat , < <σ, τ>, σ >, τ > (ii) < F∃ , < <var,σ>, t >, t >
(iii) < F∀ , < <var,σ>, t >, t > (iv) < Fλ , < <var,σ>, τ >, <σ, τ> >
1
These notes are based upon material in the following readings: Thomason (1974) Chapter 7 (Montague’s
“Universal Grammar”).
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(2) Our Present Goal: Define an interpretation for Politics+λ.
• As we did several weeks ago for FOL, we’re going to see our way to a solution by
reflecting informally on the meaning of deictic elements (akin to free pronouns).
• We’ll use part of this definition to set up an interpretation structure for Politics+λ.
b. Obvious Answer:
Sure; after all, in such a context, (5) seems to have the intension in (i) and the
extension in (ii).
(i) Intension of (5), Pointing to Barack: [λw : Barack smokes in w]
(ii) Extension of (5), Pointing to Barack: 1 (true)
b. Negative Answer
Without specifying a context, (5) doesn’t have a defined intension or extension.
Thus, sentence (5) seems to be meaningless.
c. Positive Answer
To say that (5) has no meaning in such circumstances would fail to distinguish
between it and gibberish like “snoochie boochies”.
• Thus, its potential to have an intension/extension (relative to a context)
should be viewed as constitutive of its meaning.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• Some expressions have a meaning that maps every context to the same intension.
o We can say that such expressions have a meaning that is ‘not context-dependent’
• Some expressions have a meaning that maps different contexts to different intensions.
o We can say that such expressions have a ‘context-dependent’ meaning.
Illustration: I smoke.
Meaning: Function that maps every context c to
[λw : the speaker of c smokes in w]
Illustration: He smokes.
Meaning: Function that maps every context c to
[λw : the deictic focus of c smokes in w]
• We’re going now to try to model meanings (in B) as functions from contexts (variable
assignments) to intensions (functions from possible worlds to extensions).
• We’ll begin by redefining our system of types and denotations, so that they now
include objects that can serve as ‘intensions’.
a. e∈T (entities)
b. t∈T (truth-values)
c. If σ ∈ T and τ ∈ T, then <σ, τ> ∈ T (functions from σ to τ)
d. If σ ∈ T, then <s, σ> ∈ T (functions from world-times to σ)
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(11) The Denotations (New Definition)
Let T be the set of types, let E be some non-empty set (of entities), and let I be some
other non-empty set (of ‘indices’ / world-time pairs). The set Dτ, E, I of denotations of
type τ based on E and I is defined as follows:
a. De,E,I = E ∪ {garbage}
b. Dt,E,I = { 0, 1 }
c. If σ, τ ∈ T then D<σ,τ>,E,I = the set of functions from Dσ ,E,I to Dτ,E,I
d. If σ ∈ T then D<s,σ >,E,I = the set of functions from I to Dσ ,E,I
= (Dσ ,E,I)I
(12) Remark
The only real change to our earlier definition for the set of ‘denotations’ comes in (11d),
which yields the ‘intensional objects’, including the following:
• Following (8) and (9), we want ‘meanings’ to be functions from contexts (variable
assignments) to intensions (functions from world-times to the denotations in (11)).
• Thus, if J is our set of contexts (variable assignments) and I is our set of world-time
pairs, then a meaning should be something from the following set:
• But recall from our first week that – due to the nature of currying – we can easily shift
×
between the following two objects: (AB)C and AB C
• Thus, we can – and Montague does – state that meanings are elements from the
following set:
I×J
(∪τ ∈ T Dτ, E, I)
Functions from the pairs in (I×J) to the set of all possible denotations
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
I×J
Note: In UG, Montague sometimes shifts freely between (Dτ, E, I) and ( (Dτ, E, I)I )J
With this conception of meaning at hand, we can begin to define Montague’s notion of a
‘Fregean Interpretation’…
A key ingredient in that definition is the notion of a ‘type assignment’…..
Note: Thus, a type assignment pairs each syntactic category label δ with exactly one type τ, and
it ensures that δ0 (the category label for ‘declarative sentences’) is paired with type t.
b. Expressions of the same category are assigned meanings of the same type.
• If g is the meaning assignment determined by B, then for each syntactic
category Cδ, there is a single type τ such that if ϕ ∈ Cδ , then g(ϕ) ∈ Mτ, E, I, J
• Right from the start, (16b) was criticized as too restrictive. For example, it entails that
“Barack” and “some man” must have the same type of denotation (and so the former
cannot directly refer to Barack).
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(19) Official Formal Definition of a Fregean Interpretation
Let L be a language <<A, Fγ, Xδ, S, δ0>γ ∈ Γ, δ ∈ Δ, R>. A Fregean interpretation B of L
is an interpretation <B, Gγ, f>γ ∈ Γ of L such that for some type assignment σ and non-
empty sets E, I, J:
a. B ⊆ ∪τ ∈ T Mτ, E, I, J
Note: Thus, the semantic values in B will all be ‘meanings’ in the sense of (14).
Thus, the meaning assignment based on B maps expressions of L to
(i) functions from <context,world-time> pairs to ∪τ ∈ T Dτ, E, I
(ii) functions from contexts to
functions from world-time pairs to ∪τ ∈ T Dτ, E, I
• This clearly guarantees us property (16a).
Note:
That is, if category δ is paired with type τ by the type assignment σ, then the
lexical interpretation function f maps every basic expression of category δ to a
meaning of type τ.
• This, combined with the next condition, guarantees property (16b).
c. If < Fγ , <δ1, … δn>, δ> ∈ S, and b1, … bn are such that for all i, bi ∈ Mσ(δi), E, I, J,
then Gγ(b1, … bn) ∈ Mσ(δ), E, I, J.
Note:
That is, if categories δ1, … δn, δ are paired with types τ1, …, τn, τ by σ, then
If the result of applying syntactic operation Fγ to expressions of category
δ1, … δn is an expression of Cδ, then
The result of applying the corresponding semantic operation Gγ to
meanings of type τ1, …, τn is a meaning of type τ.
• This, combined with the preceding condition, guarantees (16b).
Note: We’ll also want in (19) to ensure that f and g do not end up mapping any meaningful
expressions of L to garbage, but we’ll leave the details of that implicit in what follows…
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. A ‘Partly-Fregean’ Interpretation for Politics+λ
Let us, then, develop our own notion of a ‘Partly-Fregean’ interpretation, which will be quite
applicable to our language in (1)…
a. B ⊆ ∪τ ∈ T Mτ, E, J
b. For all δ ∈ Δ, if ϕ ∈ Xδ , then f(ϕ) ∈ Mσ(δ), E, J
c. If < Fγ , <δ1, … δn>, δ> ∈ S, and b1, … bn are such that for all i, bi ∈ Mσ(δi), E, J,
then Gγ(b1, … bn) ∈ Mσ(δ), E, J.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(24) Goal: Define a partly-Fregean interpretation for Politics+λ, where J is the set of possible
variable assignments.
(27) The Central, Scary Question that We’ve Been Putting Off Until Now
How do we build a semantics for Politics+λ, where the semantic values (‘meanings’) are
functions from variable assignments to denotations?
a. The meaning of a constant maps every variable assignment to the same denotation
• Just like the English name Barack, the individual constant barack’ should
map every variable assignment to the same individual, Barack
o After all, in our model-theoretic semantics, [[barack’]]M,g doesn’t
depend on g…
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
d. …. To be filled in later …
Finally, to complete the definition in (30), we will specify what the semantic operations in
{Gγ}γ∈{Concat, Not, And, Or, If, ∃, ∀, λ} must be…
This, of course, is the most challenging part…
• Rather than motivate these operations from the ‘ground up’, I’m simply going to
introduce them and show you how they work…
2
The term in (30) and its definition mimic Montague’s definition in UG of a ‘logically possible Fregean
interpretation’ of his Intensional Logic.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• Since FConcat and GConcat should ‘correspond’, it follows for meaning assignment h:
GConcat(f(smokes’), f(barack’)) =
The function F-A such that if g ∈ J, then F-A(g) = f(smokes’)(g)(f(barack’)(g))
GConcat(f(smokes’), f(x3)) =
The function F-A’ such that if g ∈ J, then –FA’(g) = f(smokes’)(g)(f(x3)(g))
• Since smokes’ and barack’ are constants, and x3 is a variable, (30b,c) entails that:
o For any g, g’ ∈ J, f(smokes’)(g) = f(smokes’)(g’) = s ∈ D<e,t>, E
o For any g, g’ ∈ J, f(barack’)(g) = f(barack’)(g’) = b ∈ De, E
o For any g, ∈ J, f(x3)(g) = g(x3)
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(33) Remarks
• Thus, the ‘meaning’ of (smokes’ x3) is not a constant function from contexts (variable
assignments) to truth-values:
o It maps every variable assignment to the value that s yields for g(x3)
• Since FNot and GNot should ‘correspond’, it follows for meaning assignment h:
• Now, recall from (32) that h(smokes’ barack’), h((smokes’ x3)) ∈ Mt, E, J
Thus, it follows from (34) that:
GNot(h(smokes’ barack’)) =
The function Neg such that if g ∈ J, Neg(g) = 1 iff h(smokes’ barack’)(g) = 0
GConcat(h(smokes’ x3)) =
The function Neg’ such that if g ∈ J, Neg’(g) = 1 iff h(smokes’ x3)(g) = 0
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(36) How Does This Work? (Part 2)
(37) Remarks
• Thus, the ‘meaning’ of ~(smokes’ x3) is not a constant function from contexts
(variable assignments) to truth-values:
o It maps every variable assignment to 1 iff s(g(x3)) = 0
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(39) How Does This Work?
• Since FAnd and GAnd should ‘correspond’, it follows for meaning assignment h:
• Now, recall that h(smokes’ barack’), h(smokes’ mitt’), h((smokes’ x3)) ∈ Mt, E, J
Thus, it follows from (38) that:
• Consequently:
h(((smokes’ barack’) & (smokes’ mitt’))) =
The function Conj such that if g ∈ J, then Conj(g) = 1 iff s(b) = s(m) = 1
(40) Remarks
• Again, we have it that h(((smokes’ barack’) & (smokes’ x3))) is not a constant
function from variable assignment to truth-values.
o Just as [[((smokes’ barack’) & (smokes’ x3))]]M,g does vary with g
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Given the discussion in (39)-(40), it can easily be seen that the following operations will
similarly serve as semantic correlates of FOr and FIf
Now, we finally come to the central problem of how to treat the variable-binding operators…
• First, note the requirement that there be a type τ ∈ T and a variable v ∈ VARτ such
that for all g ∈ J, α(g) = g(v).
• Given our conditions in (30b,c), this will only ever hold (in a logically possible
partly-Fregean interpretation) if α = f(v), i.e., the ‘meaning’ of the variable v.
• Thus, this condition ensures that if the first argument of G∃ is not a variable-meaning,
then the output will be garbage.
o Thus, our system will map syntactic garbage like ‘∃mitt’ (smokes’ mitt’) to
garbage
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(45) How Does This Work? (Part 2)
• Now, consider the simple existential sentence: ∃x3 (smokes’ x3)
• Next, note that h((smokes’ x3)) ∈ Mt, E, J and for any g ∈ J, h(x3)(g) = f(x3)(g) = g(x3)
(46) Remarks
• Thus, the meaning of ∃x3(smokes’ x3) is a constant function on variable assignments
o It maps any variable assignment g to 1 iff there is an x ∈ De,E such that the
‘denotation of smokes’ (s) maps x to 1
Given the discussion in (44)-(46), it can easily be seen that the following operations will
similarly serve as semantic correlates of F∀
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
And, last but not least, how do we handle the semantics of lambda abstraction?...
• Again, the requirement that ‘for all g ∈ J, α(g) = g(v)’ ensures that if the first
argument α is not the meaning of a variable, then Gλ(α,β) = garbage
o Thus, ‘(λmitt’ (smokes’ mitt’))’ will end up being interpreted as garbage
• Next, note that h((smokes’ x3)) ∈ Mt, E, J and for any g ∈ J, h(x3)(g) = f(x3)(g) = g(x3)
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(50) Remarks
(51) Summary
It seems, then, that the operations {Gγ}γ∈{Concat, Not, And, Or, If, ∃, ∀, λ} will serve nicely as
‘semantic correlates’ of our syntactic operations {Fγ}γ∈{Concat, Not, And, Or, If, ∃, ∀, λ}
d. The operations {Gγ}γ∈{Concat, Not, And, Or, If, ∃, ∀, λ} are as defined in (31)-(48)
17
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. A Logically Possible Partly-Fregean Interpretation for Politics+λ
Let us now illustrate the key notion in (52) by concretely spelling out such an interpretation.
Let E be the set {Barack, Michelle, Mitt}. Let J be the set of variable assignments based
on E. Let σ be the type assignment for Politics+λ such that for all τ ∈ T, σ(τ) =
σ(<var,τ>) = τ. Let B = <B, Gγ, f>γ∈{Concat, Not, And, Or, If, ∃, ∀, λ} be the logically possible
partly-Fregean interpretation of Politics+λ connected with E, J, σ such that f consists of
the following mappings.
j = Michelle Michelle 1
Barack 1
Mitt 0
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
Finally, as we’ve done so many times before, we can use the meaning assignment h determined
by B to assign meanings to the expressions of Politics+λ
• To save space, I’ve not includes all the calculation steps below. Students are
encouraged to work out all the steps for themselves.
18
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In the calculations below, let h be the meaning assignment determined by the interpretation B
defined in (53).
• The function A such that if g ∈ J, A(g) = 1 iff for all x ∈ De,E , i(x) = 1 =
Compare:
Relative to the model M defined in (13) on the previous handout, for any variable
assignment g, [[∀x3 (man’ x3)]]M,g = 0
Compare:
Relative to the model M defined in (13) on the previous handout, for any variable
assignment g, [[∃P4 (P4 michelle’)]]M,g = 1
• The function L such that if g ∈ J, L(g) = the function p with domain De,E such that for
any x ∈ De,E , p(x) = 1 iff i(x) = 1 and o(x) = 1. =
Compare:
Relative to the model M defined in (13) on the previous handout, for any variable
assignment g, [[(λx3 ((man’ x3) & (smokes’ x3)))]]M,g =
{ <Michelle, 0>, <Barack,1>, <Mitt,0> }
19
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(57) (λP4 (P4 mitt’))
• The function L such that if g ∈ J, L(g) = the function p with domain D<e,t>,E such that
for any x ∈ D<e,t>,E , p(x) = x(Mitt)
Compare:
Relative to the model M defined in (13) on the previous handout, for any variable
assignment g, [[(λP4 (P4 mitt’))]]M,g =
The function p with domain D<et>,E , range Dt,E and for all x ∈ D<et>,E , p(x) = x(Mitt)
• The function L such that if g ∈ J, L(g) = the function p with domain D<e,t>,E such that
for any x ∈ D<e,t>,E , p(x) = 1 iff for all y ∈ De,E , i(y) = 0 or x(y) = 1
• The function L such that if g ∈ J, L(g) = the function p with domain D<e,t>,E such that
for any x ∈ D<e,t>,E , p(x) = 1 iff for all y ∈ De,E , if i(y) = 1 then x(y) = 1
Compare:
Relative to the model M defined in (13) on the previous handout, for any variable
assignment g, [[(λP4 ∀x3 ((man’ x3) (P4 x3)))]]M,g =
The function p with domain D<et>,E, range Dt,E and for all x ∈ D<et>,E , p(x) = 1 iff
for all y ∈ De,E, if i(y) = 1 then x(y) = 1
• The function F-A such that if g ∈ J, then F-A(g) = L(g)( mt(g) ) = (by (53), (56))
Compare: Relative to the model M defined in (13) on the previous handout, for any
variable assignment g, [[( (λx3 ((man’ x3) & (smokes’ x3))) mitt’ )]]M,g = 0
20
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. Relationship Between Models and Logically Possible Partly-Fregean Interpretation
(60) Fun Fact: There is (again) an important equivalence between these two systems!
a. Claim 1:
The structure B = <B, Gγ, f>γ∈{Concat, Not, And, Or, If, ∃, ∀, λ} is a logically-possible
partly-Fregean interpretation of Politics+λ.
b. Claim 2:
Let h be the meaning assignment determined by B. Every meaningful expression
ϕ of Politics+λ is such that, for any variable assignment g ∈ J:
h(ϕ)(g) = [[ϕ]]M,g
(62) Remark
Thus, if we are given a model M for Politics+λ, we can construct a logically possible
partly-Fregean intepretation B that assigns equivalent values to the meaningful
expressions of Politics+λ.
b. Claim 2:
Let h be the meaning assignment determined by B. Every meaningful expression
ϕ of Politics+λ is such that, for any variable assignment g ∈ J:
h(ϕ)(g) = [[ϕ]]M,g
21
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(63) Remark
Thus, if we are given a logically possible partly-Fregean interpretation B of Politics+λ,
we can construct a model M for Politics+λ that assigns equivalent values to the
meaningful expressions of Politics+λ.
(64) Summary
• Similarly, we can view these two systems as being in essence ‘the same thing’ (even
though they are very different set theoretic objects).
• As you can probably tell now, once we’ve got variable binding in the language, the
model-theoretic presentation of the semantics is much simpler and more
comprehensible than its presentation as a (Montagovian) ‘interpretation.’
• For this reason, in PTQ (but not UG), Montague presents the semantics for IL in
strictly model-theoretic terms (no ‘interpretations’).
22
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Computing with ‘Logically Possible Partly-Fregean Interpretations’
(i) h((λP4 ∃x3 ((man’ x3) & (P4 x3)))) = (by definition of Politics+λ)
(iii) Gλ( h(P4) , G∃ ( h(x3) , GAnd( GConcat( h(man), h(x3)), GConcat( h(P4), h(x3))…)
= (by def. of h)
(iv) Gλ( f(P4) , G∃ ( f(x3) , GAnd( GConcat( f(man), f(x3)), GConcat( f(P4), f(x3))…)
= (by def. of f)
(v) Gλ( f(P4) , G∃ ( f(x3) , GAnd( GConcat( mn , f(x3)), GConcat( f(P4), f(x3))…)
= (by def. of Gλ)
Thus, h((λP4 ∃x3 ((man’ x3) & (P4 x3)))) is computed to be a constant function on variable
assignments.
• It maps every variable assignment to the function p, which is the characteristic
function of the set of <e,t> functions f which map some man to 1.
• Thus, it maps every variable assignment to the ‘set of properties that some man has’
Note the parallel to our model theoretic semantics from the handout “Preliminaries”:
Let M be the model defined in (13) of “Preliminaries”. Let g be any variable assignment based
on M.
The function p with domain D<et>,E, range Dt,E and for all x ∈ D<et>,E ,
p(x) = 1 iff there is a y ∈ De,E such that i(y) = 1 and x(y) = 1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
An Algebraic Approach to Quantification and Lambda Abstraction:
Applications to the Analysis of English
Note: The system developed here is a blend of the ones Montague develops in UG and PTQ.
To my knowledge, this system appears nowhere else in the literature on MG.
In this section, we will work out at a relatively informal level how we should structure the
English fragment and its translation into Politics+λ
(4) a. Easy Question: What should the category of these new expressions be?
b. Easy Answer:
Well, their external syntactic behavior is just like the expressions Barack, Mitt,
Michelle. Thus, if the latter are NPs, then so should be some man and every man.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
b. The Basic Expressions
(i) XTV = { < loves, ∅ > }
(ii) XIV = { < smokes, ∅ > }
(iii) XT = { < Barack, ∅ >, < Mitt, ∅ >, < Michelle, ∅ > }
(iv) XCN = { < man, ∅ >, < president, ∅ > }
(v) XS = ∅
In the definitions below, α and β are trees whose root nodes are ordered pairs.
In addition α’ and β’ are the first members of the root nodes of α and β.
< every man, Every > < every president, Every >
< some man, Some > < some president, Some >
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• We don’t want the meaning of some man or every man end up being of type e
hºk(some man) =
the function whose domain is D<et>,E, and for every f in D<et>,E maps f to 1 iff
there is an x in De,E such that x is a man and f(x) = 1
hºk(every man) =
the function whose domain is D<et>,E, and for every f in D<et>,E maps f to 1 iff
for all x in De,E , if x is a man then f(x) = 1
• Therefore, we’d like our translation function k to achieve the following mappings:
• Thus, we want our translation function k to map some man and every man to
expressions in Politics+λ of type <<e,t>,t>
• But, recall that under our theory of translation, every expression of the same category
in English must be translated to an expression of the same type in Politics+λ
• Thus, the goal in (8) entails that every term of our language – even Barack,
Michelle, and Mitt – must be translated as <<et>,t> formulae.
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(10) The Solution to the Challenge (Linguistics 610)
The proper names Barack, Michelle, and Mitt will receive the translations below:
That is, the name (e.g.) Barack will end up translated as an expression denoting the
characteristic function of the set of <e,t> functions that map Barack to 1.
k( Barack smokes ) =
k( Barack smokes ) =
(smokes’ barack’)
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Our solution in (12) would also get the right results for sentences whose subjects are
quantificational terms!...
(15) Summary
Well, it looks like we’re all done here! We just need to properly implement the ideas in
(5)-(12), and we can call it a day, put on our PJs, and get caught up on Breaking Bad!...
Oh wait… Crap! We forgot about the fact that quantificational terms can also be direct objects…
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(17) The Obvious Problem
In our translation base mapping Mini-English to Politics-NoQ, the syntactic operation
KMerge-IV corresponds to the polynomial operation FConcat.
• In the semantics for English that we get form our translation, we want terms like
every president to end up denoting functions of type <<e,t>,t> (GQs)
• But we also in our semantics want transitive verbs like smokes to end up denoting
functions of type <e,<e,t>> (curried characteristic functions of binary relations).
Our fragment of English will contain a syntactic operation that is like ‘QR-in-reverse’.
• This operation KQI (QI = ‘quantifying in’) will take (i) a quantificational term, and (ii)
a sentence containing a pronoun (cf. trace), and output a string where the pronoun (cf.
trace) is replaced with the quantification term.
KQI( every president , Michelle loves him2 ) = Michelle loves every president.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(20) Remark
Although the transformation of the strings is like ‘QR-in-reverse’, the actual analysis
trees output by KQI are geometrically similar to the PS-trees generated by QR.
< every president, Every > < Michelle loves him2 , Merge-S>
< president, ∅ > < Michelle, ∅ > < loves him2 , Merge-IV>
The HQI ((λP0 ∀x0 ((president’ x0) (P0 x0))) , ((loves’ x0) michelle’) ) =
Key
Step! ( (λP0 ∀x0 ((president’ x0) (P0 x0))) (λx0 ((loves’ x0) michelle’)) ) ⇔
(by alpha-conversion)
If we can flesh out the ideas in (19) and (21), we will have a system that properly translates /
interprets quantificational terms in object position.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(22) Our To-Do List
a. Step One: Develop a theory of the syntax and semantics of pronouns in English
b. Step Two: Properly define the operation KQI
c. Step Three: Properly define the operation HQI
(i) ∃x0 ((man’ x0) & ∀x1 ((president’ x1) ((loves’ x1) x0)))
(ii) ∀x0 ((president’ x0) ∃x1 ((man’ x1) & ((loves’ x0) x1)))
Hei = ProP
ϕP i
Nom, Masc, Sg
KHe(i) = Hei
IND = {<n,∅>:n∈ℕ }
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) The Translation of Pronouns into Politics+λ
The system we will go on to build will not translate the pronouns per se, but rather the
indices the pronouns are derived from.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(iii) KMerge-IV(α, β) =
α β
α β
α β
Note: To capture the effects of pronominal case, we now have independent, empirical
motivation for distinguishing the operations KMerge-IV and KMerge-S
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(29) Illustration of the Resulting System
The system sketched in (28) will entail that CS contains trees such as:
<2,∅>
<7,∅>
< 38 , ∅ > < loves , ∅ > < she 2987, She >
Since we don’t actually pronounce indices in English, we will want our ‘ambiguating’ relation R
to delete them from the first member of the root-node of our trees.
R < he 38, He > < loves her 2987 , Merge-IV > = he loves her
< 38 , ∅ > < loves , ∅ > < she 2987, She >
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(31) A Sketch of the Translation to Politics+λ
The correspondences in (31a), added with (27a), will yield the translations in (31b).
b. Illustrative Translations
(i) k ( he 2 smokes ) =
( smokes’ x2 )
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3.2 The Syntactic Operation KQI (‘Quantifying In’)
KQI( every president , Michelle loves him2 ) = Michelle loves every president.
• In this unit, we’ll follow Montague in UG, and pursue the path in (33a).1
(36) Preliminary Notation: Pro = a meta-variable ranging over he, she, him, her
Let α, β, γ be trees whose root nodes are ordered pairs. In addition, let α’ , β’ , γ’ be the
first members of the root nodes of α, β, γ (respectively).
β α γ
Where δ is the result of replacing in γ’ the left-most instance of Pro α’ with β’.
1
The statement here is somewhat misleading, since Montague didn’t introduce a ‘quantifying-in’ operation in UG.
However, the analysis Montague pursues for relative clauses in UG and PTQ faces the same issue in (33). The
general approach in (33a) was the one taken up by Montague in UG for the operation forming relative clauses. The
approach in (33b) was taken up in PTQ for both ‘quantifying-in’ and relativization.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(38) Illustration of KQI
In the examples below, let T1 be the tree in (29a), T2 be the tree in (29b). Finally, let T3
be the tree: < every president, Every >
< every president, Every > <2, ∅> < he 2 smokes, Merge-S >
<2,∅>
< Michelle, ∅> <5, ∅> < she 5 loves him 7, Merge-S >
<7,∅>
c. KQI( <7, ∅> , T3 , (38b) ) =
< every president, Every > <7, ∅> < Michelle loves him 7 , QI >
< president, ∅ > < Michelle, ∅> <5, ∅> < she 5 loves him 7, Merge-S >
<7,∅>
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(39) Remark
Notice how the analysis tree structures in (38) are geometrically similar to the LFs below,
which would be posited in a ‘Heim & Kratzer’-style system! (Hmmmm….)
a. S’’
DP S’
Every president 2 S
t2 VP
b. S’’’’
smokes
DP S’’’
DP S’
Michelle 5 S
t5 loves t7
(40) The Roots of Quantifier Scope Ambiguities
Our operation KQI will be able to output both the following analysis tree structures. Note
that the relation R in (30) would map both to the string some man loves every president.
< every president, Every > <7, ∅> < some man loves him 7 , QI >
< president, ∅ > < some man, Some> <5, ∅> < he 5 loves him 7, Merge-S >
< man, ∅ > < he 5, He > < loves him 7 , Merge-IV >
< some man, Some > <5, ∅> < he 5 loves every president , QI >
< man, ∅ > < every president, Every > <7, ∅> < he 5 loves him 7, Merge-S >
< president, ∅ > < he 5, He > < loves him 7 , Merge-IV >
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• One analysis tree that R in (30) maps to this string is derived by QI-ing some man
before every president (40a).
• Another analysis tree that R in (30) maps to this string is derived by QI-ing every
president before some man (40b).
k ( (40a) ) = ∀x0 ((president’ x0) ∃x1 ((man’ x1) & ((loves’ x0) x1)))
k ( (40b) ) = ∃x0 ((man’ x0) & ∀x1 ((president’ x1) ((loves’ x1) x0)))
To close out this section, let us introduce the syntactic rule below.
Note: Given this rule, the following are members of CS: (38a), (38b), (38c), (40a), (40b)
HQI( k(<2, ∅>) , k(every president) , k(he 2 smokes))) = (by (27a), (8), (31b))
HQI( x2 , (λP0 ∀x0 ((president’ x0) (P0 x0))) , (smokes’ x2)) = (by assumption)
Key
Part! ( (λP0 ∀x0 ((president’ x0) (P0 x0))) (λx2 (smokes’ x2)) ) ⇔ (by λ-conversion)
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(45) A Polynomial Operation that Would Do the Job
Let us define HQI as the following polynomial operation: FConcat< Id2,3 , Fλ< Id1,3, Id3,3 > >
Illustration:
FConcat<Id2,3, Fλ<Id1,3, Id3,3>>( x2 , (λP0 ∀x0 ((president’ x0) (P0 x0))) , (smokes’ x2)) =
FConcat ( Id2,3( x2 , (λP0 ∀x0 ((president’ x0) (P0 x0))) , (smokes’ x2)) ,
Fλ( Id1,3( x2 , (λP0 ∀x0 ((president’ x0) (P0 x0))) , (smokes’ x2))
Id3,3( x2 , (λP0 ∀x0 ((president’ x0) (P0 x0))) , (smokes’ x2)) ) ) =
FConcat ( (λP0 ∀x0 ((president’ x0) (P0 x0))) , Fλ( x2 , (smokes’ x2) ) ) =
FConcat ( (λP0 ∀x0 ((president’ x0) (P0 x0))) , (λx2 (smokes’ x2)) ) =
We’re almost ready to set up our fragment of English and the translation base. The last
ingredient is to find polynomial operations corresponding to KSome and KEvery
Fλ< CP0,1 , F∃ < Cx0,1 , FAnd < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>
Illustration:
Fλ< CP0,1 , F∃ < Cx0,1 , FAnd < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>(man’) =
Fλ( CP0,1(man’) , F∃ ( Cx0,1(man’) ,
FAnd( FConcat ( Id1,1(man’), Cx0,1(man’) ) ,
FConcat ( CP0,1(man’), Cx0,1(man’) ) ) ) ) =
Fλ( P0 , F∃( x0 , FAnd( FConcat( man’, x0 ) , FConcat ( P0 , x0 ) ) ) ) =
Fλ( P0 , F∃( x0 , FAnd( (man’ x0) , (P0 x0) ) ) ) =
Fλ( P0 , F∃( x0 , ((man’ x0) & (P0 x0)) ) ) =
(λP0 ∃x0 ((man’ x0) & (P0 x0)))
17
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(47) The Polynomial Operation HEvery , Corresponding to KEvery
Fλ< CP0,1 , F∀ < Cx0,1 , FIf < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>
Illustration:
Fλ< CP0,1 , F∀ < Cx0,1 , FIf < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>(man’) =
Fλ( CP0,1(man’) , F∀ ( Cx0,1(man’) ,
FIf( FConcat ( Id1,1(man’), Cx0,1(man’) ) ,
FConcat ( CP0,1(man’), Cx0,1(man’) ) ) ) ) =
Fλ( P0 , F∀ ( x0 , FIf( FConcat( man’, x0 ) , FConcat ( P0 , x0 ) ) ) ) =
Fλ( P0 , F∀ ( x0 , FIf( (man’ x0) , (P0 x0) ) ) ) =
Fλ( P0 , F∀ ( x0 , ((man’ x0) (P0 x0)) ) ) =
(λP0 ∀x0 ((man’ x0) (P0 x0)))
We’re now ready to put all these ideas together into a semantic analysis of English
quantification!
(48) Step One: The Category Labels Δ = {TV, IV, S, T, CN, IN, PR}
18
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(50) Step Three: The Syntactic Operations
Note: Contrary to the picture in (12)-(14), the rules above do not allow us to KMerge-S a term T
with an IV to form an S.
• We could easily add such a rule, but will refrain from doing so until later…
19
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(53) The Disambiguated Language: ‘Disambiguated Mini-English+Qs’ (DME+Q)
The structure < E, Kγ, Xδ , SE, S >γ ∈ {Merge-S, Merge-IV, Not, And, If, Or, Some, Every, He, She, QI}, δ ∈ Δ
where E, Kγ, Xδ , SE, and Δ are as defined in (48)-(52).
<2,∅>
<7,∅>
c. < Michelle loves every president, QI >
< every president, Every > <7, ∅> < Michelle loves him 7 , QI >
< president, ∅ > < Michelle, ∅> <5, ∅> < she 5 loves him 7, Merge-S >
<7,∅>
d. < some man loves every president, QI >
< every president, Every > <7, ∅> < some man loves him 7 , QI >
< president, ∅ > < some man, Some> <5, ∅> < he 5 loves him 7, Merge-S >
< man, ∅ > < he 5, He > < loves him 7 , Merge-IV >
<7,∅>
20
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(55) The Fragment of English: Mini-English+Qs (ME+Q)
Mini-English+Qs is the following language, where R is as defined in (30):
<< E, Kγ, Xδ , SE, S >γ ∈ {Merge-S, Merge-IV, Not, And, If, Or, Some, Every, He, She, QI}, δ ∈ Δ, R>
21
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(59) Step Three: Checking for Derived Syntactic Rules
In order to employ the polynomial operations above in our translation base, it must the
case that each of the following are derived syntactic rules of Politics+λ.
Students are encouraged to confirm for themselves whether they are.
a. < FConcat <Id2,2, Id1,1>, < e, <e,t> >, t > (~ Rule (52a))
b. < FConcat , < <e,<e,t>>, e >, <e,t> > (~ Rule (52b))
c. < FNot , < t >, t > (~ Rule (52c))
d. < FAnd, < t, t >, t > (~ Rule (52d))
e. < FIf, < t, t >, t > (~ Rule (52e))
f. < FOr, < t, t >, t > (~ Rule (52f))
g. < Fλ< CP0,1 , F∃ < Cx0,1 , FAnd < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>,
< <e,t> >, <<e,t>, t> > (~ Rule (52g))
h. < Fλ< CP0,1 , F∀ < Cx0,1 , FIf < FConcat< Id1,1, Cx0,1>, FConcat< CP0,1 , Cx0,1>>>>,
< <e,t> >, <<e,t>, t> > (~ Rule (52h))
i. < Id1,1 < <var,e> > e > (~ Rule (52i) and (52j)) 2
j. < FConcat< Id2,3 , Fλ< Id1,3, Id3,3>> , < <var,e>, <<e,t>, t>, t>, t > (~ Rule (52k))
We can now use the translation function k determined by T to homomorphically map expressions
of DME+Q (analysis trees) to expressions of Politics+λ.
2
There’s actually a problem here for our definition of ‘derived syntactic rule’. Although (59i) is true when
informally read (‘Applying Id1,1 to an expression of category <var,e> yields an expression of category e’), it is not
strictly speaking a ‘derived rule of Politics+λ’, since the label <var,e> ≠ e. I don’t myself know of any possible
solutions to this problem. (Montague himself doesn’t run into it in UG, for various independent reasons…)
22
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Illustration: (λP0 ∃x0 ((man’ x0) & (P0 x0))) ⇔ (λP1 ∃x1 ((man’ x1) & (P1 x1)))
(i) k(T1) =
(64) Remark
The end product of our translation process is the complex lambda-expression in (63ix).
However, thanks to α-conversion and λ-conversion, we can ‘transform’ this into a
simpler, logically equivalent formula.
23
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Note:
Because of all the variables shared between the sub-formulae in (63ix), we cannot immediately
apply λ-conversion to ‘simplify’ the formula; instead, we must first apply α-conversion to
change the bound variables so that they aren’t shared between the lambda-expressions.
(vi) ∀x0 ((president’ x0) ∃x1 ((man’ x1) & ((loves’ x0) x1)))
(65) Remark
• Again, strictly speaking, the translation of tree (40a) is the complex lambda
expression in (63ix).
o The simpler formula in (64iv) is not the translation of (40a).
• (65vi) is however, a logically-equivalent formula, one that allows us to more easily
‘see’ what the semantic value induced by our translation for (40a) is…
(i) k(T1) =
24
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(iv) HQI( j(<5, ∅>), HSome( j(<man, ∅>) ),
HQI( j (<7, ∅>), HEvery( j(<president, ∅>) ),
HMerge-S( HHe( j(<5 , ∅>) ), HMerge-IV( j(<loves , ∅>), HHe( j(<7 , ∅>)))))) =
Once again, we can apply α-conversion and λ-conversion to ‘transform’ the translation in
(ix) into a simpler, logically-equivalent formula
(xv) ∃x0 ((man’ x0) & ∀x1 ((president’ x1) ((loves’ x1) x0)))
Again, the formula in (63xiv) is not the translation of tree (40b); the translation is (63ix).
However (63xv) is a simpler, logically-equivalent expression…
Thus, it offers a more ‘transparent’ representation of the meaning assigned to (40b)
25
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
6. Inducing an Interpretation for Mini-English+Q
If we compose together our translation function k and our meaning assignment h for Politics+λ,
we now (thanks to our general theory of translation), obtain a meaning assignment for DME+Q.
(iv) h(∀x0 ((president’ x0) ∃x1 ((man’ x1) & ((loves’ x0) x1))))
= (by definition of interpretation B in (53) of previous handout)
(v) The function A such that if g ∈ J, A(g) = 1 iff for all for all x ∈ De,E ,
if k(x) = 1 then there exists a y ∈ De,E such that i(y) = 1 and j(x)(y)
= (by definition of interpretation B in (53) of previous handout)
Note:
In our induced interpretation of Mini-English, tree (40a) – the ‘inverse-scope reading of some
man loves every president’ – is interpreted as being true (relative to any variable assignment).
(iv) h(∃x0 ((man’ x0) & ∀x1 ((president’ x1) ((loves’ x1) x0)))) = (by def. of B)
(v) The function E such that if g ∈ J, E(g) = 1 iff there is an x ∈ De,E such that
i(x) = 1 and for all y ∈ De,E, if k(y) = 1 then j(y)(x) = 1 = (by def. of B)
26
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Note:
In our induced interpretation of Mini-English, tree (40b) – the ‘surface-scope reading of some
man loves every president’ – is interpreted as being true (relative to any variable assignment).
7. Summary
• Via our interpretation for Politics+λ defined in the last handout, obtained an ‘induced’
interpretation for ME+Q.
• Thus far, all our syntactic and semantic analyses have been within framework as
presented in Montague’s paper “Universal Grammar.”
• Therefore, to build towards that, I will next ‘transform’ the system we developed in the
last few handouts into a system akin to that presented in PTQ.
o Again, the substance of the analysis will remain the same (as you’ll see)
o All that really differs is the notation / presentation employed…
27
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Problem Set on the Analysis of Quantification
The exercises below make reference to the handout “An Algebraic Approach to Quantification
and Lambda Abstraction: Applications to the Analysis of English.”
a. Please show how our English fragment in (55) and our translation base in (61)
together predict that (i) receives a translation logically equivalent to (ii).
(ii) ∃x0 ((man’ x0) & (((loves’ x0) michelle’) & (smokes’ x0)))
b. Does the sentence below raise any problems for our system?
a. Minimally alter our English fragment in (55) so that its expressions now include
strings like no man smokes and Michelle loves no man.
b. Minimally alter our translation base in (61) so that strings like no man smokes
receive appropriate translations in Politics+λ.
Note: For this exercise, you don’t have to show that anything is a derived
syntactic rule.
c. Please show how the new translation base, along with the interpretation for
Politics+λ presented in (53) of the handout “Fregean Interpretations” assign a
meaning to the sentence no man smokes.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(3) One Final Exercise on Direct Interpretation
a. Minimally alter our English fragment in (55) so that its expressions now include
strings like most man smokes and Michelle loves most man.
Note: For this exercise, please disregard the need for most in English to
appear with a plural NP.
HINT:
For this problem, you should aim to predict that most man smokes has a meaning that maps a
variable assignment g to 1 iff the set of men who smoke is larger than the set of men who don’t
smoke.
That is, it maps g to 1 iff: | {x : x in De, E & h(man)(g)(x) = 1 & h(smoke)(g)(x) = 1 }| >
| {x : x in De, E & h(man)(g)(x) = 1 & h(smoke)(g)(x) = 0 }|
Fun Fact:
• There is no formula of Politics+λ that will have the meaning outlined above.
• This highlights the way in which our ability to do indirect interpretation of natural
language is limited by the logical languages we have at our disposal, while there are no
such limits on our ability to do direct interpretation…
2
Unit
6:
The
Proper
Treatment
of
Quantification
in
Ordinary
English
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
First Steps Towards PTQ: A New Presentation of Our System for Quantifiers
• By far and away, the most cited paper by Montague is “The Proper Treatment of
Quantification in Ordinary English” (PTQ).
• Consequently, PTQ doesn’t hold to letter of the UG system and its notations, and
introduces certain simplifications…
o Many aspects of Montague’s analysis in PTQ can be easily rephrased in the
strictly algebraic UG framework
o Others, as we will see, cannot (without sacrificing some elegance)
In these notes, we will take the analysis of English quantification developed in the last few
handouts, and ‘convert’ it into a format closer to what is found in PTQ…
• Many of the changes are simply superficial ones of terminology and notation…
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) Remarks
• Our English expressions are now boldfaced rather than italicized.
• Following PTQ (rather than UG), pronouns are now primitive expressions, rather than
ones syntactically derived from indices.
• To set up something interesting for later, we’ve also added woman to our set of CNs.
• Note that our English expressions are now strings again, rather than trees. As
we’ll see, this won’t pose any problems for the PTQ ‘version’ of MG….
• As shown below, in PTQ, the ‘rules’ incorporate both (i) the definition of the
syntactic operations in the language, and (ii) the information contained in a UG ‘rule’.
b. Remarks:
• This is clearly not a ‘syntactic rule’, in the sense found in UG.
• What S1 does is move to the system of ‘syntactic rules’ a condition that was
(in UG) part of the general definition of the set of categories (∪δ∈Δ Cδ)
a. The Rule:
If ζ ∈ PCN, then F0(ζ), F2(ζ) ∈ PT, where F0(ζ) = every ζ and F2(ζ) = some ζ
b. Remarks:
• Again, this is not a ‘syntactic rule’, in the sense found in UG.
• What S2 does is combine together the information we had earlier factored out
into (i) the definitions of KEvery and KSome, and (ii) the rules <KEvery, <CN>, T>
and <KSome, <CN>, T>
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Note:
• Following Montague in PTQ (and UG), the indices on our rules will no longer be
evocative mnemonics. Rather, they will simply be numerals.
• I will also be numbering both rules and operations in a way that matches the
corresponding rules and operations in PTQ (thus, F0 for every and F2 for some).
a. The Rule: If α ∈ PPR and δ ∈ PIV, then F4(α,δ) ∈ PS, where F4(α,δ) = α δ
b. Remarks:
Again, as with S2 and the rules below, this ‘syntactic rule’ combines together the
information that in the UG system was factored out into:
• The definition of KMerge-S , and
• The rule < KMerge-S, < PR, IV >, S >
a. The Rule:
If δ ∈ PTV and β ∈ PPR, then F5(δ,β) ∈ PIV, where F5(δ,β) = δ him n if β has the
form he n , F5(δ,β) = δ her n if β has the form she n, and F5(δ,β) = δ β otherwise.
a. The Rule:
If ϕ, ψ ∈ PS, then F8(ϕ, ψ), F9(ϕ, ψ) ∈ PS , where F8(ϕ,ψ) = ϕ and ψ, and F9(ϕ,ψ)
= ϕ or ψ.
b. Remarks:
• Again, we see how this one ‘syntactic rule’ contains both (i) the definition of
the syntactic operations F8 (~ KAnd) and F9 (~ KOr), and (ii) the UG-syntactic
rules references those operations.
• I will follow Montague in PTQ by only having these rules and operations; I
will henceforth drop the operations KIf, KNot, and the rules involving them.
• After all, they give us horrible analyses of conditionals and negation
in English ; )
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) The Rule S14
a. The Rule:
If α ∈ PT and ϕ ∈ PS, then F10,n(α,ϕ) ∈ PS , where F10,n(α,ϕ) comes from ϕ by
replacing the first occurrence of he n , him n , she n , or her n, by α.
b. Remarks:
• Again, this one ‘syntactic rule’ combines together both:
(i) The definition of the operations F10,n(α,ϕ) (~ KQI(<n,∅>,α,ϕ) )
(ii) The UG-style rule < F10,n , <T, S>, S>
• Note that this rule doesn’t appeal to a single syntactic operation, but a
whole infinite family of them, { F10,n : n ∈ ℕ }
With the rules above, we are able to offer the following definition of the set of phrases for ME+Q
Analysis Tree:
man he 1 smokes
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
b. Michelle loves every president
loves he 2
c. Some man loves every president.
loves he 2
Analysis Tree 2: some man loves every president, 10,1
loves he 2
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• In PTQ, Montague does not represent the semantics of the logical translation
language as a ‘(Fregean) interpretation’ in the sense of UG.
o Rather, he gives a (relatively) simple, model-theoretic semantics.
• However, given the equivalences between these systems for syntax and
semantics, it is possible (though laborious) to convert between them (see UG)
• Up to now, we’ve been translating our natural language into a ‘tailor-made’ logical
language with a finite set of constants.
• Technically speaking, in PTQ (and UG), Montague doesn’t do that, but rather
lays out a logical language with an infinite set of constants
o That is, in PTQ and UG, man’ isn’t the translation of man, but rather a meta-
language abbreviation for “whatever constant c is the translation of man”
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In what follows, we define the syntax and semantics of a single language, dubbed ‘Typed Logic’.
(ii) Variables:
For every type τ ∈ T, a countably infinite set of variables of type τ:
VARτ = { vτ, n : n ∈ ℕ }
a. xn = ve,n b. Pn = v<e,t>,n
d. If v ∈ VARτ, and ϕ ∈ MEt , then (i) ∃vϕ ∈ MEt (ii) ∀vϕ ∈ MEt
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(24) Some Illustrative Meaningful Expressions of TL
b. ∀x3 ( (Q2 x3) ~ ((R3 a2) x3)) [∀x3((smokes’ x3) ~ ((loves’ mitt’) x3))]
e. (λP4 ∀x3 ( (Q3 x3) (P4 x3) ) ) [(λP4 ∀x3 ((man’ x3) (P4 x3))), Politics+λ]
Our semantics for TL is going to exactly follow our model-theoretic semantics for Politics+λ
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(28) The Semantics of TL, Part 4: Interpretation w.r.t. Model and Variable Assignment
Let M be a model <E, I> for TL and g be a variable assignment based on M. The
interpretation (a.k.a. denotation) of a meaningful expression of TL relative to M and g
[[.]]M,g is defined as follows:
a. If v ∈ ∪τ ∈ T VARτ , then [[ v ]]M,g = g(v)
b. If α ∈ ∪τ ∈ T CONτ , then [[ α ]]M,g = I(α)
c. If ϕ = (ψ χ), then [[ϕ ]]M,g = [[ψ]]M,g([[χ]]M,g)
d. If ϕ = ~ψ, then [[ϕ]]M,g = 1 iff [[ψ]]M,g = 0
e. If ϕ = (ψ & χ), then [[ϕ]] = 1 iff [[ψ]]M,g = 1 and [[χ]]M,g = 1
M,g
a. I(a1) = Barack
b. I(a2) = Mitt
c. I(a3) = Michelle
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) Illustration of the Semantics: Interpretation of Illustrative Expressions
Let M be the model defined in (29). Let g be some arbitrary variable assignment based
on M.
The function p with domain D<et>,E, range Dt,E and for all a ∈ D<et>,E ,
p(a) = 1 iff for all a’ ∈ De,E, if i(a’) = 1 then a(a’) = 1 =
In PTQ, the system for translating from ME+Q to TL differs slightly from that in UG.
• As we will see, however, the differences are not that deep or fundamental…
Note: The mapping above is not at all the one that actually appears in PTQ.
Recall that we’re right now just ‘converting’ our system from the last handout
into the PTQ style.
Let g be a function whose domain is the set of basic expressions in (5) except for BT and
BPR, and for all A ∈ Cat, α ∈ BA, and α ∈ Domain(g), g(α) ∈ CONf(A)
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(33) Meta-Language Abbreviations
Recall that the constants of our language TL are all of the form cτ, n. In what follows,
we’ll make use of the following meta-language abbreviations.
In the PTQ-system, the work done in UG by the translation base and the definition of the
polynomial operations is instead done by a system of ‘translation rules’.
• These ‘translation rules’ stand in a one-to-one correspondence with the syntactic rules
in (9)-(14)
o Much as how in UG the polynomial operations are in correspondence with the
syntactic operations, and the derived syntactic rules with the syntactic rules.
• As we’ll see, these ‘translation rules’ do the work of both (i) defining the ‘polynomial
operation’ each syntactic operation corresponds to; (ii) putting the operations in
correspondence.
b. Remarks:
• This ‘translation rule’ incorporates the following information:
(i) The lexical translation function g is a subset of the full translation relation
(ii) Proper names translate as <<e,t>,t> formula; pronouns as type-e variables.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(36) The Rule T2
a. The Rule:
If δ ∈ PPR and β ∈ PIV, and δ, β translate to δ’, β’ respectively, then F4(δ,β)
translates to (β’ δ’)
a. The Rule:
If α ∈ PT and ϕ ∈ PS, and α, ϕ translate to α’, ϕ’ respectively, then F10,n(α,ϕ)
translates to ( α’ (λxn ϕ’) )
b. Remarks:
• As in the corresponding syntactic rule S14, this translation rule covers not
simply one syntactic operation, but a whole infinite family of them.
• This translation rule implicitly does the work of defining an infinite family of
polynomial operations H10,n, each corresponding to F10,n
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(41) The Translation Relation
The translation relation translates to between expressions of ME+Q and those of TL is the
smallest binary relation satisfying T1-T14.
Given the correspondence between the syntactic rules S1-S14 and the translation rules T1-T14,
we can build up the translation for a sentence (rule-by-rule) as we construct it.
(i) man, loves, president translate to man’, loves’, president’ respectively ((33), T1)
(vii) F2(man) translates to (λP0 ∃x0 ((man’ x0) & (P0 x0))) (T2)
(viii) some man translates to (λP0 ∃x0 ((man’ x0) & (P0 x0))) (def. of F2)
(xi) F0(president) translates to (λP0 ∀x0 ((president’ x0) (P0 x0))) (T2)
(xii) every president translates to (λP0 ∀x0 ((president’ x0) (P0 x0))) (def. of F0)
(xv) ∀x0 ((president’ x0) ∃x2 ((man’ x2) & ((loves’ x0) x2)))
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(43) Illustration of the Translation Rules, Part 2
Steps (i)-(vi) are exactly the same as those in (42):
(vii) F0(president) translates to (λP0 ∀x0 ((president’ x0) (P0 x0))) (T2)
(viii) every president translates to (λP0 ∀x0 ((president’ x0) (P0 x0))) (def. of F0)
(xi) F2(man) translates to (λP0 ∃x0 ((man’ x0) & (P0 x0))) (T2)
(xii) some man translates to (λP0 ∃x0 ((man’ x0) & (P0 x0))) (def. of F2)
(xv) ∃x0 ((man’ x0) & ∀x2 ((president’ x2) ((loves’ x2) x0)))
• When our syntactic derivation of some man loves every president follows the
procedure in Analysis Tree 1 in (17c), the translation is logically equivalent to:
∀x0 ((president’ x0) ∃x2 ((man’ x2) & ((loves’ x0) x2)))
• When our syntactic derivation of some man loves every president follows the
procedure in Analysis Tree 2 in (17c), the translation is logically equivalent to:
∃x0 ((man’ x0) & ∀x2 ((president’ x2) ((loves’ x2) x0)))
That is, syntactically ambiguous strings in ME+Q can be paired with more than one
translation, corresponding to the different ways the strings can be derived in the syntax.
• Of course, if the language were not syntactically ambiguous, then the translation
relation would be a function….
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. Introducing ‘Meaning Postulates’
Illustration:
• It is perfectly consistent with the definitions in Section 2 for a model of TL to map
the constants man’ and woman’ to the same, or overlapping <et>-functions.
• However, it is (maybe) part of the grammar of English that these terms are antonyms.
• The term ‘meaning postulate’ is often used (though not by Montague himself) to refer
to such conditions on models for a language.
• Though the example in (47) is dubious,1 it’s possible to imagine more plausible cases:
o ∀x0 ((bachelor’ x0) (man’ x0))
o ∀x0 ((wine’ x0) ∃x1 ((grape’ x1) & ((made-from’ x1) x0)))
• In general, such ‘meaning postulates’ allow us to encode facts about lexical semantics
into our overall analysis of the natural language.
o Whether this is a good theory of lexical semantics, though, is up for debate…
1
After all, one could argue that is simply a contingent biological fact that no men are women, rather than it being a
part of the lexical semantics of ‘man’ and ‘woman’.
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
5. Direct and Indirect Interpretation in the PTQ-Style System
As should be obvious by now, given our model in (29), our translation system from Section 3
allows us to ‘indirectly interpret’ strings of ME+Q.
Illustration:
• The interpretation of some man loves every president under translation (42) and
relative to the model in (29) is 1
o After all, Barack is the only president, and he loves himself.
• The interpretation of some man loves every president under translation (43) and
relative to the model in (29) is also 1
o Again, this is rendered true by the fact that Barack loves himself.
b. Answer:
Yes, but it is a little less trivial/mechanical to build the model M for natural
language L on the basis of model M’ for logical language L’ and the translation.
16
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Barack Michelle 1
Barack 1
Mitt 0
Mitt Michelle 0
Barack 0
Mitt 1
We now must lay out a definition for ‘interpretation relative to a model and a variable
assignment’…
Notice how the definition below mirrors our translation rules T1-T14
17
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(56) Direct Interpretation of ME+Q, Step 3: Interpretation w.r.t. Model and Assignment
Let M be a model <E, I> for ME+Q and g be a variable assignment based on M. The
relation ‘X is an interpretation of ϕ relative to M and g’ [[.]]M,g is defined as follows:
a. Rule I1:
(i) If ϕ is in the domain of I, then [[ϕ]]M,g = I(ϕ)
(ii) [[Barack]]M,g =
the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff f(β) = 1 (where β is some specified member of E)
[[Mitt]]M,g =
the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff f(µ) = 1 (where µ is some specified member of E)
[[Michelle]]M,g =
the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff f(ν) = 1 (where ν is some specified member of E)
b. Rule I2:
(i) If ϕ ∈ PCN, then [[F0(ϕ)]]M,g =
the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff for all x ∈ E, if [[ϕ]]M,g(x)= 1, then f(x) = 1
f. Rule I14:
If α ∈ PT and ϕ ∈ PS, then [[F10,n(α,ϕ)]]M,g =
[[α]]M,g(the function p with domain E such that for all x ∈ E, p(x) = [[ϕ]]M,g(n/x))
We can now use the definitions in (53)-(55) to directly interpret expressions of ME+Q!!
18
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(57) Illustration: Directly Interpreting a Sentence of ME+Q
Let M be the model defined in (54) and g be any variable assignment based on M.
(viii) (the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff for all x ∈ E, if [[man]]M,g(x)= 1, then f(x) = 1)(h) = (by I1)
(ix) (the function p with domain D<e,t>,E such that for all f ∈ D<e,t>,E
p(f) = 1 iff for all x ∈ E, if i(x)= 1, then f(x) = 1)(h) = (by meta-logical reasoning)
(xi) 0
(58) Remark
• Note that for syntactically ambiguous strings, there can be two possible
interpretations w.r.t a model and variable assignment.
• Thus, as the language in (56) suggests, [[.]]M,g is not a function.
Now, let’s actually study Montague’s full semantic analysis of English in PTQ…
19
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The Proper Treatment of Quantification in Ordinary English, Part 1:
The Fragment of English
We will now explore the analysis of English that Montague puts forth in his seminal paper, PTQ.
As we’ve already seen, there are three principle parts to the analysis:
• The translation from English to IL (difficult; after all, this is the actual semantic analysis)
• In PTQ, Montague employs a system of syntactic categories (i.e., category labels) for
English that are similar in structure to the types (i.e., a so-called categorical grammar)
A/B and A//B = Expressions that when ‘combined’ with an expression of category
B yield an expression of category A.
Illustration:
t/e, t//e: Combines with an expression of category e to yield one of category t
(≈ <e,t>)
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
c. Quote:
“We shall regard the categories A/B and A//B as playing the same semantical but
different syntactical roles.”
(i.e., CN and IV have translations/meanings of the same type, but are different
syntactic categories in English.)
• Up until now, we’ve been treating the labels below as the actual category labels of
our language.
Note: TVs are expressions that combine with Terms (t/(t/e)) to yield IVs (t/e).
Thus, TVs will directly combine syntactically with quantificational terms…
Notes:
• Montague uses the term ‘verb phrase’ in (iv) and (v) a bit differently from syntacticians
• Just like TVs, prepositions in PTQ directly combine with quantificational terms.
• The only uses of the A/B and A//B distinction are:
o IV vs. CN (run vs. man)
o IAV vs. IV//IV (slowly vs. try to)
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(5) Remark
In PTQ, there are an infinite number of category labels for English, some of which don’t
seem to apply to any actual expression of English (e.g. e/t)
• Again, what this buys us is mainly just an elegant statement of the type-category
correspondence in the translation system…
The following are the basic expressions of the English fragment, exactly as written out by
Montague in PTQ.
f. Bt/t = {necessarily}
(7) Remark
In the PTQ system, pronouns are all terms. They are also all masculine. Finally, note that
the pronouns and indices are not syntactically separate expressions (unlike in UG).
1
Just to forestall any confusion, in the PTQ paper itself, Montague uses ‘Λ’ to denote the null set.
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(8) Key Observation, Previewing Some Fun to Come…
• Note that the following pairs of expressions are all members of the same category:
• Given that seek, allegedly, and about create ‘opaque’ contexts, we’d ideally want
them to take intensions as arguments (LING 620).
o Seek takes as argument the intension of a unicorn
o Allegedly takes as argument the intension of danced.
o About takes as argument the intension of a unicorn.
• Consequently, since seek, allegedly, about have a meaning that takes intensions as
arguments, we’ll also need for eat, rapidly, and in to have such meanings…
Given the basic expressions in (6), the syntactic rules outlined in this section will simultaneously
define the set of meaningful expressions of English, ∪A∈Cat PA
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(11) Remarks on Rule S2
a. Via the addition of F1, we are adding definite determiners to our fragment.
Montague will provide a ‘Russellian’ analysis of definite terms: 2
The man smokes is true iff ∃x0 ∀x1 (((man’ x1) ↔ x0 = x1) & (smokes’ x0))
There is exactly one man, and he smokes.
b. The definition of F2 in (10) appeals to a notion that Montague does not ever
explicitly define in the paper: whether a given word takes a or an
• In this case, though, we could easily revise (10) to explicitly contain the
generalization ‘an before a vowel’.
If ζ ∈ PCN and ϕ ∈ Pt , then F3,n(ζ,ϕ) ∈ PCN, where F3,n(ζ,ϕ) = ζ such that ϕ’, and ϕ’
comes from ϕ by replacing each occurrence of hen or himn by {he, she, it} or {him, her,
it}, respectively, according as the first BCN in ζ is of {masc., fem., neuter} gender.
Illustration:
(i) woman ∈ PCN, John loves him5 ∈ Pt (Rules)
(ii) F3,5 (woman , John loves him5) ∈ PCN (Rule S3)
(iii) woman such that John loves her ∈ PCN (def. of F3,5)
a. Rule S3 is the rule for forming relative clauses in PTQ. Note that it only forms
‘such that’ relatives; there are no mechanisms in PTQ for filler-gap dependencies.
b. Like F10,n from the last handout, F3,n is an infinite family of operations.
c. Also like F10,n , the translation operation corresponding to F3,n will lambda
abstract over the variable with index n.
2
Note that, since Intensional Logic is being used as the translation language, it would not be possible in the PTQ
system to provide a Fregean/presuppositional analysis of definite terms.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
If α ∈ Pt/IV and δ ∈ PIV, then F4(α,δ) ∈ Pt, where F4(α,δ) = α δ’ and δ’ is the result of
replacing the first verb (i.e., member of BIV, BTV, BIV/t, or BIV//IV) in δ by its third person
singular present.
a. In PTQ, the operation F4 doesn’t just combine a subject with a predicate, it is also
responsible for adding the tense and agreement morphology to the verb.
c. The notion ‘verb’ is defined as part of the definition of F4. Notice, though, that
‘verb’ is not actually a syntactic category in the system.
• In fact, verb can’t be a syntactic category in MG, given the need for category-
to-type correspondence.
d. The notion ‘third person singular present’ is nowhere defined in the paper.
To properly implement this, though, we could imagine defining a function
‘3sgPRES’ which maps an English verb root to its 3rd singular present form:
• With this function, we’d simly say that δ’ is obtained from δ by replacing the
first verb v in δ with 3sgPRES(v).
If δ ∈ PIV/T and β ∈ PT, then F5(δ,β) ∈ PIV, where F5(δ,β) = δ β if β does not have the
form hen, and F5(δ,hen) = δ himn
Remark:
Again, the definition of F5 captures the behavior of objective case on English pronouns.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) Rule S6 (Prepositional Phrase Rule) If δ ∈ PIAV/T and β ∈ PT, then F5(δ,β) ∈ PIAV
Remark: S6 forms prepositional phrases in PTQ. Note its use of the operation F5
o This captures the presence of ACC on pronominal complements of Ps
o This also nicely illustrates the difference between syntactic
operations and syntactic rules in PTQ
Illustration:
(i) believe that ∈ PIV/t , John runs ∈ Pt (Rule S1, S4)
(ii) F6(believe that, John runs) ∈ PIV (Rule S7)
(iii) believe that John runs ∈ PIV (def. of F6)
(18) Rule S8 (Infinitival Control Rule) If δ ∈ PIV//IV and β ∈ PIV, then F6(δ,β) ∈ PIV
Illustration:
(i) try to ∈ PIV//IV , find a unicorn ∈ PIV (Rule S1, S5)
(ii) F6(try to, find a unciorn) ∈ PIV (Rule S8)
(iii) try to find a unicorn ∈ PIV (def. of F6)
(19) Rule S9 (Sentential Adverbs Rule) If δ ∈ Pt/t and β ∈ Pt, then F6(δ,β) ∈ Pt
Illustration:
(i) necessarily ∈ Pt/t , John runs ∈ Pt (Rule S1, S4)
(ii) F6(necessarily, John runs) ∈ Pt (Rule S9)
(iii) necessarily John runs ∈ Pt (def. of F6)
Illustration:
(i) about a unicorn ∈ PIV/IV, talk ∈ PIV (Rule S1, S6)
(ii) F7(about a unicorn, talk) ∈ PIV (Rule S10)
(iii) talk about a unicorn ∈ PIV (def. of F7)
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(21) Rule S11 (Sentential Conjunction/Disjunction Rule)
If ϕ, ψ ∈ Pt, then F8(ϕ, ψ), F9(ϕ, ψ) ∈ Pt , where F8(ϕ,ψ)= ϕ and ψ and F9(ϕ,ψ)= ϕ or ψ.
Illustration:
(i) runs, loves Mary ∈ PIV (Rule S1, S5)
(ii) F8(runs, loves Mary), F9(runs, loves Mary) ∈ PIV (Rule S12)
(iii) runs and loves Mary, runs or loves Mary ∈ PIV (def. of F8 and F9)
(23) Remark
• As we’ll see later, this will cause some difficulty converting the PTQ system into the
algebraic UG format
o In the putative translation base, we’d need a single polynomial operation over IL
to correspond to F8 (F9)
o But a single such operation won’t give us the right translations for both sentential
conjunction (disjunction) and IV conjunction (disjunction)
Illustration:
(i) every man, John ∈ PT (Rule S1, S2)
(ii) F9(every man, John) ∈ PT (Rule S13)
(iii) every man or John ∈ PT (def. of F9)
(25) a. Question: Why didn’t Montague also include a rule for conjoining terms?
b. Educated Guess:
He didn’t want to have to deal with the collective reading of sentences like John
and Mary ate a unicorn.
And, at last we come to one of the centerpieces of the paper… the rules for ‘Quantifying In’…
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(26) Rule S14 (Quantifying In to Sentences)
If α ∈ PT and ϕ ∈ Pt , then F10,n(α,ϕ) ∈ Pt , where either:
(i) α does not have the form hek and F10,n(α,ϕ) comes from ϕ by replacing the first
occurrence of hen or himn by α, and all other occurrences of hen or himn by {he,
she, it} or {him, her, it} respectively, according as the gender of the first BCN or
BT in α is {masculine, feminine, neuter}, or
(ii) α = hek and F10,n(α,ϕ) comes from ϕ by replacing all occurrences of hen or himn
by hek or himk respectively.
(27) Remark 1
The definition of F10,n(α,ϕ) is disjunctive; its value depends upon whether the ‘term
argument’ α is a pronoun or not.
Illustration:
(i) a woman ∈ PT, he2 runs and John likes him2 ∈ Pt (Rules)
(ii) F10,2(a woman, he2 runs and John likes him2) ∈ Pt (Rule S14)
(iii) a woman runs and John likes her ∈ Pt (def. of F10,n)
Illustration:
(i) he3 ∈ PT, he2 runs and John likes him2 ∈ Pt (Rules)
(ii) F10,2(he3, he2 runs and John likes him2) ∈ Pt (Rule S14)
(iii) he3 runs and John likes him3 ∈ Pt (def. of F10,n)
(28) a. Question: Why did Montague use this disjunctive definition of F10,n?
After all, if we simply extended the first condition in (26ai) to pronouns, we’d end
up getting almost the same strings:
b. Answer:
For whatever reason, condition (26ai) doesn’t copy the index onto the subsequent
pronouns. Consequently, if we quantified-in a woman on (28aiii), we wouldn’t
get gender agreement on the following pronouns.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(29) Remark 2
The definition of F10,n(α,ϕ) again appeals to a notion that Montague doesn’t ever define
in the paper PTQ itself: the gender of a CN or T.
a. A Possible Implementation:
We could imagine defining a function GEN whose domain is BCN and BT and
whose range is {MASC, FEM, NEUT}.
GEN(John) = MASC
GEN(Mary) = FEM
GEN(ninety) = NEUT
…
GEN(man) = MASC
GEN(woman) = FEM
GEN(fish) = NEUT
…
We could then reformulate (26) so that it makes reference to this GEN function.
(30) Rule S15 (Quantifying In to NPs) If α ∈ PT and ϕ ∈ PCN , then F10,n(α,ϕ) ∈ PCN
Illustration:
(i) every man ∈ PT, woman such that he2 likes her ∈ PCN (Rules)
(ii) F10,2(every man, woman such that he2 likes her) ∈ PCN (Rule S15)
(iii) woman such that every man likes her ∈ PCN (def. of F10,n)
(31) Rule S16 (Quantifying In to VPs) If α ∈ PT and ϕ ∈ PIV , then F10,n(α,ϕ) ∈ PIV
Illustration:
(i) a unicorn ∈ PT, find him2 and eat him2 ∈ PIV (Rules)
(ii) F10,2(a unicorn, find him2 and eat him2) ∈ PIV (Rule S16)
(iii) find a unicorn and eat it ∈ PIV (def. of F10,n)
Remark: As we’ll see, this allows us to capture the opaque/bound reading of “John
wants to find a unicorn and eat it.”
Finally, to wrap things up, Montague introduces rules for adding negation and tense
morphology…
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(32) Rule S17 (Rules for Tense and Negation)
If α ∈ PT and δ ∈ PIV, then F11(α,δ), F12(α,δ), F13(α,δ), F14(α,δ), F15(α,δ) ∈ Pt, where:
(i) F11(α,δ) = α δ’ and δ’ is the result of replacing the first verb in δ by its negative
third person singular present.
(ii) F12(α,δ) = α δ’ and δ’ is the result of replacing the first verb in δ by its third
person singular future.
(iii) F13(α,δ) = α δ’ and δ’ is the result of replacing the first verb in δ by its negative
third person singular future.
(iv) F14(α,δ) = α δ’ and δ’ is the result of replacing the first verb in δ by its third
person singular present perfect.
(v) F15(α,δ) = α δ’ and δ’ is the result of replacing the first verb in δ by its negative
third person singular present perfect.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(33) Remarks
o In PTQ, negative 3rd singular future and 3rd singular future are just two
different primitives; the ‘negative’ and ‘future’ isn’t separately factored out
d. Also, these features are introduced by the same rule that adds the subject with the
predicate.
o Thus, doesn’t run and won’t run aren’t themselves meaningful expressions.
o Thus, we can’t get conjunctions like John doesn’t run and won’t run.
Those are all the rules! We can now use them to properly define the set of meaningful
expressions for the English fragment.
3
Actually, what we really need here is a separate function PST-PARTICIPLE, mapping every verbal root to its past
participle.
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
4. Some Illustrations of the Fragment
(37) every man loves a woman such that she loves him
(i) man, woman ∈ BCN, love ∈ BTV, he0, he1 ∈ BT (by (6))
(ii) man, woman ∈ PCN, love ∈ PTV, he0, he1 ∈ PT (by S1)
(v) woman such that she loves him0 ∈ PCN (by S3)
(vii) love a woman such that she loves him0 ∈ PIV (by S5)
(viii) he0 loves a woman such that she loves him0 ∈ Pt (by S4)
(x) every man loves a woman such that she loves him ∈ PT (by S14)
every man loves a woman such that she loves him, 10,0
every man, 0 he0 loves a woman such that she loves him0, 4
love he0
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(38) John seeks a unicorn.
seek a unicorn, 2
unicorn
seek he0
(39) Remarks
o Again, we see that our English fragment admits of syntactically (and semantically)
ambiguous expressions.
o Again, this will present no problems for PTQ, where the translation relation needn’t
be a function.
o In addition, we’ll see that under the derivation in (38a), sentence (38) receives
the de dicto reading, while under the derivation in (38b), it receives de re reading
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(40) Some Optional Exercises for Students
Show how our English fragment predicts that each of the following are members of Pt
15
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The Proper Treatment of Quantification in Ordinary English, Part 2:
Intensional Logic
In these notes, we will explore the translation language employed in PTQ, Intensional Logic
• Our English fragment includes such words as seek, conceive, believe that, wish to,
allegedly, necessarily, and about
o Notably, these expressions must take the intensions of their complements as
argument (rather than the extensions of their complements)
• Consequently, we will want the induced semantics for the English fragment to end up
mapping some English expressions to their intensions.
• Thus, since we’re developing an indirect interpretation of the fragment, we’ll need a
logical language that can represent such intensions.
• In addition, this language will have the ability to represent the semantics of the modal
elements necessarily, present perfect, and future.
• In LING 620, you learned that in a sentence like (2a) below, the extension of thinks
takes as argument the intension of Mary smokes.
• You may also have considered an analysis where the finite complentizer that has the
meaning in (2b), which entails that that Mary smokes will have the extension in (2c)
• It probably wasn’t noted at the time, but observe that that S in such a semantics also
itself has an intension:
d. [λw : [[ that Mary smokes ]]w ] = [λw : [λw’ : Mary smokes in w’]]
• Thus, the intension of that S is a constant function mapping every world to the
intension of S.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
To define the meaningful expressions of IL, we begin by defining its vocabulary. And, to define
its vocabulary, we must first define our system of (intensional) types.
(4) The System of (Intensional) Types The set Type is the smallest set such that:
a. e, t ∈ Type
b. If σ, τ ∈ Type, then <σ, τ> ∈ Type
c. If τ ∈ Type, then <s, τ> ∈ Type
(5) The Vocabulary of IL
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) Remarks
• The variable vn, τ will sometimes be referred to as ‘the nth variable of type τ’
• For some reason, Montague doesn’t enumerate the constants (probably because he
doesn’t have to, unlike the variables).
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(9) Remarks
a. Note that in (7c) the notation for a predicate applied to its argument is ϕ(ψ), and
not (ϕ ψ), as in TL.
b. Note that ‘=’ can appear between any two expressions of the same type. Thus, all
the following are meaningful expressions:
(i) j=b
(ii) man’ = run’
(iii) man’(j) = run’(b)
Our semantics for ‘=’ will entail that man’(j) = run’(b) is logically equivalent to
[man’(j) ↔ run’(b)]
c. “The expression [^α] is regarded as denoting (or as having as its extension) the
intension of the expression α” (pp. 23-24)
o Thus, the operator ‘^’ is akin to English that in (2b)
∨
d. “The expression [ α] is meaningful only if α is an expression that denotes an
∨
intension or sense; in such a case [ α] denotes the corresponding extension.”
b. λv1,<e,t> v1,<e,t>(j)
Informally: The characteristic function of the set of properties true of John.
(≈ (λP1 (P1 john’)) )
d. think’([^like’(j)(m)])(b)
Informally: ‘Bill thinks that Mary likes John’
e. run’(j)
Informally: ‘It is necessary that John runs’
f. Λv1,e H smoke’(v1,e)
Informally: ‘For all x, it has been the case that x smokes.’
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. The Semantics of Intensional Logic (IL)
In this section, we will develop a formal model-theoretic semantics for IL. As usual, we begin by
defining the notion ‘denotations of type τ’
• As the following definition suggests, our model structures will based on a set of
entities A, a set of worlds I, and a set of times J.
a. De,A,I J = A
b. Dt,A,I,J = { 0, 1 }
c. If σ, τ ∈ T then D<σ,τ>,A,I,J = the set of functions from Dσ ,A,I,J to Dτ,A,I,J
d. If σ ∈ T then D<s,σ>,A,I,J = the set of functions from I×J to Dσ ,A,I,J
×
= (Dσ ,A,I, J)I J
Notes:
• In PTQ, the set J is the set of times (moments of time); it’s not a set of
contexts/variable assignments (unlike in UG).
• In PTQ, a denotation of type <s,σ> is a function from world-time pairs to denotations
of type σ
In addition to the denotations in (11), our model theoretic semantics for IL will make reference
to a set of ‘senses’:
(13) A Model of IL
An intensional model (or interpretation) of IL is a quintuple <A, I, J, ≤, F> such that:
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) Remarks
Thus, an (intensional) model of IL is defined by: (i) a set of entities A, (ii) a set of worlds
I, (iii) a set of times J, (iv) a temporal ordering ≤, and (v) a ‘lexical’ interpretation
function F.
• Note that the function F maps the constants of IL to intensions, not denotations.
o Thus, type e constants are mapped to <s,e> functions (individual concepts)
o Type <et> constants are mapped to <s,<e,t>> functions (properties)
o Type <e,<e,t>> constants are mapped to <s,<e,<e,t>>> functions (‘relations in
intension’), etc….
a. A = {Barack, Michele}
b. I = { w1 , w2 }
c. J = { t1 , t2 , t3 }
d. ≤ = { <t1 , t2> , <t1 , t3> , <t2 , t3>, <t1 , t1> , <t2 , t2> , <t3 , t3> }
e. F comprises at least the following mappings:
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(16) Remarks Regarding the Model in (15)
• The type-e constant b (m) is interpreted as an <s,e> function (individual concept) that
maps every world-time pair to Barack (Michelle).
Now that we have the definition of a model, the next step is to define the notion of a ‘variable
assignment’…
With these ingredients, we can now recursively define the central notion ‘extension with respect
to an intensional model, world, time, and variable assignment’
(18) Extension With Respect to Model, World, Time, and Variable Assignment
Let M be an intensional model <A, I, J, ≤, F> for IL, let i ∈ I and j ∈ J, and let g be an
M-assignment. If α is a meaningful expression of IL, then [[α]]M,i,j,g, the extension of α
with respect to M, i, j, and g, is defined as follows:
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
h. If ϕ ∈ MEt , then
(i) [[ ϕ ]]M,i,j,g = 1 iff for all i’ ∈ I and j’ ∈ J, [[ ϕ ]]M, i’, j’, g = 1
(ii) [[ Wϕ ]]M,i,j,g = 1 iff for some j’ ∈ J such that j < j’, [[ ϕ ]]M, i, j’, g = 1
(iii) [[ Hϕ ]]M,i,j,g = 1 iff for some j’ ∈ J such that j’ < j, [[ ϕ ]]M, i, j’, g = 1
i. If α ∈ MEτ , then [[ [^α] ]]M,i,j,g = the function h with domain I×J such that if
<i’,j’> ∈ I×J, then h(<i’,j’>) = [[α]]M, i’,j’, g
Note: Thus, [[ [^α] ]]M,i,j,g is the function mapping a world-time pair to the
extension of α at that world-time. Thus, given (19) below, [[ [^α] ]]M,i,j,g is
the intension of α with respect to M and g, [[α]]M,g
∨
j. If α ∈ ME<s,τ>, then [[ [ α] ]]M,i,j,g = [[α]]M,i,j,g(<i,j>)
Note: Thus, if the extension of α at i and j is some intension, then the extension
∨
of [ α] at i and j is that intension applied to i and j.
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Let us now illustrate these definitions by using them to interpret meaningful expressions of IL
a. smoke’(b)
b. [^smoke’(b)]
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(22) Illustrative Computations, Part 2
In the computations below, let M be an intensional model of the kind described in (15).
Let g be an arbitrary M-assignment.
a. b=b
b. H smoke’(b)
c. W smoke’(b)
(v) F(think’)(<w1,t1>)
({<<w1 , t1>,1>, <<w1 , t2>,1>, <<w1 , t3>,0>,
<<w2 , t1>,0>, <<w2 , t2>,0>, <<w2 , t3>,0>})(Michelle) = (by (15))
(vi) 1
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In this section, we’ll make note of some key validities in IL, which we will use to ‘convert’ the
translations of English expressions to simpler, logically equivalent formulae.
• When we compute [[ [λv Wχ](ϕ) ]]M,i,j,g, we will compute [[ [λv Wχ] ]]M,i,j,g and
apply it to the value [[ϕ]]M,i,j,g
• Therefore, unless ϕ has the same extension for every world and time, we can’t
guarantee that [[ [λv Wχ](ϕ) ]]M,i,j,g will be the same value as [[ [ϕ/v]Wχ ]]M,i,j,g
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(27) An Analogy to Maybe Make (25)-(26) More Intuitive
• In LING 620, we learned that (a) is ambiguous, and has both the readings in (b).
(ii) De Re Reading:
In all of John’s ‘believe worlds’ w’, the president in w0 smokes in w’.
• We also saw that we can get reading (i) from an LF where the phrase the president is
in the scope of ‘believes’, while we get (ii) from and LF where it’s moved above the
scope of believes.
• This is because in LF (i), the president ends up semantically evaluated with respect to
the belief worlds, while in LF (ii), it is evaluated with respect to the actual world.
• Consequently, we saw that for proper names, the two LFs in (c) end up mapped to the
same interpretation, because proper names have the same value in every world
o However, if ϕ has the same extension in every world and time, then this
difference won’t matter for the resulting interpretation, and (i) and (ii)
will be logically equivalent.
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• Given the definition in (18b), it follows that if ϕ is a variable, then for all i, i’ ∈ I and
j, j’ ∈ J, [[ϕ]]M,i,j,g = [[ϕ]]M,i’,j’,g = g(ϕ)
In addition to alpha-conversion and lambda-conversion, our translations in PTQ will also make
use of the key logical equivalence in (29)…
• That is, put informally, the extension of α at world i and time j will always be equal
to the intension of α applied to the world i and the time j.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(34) The Curvy Hat
• Montague puts a curvy ‘hat’ over a variable to indicate lambda abstraction over that
variable.
• I will follow Dowty et al. 1981 in not making use of this notation
o After all, ‘λ’ is clear and easy enough…
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The Proper Treatment of Quantification in Ordinary English, Part 3:
The Translation System, Part 1 1
In these notes, we will begin to explore Montague’s system for mapping expressions in our
fragment of English to formulae of Intensional Logic.
The first key ingredient of a PTQ-style translation system (and a UG-style translation base) is a
function mapping the categories of the natural language to the categories of the logical language
(i.e.,, the types).
• It is at this first step that the semantic analysis developed in PTQ immediately gets rather
complicated.
• Understanding this mapping and why it is this way is key to understanding everything
that follows…
• Recall from the handout “The Fragment of English” that our fragment of English
contains the following basic expressions: seek, allegedly, about
• Consequently, the meanings (extensions) of these lexical items ([[X]]) must combine
with the intension of their complements
o [[seek]] takes the intension of a unicorn as argument
o [[about]] takes the intension of a unicorn as argument
o [[allegedly]] takes the intension of dance as argument.
• Thus, [[seek]] is not of type <e,<e,t>>, and so in our indirect semantics, the
translation of seek cannot be of type <e,<e,t>>
o Similarly, the translation of about cannot be of type <e,<e,t>>
o Similarly, the translation of allegedly cannot be of type <<e,t>,<e,t>>
(2) Burning Question: What should the types of [[seek]], [[about]], [[allegedly]] be?
Before we develop an answer to this question in (2), let us notice two additional important issues
1
These notes are based upon material in Dowty et al. (1981) Chapter 7.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(3) Issue 1: Higher, Intensional Types for Everything
• Since seek is a TV, and its translation is not of type <e,<e,t>>, then – due to the need
for category-to-type correspondence in the translation – no TV can have a
translation of type <e,<e,t>>
o Therefore, even the translations of find, eat, and love will be of the same
high, intensional type as that of seek
• Similarly, since allegedly is an IAV, it follows that no IAV (not even ‘rapidly’) can
have a translation of type <<e,t>,<e,t>>
• Similarly, since about is an IAV/T (preposition), it follows that no IAV/T (not even
‘in’) can have a translation of type <e,<e,t>>
o Therefore, the translation of in must also be of the same, high, intnsional type
as about
If the translations (and induced interpretations) of eat, rapidly, and in are of the same
high, intensional types as seek, allegedly, and about, our semantics will fail to predict
the validity of the following inferences:
As we’ll see later, we can solve the problem in (4) by adding ‘meaning postulates’ for
eat, rapidly, in that guarantee the inferences in (4).
• Thus, by adding these meaning postulates, we guarantee that these lexical items
behave as if they received a purely extensional semantics (even though they don’t).
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
• Given (3), all TVs will have an (induced) meaning that takes the intension of a term
as its argument:
o Both seek and eat take the intension of a unicorn as argument.
• Given (3), all IAVs will have an (induced) meaning that takes the intension of an IV
as its argument.
o Both allegedly and rapidly take the intension of dance as argument.
• Given (3), all IAV/Ts will have an (induced) meaning that takes the intension of a
term as its argument.
o Both about and in take the intension of a unicorn as argument.
• Also, note that the (induced) meaning of IV/t verbs like believe that take as argument
the intension of their sentential complements.
• Similarly, the (induced) meaning of IV//IV verbs like try to take as argument the
intentsion of their IV complements
• Thus, the general pattern in (6) entails that, in sentence (7a) below, the translation of a
T like John should take as argument the intension of the translation of smokes
a. John smokes.
Rough Illustration:
(i) The translation of John smokes = (by (6))
(ii) The translation of John taking as argument the intension of the translation of
smokes. = (by assumption, and notation)
(iii) [λv0,<s,<e,t>> v0,<s,<e,t>>{j}]([^smokes’]) ⇔ (by λ-conversion)
(iv) [^smokes’]{j} = (by Curly Bracket Notation)
∨
(v) [ [^smokes’]](j) ⇔ (by Down-Up Cancellation)
(vi) smokes’(j)
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
All these observations taken together lead us (and Montague) to the following general view of
the category-to-type correspondence in PTQ…
(9) Remarks
Thus, a predicative expression in English (i.e., one of category A/B or A//B) will always
get a translation that takes as argument an intensional expression (type <s,f(B)>)
• Thus, we immediately capture the higher intensional types of the translations of IVs,
IAVs, IAV/Ts, IV/ts, and IV//IVs
• Thus, (8) predicts that the translation of walk will be a function of type <<s,e>,t>
o Thus, the translation (meaning) of walk takes individual concepts as argument
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(12) A Simpler Category-to-Type Corespondence
As discovered by Bennett (1976) and detailed by Dowty et al. (1981), the following
category-to-type mapping necessitates very few changes to the overall PTQ system.
I will follow Bennett (1976) and Dowty et al. (1981) in adopting the category-to-type
correspondences in (12)-(13).
• Again, these will not necessitate any serious changes from what’s in the original article…
• The benefit is that the system ends up being relatively simpler…
The second main ingredient of a PTQ-style translation system (and the third main ingredient of a
UG-style translation base) is a function translating the basic expressions of the natural language.
• Again, in PTQ, the range of this function can only be constants of the logical language.
• Consequently, this function in PTQ will not have the following basic expressions in its
range (since we want them translated as either (i) variables, or (ii) complex expressions)
o BT The basic terms of English, {John, Mary, Bill, ninety, he0, he1, he2, …}
o necessarily
o be
2
Such functions, I will (somewhat misleadingly) refer to as ‘GQs’
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(14) The ‘Lexical’ Translation Function
Let g be a function such that:
a. The domain of g is the set of basic expressions of our fragment of English other
than be, necessarily, and the members of BT
• Recall that Montague never specifies what the constants of IL look like.
• Nevertheless, it will be very useful to have some elegant, compact way of referring to
the translations of various basic expressions of English.
b. Illustration:
(i) run’ = g(run) [i.e., whatever Con<e,t> g maps run to]
(ii) man’ = g(man) [i.e., whatever Con<e,t> g maps man to]
(iii) find’ = g(find) [i.e., whatever Con< <s, < <s,<e,t>>,t>>, <e,t>> g maps find to]
(iv) believe that’ =
g(believe that) [i.e., whatever Con<<s,t>,<e,t>> g maps believe that to]
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(17) Some Further Useful Meta-Linguistic Abbreviations
a. In our translation rule for proper names, we will want to make reference to certain
specified members of Cone Montague introduces j, m, b, n as meta-linguistic
labels for such constants.
• Again, the letters ‘j’, ‘m’, ‘b’, and ‘n’ aren’t (necessarily) constants.
• Rather, j, m, b, n are simply labels we are using to refer to such constants.
b. In our translation rules, we will also want to use certain specific variables.
Therefore, to save space, Montague introduces the following abbreviations:
With all these ingredients in place, we are now ready to lay out the translation rules of PTQ!
We will begin with the first translation rule, which governs the basic expressions of the fragment
Note: Don’t worry about this for now; we may discuss it later.
∨
c. necessarily translates into λp [ p ]
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
d. (i) John translates into λP[P{j}]
(ii) Mary translates into λP[P{m}]
(iii) Bill translates into λP[P{b}]
(iv) ninety translates into λP[P{n}]
Note:
• In PTQ itself, the actual translation of (e.g.) John is λP[P{^j}]
• This is because in PTQ, Montague held IVs like walk to be of type <<s,e>,t>
• Since we’re assuming the simpler category-to-type mapping in (12), we can
use the simpler translations in (18d) above.
Thus, translation rule T1 will cover the translations of all the basic expressions in our fragment.
• From this point on, our discussion of the translation rules will not follow the order of the
rules in PTQ.
• Rather, as with Dowty et al. (1981), we will discuss the rules in a more ‘pedagogically
oriented’ order.
• We’ll thus next turn directly for the translation rule handling subject-predicate structures.
If δ ∈ Pt/IV, β ∈ PIV, and δ, β translate into δ’, β’ respectively, then F4(δ, β) translates into
δ’([^β’])
Note: Just as promised in (7), the translation of a term δ will take as argument the
intension of the translation of an IV β.
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(21) Remarks
• Thus, under our induced semantics for English, we predict that relative to a model
M, a world i, a time j, and a variable assignment g, John runs will be 1 iff
• Thus, we find that our induced semantics correctly predicts the truth-conditions
of present tense sentences.
o Their truth at a particular world/time depends upon the extensions of the
predicates at that world/time
• Note that, in order to really get the semantics of John runs right, we’re going to want
the extension of the constant j to have the same extension in all possible worlds/times.
• That is, in the translations of John, Mary, Bill, and ninety in (18d), we’re going to
want j, m, b, n to behave as ‘rigid designators’.
• Thus, the truth of the formula above (at worlds/times) ensures that the constant j
denotes the same entity in all possible worlds (and the same holds for m, b, n)
(23) Remark
Since we’ll only ever be considering ‘logically possible’ interpretations (models) for IL,
we can now always regard the constants j, m, b, n as having constant intensions in IL.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Rule T4 handles the translation/interpretation of (positive) present-tense sentences;
Rule T17 handles the translation/interpretation of negative and past/future tense sentences…
(24) Rule T17 (Translation Rule for Negative, Perfect, Future Sentences)
If α ∈ PT, δ ∈ PIV, and α, δ translate into α’, δ’ respectively, then
Illustrations:
a. (i) John translates into λP[P{j}], run translates into run’ (T1)
(ii) F11(John, run) translates into ¬[λP[P{j}]](^run’) (T17)
(iii) John doesn’t run translates into ¬[λP[P{j}]](^run’) (def. of F11)
(iv) ¬[λP[P{j}]](^run’) ⇔ ¬run’(j) (λ-Conv., CBN, DUC)
Note:
Thus, the translation of John doesn’t run is logically equivalent to ¬run’(j)
o Thus, informally speaking, John doesn’t run will be true at a world/time if
it’s false that John is running at that world/time
b. (i) John translates into λP[P{j}], run translates into run’ (T1)
(ii) F12(John, run) translates into W[λP[P{j}]](^run’) (T17)
(iii) John will run translates into W[λP[P{j}]](^run’) (def. of F12)
(iv) W[λP[P{j}]](^run’) ⇔ W run’(j) (λ-Conv., CBN, DUC)
Note:
Thus, the translation of John will run is logically equivalent to W run’(j)
o Thus, informally speaking, John will run is true at a world/time if John runs
at some future time at that world.
c. (i) John translates into λP[P{j}], run translates into run’ (T1)
(ii) F15(John, run) translates into ¬H[λP[P{j}]](^run’) (T17)
(iii) John hasn’t run translates into ¬H [λP[P{j}]](^run’) (def. of F15)
(iv) ¬H [λP[P{j}]](^run’) ⇔ ¬H run’(j) (λ-Conv., CBN, DUC)
Note:
Thus, the translation of John hasn’t run is logically equivalent to ¬H run’(j)
o Thus, informally speaking John hasn’t run is true at a world/time if there is
no previous time at that world where John runs.
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Thus far, we’ve only been illustrating the compositional rules with proper names…
Another easy set of rules to examine, though, are the translation rules for quantificational terms
Illustrations:
Note: As previewed a few classes ago, Montague adopts a ‘Russelian’ analysis of definite
descriptions like “the man”.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
b. (i) a man translates into λP Vx[man’(x) ∧ P{x}] (T2)
(ii) run translates into run’ (T1)
(iii) F15(a man, run) translates into ¬H[λP Vx[man’(x) ∧ P{x}]](^run’)
(T17)
(iv) a man hasn’t run translates into ¬H[λP Vx[man’(x) ∧ P{x}]](^run’)
(def. of F15)
(27) Remarks
a. Thus, we correctly predict that a man runs is true at a world/time iff there is a
man x (at that world/time) who runs (at that world/time)
b. Thus, we also correctly predict that a man hasn’t run has a ‘reading’
(translation/interpretation) that is true at a world/time iff there is no earlier time at
that world where a man runs…
o Note that this amounts to the claim that there is a reading of a man hasn’t
run that is equivalent to no man has run
o Once we bring QI into the mix, we’ll see that our fragment predicts this
reading as well!
Finally, we’ll also examine the translation rules for conjunction and disjunction, since those are
also relatively easy.
Illustration: The student is asked to confirm that rule T11 entails the following:
a. The translation of John runs and Mary talks is logically equivalent to:
[run’(j) ∧ talk’(m)]
b. The translation of John runs or Mary talks is logically equivalent to:
[run’(j) ∨ talk’(m)]
12
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(29) Rule T12 (Conjunction and Disjunction of IVs)
(i) run translates into run’, talk translates into talk’ (T1)
(ii) F8(run, talk) translates into λx[ run’(x) ∧ talk’(x) ] (T12)
(iii) run and talk translates into λx[ run’(x) ∧ talk’(x) ] (def. of F8)
(iv) John translates into λP[P{j}] (T1)
(v) F4(John, run and talk) translates into
[λP[P{j}]]([^λx[ run’(x) ∧ talk’(x)]]) (T4)
(vi) John runs and talk translates into
[λP[P{j}]]([^λx[ run’(x) ∧ talk’(x)]]) (def. of F4)3
Note: Thus, in our system, the translation of John runs and talk(s) is logically
equivalent to [run’(j) ∧ talk’(j)], which is also the translation of John
runs and John talks…
Note: In our system, the translation of every man runs or talk(s) is not logically
equivalent to the translation of every man runs or every man talks
3
Note that F4 is defined so that it only inflects the first verb in a conjunction of IVs. This is clearly a problematic
prediction of the PTQ system.
13
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(30) Rule T13 (Disjunction of Terms)
Illustration:
(i) John translates into λP[P{j}], Mary translates into λP[P{m}] (T1)
(ii) John or Mary translates into λP[ [λP[P{j}]](P) ∨ [λP[P{j}]](P)] (T13)
(iii) John or Mary runs translates into [λP[ [λP[P{j}]](P) ∨ [λP[P{j}]](P)]] (^run’)
(T4)
Note: Thus, our system predicts that the translation of John or Mary runs will be
logically equivalent to the translation of John runs or Mary runs.
Thus far, we’ve covered about as much of the translation system as we can without also
discussing the translations of ‘Quantifying In’ and ‘Direct Object’ structures…
• These are also, in a sense, the ‘analytic centerpiece’ of the PTQ system…
14
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
The Proper Treatment of Quantification in Ordinary English, Part 3:
The Translation System, Part 2 1
Thus far, our discussion of the translation system in PTQ has assiduously avoided transitive
verbs, and the whole issue of how the contrast between seek and eat is to be approached…
Before we can lay out Montague’s solution, however, we need to get two other items on the table.
Rule T7 below will allow us to translate/interpret sentences like John believes that Mary runs.
If δ ∈ PIV/t and β ∈ Pt , and δ, β translate into δ’, β’ respectively, then F6(δ, β) translates
into δ’(^β’)
1
These notes are based upon material in Dowty et al. (1981) Chapter 7.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
A major component of the overall PTQ system is the translation rule for structures formed by
‘Quantifying In’ (Rules S14-S16). It’s none too different from the translation rule in our ‘toy’
PTQ system…
Note: Again, following our general pattern, in the translation of F10,n(α, ϕ), the
translation of α takes as argument the intension of [λxn ϕ’].
(i) he3 translates into λP[P{x3}], run translates into run’ (T1)
With Rules T7 and T14 on the table, we can now capture the well-known ‘de re / de dicto’
ambiguity in a sentence like John believes that a man runs.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) The De Dicto Reading
a. a man runs translates into [λP Vx[man’(x) ∧ P{x}]](^run’) (T1, T2, T4)
Note:
Under this translation, John believes that a man runs ends up being true iff John stands
in the believe that’ relation to the proposition “there is a man who runs”.
• Under the auxiliary assumption that x stands in the believe that’ relation to p iff p is
true in all of x’s belief worlds, we see that this translation garners us the so-called de
dicto reading of the sentence:
o I.e., in all of John’s belief worlds, there is a man (in that world) who runs (in
that world).
d. F10,3(a man, John believes that he3 runs) translates into (T2, T14)
[λP Vx[man’(x) ∧ P{x}]]
([^λx3[λP[P{j}]]([^believe that’([^[λP[P{x3}](^run’)]])])])
3
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(6) The De Re Reading, Part 2: Simplifying the Translation
Note:
Under this translation, John believes that a man runs ends up being true iff there is a
particular man x such that John stands in the believe that’ relation to the proposition “x
runs.”
• Thus, assuming that y believe that’ p holds iff p is true in all of y’s belief worlds, this
translation garners us the so-called de re reading fot he sentence:
o It needn’t be the case that in all (or any) of John’s ‘belief worlds’ there is a
man running…
All that is required is that in all John’s belief worlds, x runs, where x in
the actual (evaluation) world is some man.
(7) Remark
• Thus, the syntactic-semantic analysis in PTQ holds to the ‘scope theory’ of the De Re
/ De Dicto ambiguity…
• Thus, it is also subject to all the problems that we saw the scope theory is subject to in
LING 620…
2
Recall that we’re able to do λ-conversion into the scope of ‘^’ here because ‘x’ is a variable, and so will have the
same across in all possible worlds/times.
4
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
2. The De Re / De Dicto Ambiguity with Seeks
Recall that, just like the sentence John believes that a man runs, the sentence John seeks a
unicorn is also syntactically ambiguous in our English fragment.
seek a unicorn, 2
unicorn
b. Derivation / Analysis Two
seek he3
In this section, we will see that this similar syntactic ambiguity also leads to a similar semantic
ambiguity:
• Under the derivation in (8a), John seeks a unicorn receives a de dicto reading (where
there need be no actual unicorns)
• Under the derivation in (8b), John seeks a unicorn receives a de re reading (where there
exists a particular, actual unicorn x such that John seeks x)
If δ ∈ PTV and β ∈ PT , and δ, β translate into δ’, β’ respectively, then F5(δ, β) translates
into δ’(^β’)
Note: Again, following our general pattern, in the translation of F5(δ, β), the translation
of δ takes as argument the intension of the translation of β.
5
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(10) Illustration of Rule T5 (The De Dicto Reading of John seeks a unicorn)
(11) Remarks
a. Note that no further simplification can take place to the formula in (10b,iv).
• In our translation, seek’ is a constant of type <<s,<<s,<e,t>>,t>>, <e,t>>
• Thus, it takes as argument (i) and (ii) to yield an expression of type t
o (i) the intension of a generalized quantifier expression, and
o (ii) an entity
b. Thus, under the syntactic derivation in (8a), John seeks a unicorn receives a
translation which is true iff:
John stands in the seek’ relation to the intension of a unicorn
c. Finally, let us assume that x stands in the seek’ relation to P iff in all the world-
times <w’,t’> where x’s desires are met, P (w’,t’)(λy : x has y in w’ at t’)
• Thus, John stands in the seek’ relation to the intension of a unicorn iff in all
the world-times <w’,t’> where John’s desires are met:
There is an x such that x is a unicorn in w’ and t’ at John has x in w’ at t’
d. We see, then, that the translation we generate for parse (8a) amounts to the de
dicto reading of John seeks a unicorn.
6
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Now let’s see what happens when we derive the sentence along the lines in (8b):
(i) seek translates into seek’, he3 translates into λP[P{x3}] (T1)
(12) Remarks
a. Thus, under the syntactic derivation in (8b), John seeks a unicorn receives a
translation which is true iff:
There is an x such that x is a unicorn, and John stands in the seek’ relation
to the GQ-intension ^λP[P{x}]
b. Again, let us assume that x stands in the seek’ relation to P iff in all the world-
times <w’,t’> where x’s desires are met, P (w’,t’)(λy : x has y in w’ at t’)
Thus, John stands in the seek’ relation to ^λP[P{x}] iff in all the world-
times <w’,t’> such that John’s desires are met, John has x.
c. We see, then, that the translation we generate for parse (8b) amounts to the de re
reading of John seeks a unicorn.
7
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
3. Transitive Verbs that Don’t Seem to Create Opaque Contexts
a. Under one translation (reading), the sentence does not entail that any unicorns
actually exist (the de dicto reading)
b. Under another translation (reading), the sentence does entail that unicorns exist.
(the de re reading)
• Note that in our English fragment, the sentence John eats a unicorn has the same
structural ambiguity as John seeks a unicorn.
eat a unicorn, 2
unicorn
b. Derivation / Analysis Two
John eats a unicorn, 10,3
eat he3
• Consequently, our translation system predicts that John eats a unicorn will be
ambiguous in the same way as John seeks a unicorn.
o That is, John eats a unicorn will receive two translations, one
logically equivalent to (14c), and the other equivalent to (14d).
8
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Contrary to the predictions above, English speakers don’t perceive an ambiguity in John
eats a unicorn, akin to that in John seeks a unicorn.
• More acutely, under the translation in (14c), John eats a unicorn can be true without
there being any actual unicorns (just like with (10b))
• However, English speakers universally agree that John eats a unicorn entails that
there does exist some unicorn (which John is eating).
• That is, of the two translations in (14c,d), only (14d) seems to align with the truth-
conditional judgments of English speakers.
a. eat’(P)(x)
∨
b. [ P]([^λx0 [eat’(^λP[P{x0}])(x)]])
As the computation below shows, it would predict that translation (14c) will be logically
equivalent to translation (14d).
∨
(ii) [ [^λP Vx[unicorn’(x) ∧ P{x}]]]([^λx0 [eat’(^λP[P{x0}])(j)]])
⇔ (CBN, DUC)
If this were the case, then, we wouldn’t perceive an ambiguity in John eats a unicorn,
since the two translations (readings) would be truth-conditionally equivalent.
9
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
In the PTQ system, we have a mechanism for encoding such aspects of ‘lexical semantics’ into
our analysis: the meaning postulates!
(18) Remark
If we restrict the interpretations of IL to only those that are ‘logically possible’, it will
follow (as shown in (16)) that translation (14c) is logically equivalent to (14d).
We will also predict the univocality of such sentences as:
b. Thus, the need for a category-to-type correspondence in the PTQ (and UG)
framework entails that all transitive verbs must take as argument the intension of
their complement.
c. Thus, even the translation/meaning of eat is a relation between an entity and the
intension of some GQ.
d. This, of course, raises the question of what the ‘lexical semantics’ of eat are.
When should we say that the eat relation holds between an entity and some GQ
intension?
∨
e. Well, suppose we say that eat holds between x and P exactly when [ P] holds of
the following crazy property: ([^λx0 [eat’(^λP[P{x0}])(x))
• That’s what the meaning postulate in (17) says…
f. As shown above, the resulting system correctly predicts that – while John seeks a
unicorn doesn’t entail the existence of unicorns – John eats a unicorn does.
3
Note that the actual formula used by Montague in PTQ is slightly different from the one in (17). However, as the
student can confirm, they amount to the same condition (see Dowty et al. (1981), pp. 219-227).
10
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(20) One Final Note
In PTQ, Montague extends the general strategy in (16)-(19) above to other categories
besides TV. In this way, the PTQ system is also able to capture the observed contrasts
between (i) rapidly vs. allegedly, and (ii) in vs. about.
11
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
Final, Extended Problem Set on the PTQ System
a. a woman hasn’t eaten the unicorn such that she has found it
c. Bill doesn’t believe that every man or every woman dates him voluntarily
In the exercises below, we will assume the following meta-language abbreviations and labels for
the variables and constants of IL.
1
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(4) Exercise on the Syntax of IL
For each of the formulae below, please state whether it is or is not a meaningful
expression of IL. If it is a meaningful expression, please state its type. If it is not a
meaningful expression, briefly explain why.
a. ^j f. λP P = ^run’
∨ ∨
b. change’(^j) g. [^ X]( ^j)
c. run’(^j) h. ^λx love’(j)(x)
d. λr change’(r) i. λp p
e. λP{j} j. λy father-of’(father-of’(y))
1
Note that for the purposes of this assignment, it is perfectly legitimate to show that a given formula of IL is
logically equivalent to another, syntactically simpler one, and then calculate the extension of the simpler formula.
2
Seth Cable Proseminar on Semantic Theory
Fall 2013 Ling 720
(7) Exercise on the Analysis of De Re / De Dicto Ambiguity
Show that the PTQ system predicts that (7a) should have a reading where it is true in
scenario (7b). Is this prediction accurate?
b. The Scenario:
John sincerely asserts “a man or the world’s best tennis player runs.” Little does
John know that the world’s best tennis player is actually a woman.