En sémantique et pragmatique, implication est le principe selon lequel, dans certaines conditions, la vérité d'une déclaration garantit la vérité d'une deuxième déclaration. Aussi appelé implication stricte, conséquence logique, et conséquence sémantique.
Les deux types d'implication qui sont "les plus fréquents dans la langue", explique Daniel Vanderveken, sont vérité conditionnelle et implications illocutoires. "Par exemple", dit-il, "la phrase performative" Je vous prie de m'aider "illocutoire implique la phrase impérative" S'il vous plaît, aidez-moi! " et la vérité implique conditionnellement la phrase déclarative "Vous pouvez m'aider" "(Actes de signification et d'élocution: principes d'utilisation de la langue, 1990).
"[O] ne déclaration implique un autre lorsque le second est une conséquence logiquement nécessaire du premier, comme Alan vit à Toronto implique Alan vit au Canada. Notez que la relation d'implication, contrairement à celle de la paraphrase, est à sens unique: il n'est pas vrai que Alan vit au Canada implique Alan vit à Toronto."(Laurel J. Brinton, La structure de l'anglais moderne: une introduction linguistique. John Benjamins, 2000)
"[M] toute, sinon toutes, les phrases affirmatives (déclarations, propositions) d'une langue permettent des inférences uniquement sur la base de leur signification. Par exemple, quand je dis Ben a été assassiné, alors quiconque a compris cet énoncé et accepte sa vérité acceptera également la vérité de la déclaration Ben est mort."(Pieter A. M. Seuren, Linguistique occidentale: une introduction historique. Wiley-Blackwell, 1998)
Un implication peut être considéré comme une relation entre une phrase ou un ensemble de phrases, les expressions entraînantes et une autre phrase, ce qui est impliqué… Nous pouvons trouver d'innombrables exemples où les relations d'implication tiennent entre les phrases et d'innombrables où elles ne le font pas. La phrase anglaise (14) est normalement interprétée de manière à comprendre les phrases de (15) mais pas celles de (16).
(14) Lee a embrassé Kim passionnément.
(15)
une. Lee a embrassé Kim.
b. Kim a été embrassée par Lee.
c. Kim a été embrassée.
ré. Lee a touché Kim avec ses lèvres.
(16)
une. Lee a épousé Kim.
b. Kim a embrassé Lee.
c. Lee a embrassé Kim plusieurs fois.
ré. Lee n'a pas embrassé Kim.
(Gennaro Chierchia et Sally McConnell-Ginet, Signification et grammaire: une introduction à la sémantique. MIT Press, 2000)
"Implication sémantique est la tâche de déterminer, par exemple, que la phrase: «Wal-Mart s'est défendue devant le tribunal aujourd'hui contre les allégations selon lesquelles ses employées auraient été privées d'emploi dans la gestion parce qu'elles sont des femmes«implique que»Wal-Mart a été poursuivi pour discrimination sexuelle."
"Déterminer si la signification d'un extrait de texte donné implique celui d'un autre ou s'ils ont le même sens est un problème fondamental dans la compréhension du langage naturel qui nécessite la capacité d'extraire la variabilité syntaxique et sémantique inhérente au langage naturel. Ce défi est au cœur de nombreuses tâches de traitement du langage naturel de haut niveau, y compris la réponse aux questions, l'extraction et l'extraction d'informations, la traduction automatique et d'autres qui tentent de raisonner et de capturer la signification des expressions linguistiques.
"La recherche en traitement du langage naturel au cours des dernières années s'est concentrée sur le développement de ressources qui fournissent plusieurs niveaux d'analyse syntaxique et sémantique, résolvent les ambiguïtés sensibles au contexte et identifient les structures relationnelles et les abstractions…". (Rodrigo de Salvo Braz et al., "An Inference Model for Semantic Implailment in Natural Languages." Défis de l'apprentissage automatique: évaluation de l'incertitude prédictive, classification des objets visuels et reconnaissance de l'implication textuelle, éd. par Joaquin Quiñonero Candela et al. Springer, 2006)