 This distinction between meaning and use has found many applications in philosophy, linguistics and artificial intelligence. Both the analytic/synthetic distinction, which relies on a conception of truth by virtue of meaning, and the idea of a conversational implicature require for their full philosophical development a theory of meaning. Grice provided the beginning of a theory of meaning starting with his 1957 paper “Meaning” and elaborated in later papers (Grice 1968, 1969, 1982). The basic idea was to distinguish two notions of meaning: what a sentence means in general apart from any use of it, and what a specific speaker means by using the sentence on a particular occasion. Grice sees the latter notion as entirely a matter of what the speaker intends. Grice’s idea was to show that the abstract notion of sentence meaning was to be understood in terms of what specific speakers intend on specific occasions.The following sections will outline the Grice-Strawson arguments for an analytic-synthetic distinction (Section 2), notions of conversational implicature (3), and then delve into his theories about meaning (4), reasoning (5), psychology (6), ontology (7), and value (8).