Understanding Implication, Entailment, and Presupposition
Understanding Implication, Entailment, and Presupposition
A presupposition can be tested across different sentence forms using 'the S family' test, where the basic assertion, its negation, questioning, modal forms, and conditional forms are checked to see if the presupposition remains true. For example, the assertion "The king of France is bald" presupposes that there is a king of France. This presupposition holds true for the sentence's negation, "The king of France is not bald," and also when the sentence is turned into a question, "Is the king of France bald?" Thus, presuppositions retain their validity regardless of these transformations .
'The S family' is significant in testing presuppositions because it demonstrates whether a presupposition holds across various sentence transformations, such as negation, questioning, modal forms, and conditionals. Unlike entailments, which might not survive such transformations, presuppositions remain constant regardless of these changes. For example, "The king of France is bald" presupposes the existence of a king of France, and this presupposition remains true even when the sentence is questioned, negated, or transformed in various ways . This characteristic allows for more robust and versatile understanding of underlying assumptions in communication .
Definitions are not the only answer to the question of meaning because meanings can also be conveyed through various referents such as synonyms, translations, images, or cultural implications. The document explains that meaning is broader than just definitions, as exemplified by how 'Enter' on a door implies permission to pass, an understanding that goes beyond a simple dictionary definition . This broad conception recognizes multiple ways to express meaning, reflecting cultural and contextual nuances .
The logical properties allowing a sentence like 'The king of France is bald' to retain its presuppositions across different modifications lie in the nature of presuppositions as assumptions backgrounded in the communicative context. They remain stable under transformations because they do not depend on the truth value of the sentence itself but exist as shared assumptions. Hence, regardless of whether the statement is negated, questioned, modalized, or transformed conditionally, the presupposed existence of a king of France persists . This constancy distinguishes presuppositions from entailments and implications, which are more dependent on truth relations .
Cultural assumptions are crucial in deriving implications as they provide the background knowledge necessary to understand what is implied beyond the literal meaning. For instance, the statement "someone has had a stroke" implies that "the person is unwell," which can only be derived if one understands what having a stroke means within a cultural context . Implications often depend on culturally shared knowledge and context that inform how language is interpreted .
Implication is broader than definitions because it includes not only direct definitions but also a range of referents that convey meaning, such as synonyms, translations, or cultural cues. For example, a sign saying 'in' at a doctor's office implies the doctor is available, a meaning derived from cultural understanding rather than a dictionary definition . Implications rely on understanding beyond literal meanings, often shaped by cultural and contextual exposure .
The document illustrates entailment with the statement 'Sue and Fred went to the party,' which entails 'Sue went to the party.' This example demonstrates that the truth of the conjunction necessarily implies the truth of each component part, thus defining an entailment where the larger truth 'entails' the smaller truth as a logical outcome. If the first statement is true, the entailment guarantees the truth of the statement regarding Sue's attendance independently of Fred's presence .
Entailment is considered a 'strong' implication because it establishes a necessary logical consequence between statements, where if A is true, B must also be true. This contrasts with other types of implications that may not have such a strict logical necessity. An example is "Mary broke the window," which entails "The window broke." Here, the truth of the first statement necessitates the truth of the second . This strong dependence defines entailment as a specific, rigorous type of implication .
Presuppositions are maintained across different transformations of a sentence, such as negation, questioning, modals, and conditionals, thanks to their assumption-like nature. For instance, the sentence "The king of France is bald" presupposes the existence of a king of France. This presupposition remains constant whether the sentence is negated as "The king of France is not bald," questioned as "Is the king of France bald?", modalized as "The king of France might be bald," or conditionalized as "If the king of France is bald, he should wear a hat in the winter" .
Entailment and presupposition differ in that entailment requires a logical dependency where the truth of one statement (A) necessitates the truth of another (B). For example, 'Tomorrow is Sunday' entails 'Today is Saturday' because if the first statement is true, the second must also be true . In contrast, presupposition involves background assumptions that remain constant across various transformations like negation or questioning. For instance, the statement "Mary loves dancing" presupposes that "Mary can dance," which is assumed to be true regardless of the statement's truth value .