Entailment, Presupposition, and Implicature
Entailment, as used by philosophers, is a term of art that, unlike logical consequence, lacks a precise definition that is consistently adhered to by those who employ it. Throughout much of the twentieth century, especially its early and middle years, many philosophers connected entailment with analyticity, requiring the material conditional ┌A ⊃ B┐ to be analytic when A entailed B. In later years, as conceptions of analyticity became less expansive, and philosophical uses of it more restricted, the presumption that entailment was to be understood in terms of analyticity waned. However, the relationship between entailment and necessity has remained robust. Standardly, when it is claimed that A entails B, B is taken to be a necessary consequence of A in the sense that it is impossible for A to be true without B's being true. Often, though not always, B is required to be apriori deducible from A, as well. The relata, A and B, are naturally thought of as propositions, or statements—in the sense of that which is stated by an assertive utterance of a sentence. However, sometimes theorists speak of sentences themselves as entailing other sentences. In such cases, it is natural to construe the relation holding between sentences as deriving from the primary entailment relation holding between the propositions they express.
This page contains 201 words.

Entailment, Presupposition, and Implicature article
Read the rest of this article.
This article contains 3,117 words
(approx. 10 pages at 300 words per page).