This document discusses semantics and pragmatics, implicature, and Grice's theory of implicature. It defines semantics as the study of literal meaning and pragmatics as the study of intended meaning. Pragmatics considers what is meant rather than solely what is said. Grice's theory proposes that speakers follow a cooperative principle with maxims of quantity, quality, relation, and manner to ensure conversations are cooperative and successful. Implicature is the additional meaning implied rather than stated. There are different types of implicature including scalar, conversational, conventional, generalized, and particularized.