Intersective modifier

In linguistics, an intersective modifier is an expression which modifies another by delivering the intersection of their denotations. One example is the English adjective "blue", whose intersectivity can be seen in the fact that being a "blue pig" entails being both blue and a pig. By contrast, the English adjective "former" is non-intersective since a "former president" is neither former nor a president.

When a modifier is intersective, its contribution to the sentence's truth conditions do not depend on the particular expression it modifies. This means that one can test whether a modifier is intersective by seeing whether it gives rise to valid reasoning patterns such as the following.

# Floyd is a Canadian surgeon.
# Floyd is an arsonist.
# ''Valid:'' Therefore Floyd is a Canadian arsonist.

With a non-intersective modifiers such as "skillful", the equivalent deduction would not be valid.

# Floyd is a skillful surgeon.
# Floyd is an arsonist.
# ''Not valid:'' Therefore Floyd is a skillful arsonist.

Modifiers can be ambiguous, having both intersective and nonintersective interpretations. For instance, the example below has an intersective reading on which Oleg is both beautiful and a dancer, but it also has a merely subsective reading on which Oleg dances beautifully but need not himself be beautiful.

# Oleg is a beautiful dancer.

On a textbook semantics for modification, an intersective modifier denotes the set of individuals which have the property in question. When the modifier modifies a modifiee which also denotes a set of individuals, the resulting phrase denotes the intersection of their denotations.

# ![ \text !">\text_.html" ;"title="![ \text ">![ \text != \
# ![ \text !">\text_.html" ;"title="![ \text ">![ \text != \ \cap \

Such meanings can be compositionality">composed either by introducing an interpretation rule ''Predicate Modification'' which hard-codes intersectivity. However, this mode of composition can also be delivered by standard ''Function Application'' if the modifier is given a higher semantic type, either lexically or by applying a type shifter">type theory">semantic type, either lexically or by applying a type shifter.

# ''Predicate Modification Rule:'' If $\alpha$ is a branching node with daughters $\beta$ and $\gamma$ where $[\![\beta]\!], [\![\gamma]\!] \in \mathcal_$, then $[\![\alpha]\!] = \lambda x_e \, . \, x \in [\![\beta]\!]\cap[\![\gamma]\!]$.

See also

*
*
*
*
*
*

References

Grammar
Semantics
Adjectives by type
Formal semantics (natural language)
{{semantics-stub