L'implication est un terme de la linguistique pragmatique qui s'illustre à travers l'exemple suivant « le président a été assassiné » ne suggère pas simplement qu'il est vrai que « le président est mort », mais exige cela. En outre, une implication ne peut être annulée, contrairement à une implicature qui peut disparaître si on ajoute une proposition.
L'implicature n'est pas une propriété sémantique de l'énoncé lui-même, contrairement à une présupposition implicite de celui-ci. Par exemple, en énonçant la phrase « Marie a eu un bébé et s'est mariée », le locuteur suggère que Marie a d'abord eu un bébé, puis s'est mariée. Mais cet énoncé demeure vrai, au sens strict, sémantique, si elle s'était d'abord mariée, avant d'avoir un bébé. Si on ajoute la proposition « pas forcément dans cet ordre » à cette phrase, alors son sens n'est pas altéré, mais l'implicature disparaît.
Ce concept est utilisé au sein du Web sémantique pour définir le système d'implication dans une base de données (RDF).
Le système d'implication permet à un agent intelligent d'opérer des déductions à l'aide de relations d'implication dans une base de données. Il permet aussi de vérifier l'intégrité des données au sein du système d'implication, car des erreurs peuvent survenir à chaque enregistrement de nouvelles données.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En linguistique la présupposition (ou présupposé) est un type d'inférence pragmatique, c'est-à-dire une information qu'on peut tirer d'un énoncé. Une personne présuppose une information lorsqu'elle tient une information pour acquise. Par exemple, dans la phrase "Mon amie a arrêté de fumer", on présuppose que l'amie a fumé par le passé; cette information est tenue pour acquise et n'a pas besoin d'être explicitée.
L'implicature conversationnelle est un terme de la linguistique pragmatique forgé par le philosophe Paul Grice, qui explique ce concept à l'aide de ses maximes . Elle se réfère à ce qui est suggéré ou signifié par un locuteur, de façon implicite. L'implicature n'est pas une propriété sémantique de l'énoncé lui-même, contrairement à une présupposition implicite de celui-ci. Par exemple, en énonçant la phrase « Marie a eu un bébé et s'est mariée », le locuteur suggère que Marie a d'abord eu un bébé, puis s'est mariée.
Un acte de langage (ou acte de parole) est un moyen mis en œuvre par un locuteur pour agir sur son environnement par ses mots : il cherche à informer, inciter, demander, convaincre, promettre, etc. son ou ses interlocuteurs par ce moyen. Cette théorie, liée à la philosophie du langage ordinaire, a été développée par John L. Austin dans Quand dire c'est faire (1962), puis par John Searle.