WHEN PROPO A ENT PROPO B?
PROPO A TRUE, PROPO B MUST TRUE
-> PROPO A ENT PROPO B.
WHAT INFERENCE?
INFERENCE = CONCLUSION 1 ENTITLED
FROM SENT/ UTTER.
RELA ENTAIL &INFER?
+ALL ENTAIL = INFER,
+ NOT ALL INFER ENTAIL.
WHAT IMPLICATURE?
IMPLICATURE=
, + KIND of INFER,
+DISTINCT from ENTAIL
WHAT HAPPENS ANO PART UTTER / FOLL UTTER CONTRADIC ?
ANO PART UTTER / FOLL UTTER CONTRADIC .
=>IMPLICA of PART UTTER -> CANCELLED
EX ‘I tried to buy salt, and in fact I succeeded’,
->IMPLICA ( 1/2 utter) SP NOT buy salt
->CANCELLED by ASSERTION 1/2 utterance