Phi 270
Fall 2013
(Site navigation is not working.)

7.4.2. Judging the scope of quantifier phrases

In the examples we have just been looking at, we were free to choose the order in which we analyzed quantifier phrases; but that is not always possible. A change in the order of analysis will change the relative scopes assigned to quantifiers, and this will often change the claim made by a sentence. We saw the examples in 7.1.1 where such changes corresponded to different possible interpretations of ambiguous sentences. Ambiguity is less pronounced with the limited range of quantifier phrases we are dealing with in this chapter, so certain ways of choosing the order of analysis will be definitely wrong.

One example where two interpretations do seem to be possible is the sentence Only teenagers went to each showing. As in the examples of 7.1.1, the two interpretations can be brought out by applying subject-predicate expansion in two different ways:

Only teenagers are such that (they went to each showing)

Each showing is such that (only teenagers went to it)

The first says that none apart from teenagers have the property of going back for each showing while the second says that the audience at each showing (if there was any) consisted solely of teenagers. Unlike the ambiguous examples of 7.1.1, neither of these claims implies the other (though the first can be false when the second is true only in a case where there are no showings at all).

The corresponding two analyses are the following:

Only teenagers are such that (they went to each showing)

(∀x: ¬ Tx) ¬ x went to each showing

(∀x: ¬ Tx) ¬ each showing is such that (x went to it)

(∀x: ¬ Tx) ¬ (∀y: Sy) x went to y

(∀x: ¬ Tx) ¬ (∀y: Sy) Wxy
∀x (¬ Tx → ¬ ∀y (Sy → Wxy))

Each showing is such that (only teenagers went to it)

(∀y: Sy) only teenagers went to y

(∀y: Sy) only teenagers are such that (they went to y)

(∀y: Sy) (∀x: ¬ Tx) ¬ x went to y

(∀y: Sy) (∀x: ¬ Tx) ¬ Wxy
∀y (Sy → ∀x (¬ Tx → ¬ Wxy))

S: [ _ is a showing]; T: [ _ is a teenager]; W: [ _ went to _ ]

The first denies the generalization x went to each showing in any case where x is a not a teenager. The second says of each showing that non-teenagers stayed away.

In other cases, there is less room for alternative interpretations. Since two of the kinds of generalization we are considering are negative, decisions about the relative scope of quantifier phrases are often at the same time decisions about the relative scope of negations and quantifier phrases, and English tends to be more unambiguous in that regard. We saw in 7.3.3 that the word any can be used to indicate that a sentence containing negation is not the denial of a generalization but rather the assertion of a generalization whose attribute is negative. For example, compare No one saw everything with No one saw anything. The first says of each person, x, that the generalization x saw everything is false while the second asserts of each thing that no one saw it. That is, the proper analyses of the two are the following:

No one saw everything

No one is such that (he or she saw everything)

(∀x: x is a person) ¬ x saw everything

(∀x: Px) ¬ everything is such that (x saw it)

(∀x: Px) ¬ ∀y x saw y

(∀x: Px) ¬ ∀y Sxy
∀x (Px → ¬ ∀y Sxy)

No one saw anything

Everything is such that (no one saw it)

∀y no one saw y

∀y no one is such that (he or she saw y)

∀y (∀x: x is a person) ¬ x saw y

∀y (∀x: Px) ¬ Sxy
∀y ∀x (Px → ¬ Sxy)

P: [ _ is a person]; S: [ _ saw _ ]

The first of these sentences is perhaps slightly ambiguous (with an outside chance that it would be interpreted in the way indicated by the second analysis) but the second is pretty clearly unambiguous. It should be added that this is in part a consequence of the choice of verb and tense; the sentence No one will eat anything could perhaps be understood in the way indicated by the first analysis—that is, with no one as the main quantifier phrase—and No one will eat just anything has that as its most natural interpretation.

A second pair of examples involves the other sort of negative generalization.

Only experts recognized every name on the list

