implication .
In mathematical logic, implication is a logical operation joining two
propositions into one by means of the logical connector “if… then”: “if A, then B”
116
where A is the
antecedent and B is the
consequent . In linguistics, implication is not
an operation of inference, but the result of the operation.
Another type of indirect meaning is inference.
Inference is an indirect
proposition independent of negation that can possibly be inferred from the original
utterance, but not necessarily so.
e.g. She did her best to pass the exam.
117
Lecture 16 Speech Acts Theory 1.
Speech acts theory. Classification of speech acts.
2.
