Concept
Présupposition
Concepts associés (8)
Dynamic semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called context change potentials, which take an input context and return an output context.
Implication (pragmatique)
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.
Logique
La logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Implicature conversationnelle
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.
Common ground (linguistics)
In semantics, pragmatics, and philosophy of language, the common ground of a conversation is the set of propositions that the interlocutors have agreed to treat as true. For a proposition to be in the common ground, it must be common knowledge in the conversational context. The set of possible worlds compatible with the common ground is often called the context set. The concept is fundamental to many theories of discourse. In such theories, the speech act of assertion is often analyzed as a proposal to add an additional proposition to the common ground.
Conversational scoreboard
In linguistics and philosophy of language, the conversational scoreboard is a tuple which represents the discourse context at a given point in a conversation. The scoreboard is updated by each speech act performed by one of the interlocutors. Most theories of conversational scorekeeping take one of the scoreboard's elements to be a common ground, which represents the propositional information mutually agreed upon by the interlocutors. When an interlocutor makes a successful assertion, its content is added to the common ground.
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage. Elle n'est pas prescriptive mais descriptive. La prescription correspond à la norme, c'est-à-dire ce qui est jugé correct linguistiquement par les grammairiens. À l'inverse, la linguistique se contente de décrire la langue telle qu'elle est et non telle qu'elle devrait être. On trouve des témoignages de réflexions sur le langage dès l'Antiquité avec des philosophes comme Platon.
Interprétation (logique)
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.