A family of familiar linguistic tests purport to help identify when a term is ambiguous. These tests are philosophically important: a familiar philosophical strategy is to claim that some phenomenon is disunified and its accompanying term is ambiguous. The tests have been used to evaluate disunification proposals about causation, pain, and knowledge, among others. -/- These ambiguity tests, however, have come under fire. It has been alleged that the tests fail for polysemy, a common type of ambiguity, and one that (...) is at issue in philosophically interesting cases. Furthermore, the objection that the tests fail for polysemy is often taken to be an undeniable bit of linguistic data. -/- We argue that this is mistaken. The objection implicitly relies on controversial assumptions about how to account for copredicational sentences, in which a single argument is ascribed prima facie incompatible properties. Furthermore, on several viable theories of copredication, the objection fails. However, our discussion also reveals that even if ambiguity tests are preserved, they may be significantly harder to execute than previously thought. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up (...) and mastered three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

Empirical evidence suggests that perceptual‐motor simulations are often constitutively involved in language comprehension. Call this “the simulation view of language comprehension”. This article applies the simulation view to illuminate the much‐discussed phenomenon of copredication, where a noun permits multiple predications which seem to select different senses of the noun simultaneously. On the proposed account, the (in)felicitousness of a copredicational sentence is closely associated with the perceptual simulations that the language user deploys in comprehending the sentence.

Polysemy is the linguistic phenomenon where a word has more than one sense. Polysemy is important to philosophy. This article considers four related strands of discussion in philosophy in which polysemy plays a crucial role: (i) Chomsky's argument against externalist semantics; (ii) copredication and zeugma; (iii) semantic accounts of philosophically significant terms; and (iv) metaphysical debates.