Académique Documents
Professionnel Documents
Culture Documents
Trends in Linguistics
Studies and Monographs 66
Editor
Werner Winter
Mouton de Gruyter
Berlin · New York
The Elements of
Mathematical Semantics
by
Maurice V Aldridge
Mouton de Gruyter
Berlin · New York 1992
Mouton de Gruyter (formerly Mouton, The Hague)
is a Division of Walter de Gruyter & Co., Berlin.
6 Pragmatics 126
6.1 Definition of pragmatics 126
6.2 Indices 127
6.3 Contextual properties 128
6.4 Performatives 132
6.5 Fuzziness 137
6.6 Presuppositions 137
6.7 Types of semantic presupposition 139
6.8 Truth-value gaps 147
6.9 Primary and secondary presuppositions 152
6.10 Presuppositions and questions 153
6.11 Pragmatic presuppositions 155
Bibliography 243
Index 251
Chapter 1
Some topics in semantics
investigate the nature of existence or to explore the relation between the sign
and what is signified, it appears, to me, more profitable simply to present
a particular theory of meaning almost as if it enjoyed the status of "God's
truth" and allow the pages which follow to constitute its elaboration and
justification. In this preliminary exercise, 1 shall make use of several notions,
such as Function, Intension, and Proposition, which are not discussed in detail
until later chapters.
Consider, first, what is involved in understanding the sentence:
Given the above reservations, let us say that to know the meaning of
a sentence like (1) is sufficiently to know the set of conditions which would
have to hold in order for it to be true. This is most certainly not to say
that the meaning of the sentence is its truth value. In the orthodox view, a
sentence is false if it is not true. Thus, in this orthodoxy, there are two and
only two truth values, truth and falsehood. It would be nonsensical to make
the same claim for sentence meanings. That meaning is more than mere truth
or falsehood is clearly demonstrated by Lewis (1970) who points out that, if
it were not so, we would be obliged to consider all tautologies as having the
same meaning and likewise for contradictions.
Obviously, just because a certain state of affairs actually is the case, we
are not always obliged to accept that things must be that way. Thus, many
elements in the set of truth conditions which provide the foundation of our
understanding are only contingent conditions, they are not necessary. Sets
of such conditions may be thought of, metaphorically, as possible worlds of
which the actual world is but one. Thus, for example, while, in the actual
4 Some topics in semantics
world, London is the capital of England, other worlds are possible in which
that is not so.
Alongside contingent conditions, we have a subset of necessary conditions.
Thus, for example, if a proposition, p, is true, then it necessarily follows that
the disjunction "p or q" is true, no matter whether q be true or false. This is
so because, by necessity, the disjunction of any true proposition with any true
or false one always results in a true proposition. Propositions which are true
by necessity are "logically" or "tautologically" true. Similar considerations
also hold, mutatis mutandis, for contradictions. Thus, any proposition of the
form (p and not-p) is false by necessity. We may think of the set of necessary
conditions as the set of all possible worlds.
Carnap's example (1) is apt in a book written in English because it facil-
itates the demonstration of the obvious, but sometimes neglected, point that
what a sentence denotes is a proposition, which could often be denoted by
other sentences. Thus, the proposition in (1) is equally well denoted by:
or:
in English, the suffix -er may, among other things, combine with a verb, say
walk, or kill, to form an agentive noun, walker, killer. The meanings of such
nouns are, thus, arrived at on the basis of the meanings of the individual
morphemes. However, to argue consistently for a compositional approach to
word-meaning is frequently very difficult and apart from some discussion of
case in chapter 5 and the morphology of comparison in chapter 7/8, I shall
largely ignore morphology in this book.
Taking morphology for granted, the constitutive parts of sentences are
made up of words. What determines the semantic and syntactic ability of a
word to combine with others is the syntactic category to which it belongs. In
order to exploit the compositional principle in arriving at the meaning of a
particular sentence, therefore, it is necessary to determine the meanings of its
words as governed by their syntactic function. Thus, a fundamental aim in the
development of a semantic theory is the determination of the possible range
of meanings of the categories on which the structure of sentences depends.
The simplest sentential structure is that consisting merely of a proper noun
and an intransitive verb, as in:
Like noun phrases and intransitive verbs, transitive verbs, such as write, have
extensions and intensions. The extension of the wr/te-function is the set of
ordered pairs of individuals, e.g. < Waverley, Scott >, which is its value at a
given world-time pair. Its intension is the range of its possible extensions. If
the verb necessarily involves three individuals - I here ignore the instrument
involved in writing - for example, give, it denotes a function which has a set
of ordered triples as its value, and so forth.
In the case depicted in (8), the verb can be treated, from a semantic point
of view, as purely extensional since both Scott and Waverley must actually
exist in order for the proposition to be true. However, such extensionality
Afunctional view of meaning 7
does not always characterise transitive verbs. Thus, for example, while find
in (9) is extensional, seek in (10) is not, unless a specific whale was involved.
That this sentence is true is obvious from the tautological status of:
Although no. 10 and the prime minister of England's residence have exactly
the same extension - a particular house in Downing Street, London - they
do not mean the same. Thus, while, in the actual world, the sentence:
Since the expression ( 1 + 3 ) has the same extension as (2 + 2), i.e. the
successor of 3, we might expect that the two could be substituted in (15)
without affecting its meaning. However, reflection shows that this is not so.
If (15) is true, then Jack has a belief about ( 1 + 3 ) and, unless he is totally
irrational, it is necessarily true that he believes that (1 + 3) = (1 + 3 ) .
However, it certainly does not follow that his belief about ( 1 + 3 ) requires
that he hold that (2 + 2) also has the value 4. Rather, therefore, than saying
that the object of Jack's belief is the extension of the expression (1 + 3) in
(15), we claim, for the present, that his belief has to do with its intension. I
return to such cases and especially Cresswell's sophisticated treatment (1985)
later, chapter 4, section 4.
Thus, we see that a verb of "propositional attitude" like believe is like
such transitive verbs as seek in failing to be fully extensional. Like such
verbs, its possible values will not be ordered pairs of extensions, but ordered
pairs of an extension - the subject - and an intension - the object.
According to the functional view of meaning espoused here, then, the
denotation of a sentence is a proposition and it is this denotation which
constitutes the meaning of the sentence. A proposition is a function which
takes, as argument, possible worlds and denotes a value, typically true or false.
These evaluations are assigned to propositions relative to possible worlds and
it is our apprehension of such worlds which enables us to say which value
is assigned in a given case. The meanings of propositions are arrived at
compositionally through the meanings of their parts and the manner of their
composition. The meanings of the parts are, themselves, functions some of
which have straightforward extensions as their values and others of which
have, as values, either intensions, or ntuples consisting of extensions and
intensions.
Of course, the very idea of a semantics based, albeit not exclusively, on truth
values must presuppose a theory of truth. The discussion of such theories in
its most profound philosophical form lies well beyond the legitimate concerns
of a linguistic essay on semantics. As in the previous section, therefore, my
remarks in this area may appear rather superficial.
Truth conditions and truth values 9
Although (16a) represents the truth condition for (16), it does not represent
its truth value.
It is usually assumed that the connective just in case in such formulae as
(17) is strict implication. That relation yields the value true only when both
protasis and apodosis have the same truth value. This is, in fact, a source
of difficulty since, construing the relation thus, we seem obliged to accept
infinitely many nonsensical conditions such as:
Such combinations are true under logical implication, but they clearly do not
require us to accept that the antecedent depends for its meaning upon the
consequent. The difficulty disappears - or at least recedes - if we accept
that truth conditions are not in a one-to-one relation with truth values (Fodor
1977). That is incorrect. They are in a many-to-one relation. It is patently
erroneous to claim that because there are only two truth values - ignoring
the possibility of an in-between value - there are only two truth conditions.
It seems, to me, reasonable to hold that a given proposition has a particular
truth as its meaning, which is not to say that that particular truth is its truth
value. Truth values are associated with particular truths or falsehoods, they
are not those particulars themselves.
10 Some topics in semantics
This simple approach has the advantage of avoiding the complex philo-
sophical problems surrounding the role of necessary truth and contingent
truth in the analysis of such formulae as (16a). It is often held that we can
exclude such nonsense instances of (17) as (18) by narrowing down the kind
of truth involved to necessary truth. Obviously, the truth of (16a) is neces-
sary. However, the philosophical complexities of necessity are considerable -
I offer some discussion in chapter 3, section 6 - and it seems unnecessary
to call upon it here. We do, of course, rely upon the notion of necessity
when we invoke Leibniz's law in arguing for the reality of intensions, but
the motivation there is altogether more powerful.
Moreover, it seems unwise, in the present connection, to call upon the
notion of nonlogical necessity or analyticity, Katz (1964). An expression, p,
is nonlogically necessary if the meaning of its predicate is fully included in
its subject or vice versa. Thus, (19) is analytic:
While such cases are patently analytic, analyticity, itself, does not provide
a foundation for a theory of meaning since it relies upon a prior notion of
meaning for its own definition - comparable objections could, doubtless, be
levelled at my own appeal to synonymy above.
Given that there is only one world, one actual state of affairs, we might be
tempted to say that propositions are true if they express facts. The notion of
a fact is difficult to disentangle from what I referred to above as a "particular
truth". For simplicity, let us say that facts are actual truths and that anything
which is only possible is not a fact. Appeal to facts is usually appeal to
extensions and, as we have seen already, it is improper to adopt an exclusively
extensional view of meaning. Frege showed that, while the evening star and
the morning star have the same extension, they certainly do not have the same
sense. Moreover, we frequently speak not of actualities but of possibilities
and whether these possibilities are viewed as reasonable - perhaps there are
ten planets - or unreasonable - there could be fiery dragons - their expression
requires intensions, not extensions. Thus, the intensional approach to meaning
seems very sensible. It is worth mention, here, that Montague himself (1970a)
tried, without success, to construct an extensional semantics, only to abandon
it in his famous (1973) paper.
Counter/actuals 11
1.5 Counterfactuals
This sentence can be used appropriately if and only if, in the actual world,
Jack is not a rich man. If it is true, it must be so with respect to a nonactual
world and, in such a case, is the individual denoted by Jack the same individ-
ual in both worlds? Lewis proposes that we accept that the worlds concerned
be as similar as possible, differing only sufficiently to make the sentence
counterfactual. We should, therefore, trace the counterfactuality of (20) to
variation in nonessential properties of the individual constantly denoted by
Jack.
It is apparent that the problem of cross-world identity, although fairly
simple in cases like (20), can assume enormous dimensions. Even if the dis-
tinction between essential and accidental properties were clear-cut, it would
still be difficult indeed to account for such extreme cases as:
While, therefore, I shall follow Montague's practice and regard proper nouns
as rigid designators, I am conscious of at least some of the metaphysical
difficulties.
I regard the central task of semantics as the study of the rules by which
word-meanings are combined into complex units - which is not to say that it
takes no heed of word-meanings. In order for the theory to be compositional,
it must take account of how lower-order meanings combine to form higher-
order meanings and, ultimately, the semantic values of sentences themselves.
A compositional semantics has, therefore, to be framed in such a way that it
relates the two levels of content and expression in accordance with the syn-
tactic properties of sentences. Hence, part of the task of providing a semantic
description is the provision of a syntactic analysis.
12 Some topics in semantics
It is important to stress that the syntactic analysis has the sole function
of enabling the semantic description. Syntax is not an end in itself in the
framework of Montague's programme and, in this, that programme differs
fundamentally from the work of the transformationalists and other formal lin-
guists. The syntactic model to be used is chosen for its ability to characterise
the compositional nature of sentence-meaning and not for its ability to ex-
plain formal syntactic phenomena or to predict syntactic relations. Syntactic
phenomena are interesting only if they have a bearing on semantic issues. It
is in this spirit that I devote a substantial part of this study to the syntax,
especially chapter 7.
It will, however, be immediately apparent that the question of what con-
tribution to sentence-meaning is made by syntax is not always a straight-
forward one. Carnap (1961) emphasised that the analyst should strive for a
one-to-one relation between form and meaning, to establish an "intensional
isomorphism" between the two. A major task in such an enterprise is to
determine which syntactic variations are meaningful and which are purely
formal - among others, Fodor (1977) discusses alternatives like the father
of my father and my father's father. This task also requires, of course, that
we settle questions of synonymy between apparently equivalent word and
phrase-pairs, e.g. spinster and woman who never married. The establishment
of such an isomorphism is exactly what our opening vignette supposes to be
the central aim of mathematical linguistics.
At the moment, however, it seems unlikely that Carnap's aim is within
practical reach. On the one hand, it is clear that rather than thinking in
terms of isomorphy, we must explore the link between form and meaning
in terms of the weaker relation of homomorphy - chapter 2. There is not a
general one-to-one relation between expressions and meanings, but a many-
to-one relation in many instances. The semantic content of a sentence - its
"prepositional content" - is, as we saw earlier, often expressible in a number
of alternative ways. The examples provided earlier mostly involved different
language encodings of the same proposition. However, it is obvious that many
different syntactic patterns may be equivalent semantically, including Fodor's
examples referred to above and, in many cases, such alternative formulations
as active and passive.
Pragmatics 13
1.7 Pragmatics
(22) may be true for an addressee on a particular occasion and false for
the same addressee on another. Evidently, the semantics must incorporate
a theory of language in use. This theory, the Pragmatics, appears, at first,
to be dangerously vague. However, given Montague's own formal account
of pragmatics (1968) and the work of other scholars, especially Cresswell
(1973), this aspect of meaning can be fairly rigorously described and need
not result in unwanted vagueness.
The pragmatics is needed, in any case, if the semantics is to be capable
of accounting for temporal and place indexicals. Such systems are excluded
from standard logics since they introduce contingency into the evaluation of
propositions and, hence, make truly deductive reasoning impossible. Thus,
for example, (23) is usually treated as if it made no reference to time:
More radically, (24) could not be treated at all in standard logic because of
the indeterminacy of the adverb.
such matters are not reflected in mathematical semantics. Recent work, such
as Kittay (1987), shows that the essential formal theory is at least in prospect.
Even so, I shall not attempt to pursue such matters here.
The basic status of sentences does not, however, imply exclusion of inter-
est in inter-propositional relations which, as Katz (1966) and many others
have argued, constitute a vital part of the subject matter of semantics. In-
deed, within the confines of Montague's own work - as with most other
formal linguists, including Keenan - Faltz (1985) - certain relations which
hold between propositions figure prominently.
Especially important is the relation of entailment. It is obvious that we
must be able to say which propositions logically follow from any assertion,
as (29) from (28).
(31) The storm caused the hayrick which was made by John to collapse.
compared with:
Obviously, (34) follows from (33), but (32) is not entailed by (31). This is
so because, in (31), the object of caused is an infinitive complement with to
collapse as its main verb, but, in (32) the object of caused is an infinitive
with to make as its main verb.
The relation of Presupposition has been an important part of philosophical
enquiry for many years and, more recently, linguistic discussion has also
focussed on this topic. Probably the most famous example is Russell's (1905):
16 Some topics in semantics
If there exists a unique individual who is the present king of France, then
(35) is obviously true or false. However, if such a person does not exist, it
is arguable that (35) is merely pointless. I return to this topic at some length
in chapters 4 and 6.
As we have already seen, Leibniz's law plays a central role in establishing
the degree to which noun phrases are interchangeable. The relation of identity
is of great semantic interest. It is, for example, important to our understanding
of a set of problems concerning the evaluation of certain types of argument.
An instance from an early paper by Montague-Kalish (1959) - see also the
discussion in Quine (1960) - is:
(36) The number of planets is 9. Kepler was unaware that the number of
planets exceeds 6. Therefore, Kepler was unaware that 9 exceeds 6.
Clearly, this is nonsense. In spite of the attention such puzzles have received,
their resolution is still to be achieved to everyone's satisfaction and my own
treatment, chapter 4, will, I hope, not be without interest.
1.9 Ambiguity
A most crucial factor in the semantic analysis of natural languages which has
a bearing on all of the kinds of issues referred to above is their pervasive
tendency towards ambiguity. It is an essential task of the theory to resolve
ambiguities as a sine qua non to the assignment of values to expressions. The
formulation of a mechanism for the resolution of ambiguity therefore plays a
dominant role in the grammar, being fundamental to the compositional view
of meaning.
Of course, problems of ambiguity have featured in language studies for
centuries. Linguists have been concerned with lexical ambiguity, as in:
The solutions which have been proposed in the theory for such problems
have, in my view, enormous importance for semantics generally and I shall
discuss them at length in chapter 5.
Montague's treatment of ambiguity is not novel, although he puts more
emphasis than is customary on some types, notably intensional ambiguity, as
in the sentences discussed above involving the verb seek and ambiguities of
quantifier scope, as in:
for the logical expressions, and if the translations are precise, then, in an
important degree, we have the semantics for the natural-language expressions
also.
The logic which Montague employs, besides being intensional, is both
modal and tensed. However, it rests upon the standard logics of the propo-
sitional and predicate calculuses and I shall, therefore, offer a fairly broad
discussion in chapter 3 of such logics as well as a more detailed account of
Montague logic proper. The version of the latter upon which my exposition
will be based is that set out in Montague (1973). I shall also draw on the
work of other scholars, most notably, Cresswell (1973, 1985), whose use
of lambda abstraction in linking syntactic and semantic representations, or
"logical form representations", is especially valuable.
The brief outline of semantics provided in this chapter may give the impres-
sion that the primary concern is with English. While this book will be entirely
based on English data, it is certainly not intended to be solely about English
as an individual language. My reason for confining myself to English exam-
ples is merely a function of my status as a native speaker of the language
and a lack of confidence in my non-English intuitions.
Although two of Montague's papers contain the word "English" in their
titles, the theory is intended to be universal in the broadest possible sense. In-
deed, the title of his philosophically most important paper Universal grammar
(1970b) is more reflective of his programme than any other. For Montague, it
is vital that semantic theory be maximally general and thus, for him, the term
"universal grammar" embraces all languages, artificial as well as natural. In
this usage, "universal" does not refer, as is common in linguistics, to features
of all natural languages. Mathematical semantics, in its purest form, is not
at all concerned with establishing the actual universals found in natural lan-
guage. The theory is, therefore, not concerned with psychological issues of
language acquisition, nor yet with statistical probability. The focus is solely
upon formal universals and this focus is based upon the assumption that there
is no essential difference between the artificial languages of mathematics, in-
cluding logic, and those we call natural. This view does, in fact, have a long
tradition in philosophy; see for example, the classic paper by Church (1951).
Thus, Mathematical semantics is, in essence, the semantic theory of lan-
guage in general and, as such, is as much part of mathematics as it is of
Universal semantics 19
philosophy or linguistics. In this spirit, its scope does not include the kind of
psychological dimension referred to above. However, from the stand-point
of natural-language studies, it may be that the exclusion of psychological
considerations is ultimately impoverishing - it is certainly not in line with
the currently popular interest in so-called "Cognitive Linguistics". Even so,
I shall not, in this book, make any attempt to bring such considerations into
the discussion.
The kinds of issues touched on in this chapter will constantly recur as
central themes in this book. I do not pretend to provide an exhaustive ac-
count of them, let alone an explanation of the philosophical problems which
surround them.
I now turn from the discussion of the scope of the semantics to an account
of some of the background notions from mathematics, logic, and linguistics,
which are required to appreciate both Montague's work in particular and the
enterprise of mathematical semantics in general. Naturally, to those readers
who are well versed in the various disciplines concerned, I shall have little
of interest to say in the preliminary chapters.
Chapter 2
Background notions from mathematics
In writing this chapter, I have been sharply conscious of the fact that it might
be considered by some readers to be superfluous. To some, its content will
be profoundly familiar. For such readers, it would probably be best to pass
over the next few pages altogether. To others, the discussion may appear
unnecessary because the next chapter on logic deals with most of the issues
commonly associated with formal semantics.
Indeed, it is not strictly necessary to know anything about mathematics in
order to follow the remarks, arguments and technical developments in this
book and there are parts of this chapter which will scarcely receive mention
in the sequel. My motivation for presenting a brief account of background
notions from mathematics is that these notions, besides being helpful in ap-
preciating the highly technical discussions of Montague and other scholars
working in mathematical linguistics, such as Cresswell, serve to place the
more familiar discussion of the next chapter in a different perspective and,
in doing so, considerably deepen one's understanding.
2.2 Sets
The development of set theory from the ideas of Cantor (1932) has been
among the major achievements of modern mathematics and its application in
much formal semantics is central.
Intuitively, a set is a collection of elements whose membership is deter-
mined by some characteristic which they share with all others in the set.
Thus, among numbers, the positive numbers form one set which contrasts
with that of the negative numbers. The wellformed expressions of a natural
language constitute a set which contrasts with the informed ones and so forth.
Intuition also serves to assure us that set membership is not always clearly
defined. Many sets, e.g. the set of beautiful things, are "fuzzy". I shall not
Sets 21
discuss such sets here, though their existence will be taken for granted in the
sequel.
I f S is any set and a, b, c, . . . are elements of S, then S = {a,b,c, . . . } and
for any a contained in S, a is a member o f S, written (a e S).
The members of a set may be grouped in terms of the notion of a subset,
i.e. some grouping of elements in respect o f a given characteristic. If S
contains the subset a, a is a "proper subset" o f S, written (a c S), if and
only if, " i f f ' , S contains elements not in a. If it turns out that there are no
elements in S which are not also in a, a is a mere subset of S, indicated by
(a C S). If everything in S is also in a and vice versa, then, obviously, (a =
S).
In accord with the above, w e say that t w o sets, S and T , are "identical"
iff ((S C Τ ) & ( T c S)), i.e. if S and Τ have exactly the same members.
If a is a proper subset of S, then the set o f elements in S which are not
in a constitute the "complement" of a, written " - a " . Thus, if S is the set of
numbers and a is the subset of natural numbers, then the subset in S which
comprises the non-natural numbers is the complement, -a, of a. Similarly, if
S is the set of wellformed sentences of English and a is the subset of positive
sentences, then the subset in S of negative sentences is the complement of a.
In fact, it is common practice for the notion of a complement to be iden-
tified with negation both in formal logic and in linguistics. This is not, o f
course, to be confused with the metalinguistic convention in which " c o m -
plement" is the label for a constituent acting as the object o f a verb or
preposition, though that usage ultimately derives from the same notion o f set
completion.
It is customary to accept the existence o f a set containing no elements at all.
This set, the " e m p t y " , " v o i d " or "null" set, is symbolised " 0 " . Frequently,
the notation (S e 0 ) is used to indicate that S has no members, i.e. is a
member of the null set. Thus, the first prime number > 2 which is even is an
element of 0. A n analogous instance from English is provided by the set o f
sentences consisting of a single word - ignoring ellipsis. Another example of
a member o f the null set is the fabulous unicorn which figures so prominently
in philosophical and linguistic discussion.
From the above example, it will be apparent that, if [J is the universal set,
then the value o f any statement which is true is a member of [J. Since the
complement, -|J is the empty set, it contains the values of all false statements.
Thus it is that the empty set, 0, is frequently employed to represent falsehood,
while " 1 " often symbolises truth.
Zermelo (1908) required that the empty set be a member of every set.
Hence, any set S, in addition to its characteristic elements, a, b, c, ...,
22 Background notions from mathematics
contains the empty set. Further, since every set is said to contain itself as a
member, the null set contains one member, namely, itself.
The "intersection" or "meet" of two sets S and Τ is the subset of S which
is contained in Τ plus the subset in Τ contained in S. This subset may be
symbolised {S & T} and may be verbalised as the set whose members are
both in S and T.
Since a given element, a, must belong to both S and Τ to be in the
intersection of S and T, it follows that the intersection may contain fewer
elements than either or both of the intersecting sets. Given the set, S, of
books and the set, T, of works of art, then, clearly, the set of objects which
are both books and works of art is smaller than either S or Τ - at least this
is so in our world.
When two sets, S and T, are "joined", the result is the "logical sum" or
"union" of S and T, symbolised {S ν T}. The "joint" of two sets contains
those elements which are in either or in both of those sets. Thus, the union
of two sets is always greater than is either one in isolation. The set of things
which are either books or works of art or both clearly is more numerous than
either set taken alone.
It is evident from the above that the relations of intersection and union
correspond, in the field of sets, to the relations of conjunction and disjunc-
tion in natural languages. It is, further, clear that intersection corresponds to
logical conjunction and that the status of union is precisely that of inclusive
disjunction, not the exclusive variety, see chapter 3.
Intersection and union correspond mathematically to multiplication and
addition - they are commonly called the "logical product" and "logical sum"
respectively - and since their natural-language equivalents are conjunction
and disjunction, it is not unusual, e.g. Reichenbach (1947), to symbolise
and as * and or as + . To see the plausibility of these equations, it is only
necessary to consider the result of adding 0 to 1 and of multiplying 0 by 1.
Obviously, (1 + 0) = 1, while (1 * 0) = 0. Any disjunction, (p or q), is true,
i.e. has the value 1, if either disjunct is 1. Any conjunction, (p & q), is false,
i.e. has the value 0, if either conjunct is 0.
Thus, using ρ and q as propositional variables, the following equivalences
hold:
(a) (p & q) = (p * q);
(b) (pvq) = (p + q).
These equivalences are particularly important in the context of certain
rules of equivalence, especially the distributive laws (see below for further
discussion and chapter 3).
The cardinality of a set 23
When two sets, S and T, share no elements in common, they are "disjoint".
Thus, the set of natural numbers and English sentences is a disjoint set, which
is, in effect, the null or void set. The term "disjoint" is thus frequently used
in the sense 'distinct'.
Since it is possible to confuse the names of set elements with the elements
themselves, it is common practice to interpret, say, "S =(a,b,c, . . . ) " as
standing for the set of distinct objects denoted by a, b, c, . . . rather than the
set of names themselves. Following Carnap's (1961) usage, a set is taken "in
extension" unless otherwise specified.
(1) {< a,d >, < a.e >, ...< a.h >; < b,d >, < b,e >, ...<
b, h >;
< c,d >, < c.e > ... < c,h >}.
Hence, the cardinality of a product set is the cardinal number of the one
multiplied by that of the other, namely, {S X T}.
Relations and functions 25
independent variables are written and, on the y-axis, their dependent coun-
terparts. In reading such a graph, it is practice to read the elements on the
x-axis first.
The elements in a relation which comprise the first components of the
associated pairs - the elements on the x-axis - are known as the "domain" of
the relation, while those making up the set of second components - elements
on the y-axis - are referred to as its "range" or its "value". Thus, if the
relation, R, is is the author of, the domain is the set of written works and the
range is the set of writers. Finally, the set of elements which together make
up the domain and the range is called the "field" of the relation.
Obviously, the relation, < , is potentially multi-valued. Thus, if U is a set
of numbers, and χ = η, for some n, there may be a number of elements, y,
which pair with η to satisfy the relation. Similarly, the relation, is an author
of, will be multi-valued since books, etc. may be co-authored - hence the
indefinite article, an, in the English name for this relation.
A relation which is uniquely valued is conventionally known as a "func-
tion". Thus, for instance, the relation between any number and its square,
cube, etc. is a function, as is the relation, husband of, in a monogamous
society.
If we regard the set of pairs satisfying a relation as constituting the re-
lation - an equation which is proper since an exhaustive list of such pairs
constitutes a definition of the relation - we may rephrase the above definition
of a function as a uniquely valued relation by saying that a function is a set
of ordered pairs sharing no common first member. As an illustration, let U
= { 1,2,3}. Then the cube-function defined over U is: { < 1,1 > , < 2 , 8 > ,
< 3,27 > } . By contrast, the relation, is the cube root of, is not a function
since, for any power, the absolute value may be positive or negative. Hence,
for instance, 8 has the cube roots 2 and -2, so that 8 appears as the first
member of two distinct pairs.
This is a useful way of looking at functions, in the context of natural
language, since it emphasises the functional VS relational status of given
expressions. Thus, Oliver Twist is the first member of only one pair defining
the function, is the author of, i.e. < Oliver Twist, Dickens >, since the
book in question had only one author. By contrast, the expression written
by denotes a relation since, for any argument, it may have several values.
Thus, written by includes many pairs sharing the same first member, e.g.
< Dickens, Oliver Twist >, < Dickens, Great Expectations >, ...
Functions may be generalised symbolically as F(x), where F is the function
variable and χ the domain variable. Thus, if F is the cubing function, F(3)
= 27. If F is the function, husband o f , then F(Mrs. Thatcher) = Dennis
Equivalence relations 27
When we consider relations between sets and subsets, the most fundamen-
tal is that of equivalence or equality. Thus, the expression "S = T" claims
that:
(D.3) if S = T, then Τ = S.
(2) John is the son of Peter and Peter is the son of Jack. Therefore, John
is the grandson of Jack.
c. (χ & (y & ζ)) = ((χ & y) & z); similarly for disjunction.
f. (χ ν 0) = χ; (χ & 1) = χ.
(8) John came and Mary and Jane left. — John came and Mary left and
Jane left, (so too for or).
law in which or and & supplant each other in (7d). Clearly, this second law
does not hold in arithmetic since (x + (y * ζ)) φ ((χ + y) * (χ + ζ)).
The postulates in (7e) proclaim, on the one hand, the contradictory status
of a conjunction of a proposition and its negation and, on the other, the
tautological status of the disjunction of a proposition and its negation.
In terms of sets, it is obvious that any element, a, cannot belong both to
a set and to its complement. That is to say: the set of elements belonging
to S and -S is the void set, 0, and any statement to the contrary is false,
i.e. has the value 0. Conversely, the set of elements belonging either to S or
its complement -S is the universal set 1 and any statement to that effect is
true, i.e. has the value 1. I return again to the question of contradictions in
natural languages. Here, it is to be noted that, in spite of their apparent lack
of informativity, tautologies such as (9) and (10) occur fairly frequently in
natural discourse as expressions of emotions such as resignation.
Like any formal system, including a logical system, Boolean algebras must
be consistent and complete. A system is consistent if and only if, for any
formula a which can be derived in it, the negative - a is not also derivable.
For the system to be complete, any wellformed formula a which is not a
postulate must be derivable in it as a theorem. This is possible only, of
course, if the postulates are valid - true under any interpretation. It also
32 Background notions from mathematics
Any two algebraic systems may be related in a number of ways. The simplest
cases to consider are those in which there is one operation only, which may
arbitrarily be treated as though it were either addition or multiplication. Since
it is convenient, at this point, to consider number systems, the additive or
multiplicative operations do, in fact, correspond to their arithmetical uses.
However, it is important to realise that this correspondence is not necessary.
Thus, the expressions "a * b" or "a + b" may be taken as designating any
operation on two arguments, so that "*" = "+".
Given two systems, say of numbers, one, S, may correspond precisely
to the other, S \ just in case we are able to associate each element in S in
a one-to-one relation with each element in S' and if, further, the operation
is preserved under the correspondence. Such a relation is referred to as an
"isomorphism" and may be simply illustrated by the following case.
Let S be the set of natural numbers and S' be the set of their common
logs - logs to the base 10. Then, for every a and b in S - for arbitrary a and
b - there will correspond a unique element a', b' in S'. If, for example, a
= 10, then a' = 1,. If b = 100, then b' = 2. If, now, the operation in S is
multiplication and that in S' is ordinary addition, the relation between S and
S' will be isomorphic, as Table 1 testifies.
Table 1. An isomorphism
S <—• S'
a = 10 <—> a' = 1
b = 100 <—> b' - 2
(a * b) = 1000 <—> (a' + b') - 3
status of the relation that the operation is multiplication in the one case and
addition in the other.
A more general and, therefore, weaker relation between two systems is
that in which the correspondence between the elements of the two is not one-
to-one, although the operation is still preserved under the correspondence. A
relation of this kind is called "homomorphic". The following illustration is
from Moore (1962).
Let S be the set of natural numbers and S' be the set of integers comprising
just 1 and -1. Let every even number in S be associated with 1 in S' and every
odd number in S with -1 in S'. If the operation in S is ordinary addition and
that in S' is ordinary multiplication, then these operations will be preserved
under the correspondence, as Table 2 shows.
Table 2. A homomorphism
s S'
a = 1 < — a' = -1
b = 2 i b' =1
(a + a) = 2 <— b' i.e. (a' t a') = 1
(b + b) = 4 <— b' i.e. (b' * b') = 1
(a + b) = 3 <— a' i.e. (a' * b') = -1
The system of rules itself may, as Gladkij and Mel'cuk suggest, be re-
garded as a function, or "mapping", with a very complex structure. To de-
scribe it in its entirety requires that we identify and describe all of those
simple functions which combine to make up the whole and, ultimately, to
account for the manner of their combination. Among others, we should de-
scribe:
can be applied to a given string which has not terminated, we say that the
derivation is "blocked".
As a simple example of such an algorithm, based on Curry, consider
the following reduplicating system in which the members of Β are upper-
case letters and the lower-case equivalents are auxiliary symbols - symbols
which mark given elements or strings of elements as legitimate inputs to
given commands. The goal is simply to copy an expression, E, consisting of
elements in B.
Here, command (12d) is the start-command, having the void set to the left
of the arrow, and (12c) the stop command, having void to the arrow's right.
Command (12b) merely ensures that elements and auxiliary-marked elements
interchange to permit the operation of (12c). Command (12a) generates the
requisite number of copies and, since it may take its output as input, it may
be applied an infinite number of times. In fact, of course, the number of
applications of (12a) will be determined by the number of elements in E.
Thus, if Ε = aa, its copy will be "aa" and so forth.
The above algorithm makes explicit reference to an alphabet in Β con-
sisting only of A. It should, however, be clear that the number of admissible
elements is not limited. Thus, if Ε is the English word cat, then we can derive
its copy simply by expanding the algorithm to allow for the fact that three
letters are involved as follows:
(14) CcCAaATtT.
(15) CAcCaATtT.
36 Background notions from mathematics
This string will input the terminating command, suitably expanded, which
erases the auxiliary alphabet to yield:
(16) CATCAT.
The algorithmic technique is, of course, very familiar to the modern lin-
guist in the form of a standard phrase-structure grammar and its application
will be assumed in the remainder of this study.
Chapter 3
Background notions from formal logic
(R.a) ρ is a wff.
38 Background notions from formal logic
(R.b) If ρ and q are wffs, then (p & q) is a wff, as are: -ρ, (ρ ν q), (ρ Λ
q), (p — • q), (p < • q).
ρ q (p & q) ρ -ρ
1 1 1 1 0
1 0 0 0 1_
0 1 0
0 0 0
Ρ q (Ρ ν q) Ρ q (Ρ A q)
1 1 1 1 1 0
1 0 1 1 0 1
0 1 1 0 1 1
0 0 0 0 0 0
q (p — > q) p q (p <—> q)
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 1 0
0 0 1 0 0 1
That the conjunction is here nonlogical is confirmed by the fact that the
meaning changes if the order of the conjuncts is reversed, as in:
Since the ambiguous cases seem to be the rule rather than the exception,
most logicians take or as inclusive unless otherwise stated.
As in other natural languages, the relation between English if and logical
implication is tenuous. If carries connotations of causality which make it
difficult to equate with — O n l y the second line of Table 5 seems natural.
Adherence to the other lines yields such strange truths as:
(9) Axioms
a. (ρ ν p) —> p.
b. q — > ( p v q).
c. (ρ ν q) —> (q ν p).
The adjunctive rule merely states that: "if both ρ and q are true", then (p
&q).
As a simple example of how the calculus works, consider the following
proof of (12).
(12) Theorem: (p —• -p) —> -p.
b. Substitute (p —> -p) for (-ρ ν -ρ) in (a) by definition (D.2). QED
As in the case of the Boolean algebra outlined in the previous chapter, the
above system is both complete and consistent.
The semantics of the propositional calculus is, indeed, impoverished. Since
the logical constants denote particular functions which have been assigned
The nature of propositions 41
(13) (pv-p).
(14) (p&-p).
is invalid by necessity. This is not to say, of course, that such formulae can
never find expression in every-day discourse. As remarked in chapter 2, the
tautological status of (13) may be exploited to express resignation, as in:
true. This is so because, if the implication holds and ρ is true, then q must
be true under the usual interpretation of — I f q is true, however, ρ need
not be so, again according to our material understanding of — H e n c e , the
axiomatic status of the equation ((-ρ ν q) = (p —> q)).
This way of looking at propositions is most illuminating, especially when
we come to consider such modalities as logical entailment (section 3.6).
The simple equation of a proposition with a set of possible worlds is, how-
ever, preliminary in Cresswell's discussion and he later abandons it in favour
of a relation between propositions and the more complex notion, Heaven.
This is done to avoid unwanted consequences, such as there being only one
necessarily true proposition and to allow for the solution of semantic prob-
lems such as those surrounding belief-type statements. I shall describe this
elaboration later in the discussion of modal logic (section 3.7). Here, it is to
be noted that there are other candidates for the role in question, including
moments of time (Prior, 1968). There are also those, including Montague
(1973), who take possible worlds as primitive notions. I shall not attempt to
evaluate these alternatives in this study.
3.4 Monotonicity
(15) Jennifer, a linguist, earns £400 a month. Therefore, her annual in-
come is £4,800.
(16) a. (i.x)(B(x)^F(x)).
(19) a. (v,x)(B(x)&-F(x)).
(17) b. There exists at least one χ such that χ is a bird and χ flies.
(19) b. There exists at least one χ such that χ is a bird and it is false that χ
flies.
(16) d. It is false that there exists at least one χ such that χ is a bird and
does not have feathers.
(18) d. It is false that there exists at least one χ such that χ is a bird and χ
is a mammal.
The statements considered so far have been simple in that they have in-
volved only one argument and, consequently, only one quantifier. If a given
function's degree > 1, then, clearly, more than one variable may be required
and each will have to be bound by its own quantifier. Thus, the statement:
In this expression, the inner clause restricts χ and y to humans, while the outer
clause asserts that χ loves y under the condition stated in the inner clause.
(20) is, of course, an Α-statement since it makes a claim about all humans
and so the universal quantifier has the particular quantifier in its scope, i.e.
to its right. It is to be observed that, even if there are those who love only
themselves, the symbolisation is still correct since there is no rule that only
one variable may be used for a given individual. The rule is, rather, that if
different values are involved, they must be represented by different variables.
Thus, the symbolisation of (21) below is incorrect.
The difference in quantifier scope between (20a) and (22a) reflects a funda-
mental difference in meaning between the two expressions - one that features
frequently in the linguistic literature. In (20a) it is claimed that, for everybody,
there is at least one person he/she loves, even if it be only himself/herself.
In (22a), on the other hand, it is asserted that there exists at least one person
of whom it is true to say that everybody loves him/her.
It is appropriate, at this point, to refer briefly to the oldest part of the
calculus of classes, namely, syllogistics. Of the three types of syllogism,
the categorial is part of the predicate calculus, while the hypothetical and
disjunctive are, properly speaking, part of the propositional calculus. The
categorial syllogism is important in the present context not only because of
its pervasive exploitation in everyday argument, but because the semantic
problems associated with such syllogisms form an important part of current
philosophical and linguistic discussion and frequently figured in Montague's
writings.
Consider the following syllogism:
(23) All angels fly. All cherubim are angels. / All cherubim fly.
This argument is in the mood, "Barbara", since its premises and conclusion
are A-statements.
The terms of the syllogism are identified as follows:
(24) The "minor" term is the subject of the conclusion. The "major" term
is the predicate of the conclusion. The "middle" term appears in the
premises but not in the conclusion.
According to (24), the minor term of (23) is cherubim, the major term is
fly and the middle term is angels.
We may summarise the rules of validity for a categorial syllogism as
follows:
46 Background notions from formal logic
We may say that a term is "distributed" if and only if it applies to each and
every member of a class. In an Α-statement, the subject alone is distributed. In
an I -statement, neither term is distributed. In an Ε-statement, both terms are
distributed. Finally, in an O-statement, the predicate term alone is distributed.
Armed with the above definitions of terms and rules of validity, it is simple
to decide whether or not a given syllogism is valid - the conclusion neces-
sarily follows from the premises. Thus, for example, the following argument,
although it has about it the ring of truth, is clearly not valid since it infringes
rules (R.c) and (R.d).
(26) Some humans are women. Some women have long hair. / Some hu-
mans have long hair.
In this case, common sense tells us that the syllogism is not valid since
it is nowhere stated that all women are humans - the middle term is not
distributed - and it might well be the nonhuman women only who are blessed
with long hair. This example suggests, moreover, that rule (R.c) is superfluous
in view of rule (R.d) which, by the definition of distribution, disallows a
syllogism with two I-statements as premises.
It is to be noted that proper nouns may be taken as distributed terms, so
that, for instance, a statement like (27) is an A-statement:
is a syllogism in the mood, Barbara. In fact, there are those, e.g. Russell
(1946), who object to this analysis, but it appears to enjoy general acceptance
and is in accord with Montague's (1973) treatment in which a proper name
denotes the set of properties which constitutes a unique individual.
An argument variable which is not bound by a quantifier is said to be "free"
and a formula containing free variables is said to be "open". The formulae
given so far have all been "closed" and, therefore, represent propositions. It
is common to call an open formula an "open proposition", but I shall, for
the time, continue to use "propositional function" or "formula" for formulae
with free variables.
When we consider the formation rules for the predicate calculus, we find
that they correspond to those for the propositional calculus save for the fol-
lowing additional rules needed to govern the construction of open and closed
expressions.
the respective individuals are fixed and that the relations holding between
them are also part of the specification of the state of affairs.
We say that the set of individuals in a given state of affairs is a "domain",
6. We may then say that a predicate, F, has its domain in δ. While most
proper nouns will have unique values in <5, some, e.g. Pegasus may have no
value at all in a given state of affairs. Further, there is likely to be a large
number of elements in the domain which do not have names of their own.
If F(x)6 is a propositional function with domain in δ, then an individual,
a, in δ, satisfies F(x) if and only if F(a/x) is true - where "a/x" means 'a
substitutes x'. The set of all individuals satisfying a given function is its
extension.
If V is a function which assigns values, i.e. denotations, to names, Ω is
a function assigning values to predicates and G assigns values to variables,
then < V.(2,G > is an "Interpretation", I. If F is a one-place predicate,
then (2(F) is an unordered set and, if F is an η-place predicate, then u ( f )
is an ntuple and will frequently be ordered. If L is some language, say a
fragment of English, then L' is an interpretation of L. I return to a more
formal treatment of these assignments in section 6.7 below.
Given our understanding of the particular and universal quantifiers, we
may say that the following propositions are true with respect to a given
interpretation, I, if and only if the first is satisfied by at least one element in
δ and the second by each individual in the extensions of the predicates.
(31) ((v.x)(F(x)&H(x)).
(32) ((V.x)(F(x)^H(x)).
Clearly, under the normal value assignments of English, these two sentences
are synonymous. However, if, with McCawley, we are prepared to accept
that a man who has no children is a person who loves all of his children,
then, it would seem that if (34) and (35) are true, so is (36).
Since the equation of (36) with (34) and (35) is ridiculous and leads to
contradictions, we may wish to restrict universal quantification to individuals
judged, in some way, to be relevant to the purposes of the discourse. This is
a sensible principle, but it is important to recognise that it is one of use, not
of formal logic.
While it is easy to state the conditions under which a simple particularly
or universally quantified statement is true, the situation is less straightforward
when two or more quantifiers are involved, as in (37).
In order to evaluate this expression, we must first give a value for the inner
propositional function, ((V. >') (K(y) —> H(x,y))). This is simple with respect
to the values assigned to y, but not so for χ since that variable is free.
A way out of this difficulty is suggested by the axiom referred to earlier
in this chapter, namely (ρ —> (ρ ν q)). Let the inner formula in (37a) be
satisfied by a/y. If F(a/y) is true, then so is (F(a/y) ν F(a'/x)), where a' is any
arbitrary assignment.
Once the inner propositional function in (37a) has been satisfied, it is as
easy to evaluate the remaining function as for any expression involving a
single quantifier. We simply assign an appropriate value to χ which may, but
need not, be a'. Since this technique may be applied repeatedly in the evalu-
ation of a given expression, there is no bound upon the levels of complexity
which can be accommodated.
The calculus outlined here quantifies over individuals only - even though
the notion of an individual is very broadly conceived. A system limited in
this way is known as a "first order" calculus. It is possible to extend the first
order calculus to quantify over properties. Such a "higher order" or "second
order" calculus has all of the expressive power of the classical calculus, but,
in addition, can analyse sentences like (38).
50 Background notions from formal logic
(40) L(pv-p).
(41) (p&-p).
If we consider the statuses of (40) and (41), it is apparent that they exhibit
a kind of necessity which is purely formal. Such propositions depend for
their status upon the functions represented by the logical constants not upon
the content of the atomic propositions involved.
The kind of necessity exemplified by (40) and (41) contrasts with "con-
ceptual necessity" exhibited in:
The point of the above examples, of course, is that the substituted an-
tecedent in (43) is taken to have the same truth value as its counterpart in
(42), but the complex expressions differ in truth value. We observe, therefore,
that conceptual necessity, unlike logical validity, is nontruth-functional. It is
52 Background notions from formal logic
this nontruth-functional necessity which gives modal logic its chief interest
for the linguist.
The examples (42) and (43) are both complex. However, certain simple
propositions can also be necessary. Thus, reverting to a problem touched on
in chapter 1, Frege's famous sentence (44) is true by necessity, but (45) is
false, even though the semantic assignments are referentially the same in both
cases.
(D.4) If (p <—> q), for any ρ and any q, then L(p —> q).
To illustrate:
(46) If Jack broke the window with his fist, then Jack broke the window.
(D.6) If (p <—> q), for any ρ and q, then L((p q) & (q p)).
According to (D.6), the set of possible worlds which are the proposition,
p, is a subset of those which are the proposition, q, and vice versa. Therefore,
ρ is equivalent to q and q is equivalent to p. Thus, human being is equivalent
to person, but pianist merely entails musician. This relation is often known as
"strict implication", McCawley (1981), and is regarded by many to be closer
to the meaning of English if than is material implication. Like entailment,
of course, if the consequent, q, is false, then so is the antecedent, p.
To symbolise Logical Impossibility, or invalidity, we merely prefix the
necessity operator to a negated proposition, as in:
(47) L-(p).
What (47) asserts is that the proposition, p, simple or complex, is the empty
set. It should be noted, that logical impossibility, invalidity, is not the same
thing as conceptual impossibility. Whereas the former is a matter of logic,
the latter is not.
As with the other operators, impossibility must be related to that of pos-
sible worlds, i.e. worlds consistent with some logic. I am not, here, thinking
merely of physical impossibility.
If a proposition, p, is not impossible, then it is a possibly true proposition.
Thus, using Μ to stand for the possibility operator, (48) is a true statement
if ρ is not impossible:
(48) M(p).
The assertion here is, of course, that there is at least one possible world in
which ρ is true, i.e. ρ contains at least one member.
It is obvious from the gloss of "possible" as 'not impossible', that Μ is
equivalent to L flanked by negatives. Thus, an alternative to (48) is:
(49) -L-(p).
54 Background notions from formal logic
(50) -M-(p).
(51) Harvey discovered the circulation of the blood. So, before Harvey,
that blood circulated was not known.
It is also true that such systems can be valuable tools in the furthering
of our understanding of fundamental concepts such as the nature of possible
worlds and the relations which may hold between them.
Thus far, I have taken for granted the plurality of possible worlds. In
fact, it was not until Kripke's famous paper (1959) that the idea of basing
a semantics of modal logic on sets of possible worlds was accepted. Before
then, modal logic had been founded on one-world systems and so was of
rather limited interest from the viewpoint of natural language studies. The
introduction of multiples of worlds into the system made it possible to apply
modal logic to the analysis of natural language expressions in which mean-
ing is not wholly extensional. Thus, for instance, (55) represents a common
type of expression which cannot be accounted for within the one-world, i.e.
extensional, framework of ordinary logics.
In this theory, protopropositions are sets of possible worlds and may not,
therefore, be anomalous. However, heavens are mere collections of proto-
propositions. There is no requirement that they should not contain contradic-
tory protopropositions such as those above.
In order to distinguish between expressions like (56) containing contra-
dictions and those conforming to possibility, Cresswell establishes a subset
of heavens which he calls "world-heavens". A world-heaven is a set of pro-
topropositions which jointly determine one and only one world. Hence, we
conclude that propositions are sets of heavens and that some of these heavens
are world-heavens, i.e. define logically consistent sets of possible worlds.
For two propositions to be identical, they must contain the same heavens.
This is a much stronger condition than that on equivalence which requires
only that the propositions contain the same world-heavens. If two propositions
are identical, they are, of course, equivalent - equivalence is a necessary
condition of identity - but the reverse does not hold.
It is to be stressed that these remarks concern propositions, not the actual
sentences which denote them. Thus, we can scarcely claim that two statements
are identical just because they denote propositions which contain exactly the
same set of heavens. Obviously, at the most general level, a French and
English sentence denoting the same proposition are not identical and, on a
narrower view, two different statements may, in the same language, have
identical referents without themselves being identical. I return to the difficult
question of identity in chapter 4.
Cresswell's approach outlined above has much in common with that of
Hintikka (1962). In essence, Hintikka proposes that a sentence like (56) be
analysed in terms of the operator Believe and a nucleus consisting of a propo-
sition whose content may be part of John's belief-world. The proposition is,
then, true if it is compatible with John's belief-world. I shall return to Hin-
tikka's analysis and a more recent study by Cresswell (1985) later (chapter
4).
As I suggested earlier, for modal logicians, much of the interest in this
logic centres around the question of accessibility or compatibility. Among
the issues which they address are those pertaining to the properties of the
accessibility relation within a given system. For example, within propositional
logic itself, one possible world must obviously be reflexive with respect to
accessibility. This is a clear requirement of logical consistency. Hence, in
such a system, the following axiom holds:
a. If a differs from a ' only in having free χ where a ' has free y, then
a — a'.
b. If a differs from a ' only in having free variables where a ' has none,
then a = a ' .
Any expressions, a and a ' , meeting one of these equivalences are bound
alphabetic variants and may be converted into each other.
As indicated, from the viewpoint of mathematical semantics, the attrac-
tion of lambda abstraction is that, incorporated within categorial grammar, it
makes possible the construction of semantic representations in terms of the
syntax. Thus, it permits the straightforward association of the two planes of
meaning and expression.
(67) Members of Y
a. e and t e Y;
Since < s,t > is a function with domain in possible worlds and moments of
time and range in truth values, the value of the proposition denoted by (69)
will be in {1,0}.
This account of (69) is greatly simplified and departs from Montague's
treatment on several counts, including the fact that he would take for as a
separate item - an intensional preposition. The point is that the verb looks
for does not presuppose the existence of its object and the fact that it takes
a member of < s, e >, rather than the extensional type, e, allows for this. In
addition, the subject of the verb must be rendered extensional by a suitable
postulate, see below.
As another illustration, consider an oblique context created by the senten-
tial adverb necessarily. Let necessarily' be of type, < s,< s.t > t >. That
is to say: let it be an intensional adverb. Accordingly, necessarily' takes a
Montague 's intensional logic 65
(70) The prime minister of New Zealand will always be a British subject.
Whether such sentences provide "the most plausible evidence" of the need
for intensional objects, or whether they are, at some level of analysis, of
a kind with the more obvious opaque cases, is unclear. However, it is very
apparent that opacity must be of central concern in semantics and Montague's
intensional logic was constructed with this concern at its heart. I take up the
topic, including Cresswell's examples, again in chapter 4.
I gave the type for necessarily' above as < s,< s.t > t >. This is,
however, a simplification. In fact, the function, F, assigns all constants a
member of type < s.a >, so that necessarily' will actually be of type,
< s. < s,< s.t > t > > , in which < s.< s.t > t > = a. This manoeuvre
proves, ultimately, to lead to simplification in the grammar. Its effect is to
make a completely general treatment possible in which all expressions are
initially treated intensionally. During the computation of the meaning of any
sentence, those intensions which are inappropriate are reduced to extensions
through the use of the operator V in a manner to be discussed later in this
section. Thus, while, on one reading, the object noun phrase in (69) must
remain intensional, that in (71) must be extensionalised. This is so because
photograph, like find mentioned in chapter 1, requires an extensional object.
functions just as ordinary extensional objects do. This is the approach which
I adopt in later chapters of this study.
It is to be noted that (c) of (67) allows for an infinite iteration of intensions.
This is so because, if < s, a > is a type, then so is < s, < s, a » and so on.
This unwanted iteration is of no semantic consequence since, by definition,
an intension is a function from all possible worlds and moments of time
to extensions. Hence, the intension of an intension is a constant function
and endlessly to apply it to itself leads to nothing more than an infinity of
identicals.
In the interests of readability, I shall often omit one or all tokens of the
intensional symbol, s, when referring to given types unless they are central
to the point at issue.
It will be evident that the operation of a categorial grammar, as sketched
earlier, is completely general. There is nothing to prevent the generation of
arbitrary sequences most of which would be ungrammatical. If we say that,
where a and b are categories, (a/b) is a category, then, since adverbs and
common nouns are categories, so is (adverb/common noun). This sanctions
the creation of such odd strings as necessarily leopard. Indeed, if we treat all
words as part of the lexicon, including articles and other grammatical words,
we could even generate such monsters as leopard the, or such the and. There
is nothing wrong with this liberality in the context of universal grammar.
Indeed, its presence is to be welcomed since we can never be sure that
a given concatenation will not be required. One consequence is, of course,
that, in concert with most current theory, we are led to view language-specific
rules as filters which permit the passage of only a subset of the grammar's
output. Parallel considerations hold for the peculiar semantic types which are
assigned to the relevant expressions. However, it may be that the semantic
rules which remove nonsense are less language-specific than their syntactic
counterparts. I discuss a logical example below.
The intensional logic, like any other formal system, must contain a set
of formation rules which specify those expressions which are well-formed.
Such expressions are called "meaningful expressions" and their specification
is such as to allow for the licence referred to above, while retaining the
customary restraints of standard logics. These rules provide for the inclusion
of lambda expressions and the usual wffs of the predicate calculus as well as
the modal, tense and intensional operators. I reproduce Montague's formation
rules below, commenting only on those which are of special interest or whose
significance is not immediately apparent.
Montague's intensional logic 67
Comment: This rule stipulates the domain of arguments for any function and
gives the status of the value for those arguments. To illustrate: let a be a
verb, i.e. a function of type < e.t > , and β an appropriate argument, i.e. a
member of e, then the value of et for that argument is a member of t. If α =
runs' and β = Percy', then runs'(Percy') c. t.
Although rule (R.c) dictates an inflexible condition on wellformedness -
the argument for a given function must be of a specified type - it leaves free
the specification of function and argument. Thus, paralleling the earlier dis-
cussion, we could, conceivably, have a function, < e, < t.t > > , represented,
say, by necessarily", which took as argument a member of e, say Percy', to
yield a sentential adverb, i.e. (necessarily" Percy'). This adverb would then
concatenate with a proposition in the usual way to yield a proposition, e.g.:
Comment: This rule provides for all of the customary wffs of the predicate
calculus - of any order. It also allows for the operators of modal logic -
represented by L, so that possibly must be derived - and tense operators.
Montague's tense provision is rather slight, allowing only for future, sym-
bolised W, and past, symbolised H, with present unmarked. Cresswell (1973)
argues that so-called "Tense logic", even in Prior's own formulation (1968),
is not particularly helpful in the analysis of the tenses of natural language.
Dowty et al. (1981) provide a full discussion of tense in the context of Mon-
tague grammar and I shall briefly return to his treatment below.
Having provided the syntax of the logic, through the formation rules, it
is now time to turn to its semantics. First, the possible semantic values -
possible denotations - for the different types must be provided. This is done
by the following definition, where A, I, J represent the set of individuals,
the set of possible worlds and the set of moments of time respectively. The
notation is to signify 'the set of possible denotations of a with respect
to A,I,J' - for brevity, I shall often simply write Da. As usual, the notation
xy signifies a function with domain in y and values in x.
a. D*-,J = A.
Comment: This simply establishes the set of possible semantic values for any
expression of type e as the set of individuals.
As noted earlier, since the set of individuals is taken in the context of all
possible worlds and moments of time, A must include individuals which do
not occur in the actual world, such as Pluto. The inclusion of such nonactual
individuals is, of course, necessary if the logic is to be useful in the analysis
Montague 's intensional logic 69
of natural language. It will also be recalled that many things are included in
the set of individuals which may not, normally, be thought of as individuals,
including propositions and formulae.
Since we can, and often do, talk about possible worlds and moments of
time, these entities also may be members of A. Thus, to say that an expression
has such-and-such a semantic value relative to < A,/, J > is to say that it
has that denotation with respect to the set A. The subsets I and J are picked
out for especial mention because they are denotation-determining in many
cases. That is to say, they are used to fix the extensions of expressions.
I should, however, mention that the intensional logic does not contain
expressions which denote ordered pairs of I and J, indices, directly. This point
is made by Dowty et al. (1981) who refer to a thesis by Gallin (1972). It seems
that this reflects the fact that "natural languages do not make explicit reference
to indices". Thus, for example, the phrase here and now has absolutely no
meaning in the absence of a context of use.
(73) b. = {0,1}.
Comment: (c) says that the denotation of a complex type < a.b > is a
function from the possible denotations of a to the possible semantic values
of b. Thus, if < a.b > is an intransitive verb, member of < e.t > , then
its possible denotation is a function from individuals or sets of individuals
70 Background notions from formal logic
to truth values. If < a,b > is a transitive verb, member of < e. < e,t >>,
its denotation is a function from individuals to a function from individuals
to truth values. The denotation of loves' is a function from A - taken as
objects - into a function from A - taken as subjects - into { 0 , 1 } .
To say that the values of certain functions are truth values is, of course,
to say that those functions are propositions.
Comment: The possible denotations of type < s,a > are functions from all
indices - ordered pairs of possible worlds and moments of time - into the
possible denotations of a.
As discussed earlier, the need for such functions in the semantics stems
from opaque contexts in which we cannot say that given expressions have
ordinary extensions as their semantic values. Montague uses the term "in-
dividual concept" for members of < s,e >; "property" for members of
< s, < a,b >> and "proposition" for < s,t >.
Montague provides further justification for his use of individual concepts
as denotations for nouns by his treatment of certain "extraordinary common
nouns" such as temperature. Such nouns, he claims, denote functions with
shifting values. As he, himself, expressed it (197lb/1973; p264): "the indi-
vidual concepts in their extensions would in most natural cases be functions
whose values vary with their temporal arguments". The most interesting cases
are those in which the noun in question occurs in subject position, as in:
I return to the analysis of sentences like these later (chapter 4). In the mean-
time, it is apparent that there is much in common between Montague's "ex-
traordinary common nouns" and Cresswell's extraordinary complex proper
nouns such as the prime minister of New Zealand.
Of course, the extraordinary behaviour of some nouns in subject position
does not alter the fact that, in the majority of cases, to predicate a property
of something does imply that thing's existence. Thus, it is a convenient
simplification to say that a verb denotes the set of elements of which it is
true. Montague capitalises on this convention by allowing any expression 7
of type < a,t > to denote the extension of a. Thus, if a e a, then 7 ( a )
asserts that the things denoted by a are, in fact, members of the set denoted
by 7. Thus, if 7 is an intransitive verb, then a e e and 7 denotes a set of
individuals. It is easy to adjust this formulation so that, if 7 is a member of
< a. < b.t > > , then 7 denotes a set of ordered pairs, i.e. is a two-place
verb.
Montague's intensional logic 71
In such cases, every man has the complex type < s,<< S , « s.e >,
t » , t » . This type looks formidable indeed. However, if its s-tokens are
ignored, it will easily be seen to represent a type which takes an intransitive
verb, < e, t > to form a sentence, t.
The elegance of this way of treating quantifier phrases can readily be
appreciated by looking at an example. Let π be a property of the type just
described and let the notation, { x } , mean 'x has such-and-such a property'.
Then, the logical equivalent of (75a) will be:
Here, the lambda expression is a noun phrase and (75b), after lambda
conversion, becomes the proposition:
In great measure, the beauty of (75b) resides in the clarity with which it
shows the status of every man as a higher-order property of the verb walks.
This is not, however, to claim that it fully represents the meaning of every. In
chapter 7,1 shall discuss further the status and structure of quantifier phrases.
In fact, Montague extends the term "property" to refer to the denotation
of any type < a,b >>. In this generalised use, we may, for example,
have properties of propositions, i.e. members of <s,<s,t>t>. As noted
earlier, a sentential adverb such as necessarily' would be of this type.
As a final case, consider an expression, 7 , which is of type < s, < a,<
b,t >>>. If we allow the second member of this expression to be of type,
<< s,e >,<< s,e >,t > > , it will be seen that the denotation is a two-
place relation. Montague calls a relation of this kind a "relation-in-intension".
Of course, for many transitive verbs, as noted already, their status in the final
computation will have to be extensional.
72 Background notions from formal logic
is true at present, but was not always so. If, on the other hand, a and β
denote intensions, then (a = β ) is true iff a and β have the same extension
at each world-time pair. It follows, as Dowty et al. (1982) point out, to claim
intensional equality for two expressions is far stronger than merely to claim
their extensional equality.
It will be noted that Montague defines equality in terms of is. I shall
discuss some of the problems surrounding this verb in the next chapter. Here,
it suffices that Montague distinguishes two uses of the substantive verb, viz.
the be of predication and the be of identity, symbolised, = . In view of the
earlier discussion and that which is to follow, it would appear that his usage
is somewhat loose here.
Comment: Take j as the moment of utterance and j' as some moment later
than j, then:
(79) It is snowing.
is true.
(R.h.3) (H0) M > i J < g is 1 iff d / 4 ^ ' * is 1 for some j ' such that j ' -> j a n d j '
ΦΙ
Comment: If j is, again, the moment of utterance, then a past tensed sentence
will be true at j iff its present tense form was true at some moment, j ' , earlier
than j.
Dowty et al. (1981) show how this simple tense system can be expanded
very considerably without the necessity of introducing additional symbols -
though we might wish to use them for stylistic reasons. Thus, for instance, it
will always be can be obtained by flanking W by negation signs and similarly
for it has always been, using H. Naturally, these extensions lead to increas-
ingly complex interpretive rules as the moment of utterance's relation to the
time at which the present tense sentence is true becomes more complicated.
I have already used the notation, ©{x}, to mean that χ has such-and-such
a property, φ. This brace-notation is an abbreviation for v <?(*).
76 Background notions from formal logic
In the first representation, the existential quantifier phrase has the entire sen-
tence in its scope and the whole may be glossed as:
(80) c. There exists at least one individual, u, such that u is a unicorn and
John seeks u.
The second representation is rather more complex. First, the oblique context
is created by writing the verb at the beginning with the consequence that
its arguments must be intensionalised, AJ and Au. The object argument is
the lambda-expression which asserts that the object of John's search is some
individual concept which has the property of being a unicorn.
plicitly excludes the verbs rise and change from that requirement. Within
Montague's theory, this special treatment is afforded to such verbs in order
to accommodate the behaviour of nouns like price and temperature which,
as we have seen, Montague took to be extraordinary.
Chapter 4
Vagueness and ambiguity
4.1 Background
There can be few indeed who are not aware of the fact that all natural
languages are pervaded by vagueness and ambiguity. Indeed, there have been
those, including Frege, who have seen these hallmarks of natural language
as shortcomings so severe as to render them unsuited to exact reasoning.
While it would not be appropriate, here, to enter into a discussion of the
psychological merits and demerits of ambiguity and vagueness, it is to be
noted that there have been many scholars, e.g. Sweet (1891), who have seen
these not as disadvantages of natural systems, but as contributing to their
fundamental purpose, everyday communication.
From the viewpoint of mathematical semantics, however, there can be
no equivocation. The characteristic vagueness and ambiguity of natural lan-
guages provide the greatest challenge to the hypothesis that there is no es-
sential difference between them and formal, artificial systems. It is a major
preoccupation, therefore, of formal linguistics to search for ways to overcome
this challenge. From the perspective of general linguistics also, the ability to
resolve ambiguities and cope with vagueness are essential features of the hu-
man linguistic capacity, so that to account for them should be a fundamental
aim of any theory of language.
In fact, progress to date has been almost entirely in the description and
explanation of ambiguity, with barely any significant advance toward a formal
theory of vagueness. This is in spite of the current enthusiasm for Prototype
theory among cognitive linguists - see, for instance, Taylor (1989).
One reason for the relative lack of progress in respect of vagueness is
that the majority of linguists have concerned themselves with the structural
properties of sentences rather than with theories of lexical content and it is
on the latter level that vagueness is most obviously manifested. Ambiguity,
on the other hand, though it frequently derives from meanings at the word
level, is prominent at the higher, structural level. Structure in sentences is a
question of dependencies and connections and these phenomena are governed
by rules. Such rules are of central interest to formal linguists, mathematicians,
Background 79
Clearly, something cannot, here, be allowed to range over just anything there
is. For the symbolisation to make sense, its domain must be restricted to
drinkables. Thus, a reasonable symbolisation would be (lb) rather than (la).
(5) a. (V,jc) ((time(x) & {wears a hat at x}(Percy)) —> {wears a bowler
at x](Percy)).
4.2 Ambiguity
actual use. I do not think one would normally use a phrase like poor violinist
unless the property of being a musician was the point at issue. It would be
odd to say:
The same is true if the substitutes for a in these examples. I shall return to
the interpretation of quantified phrases in chapter 8.
A grammatical word which figures very prominently in the philosophical
and linguistic literature in the context of ambiguity is the substantive verb
be. I referred in chapter 3 to the fact that Montague (1973) treated this verb
as having two uses, predication or identity. Thus, in (12) is is predicative,
but in (13) it denotes the relation of identity.
Hintikka (1989) points to the fact that some philosophers, including Frege
and Russell, treat the substantive verb as four-ways ambiguous. For such
scholars, be may be predicative, or existential. It may denote identity or
class inclusion. Existential be usually appears in combination with there as
in:
I shall defer discussion of (16) for section 4, when I take up the distinction
between equivalence and identity in the context of propositional attitudes.
In the meantime, it may be accepted that in (16), the equality symbol does,
indeed, denote the identity relation since the proper nouns which flank it
must be interpreted as without sense, i.e. extensionally only. Equivalently, in
the spirit of chapter 1, we may regard proper nouns as having senses which
are indistinguishable from their denotations. In many cases, however, such
an exclusively extensional interpretation is not possible and, hence, the verb
be predicates equivalence. The clearest instances of this are those involving
definite descriptions, as in the much quoted Fregean sentence:
What distinguishes cases like (15) from others like (17) is that overt quan-
tification is involved in both noun phrases. The symbolisation should, there-
fore, reflect this additional complication, but the predicative status of be is
not affected.
If the subject noun phrase of (15) were pluralised then the verb and com-
plement would have to agree in number, giving:
The only additional assertion which (20) seems to make over (15) is that
the class of leopards, like that of cats, has more than one member. If the
subject were definite and plural, then the reference is either to a subset of
the set of leopards - say those immediately in view - or, perhaps, as Chafe
(1970) suggested, the class in question is felt to be limited to a relatively
small number. In all such variants, be is still predicative.
The case of existential be is very unclear. Hintikka (1979) shows that, in
his Game-theoretic semantics, it is necessary to replace the be in the phrase
there is by a be of predication. Thus, to use his own example:
(22) Steffe is a school girl and she can beat anyone at tennis.
In such cases - which are, of course, very rare in normal discourse - be can
be replaced by to exist. Searle (1971) argues that to exist is not, in fact, a
predicate at all and Russell's (1905) discussion demonstrates the same point.
Much though we might wish them further, however, such cases as (23) do
occur and they therefore provide the need for existential be.
The ambiguities discussed so far may, as already suggested, be eliminated
by the simple expedient of decreeing that a given word shall have one and
only one interpretation. Just as we may assign different logical constants
to the polysemous connectives, or and i f , so there is nothing to prevent us
deciding, for example, that there are four or five constants corresponding to
the English word bachelor and distinguishing each by indexing it. What is,
clearly, essential is that the vital senses are distinguished and the case of be
provides a paradigm instance.
We might, of course, treat be as a purely grammatical morpheme which
bestows predicate status on nonverbal constituents. Such a treatment certainly
has the appeal of being simple!
Structural ambiguity 85
On the level of syntax, ambiguity arises when there are alternative ways in
which parts of complex expressions may be inter-related. I shall discuss a
few only of such ambiguities.
Even though I shall not treat ambiguities of coreference, illustrated in (24),
until the next chapter, it seems appropriate, in the present general discussion,
to point out that they can be very complex in natural languages. Quine's
(1960) example (25) is a striking instance.
(25) A lawyer told a colleague that he thought a client of his more critical
of himself than of any of his rivals.
If we take all as having wide scope, including the negative, then the sentence
is false. This is so because it asserts that nothing which is gold glisters.
On the other hand, if we give the negative wide scope, including all, the
sentence is true. These contrasting scope assignments are clearly exhibited
in the alternative symbolisations:
(26) a. (V,x) (Gl,x —> -G,x): 'If any χ glisters, it is not gold.'.
b. -(V.JC) (Gl,x —> G,x): 'It is false that, for each x, if χ glisters, χ is
gold.'.
This sentence has two possible readings. On one - the least likely - not is
in the scope of everybody and the whole means (27a). In the second, the
quantifier is in the scope of the negator and the meaning is equivalent to
(27b).
86 Vagueness and ambiguity
On one reading, everybody has something in its scope and something is,
therefore, nonspecific. On the other reading, something has everybody in its
scope and is, in consequence, specific.
Sentences like (31) have added interest to the linguist because they may
be transformed into the passive voice with a resultant change in the linear
order of the quantifiers, as in:
The debate here is whether the passive structure retains the ambiguity of its
active counterpart. Many, e.g. Lakoff (1971a) have argued that, in fact, the
active/passive contrast, at least for most speakers, resolves the scope am-
biguity - the scopes are reflected in the linear ordering. Others, including
Cresswell (1973), maintain that the alternatives are both to be regarded as
ambiguous. In a classical transformational grammar, of course, this debate
reflects on the broader issue of the meaning-preserving properties of trans-
formations.
The fact that there is disagreement as to the ambiguous status of such cases
might, at first, appear worrying. It might be thought to bring into question the
practicality of attempting, in a principled way, to formalise natural languages.
Structural ambiguity 87
After all, if we cannot agree on what is ambiguous and what not, how can we
ever reach a stage at which we can claim to have removed ambiguity? The
only sensible response is, probably, to ensure that our treatment is sufficiently
general that it provides not only for the clear cut cases but can be applied to
the less certain ones as needed.
An interesting clear cut case is presented by a sentence like (33), where
the negative can be construed as being within the scope of the propositional
attitude verb believes or vice versa.
While (33a) claims that Percy views the universe as finite, (33b) may mean
that he has no opinion one way or the other.
As we have already observed in connection with the sentence:
(35) a. Some aunt of yours is such that I understand that you visited her:
i.e. specific reading.
88 Vagueness and ambiguity
b. I understand that some aunt of yours is such that you visited her:
i.e. nonspecific reading.
(40) a. Percy is looking for somebody such that Percy is looking for him/her.
Here, it is not clear whether Percy collects European butterflies which are
big as European butterflies go, or European butterflies which are big as any
butterflies go. In the first case, big is assigned wide scope, namely (European
butterflies). In the second case, its scope is narrow, namely, (butterflies).
In a traditional, transformational grammar, the different scopes in (41)
would, of course, be explained on the assumption that in the wider of the two
European is derived from a restrictive relative clause, while, in the narrow
case, it comes from a nonrestrictive, appositive clause. This can readily be
seen by the punctuation of:
Of course, the fact that common sense requires that we take one reading over
the other is neither here or there.
Another important source of ambiguity involving conjunction is exhibited
in sentences like:
As is well-known, of course, the ambiguity in (47) stems from the dual role
played by flying which may represent either a reduced relative clause:
where hunters may be either the subject of the verb or its object.
The ambiguous status of (48) is immediately apparent. More subtle, at first
glance, is the ambiguity of (49), quoted by Charniak-McDermott (1985),
where the functional roles of what and the dog are unclear.
4.4 De dicto vs de re
Here, since we cannot be sure that Percy did not, for instance, say:
(54) Percy says that Jack heard that Sally wants to be introduced to the
butcher.
The terms "de re" and "de dicto" are not always to be taken literally. It
will, for example, be recalled from chapter 3, that Montague employed them
to stand for extensional and intensional readings of sentences like:
This usage is reminiscent of Russell (1905), who employs the terms "primary"
and "secondary occurrence" for "extensional" and "intensional" respectively.
The terms "de dicto" and "de re" are also used - e.g. Allwood et al.
(1977) - to refer to the ambiguity of cases like:
Here, in the de re reading, John's belief is, indeed, about actual prizewinners -
he is not mistaken in identifying any given person as a prizewinner. In the de
dicto reading, on the other hand, John's belief does not, necessarily, pertain
to all prizewinners. This is so because he may mistakenly identify at least one
loser as a prizewinner or, equally mistakenly, identify at least one prizewinner
as a loser. In the de re interpretation, therefore, each member of the set of
all prizewinners stands in the relation to Percy of being thought by him to
be Mexican. In the de dicto reading, on the other hand, Percy stands in the
relation of believer to a set of propositions only some of which concern
prizewinners.
A most extensive and sophisticated discussion of statements involving
propositional attitudes is provided by Cresswell (1985). One of his fundamen-
tal claims is that the source of the ambiguity characteristic of such sentences
is to be located, not in the verb itself, but in the complement clause and,
specifically, in the complementiser that. This treatment may be illustrated by
Cresswell's example sentence:
As already argued in chapter 1, the truth of (57) does not imply the truth of:
between them. In effect, Percy believes of the ordered pair < 5 . 7 > that it
has the property of summing to 12. He believes that, given as argument the
ordered pair < 5 , 7 > , the function denoted by " + " yields 12 as value. The
pair is ordered since the truth of (57) does not even require us to assume the
truth of:
The other underlying item is thato which is a function whose domain and
range of values are in the set of propositions.
The adoption of this solution has a number of consequences. On the level
of syntax, it requires that the word that be separated from the verb of propo-
sitional attitude. This is in contrast with Montague's approach (1973), where
believe that is treated as a single syntactic unit. This is not a trivial issue
94 Vagueness and ambiguity
is simply:
(63) 5+7—12.
values. The kinds of sentences we have been considering in this section are
not, however, first-order. Verbs of propositional attitude make higher-order
statements about other statements or propositions. We thus need to define the
notion of identity more carefully.
In the tradition of Leibniz, we might say that two expressions are identical
if everything truly said of the one is truly said of the other, but this is very
rarely the case in sentences of propositional attitude. Thus, " = " is identity in
(58), but, in (57) it does not denote identity but some laxer notion. Even in
a simple case like:
(65) 4 + 4 = 8.
I would claim that " = " does not stand for identity since I could, for example,
say of "4 + 4" that it consists of three symbols and I cannot say the same
of "8". On a nontrivial level, "4 + 4" is not identical with "8" because, as
Frege would say, its sense is different and it is this profound fact which is
reflected in the superficial fact about the number of symbols. Further, it is
this profound fact that is so clearly captured by Cresswell's (1985) treatment
of that in which the notion of sense is linked with structure.
It seems, therefore, that, even in the case of mathematical statements, we
must be clear as to whether we are talking of sense or reference, or both, when
we claim that the relation involved is one of identity or mere equivalence.
While the value of < 4 + 4 > is equal to 8, " < 4 + 4 > " is not identical
with "8".
The need for caution in the interpretation of " = " is dramatically demon-
strated by a pseudoproblem which Montague - Kalish (1959) examined at
some length and for which they proposed a solution turning on the meaning
of that much like Cresswell's discussed above. I commented briefly on this
"puzzle" in chapter 1 and repeat it here as:
(66) The number of planets = 9. Kepler was unaware that the number of
planets > 6. Therefore, Kepler was unaware that 9 > 6.
(67) 8 = 8.
Elsewhere, " = " denotes the laxer notion of Equality. If we accept Cresswell's
(1985) treatment of that, it would be appropriate to say that " = " denotes
identity when in the scope of thatQ and equality in that of thats.
As we saw earlier, in English, be often does duty for " = " . The remarks of
the above paragraphs seem, therefore, to hold for that verb also. Thus, when
Montague (1973) treats is in (68) as denoting identity, he is claiming that
the object named Bill is identical to that named by Mary and, presumably,
the purpose of the utterance is to make a linguistic point.
As suggested above, the case is rather different when the names have
sense, as in:
cause its peculiarity arises from the mistaken belief that "7" could be substi-
tuted for the number of wonders of the world to yield the true statement:
(71) 7 is prime.
Clearly, (71) is necessary, but (70) is certainly not. Even so, the erroneous
identification of the number of wonders of the world with the number 7 gives
the impression that we could legitimately construct the syllogism:
In this strange argument, the is of the minor premise is not the is of identity,
so that, unless we assume some novel name for the successor of 6, the middle
term is ambiguous and the conclusion does not follow.
When the substantive verb is flanked by proper nouns in the complement
of a verb of propositional attitude, the semantic facts may not always be
so straightforward. As Cresswell's (1985) discussion demonstrates, in these
circumstances, the ambiguities which may arise can be subtle indeed. How
are we to interpret the object clause of the propositional attitude verb says
in (73)?
In the de dicto interpretation, (73) must surely have to be a mere variant of:
This seems unlikely because (75) is barely acceptable. We do not use the
present, simple says with a quotational object - unless the usage is historic
present, or a stage direction or some such. Even so, if (73) may be taken
as a mere variant of (75), we are forced to assume that be, in the de dicto
reading, denotes identity.
Consider the following set of circumstances. Percy, at time j, utters:
Sally, who is ignorant of the identity of Venus, says at time j", later than j ' :
98 Vagueness and ambiguity
value, individual χ at time j and individual y at time j ' . Since the function's
value is always a unique individual, the expression the king of France is a
complex proper noun. Let us overlook the tedious fact that this particular
function is a partial one with no value at present.
Cresswell pointed out that sentences containing such complex proper
nouns may be ambiguous when a temporal quantification is involved. I shall
discuss only cases with always, ignoring sometimes and scores of others.
Thus, (81) is ambiguous in that, while it must be true of the intensional ob-
ject - the king-of-France function - it need not be so of all its values: he
who is presently king may abdicate and convert to some other religion.
(81) a. (V.x) (V. ν) (King of France(x) & {(time(y)) —> Christian at(y.x))}.
(81) b. (V.χ) (V.>·) {{(king of France(x) & time(y)) —> Christian at(y.x)}
<—> king of France at(y.x)}.
It is evident that the degree to which sentences like (81) are felt to be
ambiguous depends as much on the nature of the property being predicated
as it does upon the presence of a temporal quantifier. Certain predicates
denote what are intuitively felt to be essential properties of the intensional
object concerned. Other predicates merely denote properties of any one or all
of its values. Thus, the property, Baldness, is not a necessary part of being
king of France and, hence, (82) though it is technically ambiguous, is likely
to be regarded as being either true or false of some individual.
Sentences (81) and (82) have future-time reference. If the tense is past,
the situation with respect to ambiguity changes, as can be seen from:
If (83) is taken to make a claim about the intensional object, then it is false -
there was a time when the kings of France were drawn from other families.
If it is taken as an assertion about some particular individual, then it may be
true or it may be false.
100 Vagueness and ambiguity
However, when the denotatum of the verb is of uncertain status, then either
interpretation seems possible. An instance is:
The situation, in English, is, however, complicated by the fact that the
simple present is frequently used to express habitual aspect. Thus, when no
temporal quantifier is involved, assertions may be interpreted as ambiguous
or not according as they are in simple present or present progressive. Thus,
in:
the reference may be equally well to the intensional object as to any of its
values. If it is true of the intensional object, it is obviously true of any value,
but the reverse situation does not hold. However, in:
it can only be some present individual who is in question - this case is similar
to one discussed earlier in section 4.2.
4.6 Modalities
Straddling the boundary between syntactic and lexical ambiguity is that which
arises from the set of modal verbs in English. These verbs function as aux-
Modalities 101
The modality of (92) is, clearly, obligation. If we wish to retain the necessity
reading of (91) under negation, we must supplant must with can, as in:
However, since can is, itself, many-ways polysemous, (93) is open to readings
over and above those appropriate to (91). Specifically, (93) can be interpreted
in terms of the modality of possibility as well as necessity and obligation. To
add to the confusion, can, in British English, denotes possibility in negative
constructions only, while, in American English, (94) could be read as meaning
'It is possible that . . . ' :
On the other hand, can in (96) is ambiguous between permission and ability.
It might be objected that the remarks of this section are too specific to
English to merit inclusion in a general study in semantics. Indeed, a similar
objection could be brought against other problems which are addressed here,
such as the language-specific use of given quantifiers, article systems, con-
junctions and so forth. However, I cannot imagine how one would profitably
explore the semantics of natural languages without considering specifica of
natural languages. As with the remaining discussions of this study, I take
the problems associated with English modal verbs to be typical of issues in
universal semantics. If one were to consider specifica from other languages, -
not necessarily languages which make use of auxiliary verbs - we would,
I am sure, encounter complexities which, while they might well differ in
magnitude, would, ultimately, be of similar kind.
Ideally, of course, a study in natural-language semantics should be based
upon representative data drawn from all of the world's languages. To meet
such an ideal seems, however, to be beyond the reach of a common mortal.
Less ideally, one should scrutinise data taken from several, preferably unre-
lated, languages. The difficulty is, of course, that to be sensitive to semantic
issues frequently requires a very high degree of competence - if not native-
speaker competence - in the object language. As I confessed in the opening
chapter, I am a native speaker of English only and it is that fact which per-
suades me that I should restrict myself to English data. It is certainly not my
intention to provide a detailed account of English semantics.
4.7 Regimentation
forms of, say, English will differ in the degree to which they depart from its
nonregimented, i.e. natural form. The degree and nature of the regimentation
will, of course, depend upon the interests of the investigator.
Quine's use of regimentation is extremely subtle and involves several
devices ranging from special syntactic structures - such as the use of such
that referred to and employed in this chapter - to bracketing. Paraphrasing
English through such devices yields an artificial language which may be
of considerable value especially in "analytical studies of reference, belief,
desire" etc..
Quine's use of regimentation is, as the above quotation suggests, motivated
by the desire to provide a tool for the investigation of important questions
in epistemology. In that enterprise, the chief concern is with the sharpness
of the tool, not its own intrinsic properties. For Montague and other schol-
ars whose work inspires this study, the focus is upon language itself rather
than the linguistics of cognition. This difference in focus leads, necessarily,
to a difference both in the degree and nature of regimentation. Montague's
"disambiguated language" is to be regarded as a system for representing the
meanings of natural-language expressions unambiguously and in accordance
with the principle of compositionality. In order to achieve such an analysis,
we must be able to provide an unambiguous representation on both the syn-
tactic and semantic levels. Since several natural-language terms, for example,
personal pronouns, place and time adverbs, . . . can only be interpreted by ref-
erence to the context of use, we must, moreover, be in a position to consider
the contextual properties of utterances.
In pursuit of these priorities, I shall, in the next chapter, present a brief
overview of relevant work in Binding theory and, in the next, a slightly
fuller account of linguistic pragmatics. After these preliminaries, I shall offer
a syntactic analysis of English within the framework of categorial grammar
which will enable me to draw up semantic rules for the language in such
a way as to come close, at least, to reaching the goal of syntactic-semantic
homomorphism to which this study aspires.
Chapter 5
Logical form in binding theory
At the outset of this study, I described the central preoccupation of the lin-
guist as the description of the rules which connect the two planes of content
and expression. The issue of levels of representation is a major one in much
current research. How many levels are required? What do they contain and
how, if at all, can they be psychologically justified? While many, including
Chomsky (1981b, 1986) envisage the need for a large number, including sur-
face, deep, lexical, phonetic and logical form, others, such as Köster (1987),
appear to advocate the rejection of a multilevel approach in favour of one
based on the notion of Domain.
From the viewpoint of semantics, however, there is little need to argue
the merits of a multilevel approach. The prevalence of ambiguity in natural
languages, if nothing else, encourages the analyst in the direction of such a
methodology.
A fundamental requirement of the semantic analysis of any natural lan-
guage is that it reflect the compositional nature of sentence meaning. As
the mathematical parable in chapter 1 suggested, we most naturally think of
meanings in terms of a level of semantic representation on which, as Cress-
well (1985) put it: "there is a one-to-one correspondence between a sentence
and its senses". Clearly, this level cannot be that of surface structure itself,
but must be some underlying stratum.
Whether we call the plane of content "deep structure", as in Cresswell
(1973), or "logical form", as in Cresswell (1985), also Van Riemsdijk-
Williams (1986) and Chomsky (1986), is of no consequence. The minimal
requirements of such a representation are clear enough. It must display all
of the semantic information captured by tensed, intensional logic, including
those aspects specifically formulated in the predicate and modal calculuses,
such as function-argument structure and the scopes of quantifiers and op-
erators. It must provide an unambiguous representation for each sentence,
departing as little as possible from surface structure. Finally, it should take
Logical form 105
From the semantic point of view, the most important development within
research in the framework of transformational grammar has been the theory
of logical form.
Very similar, in some respects, to representations in Montague Grammar,
logical form represents the structural meanings of sentences in a logical lan-
guage without reference to lexical meaning. Unlike Montague Grammar -
broadly conceived - however, it disregards pragmatic factors and is uninter-
preted, so that the notion of Truth plays no part in its theory of meaning -
in so far as it can be said to have such a theory rather than taking meaning
for granted.
In essence, logical form, as described by Van Riemsdijk-Williams, is
an annotated version of the shallow structure of sentences. Shallow struc-
ture rather than absolute surface structure is chosen because it has not been
subjected to certain deletions - for instance, the deletion of complementiser
that - and various stylistic movement rules.
The semantic phenomena represented at the level of logical form in Bind-
ing theory have to do with coreference and scope assignment. These phenom-
ena may involve variables and depend upon the indexing of noun phrases.
Variables and indices, scope restrictions and brackets represent the annota-
tions of shallow structure and are subject to a system of rules. In current
versions, indexing is allowed to operate freely and, as in the case of Mon-
tague Grammar, inappropriate derivations are filtered out by wellformedness
conditions.
106 Logical form in binding theory
Variables are introduced into the scopes of quantifier phrases and wh-
phrases and, like any other noun phrases, receive indices.
Indices are also introduced to bind the results of movement rules which
leave traces. Thus, for example, the rule which moves an object noun phrase
to the front in a passive sentence leaves a trace behind which is coindexed
with the moved noun phrase, as in:
Other rules coindex two noun phrase constituents under certain conditions.
The rule for interpreting reflexives, for example, coindexes an antecedent
noun phrase with its reflexive pronoun. Another such rule coindexes a subject
noun phrase with an empty category Pro - not to be confused with "Pron"
'pronoun' - occupying subject position in an infinitive complement, as in:
A striking feature of (3a. b) is that quantifier words, rather than the usual
logician's quantifiers, bind the variables. It is also to be noted that the scopes
Wellformedness in binding theory 107
retain the surface word order of the natural language expression - as they
do in Cresswell's lambda formulae, chapter 7. Unfortunately, however, the
quantifiers themselves do not always retain their surface order.
In some respects, the relation between a quantifier and its variable is like
that between a moved noun phrase and its trace. This is especially so when
wh-movement is involved. Thus, Chomsky (1986) points out that who, in (4),
is an operator binding its trace tn in the same way that a quantifier binds its
variable.
Indeed, Chomsky actually identifies the trace with a variable, so that a pos-
sible representation for (4) could be:
Here, the surface word order is perfectly preserved in the logical form rep-
resentation. In the case of who, restriction to persons is required to maintain
the who/what distinction.
The similarity between quantifier interpretation and wh-movement on the
one hand and ordinary trace binding on the other, however, does not extend
to all constraints on wellformedness. As we shall see later, important filtering
conditions do not apply uniformally over traces and variables alike.
Before turning to some of the constraints on wellformedness, I should
mention that, in the theory of binding, as in this study, pronouns are taken to
be base-generated rather than being introduced transformationally as substi-
tutions for lexical noun phrases. This lexicalist approach is adopted, in part,
because it avoids the problem of deriving pronouns in such sentences as:
In these sentences, the lexical noun may not be coreferential with the pronoun.
However, in the following, coreference is possible.
Whereas, in (12), Percy and himself must not share the same index.
conditions. In fact, it seems that it is easier to follow the latter course. Let
us, then, assume an indexing rule of the form:
the references of who and it by referring to the references of the man and
the book.
Such remarks, however, are impressionistic only. The crucial point is that
these facts about reference are reflected in facts about structure and these, of
course, can be formally stated.
Let us begin with the following three definitions:
This is so because the smallest phrase in which the object appears is the verb
phrase, where it is free.
The pronoun it in (17), however, may legitimately be bound - though it
need not be - because the smallest phrase in which it appears is the verb
phrase of the relative clause and it is, there, free. Hence, its binding in the
main clause is not a violation of principle (R.2).
A parallel situation is reflected in the freedom of him in:
Here, the pronoun may, but need not, be bound to the subject of the main
clause, but must be free in the infinitive clause - I return to infinitives shortly.
If we replace him in (20) by a lexical noun, as in:
It is easy to see that the reflexive himself in (22) must obey this condition.
The bracketing in (23) displays the structural relations involved.
Here, it is clear that the pronoun who, while it is free in its own domain, the
relative clause, is not free in the smallest S of the subject of the main clause.
Hence, who is bound to The man and must obey condition (R.4).
Condition (R.4) also, as required, filters out some representations which
are inappropriate, such as:
Here, it is apparent that the anaphor is not bound in the smallest domain of
the c-commanding NP Sally and so the binding condition is violated.
Consider again the sentence:
Making use of Pro, this could have the logical form representation:
(26) a. [5 Percy 1 [yp tried [comp Pro\ to persuade Sally2] [COmp Pr°2 to marry
himill].
As required by condition (R.2), the pronoun him is free in its domain, the
second complement clause and has disjoint reference with Pro2, which is the
subject of that clause. As mentioned earlier, being free in its own domain,
him may legitimately be bound to some antecedent noun phrase in a higher
clause, in this case, Pro the subject of the first complement clause. Pro\ is
immediately dominated by the VP node and, therefore, has the VP phrase as
its domain. It is free in this domain and can, therefore, be coindexed with
some antecedent outside, namely, the subject of the main clause Percy. Since
him is bound to Pro \ it, also, has Percy as its antecedent. Finally, Pro2 is
free in its own domain, the second complement, and may, thus, be bound to
the object Sally of the first complement clause.
While (26a) is a legitimate representation of (26), it is not the only possible
one. This is so, of course, because (26) is ambiguous. Instead of coindexing
him with Percy, the pronoun could be isolated in its reference. This situation,
as we have seen, is not blocked by the opacity condition. Of course, the more
deeply embedded the pronoun becomes in structures like (26), the greater the
number of ambiguities. Thus, (27) is three ways ambiguous:
Wellformedness in binding theory 113
Superficially, this is like (17). Again, the pronoun who must be bound to
the subject of the main clause the man. A moment's reflection, however,
suffices to convince us that, in spite of this similarity, the two sentences are
not parallel.
While, in (17), who is the subject of the relative, in (28) it is the logical
object, which has advanced to the front of the clause by NP-movement,
leaving a trace behind. This trace must be coindexed with its head, suggesting
the representation:
Here, the pronoun is an operator which binds the trace T. Such traces are
bound anaphors subject to condition (R.4) and so are their heads.
The requirement that NP-traces be subject to (R.4) is demonstrated by
the ungrammaticality of (29), where the head Bill has been moved out of a
c-commanding position with respect to the trace so that the latter is free -
the example is Van Riemsdijk's - :
The fact that who in (28) is an anaphor follows from arguments parallel to
those advanced in respect of the pronoun who in (17). The two cases are not,
however, the same. Since who in (28) is a fronted object, it may be deleted,
giving:
Consideration of the relative clauses in (30) and (31) shows that, while
in the former, the verb admires retains its lexical property of taking a sub-
ject and an object - represented by the trace the verb wrote in (31) has
lost an essential property since it has no subject. It is an important principle
of universal grammar, in this theory, that lexical items retain their essen-
114 Logical form in binding theory
(37) Tom admired Dick's gift to Tom and Dick admired Tom's gift to Dick.
Clearly, the antecedent of himself must be John, yet the latter does not c-
command the former. Such sentences, along with Hintikka's examples, obvi-
ously indicate the need for more detailed studies of reflexives and reciprocals
within the framework of Binding theory. The work of Jackendoff (1972) is
still very relevant. What seems certain, however, is that the opacity condition
has immense application and does, in spite of a number of minor exceptions,
constitute a "fundamental law of language".
Another recognised problem, though of a different sort, is posed by the
empty category Pro. This constituent occurs without antecedent in:
Such sentences raise questions as to the status of Pro in the theory. It has
become standard, e.g. Chomsky (1986), to distinguish between two uses. In
one, Pro is a bound anaphor which must have an antecedent, as in:
In the other use, Pro is a pronoun which occurs free, as in (39). In its
pronominal use, Pro cannot be marked for case, so that it must occur in
subject position - see below, section 5.4. Interestingly, the Pro-pronoun seems
only to have human, or human-like, reference. Thus, while sentences like (39)
are commonplace, (41) is probably unacceptable and (42) must be interpreted
metaphorically:
116 Logical form in binding theory
If we confine our attention to cases like (45) and (46) for the moment, it
seems reasonable to assume that the question words who and what are to be
interpreted as having the status of proper nouns or definite noun phrases. This
is in spite of the fact that the range of appropriate responses to wh-questions
like (48) can include assertions involving reflexives, as in (49).
Correctly to interpret cases like (48) requires that we take care not to confuse
the question with its possible responses.
The logical form representation for (48) should, thus, be:
Since, on this view, wh-traces are indexed variables with the status of proper
nouns, they must, in accordance with the rules of coreference outlined in the
last section, be free in all domains. Van Riemsdijk-Williams offer a most
ingenious example to demonstrate this last claim.
(51) Who does Sally claim hopes that she will win ?
a. (?x\) [x\: person [ Sally claims x\ hopes that she ι will win]]?
This structure, however grotesque, again accords with the referential freedom
bestowed on proper nouns by the opacity condition. The variable, x\, is free
in all domains and the pronoun may legitimately be bound to it.
The logical representations given so far have the pleasing property of re-
flecting the surface word order. It would clearly be advantageous to retain this
characteristic since the logical representations are then very easily associated
with their surface forms. The situation has, however, been rather simple thus
far. Consider, now, the more complicated case:
118 Logical form in binding theory
The moved wh-phrase in this case consists of two parts, the wh-word
whose and its complement sister. If we regard the process of wh-interpretation
as the insertion of variables for traces, then we might propose a representation
as follows:
(52) a. (?x\) [x\: person [x\ 's sister^] does Percy hope that he will marry
him
(52) b. (?x\) [x\: personf does Percy hope that he will marry x i ' s sister]]?
This sentence would seem to require a representation along the lines of (53a).
(53) a. (To (?x\)) [x\: personf did Percy say he had written {x\.(h,t}ff?
Wellformedness in binding theory 119
(54) Who did the news that she had got married shock?
(54) a. (?x\) [x\: person[ the news that she had got married shocked x\]]?
Cases like these clearly do not rely on the opacity condition for the disjoint
reference of the pronoun and variable since the pronoun does not, at any
level, c-command the variable.
The leftness condition is very elegant because it is so simple. It happens,
also, to be a condition with extremely wide application since it constrains
referential relations between pronouns and variables in wh-questions in which
no wh-movement has taken place. Thus, in (55), his may be coindexed with
the wh-variable since the latter is to its left, as (55a) shows.
The wh-variable in (55) is not, of course, a trace in the proper sense since
no movement has taken place. It may, therefore, be advisable, with Van
Riemsdijk-Williams, to write a rule of wh-interpretation specially designed
to cover such cases. Since quantifier interpretation also does not involve
traces, the two rules would be similar.
The rule of quantifier interpretation adjoins a quantifier with restricting
and/or predicate clauses and inserts quantifier variables. The clause into which
the variables are inserted then becomes the scope of the quantifier. Logical
form theory thus displays well-known ambiguities of scope in much the
same way as the predicate calculus, except that the word order of the natural
language expression is usually preserved in the scope. To repeat an earlier
example, representations of the two scope assignments in (56) are given in
(56a) and (56b).
5.4 Case
Chomsky (1986) claims that the theory of case is part of the theory of univer-
sal grammar alongside Binding theory. One general principle of the theory of
case is that every referential expression must have case. It seems appropriate,
therefore, that logical form representations should make provision for case
marking. This is not, of course, at odds with the fact that many languages,
such as Chinese, do not employ overt cases, or, as in the case of English,
make use of a very impoverished overt system.
It might, however, be argued that to include case marking at the level
of logical form is not well motivated. Logical form representations have to
do with coreference and scope and, perhaps, case relations could be accom-
modated elsewhere, for example, at the level of shallow structure itself. I
shall not explore such alternatives further here. Indeed, in (6.3), I advocate
the inclusion of case at the level of logical form as a natural expression of
ordering among participants in an utterance.
As is well known from the intense work on case which followed Fillmore's
famous paper (1968), it is all too easy, in one's enthusiasm for distinguishing
finely between one semantic structure and another, to slide into a situation
in which there seem to be almost as many distinctions as there are different
verbs. Let us assume, for our immediate purposes, a rather general case sys-
tem based on the notions of Nominative, Accusative and Oblique. Following
Case 121
Chomsky (1986), we may then set up the following general principles of case
assignment.
It is to be noted that finite verbs, unlike infinites, are marked for tense and
subject concord. We may assume, with Chomsky, that it is this tense marking
feature which assigns nominative case to the subject of finite verbs. This
assumption also explains, of course, why, save in exceptional circumstances,
the subjects of infinitives are not case marked. It follows from the general
principle that referential expressions must carry case that they cannot occupy
subject position in infinitive clauses. Hence, the ungrammaticality of strings
like:
do not assign case to their complements, hence, the use of the preposition
to carry out this function. Nouns do not assign case either, thus, we find the
use of of to case mark complements of noun heads in noun phrases such as
foot of the mountain. By contrast, both verbs and prepositions do assign case
to their complements and, hence, of is not employed vacuously in verb or
prepositional phrases.
An alternative to saying that nouns and adjectives do not assign case to
their complements is, of course, to say that they assign genitive case. There
probably are reasons for taking this alternative stand. However, the notion,
Genitive, does not seem to be particularly well defined beyond such broad
types as alienable and inalienable possession and, for our present purposes,
we might as well consider genitive to be a subcategory of oblique.
In the previous section, I referred to the fact that, in current Binding theory,
variables are regarded as referential expressions which must receive case
assignment. Wh-movement creates a "chain" in which the moved constituent
is the head. Chomsky (1986) makes the point that, since the head carries the
semantic content of its trace variable, it cannot be moved to a position which
already carries case. If this restriction were infringed, then the head would
be ambiguously marked for its semantic role.
An interesting case which clearly illustrates the above remarks is the pas-
sive construction. In English, the passive operation results in the logical ob-
ject of a transitive verb being moved to the position of grammatical subject.
Since subject position is assigned nominative case, the head of the chain must
be in the nominative. The trace, however, being in object position, carries
accusative case. This is why (64) is wellformed, but (64a) is informed.
It was noted earlier that the empty category Pro can occur as a bound
anaphor, as in:
Such cases are paralleled by others in which the subject of the complement
clause is disjoint from that of the main clause and is, therefore, specified, as
in:
Case 123
When an infinitive clause complements a verb like believe, Pro may not
occur, so that (68) is unacceptable.
In part, the reason for the ungrammaticality of (68) resides in the fact that
Pro cannot be marked for case. Verbs like believe assign accusative case
even across clause boundaries, hence necessitating the case-marked reflexive
rather than the unmarked bound anaphor.
These remarks are, however, somewhat superficial. The complexities sur-
rounding clausal complements are considerable and frequently depend upon
whether the main verb is a true verb of propositional attitude, like believe or a
mere attitude verb, like want. Believe may take either infinitival complement,
as in the cases just cited, or sentential complement, as in:
Here, the adjective may qualify the meeting. Alternatively, it may be taken to
refer to the "remote" subject they of the main clause. Chomsky's contention
(1986) is that adjectives may not modify heads across clause boundaries and
we must, therefore, assume the presence of Pro as subject of the infinitive.
It is this empty category which provides the head for happy, in the remote
reading, and Pro must, in this case, function as a bound anaphor.
The situation is different in cases like (78).
The Pro in (78) is not, however, a bound anaphor since it has no antecedent.
Rather, it is the pronominal use referred to above. This is further suggested
by the possibility of extraposition, yielding:
The relation between it and the infinitive in (79) also suggests that the latter
is to be treated as a nominal rather than as a verbal. I return to this issue in
(7.3.3).
In this chapter, we have looked at logical form representations and their moti-
vation in Binding theory only superficially. However, it is evident, from these
few remarks, that the facts which such representations capture are central to
the meaning of many sentences. Facts of coreference and scope assignment
should find expression in semantic representation and, unless we decide to
treat the representations provided by Binding theory on a unique level, a com-
plete treatment should incorporate them into a more inclusive representation.
I shall not formally attempt such an incorporation here.
Indeed, the theory of logical form as developed in Binding theory is so
powerful that it may seem, at first, that there remains little to be accounted
for in a formal way. However, quite apart from the fact that they make no
appeal to truth conditions, the representations which the theory allows are
inadequate in several important respects. They do not reflect the composi-
tional nature of sentence meaning. They do not provide for all of the semantic
information embodied in logical formulations. The ambiguities which they
reflect are confined to those arising from scope assignment and coreference.
They make no provision for pragmatic factors. Finally, as formulated here,
they frequently depart radically from surface structures in respect of word
order. In what remains, some of these aspects of sentence meaning will be
taken up in greater detail.
Chapter 6
Pragmatics
Clearly, such a sentence depends for its truth or falsehood not just upon the
assignment to the verb leave and to Paris which may be presumed to be
given, but also on the assignments to tomorrow, here and /, all of which
have denotations which vary according to the context of use.
An example of a different sort is provided by an imperative like:
6.2 Indices
Scott (1970) uses the term "point of reference" to refer to the ntuple of factors
which determine the interpretation of a sentence. It will be recalled that, in
chapter 3, such points of reference, or "indices" in Montague's terminology,
included, as well as the set of individuals, possible worlds, I, and moments
of time, symbolised as J. Lewis (1970) uses the term "co-ordinate" to refer
to a member of such an index. Thus, I is the "possible world co-ordinate"
and J is the "time co-ordinate".
Evidently, in such an approach, I and J alone are not sufficient to provide a
semantic specification of a sentence containing "indexicals", such as the first
personal pronoun I or the adverbs tomorrow and here. In order to treat these,
we would require a co-ordinate for the speaker, the time of utterance and the
place of utterance. In addition, in light of imperatives and such sentences as:
a. a possible world,
b. a moment of time,
c. a place,
d. an addressor,
e. an addressee,
g· a segment of discourse,
(5) I am hungry.
in the spirit of the earlier discussion (5.4), such an ordering is best expressed
in terms of the notion of Case .
130 Pragmatics
Working outside the Cresswell framework, Sgall (1975) suggests that the
pragmatics should generate representations which reflect the basic case no-
tions as developed by Fillmore (1968). Thus, for example, Sgall gives (9a)
as a possible semantic representation of (9).
Such representations are not fully compatible with the treatment developed
in this study - they assume, for instance, that prepositions are surface reali-
sations of underlying cases, not base generated constituents of logical form.
Nonetheless, the exploitation of Fillmorean cases seems to be an obvious and
semantically justifiable way of expressing ordering within Cresswell's theory
of pragmatics.
Assuming the above proposal, let us say that a context of use, φ, generates
a "contextual index", δ, of properties, if for any such property, φ', φ permits
φ' to be a member of <5. Accordingly, no property, φ', can be in δ such that,
for some utterance, α, α (δ) is true but (φ' e δ) is false.
As an illustration, consider the following utterance:
Given these intuitive remarks, we can formally state the conditions under
which an utterance, a, may be said to denote a possibly true proposition as
follows:
is assigned the value 1, if, at some time j ' earlier than time j at which (13)
is uttered, the present tense sentence:
(14) It is snowing.
6.4 Performatives
Let us assume that (16) has been uttered. Given lambda abstraction, it is
easy to provide a representation for (16). Simplifying the internal structure
of the infinitive, this will be:
Being without an explicit performative, the case of (15) is, however, more
difficult. Many linguists have suggested that such cases should be handled
by assuming that they are represented at the level of logical form as com-
plement clauses of explicit performatives. Under this proposal, the semantic
representation for (15) would be (15a).
(15) will, obviously, have to meet the same set of conditions as (16) to qualify
as an imperative.
There have, at various times, been attempts to extend performative analysis
to all sentence types. Thus, for example, Lakoff (1971b, 1975) proposed that
the general format for the logical form representation of all sentence types
should be:
The options for pred would be represented by {order, ask, state, say} and χ
= I and y = you. The main clause of (17) is, therefore, a template for an open
proposition. If all sentences are regarded as complements to such formulae,
it follows that no sample of natural-language sentences can be adequately
analysed, at the semantic level, in the absence of a theory of pragmatics.
Lakoff s provision for the performative analysis of questions, through the
inclusion of ask among his predicates, requires some adjustment to the ac-
count presented in chapter 5 and taken up again in 7. Some of these adjust-
ments seem to be notational rather than conceptual - for example, his ask
predicate could be regarded as a variant of the question prime on wh-words
in the more traditional formulations.
More important, the claim that questions are complements to performative
clauses of the form:
highlights the problem of whether, and, if so, how, truth values should be
assigned to performatives. I shall, section 6.7, comment on the approach of
"erotetic" logic which certainly does permit questions to have truth values.
In the meantime, since (17) extends the performative analysis to all sentence
types, including assertions, the assignment of truth values to performative
sentences becomes a general issue.
Some linguists, including Cresswell (1973), have objected that it is nor-
mally inappropriate to respond to a question, imperative, or statement by
confirming or denying that the speaker is asking a question, giving a com-
134 Pragmatics
Lakoff s reply is to claim that truth values are assigned, under normal
circumstances, not to the sentence as a whole, including the performative
clause, but to the propositional content allowed for in (17). This is, surely,
correct. An utterance of (19) is certainly not an assertion that a claim is
being made and to evaluate it as if it were would be most unnatural. In
Lakoff's view, the performative clause itself is neither true or false. Rather,
it is satisfied by meeting the appropriate felicity conditions.
However, if (19) is not an assertion about a claim, what motivation can
there be for introducing the performative into its logical representation? Such
motivation might be found in a general theory of language in use. In such a
theory, it is clearly necessary to draw distinctions between the various speech
acts of promising, threatening, assuring, etc.. The fact that such acts are as
frequently performed through implicit as through explicit performatives has
to be acknowledged in pragmatic theory and to do so at the level of semantic
representation seems quite natural.
Lakoff (1975), reminiscent of a treatment by Karttunen (1974), justifies
the performative analysis on more general grounds. He points out that, if
satisfaction is extended to apply to appropriateness as well as to truth in
a model, then, treating declaratives as performatives allows for a unified
semantics. In Lakoff s (1975) system, for instance, it is not necessary to
have one theory to account for:
(23) / am hungry.
Given that such problems do not outweigh the advantages of the gener-
alised performative analysis, it will be assumed. In the interests of brevity,
however, I shall not make explicit provision for performative clauses in the
underlying representations of declaratives whose surface structures lack ex-
plicit performative verbs.
I shall, moreover, adopt the broadened view of satisfaction referred to
above. Thus, a prepositional function or an open proposition may be satisfied
if, its argument places being filled, the resulting proposition meets either
truth or felicity conditions. In the next section, I shall effectively liberalise
the process of satisfaction even further by extending the notion of felicity
to accommodate the appropriate use of certain nonperformative expressions
which also lie beyond the confines of classical logic.
As part of his development of "natural logic", Lakoff (1975) shows how
(25) can be viewed as entailing (26).
As Lakoff says, if (25) does entail (26), then the following will be a
contradiction:
(28) Jack was sincere in stating that Sally sang well, but he didn 't believe
that she did sing well.
(29) I promise to pay you back, but I don't intend doing so.
(30) I name this ship Sandrock, but 1 don't know what her name will be.
6.5 Fuzziness
The extended use of satisfaction adopted in the last section goes a long way
to meeting the demands of natural language analysis. However, as I indicated
in chapter 1, we must also be able to evaluate propositions which involve
fuzzy concepts. Such concepts are typically denoted by gradables, such as
beautiful/many/often. These items are not subject to the narrow, logical inter-
pretation of truth conditions since they are used subjectively and are context
dependent. Thus, a sentence like (35) cannot be strictly judged true or false.
Since a semantic theory which concerns itself with natural languages would
be quite inadequate if it ignored such propositions, I shall broaden the con-
cept of satisfaction even further and say that formulae or open propositions
employing gradables may, also, be said to be satisfied if they meet felicity
conditions which suffice to make their use appropriate.
Combined with the extension of satisfaction already provided for, the
effect of this liberality is to free mathematical semantics from the narrow
preoccupations of truth-functional studies.
6.6 Presuppositions
Since, in English, she is not used neutrally, (37) presupposes that someone
refers to a female. However, if this presupposition turns out to be false, the
truth of (37) is unaffected. Presuppositional failure in (37) might make its
utterance inappropriate, but it does not make it untrue.
Consider now what is presupposed in the following:
(39) a. There exists one and only one individual, a, such that (Tower ofLon-
don(a/x)) is true.
If (39) is true, then (39a) must be true. In addition, if (39) is false, then
(39a) must again be true. We may thus give a partial definition of semantic
presupposition as:
In order to interpret such a sentence in Russell's theory, we must say that the
universe of discourse has been restricted so as to include one and only one
cathedral and it is that individual to which the definite description refers.
McCawley (1981) discusses a number of problems arising from the Rus-
sellian approach. One is illustrated by the following:
This is so because, in such a restricted universe, the one and only cathedral
is all cathedrals. However, such an equation would, of course, amount to
gibberish. Hence, we are forced to say that the cathedral cannot pick out its
referent by virtue of a restricted universe of discourse.
Types of semantic presupposition 141
a truth value. If there is no such individual, then the open proposition sim-
ply represents a partial function which is associated neither with truth nor
falsehood.
Cresswell's position is, in many respects, reminiscent of the approach to
definite descriptions adopted by Strawson (1950) which, essentially, claims
that when the open individual cannot receive a value, the assignment of
a truth value to the sentence involved is inappropriate. In a later account,
Strawson (1964) modified this position very considerably by granting that
a proposition with an unsatisfiable definite description could also be false.
McCawley (1981) cites examples like (45) which certainly seems to be more
than vacuous if there is no funfair.
In his own discussion, McCawley suggests that the falsehood of cases like
(45) might have something to do with the notion of topic - I return to
that subject later. In the meantime, it is important to recognise that though
Cresswell's approach may be seen as similar to Strawson's, it amounts to
more than saying just that some propositions go unevaluated. For Cresswell,
the failure to satisfy an open individual results not in a proposition which is
unevaluated, but in no proposition at all.
Whether a Russellian or a Strawsonian view is adopted, the mere use of a
definite description does not involve a commitment to the actual existence of
individuals capable of satisfying it. Thus, since a proposition is true or false
in a possible world, it is not necessary, for instance, that the pope of Wales
should actually have some individual in its domain. It is necessary merely
that such an assignment be possible.
A different kind of presupposition is implied by the following:
(46) It is angry.
In such a case, it is obviously presupposed that the value of it has the property
of being animate. Such a presupposition, a sortal presupposition, differs from
an existential one in that the existence of the individual is given. What is
presupposed is its being of the appropriate sort. Thus, a proposition like that
denoted by (46) is true if and only if some proposition of the form F(x) is
true. Such a predicative proposition being presupposed, (46) asserts of the
individual concerned that at the time of utterance, that individual is angry.
Although the conditions for the truth of a sentence like (46) are clear
enough, it is not, I believe, so simple to decide whether failure of sortal
presuppositions leads to falsehood. If (46) is asserted, for example, of a
Types of semantic presupposition 143
building, it is probably better to say that it is vacuous rather than false - the
adjective angry simply does not appropriately apply in such a case.
Lakoff (1971b), showed how sortal presuppositions may often be signalled
only poorly in natural languages. Thus, for example, while the relative pro-
noun who characteristically marks its referent as being human, this rule is
frequently infringed, especially when the individual concerned occupies a
specially favoured place in the life of an addressor. While (47) is perfectly
grammatical, (48) is merely acceptable. (49), by contrast, is barely acceptable,
if at all.
The presuppositions involved in such cases are known as "factive" since the
predicate of the main clause presupposes the factual status of its complement.
In (55), assuming the coreference of Sally and she, Sally may legitimately
regret what she takes to be the fact of having failed a test. Thus, (55) is true
if and only if (55a) is true and is vacuous otherwise:
(56) *Sally, who knows that Jack has not left, regrets that he has left.
Clearly, the reason why (56) is anomalous is that it presupposes two proposi-
tions which are mutually contradictory. In fact, since the relative and factive
clauses in (56) cancel each other out, the whole actually makes no predication
at all about Sally.
The classic study of so-called "factive verbs" like know, regret, be sur-
prised is Kiparsky - Kiparsky (1970) and they have been discussed exten-
sively in the context of formal semantics by Keenan (1972), Keenan-Faltz
(1985), McCawley (1981) and many others.
Whereas a verb like discover is factive, one like hope is nonfactive. Thus,
while (57) is normal, (58) is not.
(58) * Sally, who discovered that Jack has left, hopes that he has left.
Nonfactive verbs do not presuppose the truth of their complements and thus
a sentence like (57) will be true or false depending solely on the truth of
the main clause. The case of (58) is, however, anomalous, stricto sensu,
because the factive and nonfactive clauses are contradictory. The nonfactive
hope presupposes the negation of a proposition implied by one asserting
discovered. If Hopes(x,y) is true, then Knows(\,y) must be false. However,
discovered clearly implies knows.
Types of semantic presupposition 145
(59) Sally, who knows that Jack has left, believes that he has left.
Further, although believe does not presuppose know, the following is, again,
not a contradiction:
(60) Sally, who believes that Jack has left, knows that he has left.
However, if (61) or (62) is false, it does not follow that (61/62a) must be
false.
146 Pragmatics
Criticise presupposes that an action was performed and asserts that it was
bad. Blame, on the other hand, presupposes that an action was bad and asserts
that it was performed by a given individual.
The negative in (64) is ambiguous in that it might have either the presup-
position or the assertion in its scope, as is demonstrated by the normality of
the following extensions:
(64) a. Jack didn 't blame Sally for cheating him because he knew she hadn 't
done so.
b. Jack didn't blame Sally for cheating him because he felt she was
justified in doing so.
Truth-value gaps 147
When one says of a sentence like (66) that its value is "vacuous" if the
complement is false, it amounts to saying that the proposition it denotes is
neither true nor false. Many scholars use the term "truth-value gap" for this
situation.
two classical truth values, the state of affairs which it proclaims relative to
the moment of utterance surely will or will not come into being. (66), on the
other hand, is not merely indeterminate by virtue of temporal contingency, it
relates to no state of affairs at all. Yet (66) does not actually misrepresent a
state of affairs in the way a false proposition does.
I shall not, here, take up the question of truth-value assignments to sen-
tences like (67) beyond repeating that they are true if and only if the cor-
responding present tensed sentence is true at some moment appropriately
related to their time of utterance - which seems, in all honesty, to amount
to saying very little. However, for the intuitive reasons presented above, I
take it that a truth-value gap introduced by the relevant assignment to the
presupposition of (66) ought not to be filled by a third, indeterminate value,
but should be regarded as an open space in a two value system. This space
may be represented, for convenience, in the manner of McCawley (1981), by
the symbol #.
Van Fraassen (1969) developed a system for assigning values to propo-
sitions which include truth-value gaps without departing from the classical
two-value systems. This method, "supervaluation", is also discussed in Mc-
Cawley (1981). The remarks below will be fairly informal.
To understand how supervaluation works, it is necessary to appreciate that
it assigns 0 or 1 to a complex proposition containing truth-value gaps, i.e.
when some component is valuated to #, when those gaps make no difference
to the final assignment. To illustrate: if the connective is — t h e n , since ((0
—> {0,1}) = 1), it makes no difference whether the consequent is 0 or 1.
Hence ((0 —> #) = 1).
Let L be a presuppositional language. Then the vocabulary and syntax of
L define its wellformed sentences and its semantics specifies the mappings
of those sentences into {0,1}.
Van Fraassen's (1969) development of supervaluation relies upon a prior
relation, C, of "classical necessitation" defined as follows, where X is some
set of sentences and A is a sentence:
To illustrate, using Van Fraassen's own example: let L contain only the
two sentences (68) and (69) and let its logical operators be just disjunction
and negation.
Then the set of classical valuations, V, mapping ρ and q into {0,1} will be
just those satisfying the following.
The import of (c) is that A is assigned # when neither (a) nor (b) is met.
An "admissible valuation for a presuppositional language L" is then de-
fined as:
Table a. Conjunction
Ρ q (p&q)
1 # #
# 1 #
0 # 0
# 0 0
# # 0/#
a.a. 8 + 7—15 and Sally regrets that Jack, who has not left, has left.
Table b. Negation
Ρ -Ρ
# #
Ρ q (ρ ν q)
1 # 1
# 1 1
0 # #
# 0 #
# # l/#
Table d. Implication
Ρ q (P — • q)
1 # #
# 1 1
0 # 1
# 0 #
# # l/#
Thus, the relation, N, does not necessitate the truth of ρ whenever q is true.
So that, if (ρ Ν q) and (-ρ Ν q), then whenever q = {0, # }, a truth-value
gap is forced upon us and the whole is #. This is, of course, precisely as the
earlier Strawsonian definition of semantic presupposition requires.
Considering, briefly, the relation between semantic presupposition and
logical entailment, we have already observed that these relations are distinct
since, in the latter, -q implies -p. The case of implicative verbs is worth
restating in this respect. If (73) is true, then Jack managed to find the book.
152 Pragmatics
However, if the book was not found, it does not follow that (73) is false
since Jack may not have tried to find it, in which case, the whole is simply
pointless.
The interesting point is, as in the earlier discussion of succeed, that, at first
glance, one would be inclined to say that if the book was not found, then Jack
did not manage to find it. (73) does, in fact, presuppose many propositions,
two of which are:
(74) My wife is the one who made a match between two people living in
Paris.
Evidently, such a sentence involves at least the following primary and sec-
ondary presuppositions:
(75) The man in the corner with a martini in his hand has just been hired
by Stamford.
If it turns out that the man in question was not drinking a Martini, it is
surely not reasonable, if the description is adequate to pick out the correct
individual, to claim that (75) is false.
It would seem that, at least in part, these problems should be approached
within a theory of context. Before discussing McCawley's (1981) proposals
in that regard, I shall turn to the related question of the presuppositional
nature of questions.
I referred in the previous section to the work of Leonard (1967), who was
responsible, among other achievements, for the development of so-called
"erotetic" logic, which enables the study of the logic of questions. Among
the issues which receive particular attention within erotetic logic is the role
of presuppositions in the use and interpretation of questions. I shall, in what
follows, take the discussion of Belnap (1969) as my starting point.
154 Pragmatics
(D.7) Any proposition whose truth is necessary to the validity of the ques-
tion.
Given the famous/infamous example (76), the direct answer - the state-
ment which is directly and precisely responsive - must be chosen from (76a).
Thus, the most important secondary presupposition of (76) - the one which
is not merely necessary for its direct answers to be true, but is necessary and
sufficient - is:
(76) b. Jack, at least prior to the time of the appropriate utterance, beat his
wife.
Such questions are, obviously, either true or false depending on the value
assigned to the sentence which is their direct answer. In particular, they
cannot have the value #.
In Belnap's own treatment, a gapless, Russellian, view of presuppositions
is adopted over the "gappy", Strawsonian one. However, I can see no tech-
nical reason for preferring the former and, consequently, assume that the
definitions for erotetic presupposition above are Strawsonian. Certainly, the
fact of presuppositionless questions is not a good reason for rejecting this
treatment.
It follows that, as with their declarative counterparts, questions may some-
times be assigned the vacuous value #. A candidate would be the following:
Presuppositional failure of the direct answer to (79) would require that the
whole be valuated to #. Another case is provided by:
What has been said in the last three sections essentially has to do with
truth value assignments and, hence, with semantic presuppositions, in the
conventional sense. I now turn to the question of pragmatic presuppositions
which do not, in any normal sense, rest upon satisfaction in terms of truth-
valuation.
It will be recalled that some preparatory conditions for the satisfiability
of an imperative are presuppositional in character. If an addressor utters a
command when it is clear that she/he is not in a position to enforce it, then the
command may not be satisfied, but that failure has no bearing on whether it
is regarded as true or false. Such a failure is contextual in that the conditions
156 Pragmatics
necessary for the performance of the speech act concerned are not met and,
hence, the utterance itself is inappropriate or infelicitous rather than false.
A different kind of pragmatic presuppositional failure is given by infelic-
itous utterances of sentences like (81) which rely upon a presupposition of
gender:
As observed earlier, if the value of someone turns out to be male, the utterance
becomes inappropriate because it incorrectly draws upon a particular sortal
presupposition. Even so, if it is indeed true that a case has been left behind by
its owner, the proposition itself cannot reasonably be said to be false. Such
instances are, of course, similar in kind to Donnellan's cases of partially
incorrect definite descriptions referred to earlier, which confirms that the
divide between semantic and pragmatic presuppositions is not always a clear
one.
Of particular interest is the kind of pragmatic presupposition which Van
Dijk (1977) defines as: "Any proposition expressed by [a sentence] S which
the speaker assumes to be known to the hearer.".
The distinction between presupposition and assertion - roughly parallel to
that between topic and comment/focus - has already figured in this chapter,
section 6.6, and it is this dichotomy which lies at the heart of this kind of
pragmatic presupposition.
The distinction is clearly illustrated by the well-known fact that, in some
languages, including English, what is presumed to be old information, the
topic, tends to appear in actual utterances to the left of what is regarded as
new information, the comment. Thus, as I said in connection with an example
provided earlier and repeated as:
Similarly, if the presupposition in (82) that Percy has read Darwin does not,
in fact, reflect shared knowledge between the participants, the statement is
likely to lead to some question to that effect, such as:
(86) Percy went to the races and won a great deal of money.
In such cases, it would appear that the question of appropriateness will turn
on such factors as general background knowledge. If the addressee is familiar
with the general context of situation presupposed by the context-providing
first clause, he or she will, or will not, regard the assertion made in the second
as probable or improbable and judge the conjunction as appropriate or not
so.
I am not convinced that, because and can be used to link a world-
determining clause with an assertion, we ought to regard the conjunction
itself as having a non-logical, pragmatic function. I shall not, therefore, treat
it as such in my semantic rules, chapter 8. However, such conjunctions seem
158 Pragmatics
Clearly, the only presuppositions of the first conjunct are existential ones.
The second conjunct, in addition to the existential presupposition involving
Bush, also presupposes the truth of its factive complement, namely:
In fact, of course, (87a) is false, as is the first conjunct in (87). Now consider:
In this case, the first conjunct is identical with the factive presupposition of
the second, namely:
Karttunen concluded that pairs like (87) and (88) are to be assigned dif-
ferent truth values, presumably, 0 in the case of (87) and # in that of (88).
McCawley, himself, was unsure of Karttunen's claim. However, to me, it
seems very plausible in light of the pragmatic differences between the two
cases and the earlier discussion of truth-value gaps.
In (87), and conjoins two assertions which are introduced as new informa-
tion. In the case of (88), on the other hand, and conjoins a world-determining
clause with an assertion.
In (87), the first conjunct is false and the second is clearly #, so that the
whole is 0, in accordance with the usual value assignments for &. In (88), the
first conjunct is identical with the proposition expressed by the complement
of the verb regrets in the second and the whole is, therefore, equivalent to:
(89) A number of farmers went bankrupt and it was sad that farmers went
bankrupt.
(90) Everyone is talking about Bush and Bush is delighted that people are
talking about him.
is false and, if so, the second conjunct is #. However, if (90a) is false, then so
is the first conjunct of (90). Thus, since (90a) is entailed by the first conjunct
of (90), the sentence as a whole entails:
(91) Bishop Jenkins' chaplain is Irish and the bishop is glad to have a
good speaker in his administration.
For those for whom such presuppositions hold, the first conjunct of (91)
implies:
Thus, for such people, the first conjunct of (91) involves the presupposition
of the factive complement of the second. Hence, if the first conjunct is false
and the second is #, the whole is #.
Obviously, any conjunction must presuppose the presuppositions of its
first conjunct, as is easily seen by:
Given this fact, it seems reasonable to say that a conjunction of two sentences
presupposes the presuppositions of the component atomic sentences accord-
ing to a clear pattern. For me, the situation is summarised in the following
condition.
(94) If Percy drinks too much, then Jack regrets doing so.
If (95a) is false, then the second disjunct of (95) is # and the whole is #. In
fact, it is the case that, under no conditions at all is (95) false. It is, therefore,
equivalent to:
I describe (95) as "absurd". Its absurdity resides, of course, in the fact that,
apart from text books on logic, or linguistics, no context of use could possibly
accommodate it. (95) is, in a very straightforward sense, pragmatically point-
less. It is totally uninformative and is, therefore, reducible to the semantically
empty tautology:
Let us suppose that we have a severely limited linguistic corpus in mind at the
outset which is, nonetheless, representative of important constructions in the
language to be described. It is usual to call a grammar designed to describe
such a sample of data a "sample grammar". As the data is increased and the
analysis progresses, the sample grammar will be expanded until, ultimately,
it is sufficiently powerful to describe the language in its entirety - I do not,
of course, aspire to such a development here. What I present below must be
regarded as a sample only.
If the language to be described consisted only of atomic sentences oc-
curring either alone or in combination through the operations of functions,
as in the propositional calculus, the categorial grammar would contain only
two categories. One, the category of sentence, would be basic. The other, the
category of functor, would be derived.
Thus, if t represents the category of sentence, the functor and is of cat-
egory (t/(t,t)). That is, given an unordered pair of sentences as argument,
the function denoted by and yields a sentence as value. Another way of
analysing conjunctions would be to say that they combine with a sentence to
form something that, in its turn, combines with another sentence to form a
sentence. Looked at that way, and is of category ((t/t)/t). I do not think there
is any advantage in adopting this latter treatment.
164 Categorial grammar
Since (1) and (la) appear to have the same meaning, it is clear that they
should have equivalent logical form representations. This involves assuming
that, at that level, and does, in fact, join two full sentences. This situation is
easily accommodated by lambda abstraction - I return to the inclusion of the
lambda operator in the syntactic rules below. In the meantime, the underlying
structure for (la) would be (lb), where Vb is a verb phrase variable:
Since, disregarding logical signs, (lb) and (lc) differ only in the number of
occurrences of swim, i.e. the set of swimmers is named twice in (lc), we
may assume that the two representations are equivalent.
It will be observed that such an analysis does not take account of the
peculiar use of and to express + in informal statements of arithmetic, as in:
verbs to appear in lambda abstracts, then the term variables which form their
arguments and are bound by Λ, are of category e. Thus, the logical form rep-
resentation of an intransitive verb phrase like walks will be (X.x (walks,x)).
It might appear that the proper nouns of natural language should also, as
in chapter 3, be allotted to the basic category, e. However, since we employ
lambda abstracts to construct logical form, it proves more convenient to
think of them - as do Montague (1973) and Cresswell (1973, 1985) - as
one kind of nominal. Nominals, as we shall see shortly, take intransitive
verbs as arguments. If intransitive verbs are of category (t/e), it follows that
nominals, including proper nouns, are of category (t/(t/e)). This categorisation
is exploited in (1c), where the lambda abstracts are of category (t/e).
Cresswell (1985) provides the following elegant formation rules which
generalise categorial grammar.
(R.2) If r and σ\, σ2, • • •, ση are categories, then (τ/(σ\,σ 2 ,... ,σ„)) is a
category.
(R.3) If δ e (τ/(σι,σ 2 ,... ,σ„)), and cti, α 2 , . . . , a„ e at, σ2, ..., σ„,
respectively, then (δ, a\, a 2 . . . . , α„) is an expression of category r .
This abstract is provided with a value for its free variable, Vb, namely, swim,
yielding the representation (lb), (lb) converts into the surface (la) simply by
deleting the lambda and free variables and removing brackets. Let us, with
Cresswell (1973), call this "logical deletion".
The examples given so far are uninterestingly straightforward. The need for
the system to analyse sentences so as to reflect the compositional nature of
meaning and provide for their interpretation through a system of semantic
rules forces us to face many difficulties which might not otherwise be promi-
nent. Thus, while it is obvious that words like Percy function as names, it is
not so readily apparent that a word like somebody does not also function as
a name. While it is evident that a word like runs belongs to category (t/e),
it is unclear whether an item like loves should be thought of as combining
with a nominal to form an intransitive verb or with two nominals to form a
sentence. The question whether to take that as part of a verb of propositional
attitude or as a separate complementiser - perhaps with several functions -
was seen in chapter 4 to be a far from simple matter.
Some category assignments 167
In its usual interpretation, (7) is true just in case there is at least one
individual who fails to run.
Such considerations suggest that quantifier words are not only members
of the syntactic category (t/(t/e)), but also denote semantical objects of the
same type.
168 Categorial grammar
the lambdas, also outputs of the syntax, that formula can be interpreted by the
semantics in accord with the principles of satisfaction described in chapter 3.
As we saw in chapter 3, section 7, Cresswell's treatment also has the
advantage that it permits a simple and clear representation of the logical form
of sentences involving scope ambiguities as in the now well-worn example
provided earlier and repeated here as:
b. ((X.y(Everyone(X,x(loves,x,y)))) someone).
As noted earlier, 7.2, these deep structures can be converted into shallow
structures simply by applying logical deletion. Although Cresswell seems
now (1985) to have weakened this transformational-like position, it has im-
mense appeal because of its simplicity if nothing else. It is, moreover, close,
as far as erasure is concerned, to Montague's own treatment in which disam-
biguated representations, "analysis trees" are related to their natural-language
counterparts by the deletion of subnodes and rule numbers.
An attractive feature of Montague's treatment of transitive verbs is that it
brings the phrase structure syntax of the disambiguated language directly into
line with the usual linguistic analysis of a sentence into a noun phrase and a
verb phrase - with "intransitive verb" corresponding to "verb phrase". Thus,
in his system, the options in (8) would be represented in a tree equivalent,
in phrase structure, to (8b).
However, this pleasing property is also present, albeit less obviously, in our
lambda representations which, as I have said, have the additional advantage
of being directly interpretable.
170 Categorial grammar
Conversely, (19) can have the meaning of (17) but not of (16).
Given this distinction between the particle off in (16, 18) and the prepo-
sition off in (17, 19), we can categorise the former as combining with a
transitive verb to form a transitive verb, i.e. of category ((t/(e,e))/(t/(e,e))).
The transitive verb which results may, then, be treated just like any other,
presuming, of course, some rule for handling the positional facts of postpon-
ing.
The need for such a postponing rule is, probably, the best reason for
treating the particle as a distinct category. It would, otherwise, be simpler
and more in concert with the view that the resulting structures are complete
verbs to treat the particle as part of the verb and thus distinguish between:
turn o f f , turn on, turn up, turn over, turn out, etc..
More difficult are cases like (15). Montague's (1973) treatment would
categorise for as a true preposition and, thus, would analyse for John as an
adverb. Such a treatment, however, is not plausible from a semantic point of
view. Look for seems to operate semantically as a whole unit equivalent to
172 Categorial grammar
seek. Further, as Cresswell (1973) says, Montague's analysis does not allow
for a straightforward representation of ambiguities of scope, as in the two
readings of (20).
As a very simple solution to cases like (24) - though not (25) - one might
regard to as something which combines with an intransitive verb to form
something which combines with an intransitive verb to form an intransitive
verb, i.e. of category ({(t/e)/(t/e)}/(t/e)).
However, since we want to be able to incorporate the empty categories
of Binding theory, including Pro, into logical representations, this simple
approach would not be justified. Pro is of category e and we must, therefore,
in keeping with the remarks in (5.4), regard the relevant clause as denoting
an open proposition, not an intransitive verb. Thus, under this solution, to, in
infinitival constructions like that in (24), would be something which combines
with a member of category, t, to form something which combines with an
intransitive verb to form an intransitive verb. That is, its category would be
({(t/e)/(t/e)}/t).
A more attractive view of infinitival clauses, adopted, for example, by
Cresswell (1973), is that they constitute nominals and are, thus, of category
(t/(t/e)). In this approach, wants in (24) is a transitive. In his own treatment,
Cresswell regards the word to as a surface structure device with no seman-
tic force which merely marks the infinitival status of the nominal, allowing,
among other things, for the morphology of the verb. I shall follow this nom-
inal approach and, in doing so, shall postulate an abstract complementiser inf
which takes a sentence and yields a nominal and is, therefore, of category
((t/(t/e))/t).
A considerable advantage of this alternative over Montague's treatment is
that it simplifies the syntactic analysis of infinitives with specified subjects,
as in:
A logical representation of (26) would then be, ignoring the internal struc-
ture of the complement:
This nominal approach also has the advantage of generality. Under it, a
straightforward treatment of cases like (25) is possible. While the internal
structure of the infinitive itself may be highly complex, its nominal status
allows, in principle, for an analysis of no greater complexity than:
I shall not here discuss the syntactic complications which surround verbs
like seem - for a recent discussion, see Köster (1986). I merely note the
fact that, since both infinitive and sentential complements are treated alike,
as nominals, the ability of such verbs to take both types of complement need
not be reflected in our categorisation as it must in Montague's.
A very important group of verbs, in English, is the auxiliary system.
Auxiliary verbs are, semantically, sentence modifiers in that they provide
tense, aspect, mood, etc. in terms of which propositions are to be interpreted.
They are, therefore, to be treated as of category (t//t). The double slash is
required to ensure that auxiliary verbs can undergo the usual range of syntactic
operations, such as, modals excluded, number concord, which do not apply
to words like possibly. Under this analysis, (30) has the representation (30a).
a. (Percy(\,x( will(disappear,x)))).
7.3.4 Wh-words
As we saw in chapter 5, it is reasonable to treat wh-words almost as if they
were quantifiers of a special kind which bind variables. Accordingly, words
like who and what will have scopes in the formulae of lambda expressions.
Some category assignments 175
This will, of course, mean that wh-variables are of category, e, just like the
ordinary term variables falling within the scopes of quantifiers.
The simplest case is one in which the wh-word acts as subject of the main
verb, as in:
Since, as the options show, do, in such cases, is not the full, transitive do,
but an auxiliary, it is in category (t//t). The representation corresponding to
the first option in (32) is, therefore, (32a).
(32) a. (Did(Jack(X,x(run,x))))?
Since we can give representations for yes/no questions like (32), we are
also in a position to represent the more complicated structures of wh-questions
like (33) in which the wh-variable occupies object position in the open for-
mula, as in (33a):
Unlike who, the wh-words which and what, however, may form complex
nominals, as in which cartoon. For the moment, let us ignore the internal
structure of such nominals and assume them to be of category (t/(t/e)). The
logical form representation for (34) is (34a).
a. (Which,cartoonq(X,yq(did(Jack(\,x(draw,x,yq))))))?
a. (Student,Percy).
In such cases, it might seem that their category should be (t/(t/e)). A better
approach would be to envisage the presence, in logical form, of an empty
category which acts as the head of the noun phrase. Such a head, H, would
be of category (t//e). A suggestion not unlike this was made by Partee in
an early paper (1962) and I discuss an important construction involving it
below.
As suggested earlier, it is possible to regard the definite and indefinite
articles, the and a/an, as quantifiers and, indeed, this is Montague's practice.
There are difficulties with this approach. For example, since they cannot
function as unitary nominals, articles cannot freely interchange with ordinary
quantifiers in all contexts, e.g. in the phrase all of us, and this restriction needs
to be included in their lexical entries, e.g. by giving them the feature [-H], To
treat them as quantifiers, however, seems semantically very plausible. This is
especially so if we adopt a Russellian view of definite descriptions in which
the leopard denotes a set consisting of one unique individual.
Treating quantifiers as of category ((t/(t/e))/(t//e)) is, however, an oversim-
plification. Many scholars, including Cresswell (1973) and Montague (1973),
view them as functions of two arguments of category (t/e). From a syntactic
point of view, given two such arguments, they yield a sentence as value. On
this sophisticated analysis, a word like every is of category (t/((t//e),(t/e))).
Although I do not wish to discuss, in detail, semantic rules in this chap-
ter, the above assignment seems, at first, so odd that it deserves justification
forthwith. I shall, therefore, give a simplified restatement of Cresswell's se-
mantic rules for every, a/an and the - he does not, of course, claim that they
really represent the full meaning of the words involved.
To illustrate: if we claim:
then, we claim that, for each individual of whom it is true to say that that
individual is a man, it is also true that he has the property of being mortal.
In (40), all, unlike every, requires that the head be plural and this, in turn,
necessitates plural concord on the verb. A similar situation holds in the case
of some, though optionally. Thus, beside such constructions as some man,
we have some men - there are, of course, semantic differences which will
have to be accounted for, perhaps by distinguishing between two underlying
items, somei and somej. Such semantic problems aside for now, these facts
about number concord can be built into the relevant lexical entries.
The problems posed by (41) are more difficult. In (41), each of the op-
tions is a complex quantifier phrase involving two quantifier phrases and the
preposition of. The claim that the first of the expressions flanking of, like its
fellow, is a quantifier phrase, not a simple quantifier is, in part, supported by
the reality of parallel structures such as six members of the committee and
the leaders of the delegation which have specified heads.
Some category assignments 179
Partee (1962) was, I think, the first to suggest that, in such examples as
(41), the first quantifier actually determines a head of its own in deep structure
which is deleted. Thus ,five of the students would be derived from five students
of the students. This proposal, however, required that the first head be identical
with the second in order to qualify for deletion. It was also a trifle implausible
in cases like five of the students who enjoyed themselves. Such an expression
would, presumably, require an underlying form five students who enjoyed
themselves of the students who enjoyed themselves . . . , but such repetition of
the restrictive relative would seem to nullify its semantic purpose as modifier
of the second head. For such reasons, therefore, it seems best, as noted earlier,
to envisage the presence in logical form of the unspecified element Η which
could serve as head in the first phrase. This phrase would, then, have the
logical form representation: (λ, λ:,/^(Five Η x,/e)).
Further support for the above suggestion comes from the fact that, in
constructions such as those in (41), the first quantifier has to be one which
can appear as a unitary nominal in structures like (36). Thus, we cannot have
*every of the men, or *the of the men.
There are problems surrounding the corestrictions between quantifier phras-
es in the constructions under discussion, but I shall ignore these, here. Instead,
I shall confine my attention to the preposition.
It does not seem plausible to treat the occurrences of of in (41) as be-
longing to the category of vacuous prepositions. Far from being a mere case
marker, of in (41) has a clearly partitive sense. This is indicated by the fact
that such structures can be reformulated, in the manner of Lees (1960), as:
the category name in such a way as to allow the preposition to combine first
with the phrase to its right and the resulting structure to combine with the
initial quantifier phrase.
In contrast to partitive of in structures like (41), the preposition is used
in a genitive sense in:
Nor does it behave like genitive of as is suggested by the fact that structures
containing it cannot be alternatively expressed with 's, as the following show:
Such phrases do not occur in attributive position, as can be seen from the
unacceptability of:
A major problem surrounding mass and abstract nouns is, however, that
they can also appear as the heads of noun phrases, as in:
Clearly, in such uses, these nouns must be assigned to the category (t//e) of
common nouns. This is also necessary when they occur in adjective phrases
as heads of quantifier phrases, as in full of the water.
A preferable alternative to allowing mass and abstract nouns to function
in category (t/(t/e)) as well as in (t//e), is to have an empty quantifier zero.
This quantifier would optionally combine with mass and abstract nouns of
category (tJle) to form members of (t/(t/e)).
The empty quantifier can also combine with plural count nouns, so justi-
fying their appearance in such sentences as:
In Montague's (1973) treatment, adverbs are divided into two very general
classes, verb phrase modifiers, as illustrated above, and sentential adverbs.
The latter, along with the negator not are members of category (t/t) and
include the modal operators discussed in chapter 3, such as necessarily and
possibly.
As is well known, there are many problems surrounding adverbs which
the above categorisation does not address. At the level of classification, there
are adverbs which operate both as verb phrase and sentential modifiers. Thus,
for example, naturally in (64) modifies the verb phrase, but in (65), its scope
is the entire sentence - these examples are from Quirk - Greenbaum (1973).
Some category assignments 183
There are many stylistic factors involved in adverb placement. For in-
stance, though initial position is possible for a predicate modifying adverb,
as in:
In such cases, the head is a noun phrase and the preposition is of category
((t/t)/(t/(t/e))). I shall ignore this use of prepositions here.
These few remarks on the categorisation of adverbs and predicative ad-
jectives provide, of course, a meagre image of the semantic complexities
involved in this type of modification. I have not, for example, even men-
tioned the fact that adverbs fall into different semantic classes, classically
partitioned into: time, e.g. today, frequency, e.g. often, manner, e.g. harshly,
and place, for example, in Paris. I shall return to this classification briefly in
the next chapter.
To categorise predicative adjectives and adverbs as above is, of course,
inappropriate for their attributive use, as in big tower in Paris. When they
modify nouns directly, they may be thought of as members of category
((t//e)/(t//e)). That is to say, they combine with a common noun to form
a common noun. The resulting common nouns are subject to all of the mod-
ificational possibilities of their basic counterparts, including modification by
other adjectives, as in bright, young student, by quantifiers, as in every young
student/every bright, young student from Paris and they may appear in parti-
tive constructions such as six of the bright, young students.
At first sight, it appears that there is considerable redundancy involved in
allowing for two categories of adjective and adverb, attributive and predica-
tive. Traditional, transformational analysis, as mentioned in chapter 4, treated
all attributive cases as originating in predicative position, so that (70) was
related by "relative-be deletion" and "adjective placement" to (71).
(74) The hills which surround the city are steep. = restrictive relative.
(75) The hills, which surround the city, are steep. = nonrestrictive clause.
(74) a. [5 [NP The hills such that [5 they surround the city]] are steep].
(75) a. [5 & [5 The hills are steep] [5 They surround the city]].
It will be observed that (74a) makes use of the connective such that, in
the manner of Quine (1960). If such regimentations are taken seriously, as in
Montague (1973), it should be observed that (74a) is defective in that it does
not make it clear that such that actually connects the sentence which follows
it not with the preceding nominal as a whole, but with the common noun,
hills, which acts as its head. Thus, such that is of category ((t//e)/((t//e),t)).
Given such a treatment, we would, therefore, distinguish the restrictive rel-
186 Categorial grammar
ative connective such that from its sentential counterpart and which is of
category (t/(t,t)) and figures only in appositive constructions.
The justification for assigning such that to the category ((t//e)/((t//e),t)) is
semantic and is, again, due to Quine (1960). As Partee (1975) points out,
in an expression like (76), Montague's Russellian view of the requires that
the assertion of uniqueness which the definite article makes should extend
beyond the common noun, fish, to include the property denoted by the relative
clause - there is just one thing which is both a fish and walks. Obviously,
parallel considerations hold for other quantifiers like every.
7.3.9 Comparison
An important function of natural language is the expression of degrees of
difference or similarity. The former is accomplished through so-called "com-
parative" constructions and the latter via their "equative" counterparts.
Difference and similarity of degree are expressed in respect of all four
major parts of speech, nouns, verbs, adjectives and adverbs.
Since difference of degree is a property of properties, and since adjectives
and adverbs denote properties directly, they frequently allow, in their mor-
phology for the marking of proportion. Thus, for example, beside the positive
adjective young and adverb fast, we have their comparative and superlative
counterparts, namely, younger/faster and youngest/fastest. In a few cases,
comparison is by suppletion, as in good/better/best.
Some category assignments 187
as:
(86) Sally plays tennis/the piano less than she plays squash.
It will be seen from (77-88), that, while more/less normally precede com-
pared adjectives and adverbs, in the case of verb phrase comparisons (80,
81, 86, 87), they are adjacent to than. In the case of common noun object
comparisons (79, 79a, 85, 85a), they determine the first object noun. When
quantities of subjects are compared, (82, 88), the first subject is determined.
Since I take Comp, in structures like (77-89), to be part of the conjunction
Comp than, I shall assume that it is adjacent to than at the level of logical
form and that its surface position depends upon the application of movement
rules.
Some category assignments 189
To account for thfese cases, we need only invoke the abstract head Η referred
to earlier in the treatment of quantifiers. Thus, bigger is attributed to Η and
is, thus, an expression of category ((t//e)/(t//e)). The derived common noun
then combines with the definite article to form, via lambda abstraction, an
expression of category (t/(t/e)), which can, of course, enter into partitive
constructions with of.
We may also employ Η to supply the missing head in reduced partitive
constructions involving comparatives and superlatives, as in:
7.3.10 Intensifiers
Comparable, or gradable, adjectives and adverbs, like tender/ly, unlike their
absolute counterparts, such as correct/ly, may be modified by intensifiers like
very, as in very sultry, quite rapidly.
That it is an error to regard such words as adverbs - a common practice -
is evidenced by various distributional restrictions. Thus, for example, while
adverbs may modify independently, intensifiers cannot, as the ungrammati-
cally of the following shows:
As noted in the previous section, the word much can also function as an
intensifier. This is particularly common when comparatives involving more
are intensified, as in much more rapid/ly, though other intensifies may also
be used, as in rather more rapid/ly.
Although comparatives are frequently intensified, superlatives obviously
may not be. Thus, in an expression like the very highest mountain, very is to
be taken, in its original use, as an adjective meaning true/absolute.
From these facts, it follows that intensifiers combine with adjectives and
adverbs to yield either of the three modifier categories:
7.3.11 Equatives
Just as we can analyse comparatives involving than in terms of a conjunc-
tive function, so also can we treat equative constructions as combinations of
a sentence with an intransitive verb, resulting in an intransitive verb. The
conjunction employed for this purpose is correlative as as. Thus, like Comp
than, the equative conjunction is of category ((t/e)/((t/e),t)).
Obviously, the treatment of discontinuous elements is not entirely straight-
forward for a categorial grammar, as my discussion of comparative conjunc-
tion implied. If they are assigned to categories on the basis of their surface
representations, the first component has to combine with some constituent
to its right so as to produce something which can link up with something
to its right to form the whole. Alternatively, the second combines with the
constituent to its left in preparation for the final combination. Finally, the
elements may be combined sequentially either from left to right or right to
left. Such procedures are entirely practical, but not always in accord with our
intuitions. Thus, for example, to say that as much money, or much money as
in (108) below is an entire unit which combines with as to conjoin the two
sentences is hardly convincing or simple.
192 Categorial grammar
(125) Sally has so much/little money/so many/few books that she can't
move.
7.4 Abbreviations
The remarks in 7.3 have been somewhat discursive. However, they have been
sufficient to provide for the construction of a fairly rich sample categorial
grammar.
Before proceeding, it would be well to introduce some notational abbrevi-
ations since it would be tedious in the extreme constantly to employ the full
ideographic names for the various categories. In the following, the abbrevia-
tions sometimes coincide with the category they name. There is, moreover, a
measure of redundancy in writing out some categories which have identical
ideographs, but this is tolerated for ease of reference and completeness.
Abbreviations
Table 2. Nominals
Category Ideograph Abbreviation
Term variable e Vf
Wh-variable e vq
Pronoun e Pron
Pro e Pro
Proper noun (t/(t/e)) Τ
Common noun (t//e) CN
Quantifier (t/((t//e),(t/e))) Quant
Nominal (t/(t/e)) NP
partitive (NP/(NP,NP)) of
Genitive of (NP/(NP,NP)) Of
Genitive 's (NP/(NP,CN)) 's
Vacuous of (NP/(NP,NP)) Of
Table 3. Verbals
Category Ideograph Abbreviation
Intransitive verb (t/e) IV
Transitive verb (t/(e,e)) TV
Auxiliary verb (t//t) Aux
Complement- ((t/(t/e))/ {That,inf}
iser t)
Particle ((t/(e,e))/(t/(e,e))) Particle
196 Categorial grammar
In section 7.2, I gave Cresswell's (1973) general rules for the formation of
wellformed expressions in a lambda categorial language - rules (R.l, R.2,
R.3) and (R.4). In this section, I shall consider some examples of rules which
"spell out" the operation of concatenation in respect of particular structures.
As usual, angles indicate that the enclosed elements are ordered.
The rules which I present are somewhat like Montague's (1973) "rules
of functional application", though they differ in detail and scope. The rules
assume the use of lambda abstracts. Under that assumption, the structures
they describe will be below the surface.
The simplest spelling out rules are those concerned with sentence modifiers
and connectives.
(R.9) If δ„ e Aux and a e t, then < δ„, a' > e t: where δη is an ordered set
and a ' is just like a save for any morphological changes determined
by the choice in δ„.
Comment: At the level of logical form, auxiliary verbs always prefix sen-
tences, which will be propositional functions. In English, multiple modifica-
tion by auxiliaries is strictly ordered, hence the need for δ„ to be an ordered
set. The changes in a' will be in respect of concord if δη is a single modal.
If δ„ contains aspectual auxiliaries, they will introduce the relevant affixes.
(R.l 1) If δ e IV and α € {e,pro, Pron, NP}, then < α, δ' > e t: Where δ' is
just like δ except for any language-specific morphological changes
to the first and second verb in δ required by the choice in a .
Comment: Since, at the level of logical form, verbs occur in formulae within
lambda expressions, the first verb in δ may, in fact, be a member of IV, TV,
or Aux. If the first verb is in Aux, then the second verb will undergo the
changes allowed for in (R.9).
198 Categorial grammar
(R.18) If δ e 's and ot\ and a2 e NP and CN respectively, then < < αι,δ >
, OL2 > e NP.
(R.20) If Si, 62 e CN/CN and α e CN, then < δ{, a > and < a, > e
CN.
Comment: If δι contains only adjectives and δ2 only adverbs, then rule (R.20)
ensures that adverbs do not premodify and, at the same time, allows for those
adjectives which postmodify. Strictly, these precautions are an indulgence
since they properly belong to a detailed account of English.
(R.21) If δ e Intensif and α e IV/IV, then < 6, a > e IV/IV and similarly
where a e CN/CN, or t/t.
(R.22) If δ e {Comp, Super } and a e IV/iV, then < a + δ > e IV/iV, and
similarly where a e CN/CN, t/t, or Quant.
(R.23) If δ e Of and α and β e IV/IV and NP respectively, then < a , <5, β >
e IV/IV.
Comment: In this rule, IV/IV is, of course, a predicative adjective. The con-
struction involved is exemplified by full of water.
(R.24) If δ e Prep and α e NP, then < «5, α > e {IV/IV, t/t }.
stants, these conditions will be truth conditions and will be stated simply
as such. In others, such as nonlogical connectives like because, they are
nontruth-functional and in yet others, such as thin/many, they involve con-
ditions of appropriateness. In stating the rules, "met" will indicate that a
condition of appropriateness is in question.
Cresswell's (1973) idea of considering propositions as sets of possible
worlds allows him to present rules in a very general but precise way. I shall
adopt a looser format. However, since my rules are broadely modelled on
Cresswell's, it will be useful to display and comment on one of his examples.
If a proposition, p, is true in a world, w e W, then we may write (w e p)
to mean 'p is true in w \ Similarly, (w jk p) stands for 'p is false in w'.
Let V be a meaning assignment and "a e Dx" mean that α is a member
of the domain x. Further, let "a e Fx" mean that α is a function of category
x. Then the rule for negation will be:
(R.l) V(neg) is that function F^eg such that, for any a e Dt and w e W,
w e F(Q) if and only if w / a.
Verbalised: Neg is that function which, for any sentence and world, combines
with that sentence to form a sentence true in that world if and only if the
positive form of the same sentence is false in that world. That is to say: a
negated sentence is true if and only if the worlds which constitute its propo-
sitional content do not form the propositional content of the corresponding
affirmative.
In general, my own definitions will be simple versions of rules like (R.l).
The major simplification will consist in the omission of explicit reference to
the fact that members of W constitute a proposition. I shall, therefore, simply
say, in place of (R.l):
(R.l) a. V(Neg) is that function F^g such that, for any a e Dt, F(a) is 1 if
and only if a is 0.
(R.2) V(or) is that function FDisj such that, for any α, β e D, and w e W,
F(a,/i) is 1 iff α and β are both 1, or either a or β is 1.
Logical and nonlogical connectives 203
Clearly, the details of the use of these items are fine. However, what ap-
pears to be common to them both in (1) is the element of contrast. This
suggests the following as a first approximation to a semantic rule for but/
although. "Met" is employed here because both truth and pragmatical condi-
tions are involved.
(R.3) V({but, although}) is that function FC(mj such that, for any α, 3 e
Du F(a, 3) is met if and only if ( a & 3) is 1 and contrast{a, 3).
In this rule, it is not claimed that contrast{a. 3) must be true in w since that
would be to make that a truth-condition. Considered in this light, the condition
204 Semantic rules
(3) Percy married Sally, but he didn't like her./ Although he married
Sally, Percy didn 't like her.
(4) Percy is young, but wise./ Although he is young, Percy is wise.
While I shall not attempt to discuss the additional semantic conditions
involved in these cases fully - Russell (1950) and Van Dijk (1977) provide
insightful discussions of the kinds of psychological issues involved - it is
obvious that (R.3) is in need of some expansion.
One fact about (R.3) invites particular comment. When two propositions
are claimed to contrast, an important ingredient is likely to be the posi-
tive/negative opposition. As Russell (1950) demonstrates, it is not an easy
matter to say what is meant by a contrast like wise/not wise. However, at an
intuitive level, the notion of contrast involves the negative/positive opposi-
tion and this opposition may, but need not, be unexpected. When it is not
unexpected, but/although are used in their simple sense as in (1), reflected
in (R.3). When, however, a conjunction involving contrast is unexpected, it
leads to surprise.
In terms of the positive/negative polarities, if (p & q) is unexpected, it is
probably true that (p & -q) is expected. Thus, if it is surprising that, being
young, Percy is wise, it is expected that, being young, Percy is not wise. It
would seem, however, that mere opposition is not enough. The content of
the two propositions which are in contrast must have something in common.
Thus, the sense of but/although is not reflected in:
In this revision, I ignore the fact that the element of surprise may be restricted
to a point of time coincident with that of the utterance. The chief motivation
for including the utterer is, of course, that what is surprising to an addressor
may well not be so to her/his addressee.
There is, of course, a quite different use of but to denote the complemen-
tary status of a subset - derived from the original sense of butan 'outside'.
This use is exemplified in (8).
I should stress that I have rather little faith in my own intuitions regarding
examples like (13). Certainly, it does not seem possible to underline an in-
clusive sense through the extention or both which is available in the case of
or. However, that may be unhelpful since its exclusive counterpart but not
both is also unavailable with unless.
The causative unless clearly requires to be treated separately from its neu-
tral counterpart. The important point is that this unless is not truth-functional.
Thus, reversing the order of the two propositions in (11) changes the mean-
ing of the whole. According to (11), the revolution will be caused by the
government's not resigning. If the disjuncts are reversed, the cause of the
government's resigning will be the revolution's failing to take place. Let us
use unlesscause to denote this particular connective. A possible semantic rule
for it would be the following:
(R.4) \{unlesscause) is that function Fdisj such that, for any α, β, e Dt,
¥(α,β) is 1 if either a is 1 or β is 1 and cause(-(ß),a).
Rules for disjunctions like (R.4) may not, however, be entirely satisfactory.
Superficially, (R.4) is circular in that it makes use of the disjunction either
Logical and nonlogical connectives 207
(R.4) a. V(unlesscau!ie) is that function FDisj such that, for any α, β e Dt,
F(Q, 3) is met if and only if either a is 1 or ß is 1 and cause(-
(3). a) and uncertain{a & 0)at time j for some individual a such
that utters(a,F(a, ß)) at j.
In (14), the syntax of English obscures the fact that the negator has both
disjuncts as its scope - a reality which is emphasised in the morphosyntax
of (14a) in which each disjunct is explicitly negated through the negative
208 Semantic rules
disjunction neither nor. Hence, the logical structure of (14) is not (14b), but
(14c).
(14) b. (-pvq).
c. -(ρ ν q).
Facts like these are not at all surprising given the logical status of or and
not. They provide, among other things, for the semantic rule for neither nor.
This disjunction is probably best regarded as derived from a historical neither
nor yet in which yet means in addition. The rule is:
(R.5) V(neither nor) is that function Fdisj such that, for any α, β e Dt,
F(α, β) is 1 if and only if (-α & -β) is 1.
In this rule, the uncertainty condition is, of course, absent - there can be no
uncertainty in the assertion of a conjunction of two negations.
Consider next a case like:
At first sight, the rules of logic suggest that (16) is equivalent to (16a).
However, it is clear that this is not necessarily so since, in English, and may
conjoin nominals to form a compound nominal which is not derived from
two underlying sentences. Thus, the phrase milk and honey must be treated
as a single unit and the negation in (16) asserts that it is false to say that Jack
likes that unit, not that he dislikes either milk or honey in isolation. Thus, the
logical structure of (16) is not (-ρ ν -q) but simply -p. Parallel considerations
must also be taken into account in the interpretation of ambiguous cases like:
More complex are cases like (18) which, according to the established tests
(Klima 1964) are instances of sentential negation:
If words like seldom were ordinary sentential negatives, then (18) would be
equivalent to (19), but that is obviously not so.
Evidently, the negative element of such adverbs applies not to the entire
sentence but to some adverb of frequency like often. This is so in spite of
the strictly logical fact that (not often p) is always true when (not p) is true.
Thus, if (18) is true, then so is (20) and, by implication, (21). Further, if (21)
is true, then so is its entailment (22).
These facts suggest that the semantic rule for negative adverbs like seldom
should be along the lines of:
(R.6) V(seldom) is that function FNeg such that, for any a e Dt, F(a) is
met if and only if α is 1 and (V(often)(a)) is not met.
(R.6) is rough in the absence of a rule for often - I shall provide such
a rule below, section 7 - however, the general import is obvious. It is also
obvious that notions like that expressed by often are essentially fuzzy. What
is regarded as often performed in one case may very well be thought to be
seldom in another. Thus, words like often/seldom have no place in formal
systems and their semantic rules are stated in terms of satisfiability in its
broad sense.
(R.6) classifies seldom as of category Neg and, hence, a member of (t/t).
Clearly, there are difficulties with this view. While it seems plausible to say
that seldom negates an entire sentence in which the IV-modifying adverb
often figures, the fact that, when such negatives as seldom/rarely appear
in sentence-initial position, they attract aux\ - tense and the first of any
auxiliary verbs - just like wh-words, etc., e.g. seldom does ..., scarcely
had . . . , suggests that they are not straightforward negators in spite of their
behaviour in respect of tag-questions, appositive tags and so on. The (t/t)
classification in (R.6) is, therefore, not wholly satisfactory.
As a further example of the kind of problem which can arise in the inter-
pretation of negation in English, consider the following sentence involving
word negation:
This is not so because, evidently, unhappy, being itself gradable, implies the
negation of its opposite, happy, but its negation does not imply its opposite.
From this, we conclude that the usual rule of double negation:
(28) -p = p.
does not extend to cases in which a sentential and word negation appear in
the same clause.
My treatment of unlesscause and seldom bestows upon them the status of
pragmatic operator rather than truth-functional connective in the strict sense.
Better known as pragmatic operators are words like because and before. For
such connectives, the classical truth tables do not provide suitable models
for the construction of semantic rules. Unlike and and other truth-functional
connectives, these items not only connect two propositions but claim that
their contents are related causally or temporally in certain ways.
Consider first, the relation asserted by because in:
(32) One of the dogs has chewed the rug, it must be Spot because Rover
is in the garden.
In this instance, because links an inference with its justification, but because
is not here commutative.
Apart from a brief comment below, I shall ignore these differences and use
cause to denote a general condition with the Humean property of necessary
connection. The semantic rule for because is, accordingly, as follows:
(R.7) V(because) is that function Fconj such that, for any α, β e Dt, F(a, β)
is 1 if and only if α and β are both 1 and cause(a.ß) is 1.
Rule (R.7) requires that both conjuncts must be true in a compound propo-
sition featuring because. Thus, I take it that the following are false in the
actual world:
(33) The Japanese won the war because they bombed Pearl Harbor.
(R.8) V(before) is that function FConj such that, for any α, β e D,, F(a, β)
is 1 if and only if a is 1 at some moment j and β is 1 at j', j —> j'.
If the tenses of the atomic clauses are taken into consideration, stating
the semantic rule for before is more difficult. The condition that j precede
j ' obviously rules out any combination in which both clauses refer to actual
present since, under such circumstances, j and j' would be identical. Thus,
(40) is not acceptable:
Relation to the time of utterance also inhibits combinations in which the first
event is expressed in present perfect since the clause is then relevant to the
actual present and cannot precede another event prior to the present. This is
illustrated by:
(43) would be possible only if before were regarded as elliptical for before
that - a rather forced interpretation!
The semantic rules for after and while are like (R.8) but with the obvious
adjustments to the linear relations between j and j ' . The remarks concerning
tenses of the component propositions also, of course, require adaptation for
these connectives.
As a final case, it is to be noted that and frequently appears to be used
in a non-truth-functional manner to mean and then. Thus, the truth of (44)
depends not just on the values of the component propositions but upon the
assertion that the event described by the first preceded that described by the
second.
Clearly, in such cases, the conjuncts may not be exchanged. The question is
whether or not to account for this by ascribing a non-truth-functional use to
and or by assuming the presence at deep level of the temporal connective
then.
The fact that then does often occur in surface structures of the form (p
and then q) favours the view that and in examples like (44) is employed in
its usual logical sense as a simple conjunction and the failure of commutation
is to be attributed to a syntactic property of then by which it must follow the
clause which describes the earlier of two events. Presumably, the conjunction
then will have a semantic rule like that for before, though its syntax is rather
more complex.
An alternative approach to the problem of sentences like (44) would be to
presume that, at the level of logical form, each conjunct is explicitly marked
for time reference. If the first is true at j and the second at j ' , it is not
necessary to treat and as a temporal connective. The fact that the surface
order is inflexible reflects the well-known practice, in English, of mirroring
temporal in linear order.
There are, of course, other important connectives such as the correlatives,
Comp than and as as. Since these involve properties of nominals, adjec-
214 Semantic rules
tives and adverbs, I shall discuss them opportunistically below as they most
naturally arise.
8.3 Nominate
(R.9) V(someone) is that function F^p such that, for any a e F/y, F(a) is
1 if and only if there exists at least one individual, a, such that a/x
satisfies the formulae human(x) and a(x).
Nominals 215
(R.10) V(everyone) is that function FNp such that, for any a e F/y, F(a)
is 1 if and only if for any individual, a, such that a/x satisfies the
formula human(x), a/x satisfies a(x).
(R.l 1) V(no-one) is that function FNP such that, for any a e F[v, F(a) is 1
if and only if for any individual, a, such that a/x satisfies the formula
human(x), a/x fails to satisfy a(x).
(R.12) If α e {IV,CN}, then V(a) is that function F{iV CN} such that, for
some set Ε in De, for any individual, a, a/x satisfies the formula
Q(X) if and only if a e E.
While it might be argued that restrictions of this kind are not relevant to
truth conditions, they are indisputably relevant if the semantic rules are to
perform as filters, disallowing some expressions as semantically ill-formed.
For brevity, I shall not, however, set out selectional restrictions in detail.
Rule (R.12) applies equally to mass and abstract nouns as to their ordi-
nary counterparts with countable referents. Of course, the rules for specific
items, e.g. vapour/virtue, would require clauses specifying the mereological
characteristics of those elements of De in their domains. Such information
would be needed, for instance, for quantification. Thus, in (47), vapour must
be understood as part of all vapour there is in spite of the noncount status of
its referent, but in (48) the reference is to the universal body. On the other
hand, in (49) virtue refers to a distinct instance of virtue, while in (50) all
instances of virtue are intended.
(R.13) V(tiger) is that function FCN such that, for some set E, a/x satisfies
the formula tiger(x) if and only if a e E.
(R.14) V(walk) is that function FfV such that, for some set E, a/x satisfies
the formula walks(x) if and only if a e E.
Nominals 217
(R.15) V(every) is that function FQuun, such that, for any a e Few, F(a) e
Fnp such that, for any β e F/V, (F(a), β) is 1 if and only if for each
individual, a, such that a/x satisfies the formula a(x), a/x satisfies
3{x).
such that, for any β e F/v, (F(a). /3) is 1 if and only if there is a
unique individual, a, such that a/x satisfies the formulae a(x) and
β(\): and old information(a(a)). If there exists no individual, a, such
that a/x satisfies a(x), (F(a), β) is #. If a/x satisfies α(χ) but fails to
satisfy ß ( x ) , ( F ( a ) , ß ) is 0.
Clearly, these rules are not sufficient, in themselves, to provide fully for
the meanings of these quantifiers. In the case of every, it would be appropriate
218 Semantic rules
It is, in fact, rather difficult to say precisely what is the difference between
these words. Certainly, in (52), itself, no possible change in truth-value or ap-
propriateness is involved in the choice between them. It does seem, however,
that either implies that the individuals in its scope are discrete, where both
is ambiguous in this respect. This difference, though apparently nebulous,
must be allowed for in their semantic rules since the truth-value of a given
sentence may, in some cases, depend on it. Thus, (53) is true just in case
Percy was holding two books, whereas (54) may be true if only one book
was involved.
duple δ C De, if δ/χ satisfies the formula a(x), δ/χ satisfies 3(x) and
for any a, a' e δ, a, a' are discrete.
Intuitions of this sort seem to support Cresswell (1973), who treats either
and both in such conjunctions as shallow structure devices for marking the
scope of the logical operators or and and. A parallel explanation seems apt
for the appearance of then in the compound if then.
We may also attribute the use of both to disambiguate or, in the phrases
or both and but not both to this same scope marking function. The relevant
structures have roughly the following forms:
In this respect, both is like the. It seems likely that it also shares the''s
presupposition of uniqueness. Thus, (59) would seem to be vacuous rather
than strictly false if Percy either has only one daughter or more than two:
(R.19) V(both) is that function FQuant such that, for any α e Fcn , F ( a ) e
FNp such that, for any β e F/v, (F(a).ß) is 1 if and only if there is
a unique duple δ C De, such that if δ/χ satisfies the formula c*(x),
it satisfies β(χ), and for any a, a' e δ, a, a' are continuous: and old
information α(δ). If there exists no duple, δ, such that δ/χ satisfies
a ( x ) , (F(a),/3) is #. If δ/χ satisfies a(x) but fails to satisfy 3(x),
(F(a): ß ) is 0.
220 Semantic rules
In this outline, I have not mentioned the possibility of a and a' being discrete
since that use of both requires its own semantic rule.
In spite of its status as the paradigm instance of an existential quantifier,
some is semantically quite complex.
In chapter 4, I discussed some examples of scope differences, including
some involving negation and every or any. Reference was there made to
Quine's observation (1960) that every has narrow scope while the scope of
any is wide. These scope differences appear again in alternative negations of
certain existential statements, as in:
The reason for the options in the negation of (60) is to be found in the
polysemy of some which can either have its original specific sense certain -
Old English sum gelaerned munuc 'a certain learned monk' - or the later
nonspecific meaning. While on both readings, some signals new information,
on the specific interpretation, the negation of (60) is either of the options in
(60a), i.e. an O-type statement symbolisable, very roughly, as:
(60a, c) will be true if and only if there are some specific letters such
that Sally didn't write them - I do not mean to suggest that the letters need
actually exist, of course - , while (60b, d) will be true just in case Sally did
not engage in letter-writing.
The set of possible denotations of letter is, of course, made up of countable
things. Some is also used with mass nouns, as in:
Although the difference between count and noncount might, at first, appear
to have no bearing on truth-assignments, it can be crucial, as in:
is true if and only if there exists at least one chicken such that Jack put it into
the oven. On the mass reading, (62) is true just in case Jack put a quantity
of chicken-meat into the oven.
Perhaps the most important point about some in natural English - though a
point usually thought too obvious to merit dwelling upon - is that, used with
count nouns, it somewhat rarely means 'there exists at least one' but, rather,
it normally means 'there exist at least two'. Thus, while (63) is perfectly
acceptable, (64) represents a more common usage.
(R.20) V(some) is that function FQuan, such that, for any A e FCN, F(a)
e F^p such that, for any β e Flv, (F(a).ß) is 1 if: either (I) there
exists at least one individual, a, such that aJx satisfies the formulae
a(x) and ß(x) and countable{a) and new information{a{&))\ or (II)
(I) holds save that a is noncountable; or (III) either (I) or (II) holds
and speciftc( a); or (IV) either (I) or (II) holds and nonspecific a);
or (V) there exist at least two individuals, a, a', such that aJx and
a'/x satisfy the formulae a(x) and ß(x) and countable(a,a') and new
information(a(a,a')) and either a and a' are specific or nonspecific.
It would appear, therefore, that zero should have a semantic rule which al-
lows for either interpretation. In stating such a rule, it is obviously necessary
to provide for the exclusion of count singular nouns, but, otherwise, the spec-
ifications seem uninteresting and I shall not, therefore, discuss them further.
People's opinions on what does or does not constitute a large or a small set
are not, of course, entirely idiosyncratic. Thus, as Sapir (1944) pointed out,
there is more-or-less universal agreement that the word many applied to errors
on a page of typing signifies a quantity which is considerably smaller than
that conveyed by many applied to visible stars on a clear night. Thus, while
assertions of proportion may often be approximate and thus not demonstrably
true or false, they are commonly to be regarded as reasonable or unreasonable,
i.e. appropriate/inappropriate.
In light of these considerations, the semantic rules for proportional quanti-
fiers are only precise in the cases of more/most, few/fewest and less/least and
then only when the proportions are accurately measurable. In all other cases,
the rules do not lay down the conditions for a statement's being demonstrably
true or false, but, merely, for its being appropriate or satisfiable in the broad,
pragmatic sense of that term. They are, moreover, question-begging. To say
that many indicates a large quantity is informative only in being positive
rather than negative, for the rest, it relies upon the good will of the reader
for its sense.
As a preliminary, let us assume that Comp has combined with many and
much to yield more. In its precise use, more is restricted to the quantifi-
cation of things very broadly conceived as including both countables and
noncountables. The semantic rule for precise more has the following rough
formulation:
(R.21) V(more) is that function FQUANT such that, for any A e FCN, F ( a ) e
FNP such that, for any β e FIV, ( F ( α ) , β) is 1 if and only if for any
set Ε C D e , if E/x satisfies the formulae a(x) and /3(x),then for any
set EJC DE distinct from E, such that satisfies a(x) and fails to
satisfy β(χ), Ε > .
The rules for fewer/less would be as above, but with < for > .
(R.21) assumes nothing regarding the sizes of the sets concerned beyond
their relative proportions.
The rule for most could be simply stated by assuming an additional set Ej
and asserting that Ε > Ej relative to Ej. This assumption is warranted by the
fact that, although most is logically equivalent to more when two quantities
only are compared, it is used in natural English when three or more sets are
involved. When we claim:
we assert not merely that the set of tennis-lovers is greater than that of
nonlovers of tennis, but that the size of the former more nearly approaches the
224 Semantic rules
totality of the set of all people than does the latter. This additional assertion
is implicit in more, in the case of most it is explicit.
The superlative counterpart of rule (R.21) is appropriate for the abstract
entity Super - with < for > where necessary. However, (R.21) is too crude
for Comp generally. This is so because conjunctions with Comp than do not
always contrast positive and negative values for the same property. Thus,
while (69) is commonplace, so is (70).
In (70), no assertion whatever is made either about the number of people who
do not like walking or those who do not like running - although it is entailed
that the set of those who dislike running is greater than that of those who
dislike walking. For example, (70) would be true if every single person liked
walking and all but one liked running. It may also be true if more people
dislike walking than take pleasure in that exercise.
Thus, Comp than has a semantic rule which expands on (R.21) with clauses
along the following lines - squares enclose rough examples:
(R.22) V(comp than) is that function Fcorrei such that, for any 7 e D, and
β, β' e Fiv, F(/3,7) e F/V such that, for any sets Ε, E' e De, E/x
satisfies the formula (F(ß, 7))(x) if:
either (I) 7 = ß(E') [runs,x-runs,y];
or (II) 7 = ß(E,E') [has,x,y-has,x,z];
or (III) 7 = ß'(E) [runs,χ-walks,χ];
or (IV) 7 - β'(Ε') [runs,x-walks,y]: and Ε > , or < E \
There are several simplifications in (R.22). First, since Comp than struc-
tures are as common in subjective comparisons as in logical ones, the satis-
faction of the formula is not necessarily in terms of truth. Second, pertaining
to the first point, the relations > and < are completely vague when subjective
comparisons are involved. Third, the sets Ε and E' are fuzzy when properties
such as beauty are compared.
It is to be noted that a rule along the lines of (R.22) is applicable no matter
what dimension is in comparison. Thus, (71) is true if and only if the set of
points which constitute line A is greater than the set which is line B:
or mass:
(R.22) also outlines the foundation for the evaluation of comparisons involv-
ing sets of events, as in:
The rule for equatives will be along the same lines as that for Comp than.
The significant difference will, of course, be that it involves the relation
= rather than > and < . This is important since it reflects the fact that the
equative correlative as as is commutative whereas its comparative counterpart
Comp than is not.
Turning to non-logical proportional quantifiers, they fall into two natural
classes, those which assert that a given proportion is large and those which
assert that it is small. Each of these classes is made up of quantifiers which
modify count nouns and others which modify mass nouns. Thus, many is in
the first group and takes count nouns, while much is in the same group and
takes mass nouns. Few is in the second class and takes count nouns, whereas
little is in the same class but takes mass nouns.
The semantic rule for many will crucially involve satisfaction in its broad,
pragmatic sense in addition to truth, and may be roughly outlined as follows:
(R.23) V(many) is that function FQLTANL such that, for any A E FCN, F(Q) E
FNP such that, for any β e F/y, ( F ( α ) , β) is met if and only if for
some set Ε such that E/x satisfies the formulae a(x) and 3(x), Ε is
countable and the cardinality of Ε = η and largein).
ative conjunctions with Comp than. Thus, (75) is acceptable, but (76) must
be filtered out:
In such structures, the conjunction is still Comp than and the function of
many is akin to that of an intensifier. In these constructions, the quantifier
is, as usual, sensitive to the count status of the head noun, as is seen by
comparing (77) with:
The rule for much is just like that for many but replacing "countable"
by "noncountable". Similar rules are also appropriate for quantifiers in the
second group like few and little, again with the obvious adjustments.
Before leaving the rules for proportional quantifiers, it is important to
acknowledge that their use is not necessarily constant. An interesting and
well-known illustration of the way in which the meaning of a proportional
quantifier can be modified under the influence of other items is provided by
few when it occurs within the scope of a, as in:
If the indefinite article is removed from (79), the whole amounts to a negative
assertion to the effect that the number of books concerned is not great. In
(79) as it stands, the assertion may be interpreted as positive in that it claims
that Sally has some books. If the nominal is further expanded into quite a
few books, then the number concerned is even asserted to be large.
(R.24) V(ofpar,) is that function F0f such that, for any α, β e FNP, F(a, ß) e
Fnp such that for any 7 e F/v, ( 7 ( F ( a , ß ) ) ) is {1, met} if and only
if for any sets Ε and E' such that E/x and E'/y satisfy the formulae
a(x) and ß(y) respectively, E/x satisfies the formula 7(x) and Ε C
E\
Some verb types 227
This rule allows for partitive constructions of any kind, including those
in which a has a numerical or proportional determiner, with or without the
empty category Η as head, e.g. six/many/most of the priests or six members
of the committee. The possibility of universal quantification over E, as in
all/each of the books requires the use of C in the statement of the rule.
The condition that 7(x) be satisfied by Ε reflects the fact that in partitive
constructions intransitive verbs are predicated of the part rather than the
whole - analogous considerations apply to genitives.
(R.25) V(ofg e „) is that function F„f such that, for any α, β e FNP, F(a, 3) e
FNP such that, for any 7 e F]V, (^(F (a, 0))) is {1, met} if and only
if for any sets Ε and E' such that E/x and E'/y satisfy the formulae
Q(X) and 0(y) respectively, E/x satisfies 7(x) and belong-to{E,E').
The referents of a and 0 are specified as sets rather than just individuals in
light of such expressions as the wishes of the people. It will further be noted
that the predicate belong-to is far from explicit. In the rule, belong-to is
intended to cover all types of possession, including alienable and inalienable.
I take of in such phrases as the murder of Smith to be vacuous.
The rule for is similar to that for genitive of save that β must be
specified as a common noun rather than a nominal and that E/y satisfies 3(y)
and E'/x ct(x), so that 7 takes the correct argument.
In the above remarks, the verbal element of any sentence has been treated
merely as intransitive. That was reasonable since, with the aid of lambda
abstraction, all alternative structures involving transitive verbs ultimately be-
come intransitive. However, it is clearly necessary to provide semantic rules
for basic transitives. In this section, I shall give rules for a selected few,
largely avoiding some classes and topics such as performatives and presup-
positions discussed in chapter 6.
As observed in chapter 7, it is a considerable virtue of Cresswell's (1973)
treatment that transitive verbs like marry are analysed simply as taking two
arguments of category ve, i.e. two term variables. We may, therefore, state
the semantic rule for a two-place transitive verb like date as:
(R.26) V(date) is that function FTV such that, for any x, y e Ve and indi-
viduals, a and a', a'/y satisfies the formula in (A,y(F(x,y))) and a/x
228 Semantic rules
the formula in (A,x(F(x,a'))) if and only if a and a' are human and
not intensional and form the pair < a,a' > such that a dates a'.
is true if and only if the appropriate ordered pair consisting of the denotata
of Percy and Sally satisfies, in the strict sense, the formula, dated(\,y). Of
course, if either a or a' is not human, the relation date fails and the relevant
formula is not satisfied.
As in the above rule and as observed earlier, appropriate selectional re-
strictions require to be built into the rules for most lexical words, including
verbs, common nouns and adjectives. Thus, the patient of eat must be marked
as eatable and its agent as animate. In the case of a verb like murder, both
agent and patient must be human and, in addition, they must be distinct. The
decision how much information of this sort is to be included in any particular
case must be taken ad hoc, depending on the aims of the analysis and sample
size. The finer the filtering, the more specific the selectional restrictions.
Of course, the verb date is typical only of a certain type of two-place verb.
Equally important are verbs like seek which are intensional. As previous dis-
cussion has indicated, the treatment of such verbs can be quite complicated.
However, since De includes individual concepts, the rules for such inten-
sional verbs may still be stated on the pattern of the rule for date with the
clause disallowing intensional objects suitably adjusted. This is broadly in
line with Cresswell's (1973) treatment and is, in my view, what Montague's
(1973) meaning postulates ultimately amount to. Where he decrees that the
intensional operator, A, be substituted by its extensional counterpart, v, in the
rules for specific verbs, the above suggestion is that A be allowed in the rules
for some verbs and disallowed for others. The only advantage of Montague's
treatment is that it is uniformly intensional.
Verbs of degree higher than 2 will, of course, need to have the number of
their places precisely specified. I shall not take that matter further here beyond
noting that it is not always easy to say how many places are involved. Thus,
for example, kill is 3-place since the action it denotes necessarily involves
an instrument in addition to the agent and patient. By contrast, the position
is not so clear with a verb like see since arguments for and against regarding
the eyes as instrumental may be put forward.
As observed in chapter 7, there are many cases in which the same lexical
item may represent either a transitive or an intransitive verb. Thus, bum
Some verb types 229
(R.27) V(turn off) is that function FJV such that, for any x, y e ve and
individuals, a, a', a'/y satisfies the formula in (A,y(F(x,y))) and a/x
the formula in (A,x(F(x,a'))) if and only if a is animate and a' is
-animate and neither a or a' is intensional and a turns a' off.
Of course, other phraseal transitives, such as look for, may require different
selectional restrictions, e.g. in respect of the animate vs inanimate contrast,
or the distinction between intension and extension, but otherwise, they will
have similar rules to turn o f f .
Verbs which figure prominently in philosophical and linguistic discussion
are those which take sentential and those with infinitival complements. Such
verbs as believe and want were discussed earlier in the context of de dicto/de
re readings, chapter 4, section 4, and I shall not belabour those points here.
Obviously, however, it is necessary now to consider some of the issues which
arise in respect of the relevant semantic rules.
It will be recalled that Cresswell (1985) distinguished between two under-
lying ί/ιαί-complementisers, that0 with domain in the set, P, of propositions,
and thats whose domain is the references of the parts of sentences, i.e. the
senses of propositions denoted by complement clauses. These different com-
plementisers provide a straightforward basis for explaining the ambiguity of
a sentence like:
which on the reading with thato entails (82), but on that with thats does not.
of propositions, Ps. Finally, I include the subject condition for the entire
sentence.
(R.28) \(thato) is that function Fthat such that, for any 7, F(7) e FNP such
that: (I) for any β e f / y , (F(7))/x, = a'/x, satisfies the formula in
(λ,χ(/3,χ)), = (A,x(x,/3)), if and only if 7 e p; or (II) for any ß' e
FJV, (F(7))/y, = a'/y, satisfies the formula in (A,y(/3'(x,y))) if and
only if 7 e ρ and, for any individual, a, a/x satisfies the formula in
(A,x(/3'(x,a'))) only if a is human.
a , V ( t h a t s ) is that function Fthat such that, for any 7, F(7) e FNP such
that, for any β e Fjy, (F(7))/y, = a'/y, satisfies the formula in
(A,y(/3(x,y))) if and only if 7 e ρ <s, and for any individual, a, a/x
satisfies the formula in (A,x(/?(x,a'))) only if a is human.
(R.28, 28a) ensure that the two complementisers are assigned their correct
arguments. In addition, (I) of (R.28) guarantees that, for any appropriate
intransitive, say is true, and complement clause, say Jack runs:
(83) (That Jack runs is true) = (It is true that Jack runs).
(R.29) V(entails) is that function FTV such that, for any χ ,y e ve, q/y satis-
fies the formula in (A,y(F(x,y))) and p/x the formula in (A,x(F(x,q)))
if and only if ρ and q are propositions and (p q).
The semantic rule for presupposes will be along the lines of that for entails
save that the relation needs to be changed. The whole is # if q is false and
q true if ρ is either true or false.
Some verb types 231
(R.30) V(know) is that function Fjy such that, for any x,y e Ve and 7 e ρ
such that (that,7) e FNP, (that,7)/y, = a'/y, satisfies the formula in
(A,y(F(x,y))) if and only if ρ is 1, and a/x satisfies the formula in
(A,x(F(x,a'))) only if a is human.
The rules for verbs like believe will differ from that for know in that the
complement, 7, is required to be true not in fact, but in the belief-world of
the individual, a, who is the value of the subject NP. This is in line with
Hintikka's treatment (1962).
Cresswell (1973) provides a detailed treatment of the semantic rule for
want. I shall not summarise his discussion here. However, it should be ob-
vious that, unlike propositional attitude verbs such as believe, which take
sentential complements, want may take either an infinitival clause or ordi-
nary NP as its complement, as in:
In the infinitival case, the subject of the complement may be either Pro as
in (85), in which case, it might be advisable to regard the NP alternative as
the result of some reduction transformation on the underlying infinitive, or
the subjects of the main and complement clauses may be disjoint, as in (86).
In that case, any reduction is unthinkable. Thus, the alternative (87) clearly
does not derive from (86).
(R.31) V(want) is that function FTV such that, for any x,y e Ve: for any
individuals, a, a', such that a'/y satisfies the formula in (A,y(F(x,y)))
and a/x satisfies (A,x(F(x,a'))): either (i) a' jk ρ and a φ a'; or (II) a'
= {Pro,to,IV); or (III) a' = (a',to,IV) and a' φ a.
(R.32) V(manage) is that function FTV such that, for any x,y e Ve, at
time, j, a'/y satisfies the formula in (A,y(F(x,y))) and a/x satisfies
(A,x(F(x,a'))) if and only if a' = (Fro,to,IV) and, at some time, j '
prior to j, a/x satisfied the formula in (X,\(try to achieve(x,a'))).
Rule (R.32) specifies the subject of the infinitival complement as Pro since
the subject of manage in such constructions must always be identical with
that of the complement. Of course, to draft rules for other implicatives would
require taking syntactic differences into account. Thus, for instance, succeed
takes a gerundive in doing χ as complement, not a straightforward infinitive.
It is also obvious that the subjects of implicative verbs must be restricted to
animate beings.
In the previous chapter, I referred to the syntactic complexity of the verbs
seems/appears. Fortunately, their semantic rules are relatively straightfor-
ward - ignoring the sense of appear which may be glossed as 'come into
sight'. In (88) and (89), seems has the function of a modal operator probably.
Let us assume, for simplicity, that because of its verbal origins, seems
cannot be affixed directly to a sentence, in the manner of probably. It is,
thus, either provided with a dummy subject, as in (89), in which case its
Some verb types 233
(R.33) V(probably) is that function Ft/t such that, for any a e P, F(a) is
met if and only if (-L-(a)) is 1 and ((α = 1) more likely than (a =
0)) is met.
Armed with this rough definition, the rule for seems can be sketched as
follows.
(R.34) V(seems) is that function F,/t such that for any α e P, F(a) is met
if and only if probably(a) is met.
A disjunctive rule for may, based on (90) and (91), would be:
(R.35) V(may) is that function FAux such that, for any 7 e p, F(7) e ρ such
that F(7) is 1 if: (I) (-L-(7)) is 1; or (II) for some ,3 e FIV such that,
if a/x satisfies the formula in (Χ,χ(Θ,χ)), η = {β,a), there exists at
least one individual, a', such that a' permits that a/x satisfy (3,χ).
234 Semantic rules
Any event which is merely possible is subjunctive. In sense (II), the strictly
deontic operator, Permission, clearly requires to be analysed in terms of the
predicate permits.
The rules for the other modals will, time reference aside, be much like that
for may, though each will require its own peculiar specifications. Thus, for
example, can must be provided with several rules, including one based on
Ability. Must needs to be specified as denoting the modality of Inevitability
and also that of Compulsion. To state the rules for can and must would, as
observed earlier, be complicated by the interaction between these auxiliaries
and negation.
Semantic rules for the morphological pasts would, should, etc. are greatly
complicated by pragmatic considerations. Thus, for example, the notion of
Remoteness associated with past forms like would gives rise to its use in
polite requests and so forth.
8.5 Wh-words
(R.36) V(who) is that function FQlicmt such that, for any variable vq in a
formula, p, if there exists an individual, a, such that sJvq satisfies p,
Adjectives 235
then a is human and aJx satisfies any formula, p \ just like ρ save in
having χ for vq, which is a direct answer to F(p).
8.6 Adjectives
(R.37) V(correct) is that function FCN /CN S U C H that for any A E FCN, F ( Q ) E
FCN such that, for any set, E. such that a/x satisfies the formula Q(X)
236 Semantic rules
As in the earlier generalised rule for common nouns and intransitive verbs,
the above rule for correct is extensional, assuming the referents of common
nouns to be sets. There are, of course, intensional adjectives, such as imag-
inary. However, as before, such cases are allowed for by the presence of
intensional objects in De.
The point of stipulating that the individuals which are the values of the
correci-function be a subset of the set which is the value of the unmodified
common noun is that adjectives which denote accidental properties frequently
restrict the reference of common nouns. Thus, for example, correct answer
denotes a subset of all answers. That £,· may equal Ε itself is obvious from
Α-type statements such as:
If the adjective denotes an essential property, then the set denoted by the
unmodified common noun is precisely that denoted by the adjective-noun
complex. Thus, men and mortal men have exactly the same referents.
The semantic rule for correct requires that the property in question be
absolute. There are, of course, numerous doubtful cases such as the referent
of just which may or may not be absolute, depending on context. Thus, (93)
is not usually judged to be false in spite of the gradability implicit in the
comparative:
The semantic rule must, however, allow for straightforward assertions such
as (95) in which Jack might be judged to be among the very least thin
individuals - to possess that property in its smallest degree - or, alternatively,
to be at the other extreme:
Adjectives 237
(R.38) V(thin) . . . F(a) e FCN such that for any set Ε such that a/x satisfies
ct(\) if and only if a e E, there exist at least three sets, Ej and
e e, such that a/x meets thin(\) if and only if a e Ej, and a e Ej
if and only if a is thin to degree η, η > i or < k.
It is apparent that rules like those for correct and thin are woefully meagre
in the context of the semantics of adjectives generally. Quite apart from the
wider philosophical issues alluded to, there are many well-known problems
which would need to be addressed in a more language-specific treatment.
One such is, of course, the identification of appropriate sortal restrictions.
Thus, for example, rusty must be restricted to individuals capable of rusting,
intellectual to human individuals, delicious to edible things, etc..
A celebrated instance of a referential problem involving adjectives is pro-
vided by fake. Does the common noun fake signature refer to signatures or to
fakes? In either case, the reference is contradictory. In his (1973) fragment,
Montague includes alleged and Lewis's discussion (1970) is centred on this
term. In the next section, I shall attempt to draft the outlines of a semantic
rule for the adverb allegedly, but I will not be primarily concerned with the
specific issue of category ambiguity.
Another issue of considerable interest is adjective ordering. As Vendler
(1971) demonstrated, ordering in multiple modification is by no means arbi-
trary in English - and, presumably, all other languages. Thus, big, white pig
is normal, but white, big pig is not.
Since degree complements very commonly involve adjectives, this seems
an appropriate point at which to refer to them. The construction of semantic
rules for the relevant correlatives, such as too to requires, of course, that the
property figuring in the main clause be gradable. To state the rule in all its
detail proves rather complex and the following sketch for too to is rough
indeed.
(R.39) V(too to) is that function Fcorrei such that, for any a e F/y and β e
Dt, F(a,ß) e F/v such that a/x satisfies (F(a. 3))(x) if and only if
possible(ß) is {1 ,met} if and only if a/x satisfies Q(X) up to degree
n, and a/x satisfies a(x) at degree n', n' > n.
238 Semantic rules
In this rule, I assume that the complement sentence β may either be assigned
truth or pragmatic satisfaction in view of contrasting pairs such as:
The rule would, obviously, have to be expanded to cover adverbs and nom-
inals.
8.7 Adverbs
Some of the adverbs which function as sentence modifiers have figured al-
ready in this chapter, sections 2 and 4. I open this section with semantic
rules for some more sentential adverbs before proceeding to the discussion of
manner, time and place adverbs regardless of their sentence vs. IV-modifying
status.
In section 4, I proposed a semantic rule for probably which, like many
other adverbs, is not truth-functional since it involves subjective assessment.
The subjectivity of probably resides in judgement of plausibility. A somewhat
different case is offered by naturally as in (98).
(R.40) V(naturallyt/t) is that function Ft/t such that, for any a e Ρ and w
e W, F(a) is met if and only if α is 1 and for some individual, a,
such that a utters Naturally(a), [(a — 1) follows from w].
Rule (R.40) is very rough. In particular, the relation "follows from w" is
impressionistic. However, in the absence of a detailed discussion of causation,
the shorthand seems justified by its intuitive transparency.
Rather more complex is the semantic rule for a sentence-modifying adverb
like allegedly. The fundamental fact about this adverb is that the propositional
content of its scope is not asserted to be true or probable, but merely to have
been alleged to be so. Thus, (99) may be true even if Jack is a philanthropist.
Adverbs 239
However, to say that (99) is true if the proposition that Jack is a miser has
been alleged, is not sufficient. This is so because allegedly presupposes that
the situation denoted by the proposition in its scope is judged to be bad.
Thus, for instance, under normal circumstances, (100) is inappropriate.
(R.41) V(allegedly) is that function F,/, such that, for any a e P , F(a) is
met if and only if there exists an individual, a, such that a asserts
a' at time j and some other individual, a', utters allegedly(a) at
time j ' later than j and a either is a ' or is equivalent to a ' and a'
presupposes that the state of affairs expressed by a is bad.
In this rule it is not claimed that individual a' attributes the assertion of a
to a specific individual, a. Rather, it is the case that a is not attributed to a
or a' directly. This point is central to the appropriate use of allegedly. Since
allegedly modifies reported speech, it is necessary that its rule provide for
de re as well as de dicto interpretations.
In general, IV-modifying adverbs are less complex than their sentential
counterparts, though there seems to be a wider semantic range and such
issues as ordering are intricate.
A typical instance of a manner adverb is provided by quickly in:
in (101), quickly simply takes walks as its argument to yield the property
denoted by walks quickly.
In light of this approach to IV-adverbs, a semantic rule for quickly would
have the following outline:
(R.42) V(quickly) is that function Flv /lv such that, for any a e F/V, F(a) e
F/v such that, for any set, E, such that a/x satisfies α(χ) if and only
if a e E, there exists a set Ε,, c E, such that a/x meets (quickly,a)(x)
if and only if a e £,·.
(R.43) V(often) is that function FIV /[V such that, for any a e F/v, F(a) e
Fiv such that, for any set, E, such that a/x satisfies a(x) if and only
if a e E, there exists a set, £,·, c E, such that a/x meets {often,a)(x)
if and only if a e £,·.
Manner and frequency adverbs like quickly/often, apart from their subjec-
tive satisfiability, are semantically simple. More complex are time adverbs
such as yesterday. In keeping with the earlier discussion, (102) is true if and
only if (103) is true at a time exactly one day earlier than that on which (102)
is uttered.
At first glance, it might seem that what is required is a semantic rule for
the time adverbial now since that item fixes the time of an utterance as actual
present. However, while now may be used to refer to a span of time, as in
(104):
Evidently, while now(p) always implies today(p), not now{p) does not imply
not today(p). I conclude that the rule for now, (R.44), does not provide a
basis for a rule for today.
(R.44) V(now) is that function Ftj, such that, for any a e t , F(a) is 1 if and
only if, for any individual, a, such that a utters now(a) at a time, j,
a is 1 at j.
(R.45) V(today) is that function F,/, such that, for any a e Dt, F(a) is 1 if
and only if, for any individual, a, such that a utters today(a) during
a time-span, j, = 24 hours, α is 1 in j.
Given a rule like (R.45) for today, the formulation of rules for yester-
day/tomorrow is straightforward. The rule for yesterday will be as in (R.45)
save for the following abbreviated clauses:
(107) It is snowing.
(R.47) V(soon) is that function F,/, ... F(a) is met if and only i f . . . a utters
soon(a) at a time, j, and a is 1 at a time, j' later than j, and for a,
close-toi}' ,j).
Of course, time adverbials are frequently not unitary adverbs like soon but
prepositional phrases such as on Friday/in ten minutes, etc.. The denotations
of such phrases depend on the meanings of their parts and it is, therefore,
necessary to provide rules both for the preposition and the NP concerned.
It is well known that, in English, there are strict semantic constraints on
the choice of prepositions in prepositional phrases. Thus, at co-occurs with
NPs denoting points of time, as in at six ο 'clock, while on combines with NPs
which denote days of the week and in takes NPs denoting divisions of the
day, weeks, months and seasons. There are parallel restrictions for locatives.
242 Semantic rules
(R.48) V(onj) is that function FPrep such that for any a e FNP, F(a) e F/v /Iv
such that, for any j, j/x satisfies F(a,x) if and only if j is a day.
(R.49) W(atj) is that function Fprep such that, for any a e FNP, F ( a ) e FIV /IV
such that, for any j, j/x satisfies F(a,x) if and only if j is a moment
of time.
(R.50) V(here) is that function FLV /IV such that, for any β e FIV and a e
FNP such that (Β, A) is 1, ((F(/3)),a) is 1 if and only if there exists
a context, C, and a place, i, such that C(here) = i, and, for any
individual, a, such that a utters here(ß, α ) at i, (β, α ) is 1 at i.
The rule for there can be formulated using two distinct contextualised loca-
tions, i and i'.
(R.51) V(there) is that function FfV / I V such that, for any β e F[V and a e
FNP such that (Β, A) is 1, ((F(/?)),a) is 1 if and only if there exists
a context, C, and places, i, i', such that C(there) = i \ such that, for
any individual, a, such that a utters there(ß, α ) at i, (β, α) is 1 at i'.
Ajdukiewicz, Kazimierz
1935 "Syntactic connexion", in: S. McCall (ed.), 207-231. (Translated by B.
Bruckman, 1967.)
Allwood, Jens - Lars-Gunnar Andersson - Osten Dahl
1977 Logic in linguistics. Cambridge: Cambridge University Press.
Austin, John Langshaw
1962 How to do things with words. Cambridge, Mass: Harvard University Press.
Bach, Emmon - Robert T. Harms (eds.)
1968 Universals in linguistic theory. New York: Holt, Rinehart and Winston.
Basson, A . H . - D . J . O'Connor
1953 Introduction to symbolic logic. London: University Tutorial Press.
Belnap, Nuel D.
1969 "Questions: Their presuppositions, and how they can fail to arise", in: K.
Lambert (ed.), 23-38.
Bolinger, Dwight
1967 "Adjectives in English: Attribution and predication", Lingua 18: 1-34.
1968 "Entailment and the meaning of structures", Glossa 2: 119-127.
Boole, George
1854 An investigation of the laws of thought on which are founded the mathemat-
ical theories of logic and probability. London: Macmillan.
Cantor, Georg
1932 Gesammelte Abhandlungen mathematischen und philosophischen. (E. Zer-
melo, ed.) Berlin: Springer.
Carnap, Rudolph
1947 Meaning and necessity. Chicago: University of Chicago Press.
1961 Introduction to semantics and formalisation of logic. Cambridge, Mass: Har-
vard University Press.
Chafe, Wallace L.
1970 Meaning and the structure of language. Chicago: University of Chicago
Press.
Charniak, Eugene-Drew McDermott
1985 Introduction to artificial intelligence. Reading, Mass: Addison-Wesley.
244 Bibliography
Chomsky, Noam
1957 Syntactic structures. The Hague: Mouton.
1965 Aspects of the theory of syntax. Cambridge, Mass: MIT Press.
1972 Studies on semantics in generative grammar. The Hague: Mouton.
1980 Rules and representations. New York: Columbia University Press.
1986 Language and problems of knowledge. Cambridge, Mass: MIT Press.
Church, Alonzo
1941 The calculi of lambda conversion. Princeton: Princeton University Press.
1951 "The need for abstract entities in semantic analysis", Proceedings of the
American Academy of Arts and Sciences 80, no. 1: 100-112. [Reprinted in:
J.A. Fodor-J.J. Katz (eds.), 437-445.]
Cole, Peter-Jerry Morgan (eds.)
1975 Speech acts. New York: Academic Press.
Copi, Irving M.
1971 The theory of logical types. London: Routledge and Kegan Paul.
Cresswell, Max J.
1973 Logics and languages. London: Methuen.
1985 Structured meanings: The semantics of propositional attitudes. Cambridge,
Mass: MIT Press.
Curry, Haskell B.
1977 Foundations of mathematical logic. New York: Dover Publications.
Davidson, Donald - Gilbert Harman (eds.)
1972 Semantics of natural language. Dordrecht: Reidel.
Dirven, Rene-Günter Radden (eds.)
1982 Issues in the theory of universal grammar. Tübingen: Gunter Narr Verlag.
Donnellan, Keith
1966 "Reference and definite descriptions", Philosophical Review 75: 281-304.
[Reprinted in: D.D. Steinberg - L. A. Jakobovits (eds.), 100-114.]
Dowty, David R.
1979 Word meaning and Montague grammar. Dordrecht: Reidel.
Dowty, David R. - Robert E. Wall - Stanley Peters
1981 Introduction to Montague semantics. Dordrecht: Reidel.
Fillmore, Charles J.
1968 "The case for case", in: E. B a c h - R . T . Harms (eds.), 1-88.
Fillmore, Charles J.-Terence D. Langendoen (eds.)
1971 Studies in linguistic semantics. New York: Holt, Rinehart and Winston.
Fodor, Jerry A.-Jerrold J. Katz (eds.)
1964 The structure of language: Readings in the philosophy of language. Engle-
wood Cliffs, New Jersey: Prentice-Hall.
Bibliography 245
Lukasiewicz, Jan
1920 "On 3-valued logic", (Translated in: S. McCall (ed.), 15-115.)
Lyons, John
1968 Introduction to theoretical linguistics. Cambridge: Cambridge University
Press.
Mandelbaum, David G. (ed.)
1949 Selected writings of Edward Sapir in language, culture and personality.
Cambridge: Cambridge University Press.
McCall, Storrs (ed.)
1967 Polish logic 1920-1939. Oxford: Clarendon Press.
McCawley, James D.
1971 "Tense and time reference in English", in: C.J. Fillmore-T. Langendoen
(eds.), 96-113.
1981 Everything that linguists have always wanted to know about logic. Oxford:
Basil Blackwell.
Montague, Richard
1968 "Pragmatics", in: R. Klibansky (ed.) Contemporary philosophy: A survey.
Florence, La Nuova Italia Editrice, 102-122. [Reprinted in: R. Thomason
(ed.), 95-118.]
1970a "English as a formal language", in: B. Visentini et al. (eds.) Linguaggi nella
Societa e nella Tecnica. Milan, 189-224. [Reprinted in: R. Thomason (ed.),
188-221.]
1970b "Universal grammar", Theoria 36: 373-398. [Reprinted in: R. Thomason
(ed.), 222-246.]
1973 "The proper treatment of quantification in ordinary English", in: J. Hintikka
et al. (eds.). [Reprinted in: R. Thomason (ed.), 247-270.]
Montague, Richard - Donald Kalish
1959 "That", Philosophical Studies 10: 54-61. [Reprinted in: R. Thomason (ed.),
84-91.]
Moore, J.T.
1960 Fundamental principles of mathematics. New York: Holt, Rinehard and
Winston.
1962 Elements of abstract algebra. New York: Macmillan.
Partee, Barbara Hall
1962 "All about predeterminers", [Unpublished paper, MIT.]
1975 "Montague grammar and transformational grammar", Linguistic Inquiry vi
2: 203-300.
1976 (ed.) Montague grammar. New York: Academic Press.
Prior, Athur Norman
1968 Papers on time and tense. Oxford: Oxford University Press.
248 Bibliography
Sweet, Henry
1891 A new English grammar logical and historical. [Reprinted I960.] Oxford:
Clarendon Press.
Tarski, Alfred
1941 Introduction to logic and to the methodology of deductive sciences. (Trans-
lated by O. Helmer.) Oxford: Oxford University Press.
1956 Logic semantics and metamathematics. (Translated by J.H. Woodger.) Ox-
ford: Oxford University Press.
Taylor, John
1989 Linguistic categorisation. Prototypes in linguistic theory. Oxford: The Claren-
don Press.
ter Meulen, Alice G.B. (ed.)
1983 Studies in model theoretic semantics. Dordrecht: Foris Publications.
Thomason, Richmond H.
1974 Formal philosophy: Selected papers of Richard Montague. New Haven,
Conn: Yale University Press.
Van Dijk, Teun A.
1977 Text and context. Explorations in the semantics and pragmatics of discourse.
London: Longman.
Van Fraassen, Bas C.
1969 "Presuppositions, supervaluations, and free logic", in: K. Lambert (ed.),
67-91.
Van Heijenoort, Jean (ed.)
1967 From Frege to Gödel: A source book in mathematical logic. Cambridge,
Mass: Harvard University Press.
Van Riemsdijk, H a n k - E d w i n Williams
1986 Introduction to the theory of grammar. Cambridge, Mass: MIT Press.
Vendler, Zeno
1967 Linguistics in philosophy. Ithaca: Cornell University Press.
1971 "Singular terms", in: D.D. Steinberg - L. A. Jakobovits (eds.), 115-133.
Wall, Robert
1972 Introduction to mathematical linguistics. Englewood Cliffs: Prentice-Hall.
Whitehead, Alfred North - Bertrand Russell
1910 Principia mathematica. Cambridge: Cambridge University Press.
Zermelo, Ernst
1908 "Investigations in the foundations of set theory", in: J. Van Heijenoort (ed.),
199-215.
Index
quantifier 49, 85, 88, 106, 107, 116, Russell 15, 23, 24, 37, 40, 47, 69, 82,
167, 177, 178, 184, 186, 84, 92, 140, 141, 155, 177,
192 186, 204, 207, 235
— interpretation 106, 107, 119
— order 86 Sapir 223
— phrase 71, 87, 106, 176, 178, 179, satisfaction 5, 14, 17, 25, 48, 49, 59,
182, 183 73, 84, 130, 134, 135, 137,
— scope 17, 44, 45, 104, 106, 119, 140, 149, 209, 215, 224,
175 235, 238
— word 88, 167, 168, 176 scope 60, 85, 87, 105, 106, 120, 207
question 133, 153, 154 — ambiguity 85, 86, 88, 89
Quine 16, 79-81, 85-88, 102, 185, — of negation 147
186, 205, 220 Scott 127
Quirk 182 Searle 84, 136
second order calculus 49
range 6, 26 secondary occurrence 92
reconstruction 118 secondary presupposition 154
reduction 189, 192 selectional restriction 116
reference modifier 184 selectional restriction 216, 217, 228,
reflexive pronoun 106, 111, 114, 115, 229, 234
117, 123 semantic presupposition 138, 139,
reflexive relation 28 146, 151, 158
reflexivity 57 semantic redundancy 94
regimentation 102, 185 semantic representation 2, 18, 39, 59,
Reichenbach 22, 24, 27, 29, 50 61, 76, 104, 125, 130, 132
relation 5, 6, 15, 16, 22, 23, 25-29, sense 6, 62, 63, 72, 83, 93, 95, 96,
41, 48, 52, 55-57, 60, 71, 10, 129, 214, 229
94, 95, 107, 108, 111, 148, sentence grammar 107
149, 151, 158, 188, 192, sentence modifier 50, 183, 196
206, 207, 211 sentential adverb 63, 64, 182, 190
relative clause 90, 110, 112, 113, sentential complement 87, 91, 92,
141, 144, 175, 179, 185, 193, 194
186, 189, 198 sentential connective 203
relative pronoun 111, 143, 186 set 20, 28, 29, 31, 48, 141
relevance 14, 49, 204, 205 — theory 20
remote subject 124 Sgall 130
reported speech 91 shallow structure 2, 105, 120, 169,
Rescher 69, 147 219
restrictive relative clause 89, 185 similarity relation 23
Tightness 207 simple past 143
rigid designator 11 simple present 98, 100
rule of derivation 32 sortal presupposition 142, 143, 153,
rule of inference 32 156
rules of functional application 196 specific 7, 86-88, 170, 218, 220
260 Index
m Foundations of Axiomatic
Linguistics
m 1989.15.5 χ 23 cm. ΧΠ, 475 pages. Cloth.
ISBN 311 011234 5
m (Trends in Linguistics. Studies and Monographs 40]
m mouton de gniyter
Berlin · New York
m Dietmar Zaefferer (Editor)
m Semantic Universale and
Universal Semantics
m 1991. 24 χ 16 cm. VIII, 242 pages. Cloth.
ISBN 3110133911