Summary of Reference, Deixis, Presupposition, and Entailment

## Introduction Entailment is a core concept in semantics that captures what logically follows from a sentence. If a sentence is true, its entailments must also be true. This study material explains entailment clearly, shows how it differs from related phenomena, and gives practical examples and applications for students of linguistics and logic. > **Definition:** Entailment is a relation between sentences where the truth of one sentence guarantees the truth of another. ## 1. What entailment is - Entailment connects a **premise sentence** (the entailer) to a **conclusion sentence** (the entailed). If the entailer is true, the entailed sentence cannot be false. - Crucially, entailments **do not survive negation**: if you negate the entailer, the entailment no longer necessarily holds. ### Example - "Rover chased three squirrels." entails:"Something chased three squirrels." - If the original sentence is true, the entailment must be true. - If we negate: "Rover did not chase three squirrels." this does **not** entail "Something chased three squirrels." > **Definition:** An entailment fails to survive negation — a true entailment from S does not automatically follow from not-S. ## 2. Types of entailment in discourse ### Foreground entailment - Foreground entailments are the points the speaker **intends to emphasize**. - Controlled by stress and context. - Example: "ROVER chased three squirrels." — the focus is *who* chased them. ### Background entailment - Background entailments are **automatic logical consequences** the listener can infer without emphasis. - Example: From "Rover chased three squirrels" we automatically get that three squirrels were chased. > **Definition:** Foreground entailment highlights the main asserted information; background entailment describes logical consequences that require no special emphasis. ## 3. How to recognize entailment - Ask: If this sentence is true, must the other sentence also be true? - Check negation: If negating the original sentence makes the putative entailment false or unsupported, that relation is likely entailment rather than presupposition. ### Quick checks 1. Truth-conditional test: Does the truth of A force the truth of B? If yes, A entails B. 2. Negation test: Does not-A still force B? If yes, B is presupposed; if no, B is entailed. ## 4. Comparison: Entailment vs Presupposition | Feature | Entailment | Presupposition | |---|---:|---:| | Survives negation? | No | Yes | | Requires special background assumptions? | No (logical consequence) | Yes (taken for granted) | | Example sentence | "Rover chased squirrels." | "Mary's dog is cute." | | Inference | Something chased squirrels | Mary has a dog | > **Definition:** A presupposition is a background assumption a speaker takes for granted; it typically survives negation. An entailment is a logical consequence that does not survive negation. ## 5. Common sources of entailments - **Quantifiers and numbers:** "She read three books." entails at least three books were read. - **Action/state verbs with clear consequences:** "He broke the window." entails the window is broken. - **Relational terms:** "Alice is Bob's sister." entails both Alice and Bob exist and have a sibling relation. ### Examples - Lexical: Change-of-state verbs often presuppose a prior state (this is presupposition, not entailment) — contrast with entailment examples to avoid confusion. - Counterfactual constructions: "If I were a bird..." presuppose the opposite (this is presupposition), not an entailment. Use the negation test to separate them. Fun fact: Entailment is central to natural language inference tasks in computational linguistics, where models must determine whether one sentence logically follows from another. ## 6. Real-world applications - Natural Language Processing (NLP): determining entailment helps in question answering and fact verification. - Law and contracts: interpreting whether a clause logically implies obligations or rights. - P