1. LogiqueDans la théorie du langage naturel, forme faible d’implication contextuelle. Insinuation.Grice […] décelait une relation logique d’une nouvelle espèce entre propositions, relation que l’on pourrait appeler « invitation à inférer, suggestion d’une conclusion, insinuation ». Pour les désigner, il a forgé le terme d’« implicature ». Il en distingue deux espèces : l’implicature discursive véhiculée par le discours et l’implicature conventionnelle véhiculée par la langue.[L’implicature] ne fait pas partie de la signification des expressions utilisées, […] elle dépend du contexte, […] elle est annulable, […] elle n’est pas détachable […(]on ne pourrait substituer à l’énoncé porteur de l’insinuation un énoncé synonyme d’où elle serait absente[), et elle] peut être fausse sans que la proposition porteuse de l’insinuation devienne fausse, contrairement à [… l’implication (]qui sera fausse si l’impliquée est fausse) et […] à la […] présupposition [(]qui sera privée de valeur de vérité si la […] présupposée est fausse[)].