In
formal semantics, a Hurford disjunction is a
disjunction
In logic, disjunction is a logical connective typically notated as \lor and read aloud as "or". For instance, the English language sentence "it is raining or it is snowing" can be represented in logic using the disjunctive formula R \lor S ...
in which one of the disjuncts
entails the other. The concept was first identified by British linguist
James Hurford. The sentence "Mary is in the Netherlands or she is in Amsterdam" is an example of a Hurford disjunction since one cannot be in Amsterdam without being in the Netherlands. Other examples are shown below:
# #Tamina saw a Beatle or Paul McCartney.
# #The number I'm thinking of is divisible by 4 or it's even.
# #Is Wilbur a pig or an animal?
As indicated by the
octothorps in the above examples, Hurford disjunctions are typically
infelicitous. Their infelicity has been argued to arise from them being redundant, since simply uttering the stronger of the two disjuncts would have had the same semantic effect. Thus, they have been taken as motivation for a principle such as the following:
:Local Redundancy: An utterance is infelicitous if its logical form contains an instance of a binary operator
applied to arguments
or
, whose semantic contribution is contextually equivalent to that of either
or
on its own.
However, some particular instances of Hurford disjunctions are felicitous.
# Sofia ate some of the pizza or all of it.
# Henrietta is five feet tall or six feet tall.
Felicitous Hurford disjunctions have been analyzed by positing that the weaker disjunct is strengthened by an
embedded scalar implicature
In pragmatics, scalar implicature, or quantity implicature, is an implicature that attributes an ''implicit'' meaning beyond the explicit or ''literal'' meaning of an utterance, and which suggests that the utterer had a reason for not using a more ...
which eliminates the entailment between the disjuncts. For instance, in the first of the felicitous examples above, the left disjunct's unenriched meaning is simply that Sofia ate a nonzero amount of pizza. This would result in a redundancy violation since eating all the pizza entails eating a nonzero amount of it. However, if an embedded scalar implicature enriches this disjunct so that it denotes the proposition that that Sofia ate some ''but not all'' of the pizza, this entailment no longer goes through. Eating all of the pizza does not entail eating some but not all of it. Thus, Local Redundancy will still be satisfied.
[
]
See also
* Disjunction
In logic, disjunction is a logical connective typically notated as \lor and read aloud as "or". For instance, the English language sentence "it is raining or it is snowing" can be represented in logic using the disjunctive formula R \lor S ...
* Implicature
In pragmatics, a subdiscipline of linguistics, an implicature is something the speaker suggests or implies with an utterance, even though it is not literally expressed. Implicatures can aid in communicating more efficiently than by explicitly say ...
Notes
Semantics
Pragmatics
Logic
Formal semantics (natural language)
{{pragmatics-stub