Within linguistics, this notion of implied meaning falls under the area of pragmatics. Philosopher of language H. P. Grice coined the term implicature to describe what a sentence is being used to mean, rather than what it means literally. Implicature allows us to communicate efficiently.
