LING 360 Lecture Notes - Lecture 23: Implicature, If And Only If, Model Theory

• School: McGill University
• Department: Linguistics
• Course: LING 360
• Professor: Brendan S.Gillon

Document Summary

A set of formulas entails a formula, or entails , if and only each bivalent assignment which satisfies the set, , satisfies the formula, . Facts about entailment: if , then entails , if and entails , then entails . more premises, the conclusion will still hold. By adding premises, you are not making the conclusion go away. E. g. , if { 1, 2, 3} entails , then { 0, 1, 2, 3} entails . If you have a set of premises that entails a conclusion if you add in. This is what differentiates entailment from implicature if you add. E. g. , (cid:498)it is not the case that it is raining and it is windy; it is raining conclusion: it is windy(cid:499). So, implicature are cancellable were as entailments are not: entails iff entails and entails . So, a satisfies and a satisfies .