Abstract

Since Horn (1972) the notion of conversational implicature proposed by Grice has been put to use to explain certain interpretive differences between expressions in natural language and their counterparts in formal logic. For example, the sentences in (1) seem to convey more than they would be expected to if the natural language disjunction or had the same meaning as the logical disjunction ∨, or if the quantificational determiner some was interpreted as the existential quantifier ∃.