Only experts are such that (they recognized every name on the list)

(∀x: ¬ x is an expert) ¬ x recognized every name on the list

(∀x: ¬ x is an expert) ¬ every name on the list is such that (x recognized it)

(∀x: ¬ Ex) ¬ (∀y: y is a name on the list) x recognized y

(∀x: ¬ Ex) ¬ (∀y: y is a name ∧ y is on the list) Rxy

(∀x: ¬ Ex) ¬ (∀y: Ny ∧ Oyl) Rxy
∀x (¬ Ex → ¬ ∀y ((Ny ∧ Oyl) → Rxy))

Only experts recognized any names on the list

Every name on the list is such that (only experts recognized it)

(∀y: y is a name on the list) only experts recognized y

(∀y: y is a name on the list) only experts are such that (they recognized y)

(∀y: y is a name ∧ y is on the list) (∀x: ¬ x is an expert) ¬ x recognized y

(∀y: Ny ∧ Oyl) (∀x: ¬ Ex) ¬ Rxy
∀y ((Ny ∧ Oyl) → ∀x (¬ Ex → ¬ Rxy))

E: [ _ is an expert]; N: [ _ is a name]; O: [ _ is on _ ]; R: [ _ recognized _ ]; l: the list

Again, though there may be some hint of ambiguity, the interpretations represented by these analyses are by far the most likely ones. However, restating the second sentence as Only experts recognized any name on the list might increase the chance that it would be understood as equivalent with the first.

Another example shows that the use of any occurs not only with negative generalizations but also in the restricting predicates of affirmative generalizations.

Everything that is relevant to everything is worth knowing

Everything that is relevant to everything is such that (it is worth knowing)

(∀x: x is relevant to everything) x is worth knowing

(∀x: everything is such that (x is relevant it)) x is worth knowing

(∀x: ∀y x is relevant to y) Wx

(∀x: ∀y Rxy) Wx
∀x (∀y Rxy → Wx)

Everything that is relevant to anything is worth knowing

Everything is such that (everything that is relevant to it is worth knowing)

∀y everything that is relevant to y is worth knowing

∀y everything that is relevant to y is such that (it is worth knowing)

∀y (∀x: x is relevant to y) x is worth knowing

∀y (∀x: Rxy) Wx
∀y ∀x (Rxy → Wx)

R: [ _ is relevant to _ ]; W: [ _ is worth knowing]

Notice that we could reverse the order of ∀y and ∀x in the statement of the second analysis with unrestricted quantifiers. That would trace the difference between it and the corresponding way of writing the first analysis to the location of ∀y in relation to the parentheses.

1st analysis: ∀x (∀y Rxy → Wx)
2nd analysis: ∀x ∀y (Rxy → Wx)

The difference in meaning between the these two sentences should make it clear that the placement of parentheses is as important in the case of quantifiers as it is in the case of connectives.

The moral to be drawn from the last three pairs of examples is that it is important to watch for cases where there are several quantifier phrases indicating generalization and one of them uses the word any or uses the word every in such a way that replacing it by any would change the meaning. As a rule, in cases where any and every contrast with one another, the word any indicates that the quantifier phrase has wider relative scope than some other operator (either a connective or a quantifier) and should be analyzed before this other operator while the word every indicates narrower scope than this other operator. There are many possibilities for the other operator mentioned here. Negation and negative generalization are probably the most common, but we have seen examples also of a contrast between any and every occurring in the antecedents of conditionals and in the restrictions of affirmative generalizations. When the other operator is one that we do not capture in our analyses, we will be able to identify the generalization only in the sentence of the pair in which it has wide scope. For example, we can analyze It might affect anyone by way of Everyone is such that (it might affect him or her); but It might affect everyone cannot be analyzed without seeing it as the result of applying an operator marked by the modal auxiliary might to a generalization, so it can be analyzed only when the logical forms produced by use of modal auxiliaries are studied.

Glen Helman 01 Aug 2013