Dynamic semanticsDynamic 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.
Théorie des représentations du discoursLa théorie des représentations du discours (sigle : DRT pour l'anglais discourse representation theory) est un modèle théorique offrant une représentation du langage par l'examen du contenu sémantique dépendant du contexte dans un discours. Il fut créé à l'origine par Hans Kamp, en 1981, pour résoudre le problème des pronoms donkey. Une théorie très similaire fut développée indépendamment par Irene Heim en 1982 sous le nom de File Change Semantics (« Théorie du changement du contexte »).
Categorial grammarCategorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek.
LinguistiqueLa 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.
ActantEn grammaire, un actant (ou argument en grammaire générative) est un élément syntaxique nominal imposé par la valence de certaines classes lexicales : le verbe principalement, mais aussi le nom, l'adjectif, la préposition... Un actant se situe dans le schéma actanciel qui décrit l'organisation syntaxique nécessaire à certains mots dotés d'une valence afin qu'ils soient saturés. Ces termes doivent déterminer un procès, ou contenu sémantique du prédicat capable de transformer le thème, qu'il indique un processus (se reposer, travailler, tousser, etc.
Modality (linguistics)In linguistics and philosophy, modality refers to the ways language can express various relationships to reality or truth. For instance, a modal expression may convey that something is likely, desirable, or permissible. Quintessential modal expressions include modal auxiliaries such as "could", "should", or "must"; modal adverbs such as "possibly" or "necessarily"; and modal adjectives such as "conceivable" or "probable".
LogiqueLa 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).
Anaphore (grammaire)En grammaire, une anaphore (du grec ἀναφορά, reprise, rapport) est un mot ou un syntagme qui, dans un énoncé, assure une reprise sémantique d'un précédent segment appelé antécédent. Sans cet antécédent, l'anaphore perd son sens. C’est pourquoi elle doit toujours être liée avec un autre élément dans la phrase. Les anaphores permettent des interprétations principalement locales. On retrouve cependant des preuves d'anaphore ayant un référent plus éloigné dans l'ouvrage de Koster et Reuland (1991).
Phrase conditionnelleEn syntaxe, on appelle phrase conditionnelle une phrase complexe contenant au moins une proposition subordonnée conditionnelle et sa proposition principale. La proposition conditionnelle est directement subordonnée au verbe de la principale. Cette subordonnée est en général définie comme exprimant la condition du remplissement ou du non-remplissement de laquelle dépend la réalisation ou non du procès du verbe principal. Certains auteurs ajoutent à cela que la proposition conditionnelle remplit la fonction d'un complément circonstanciel conditionnel.
Dénotation et connotationEn linguistique, pour un signe quelconque (en particulier des mots et expressions du langage parlé ou écrit), le sens signifié dénotatif, la dénotation, est distinct du sens ou signifié connotatif, la connotation. La dénotation est le sens littéral d'un terme, que l'on peut définir (et trouver dans le dictionnaire). La connotation est l'ensemble des éléments de sens qui peuvent s'ajouter à ce sens littéral (et qui peuvent se trouver ou non dans le dictionnaire).
Epistemic modalityEpistemic modality is a sub-type of linguistic modality that encompasses knowledge, belief, or credence in a proposition. Epistemic modality is exemplified by the English modals may, might, must. However, it occurs cross-linguistically, encoded in a wide variety of lexical items and grammatical structures. Epistemic modality has been studied from many perspectives within linguistics and philosophy. It is one of the most studied phenomena in formal semantics. (a) grammatically: through modal verbs (e.g.
Conditionnels contrefactuelsLes conditionnels contrefactuels (counterfactual conditionals en anglais) sont des propositions utilisées pour exprimer une situation hypothétique dans le passé et de leur conséquences imaginaires. Cette construction grammaticale est utilisée pour spéculer sur des situations qui n'ont pas réellement eu lieu, mais qui auraient pu se produire si les circonstances avaient été différentes. Le conditionnel contrefactuel se présente généralement sous la forme « Si A était le cas, alors B serait le cas ».
Interrogation (linguistique)En linguistique, l'interrogation est un acte de langage par laquelle l'émetteur d'un énoncé adresse au destinataire (réel ou fictif) de celui-ci une demande d'information portant sur son contenu. Une phrase interrogative est couramment appelée « question ». L'interrogation totale concerne la phrase entière et appelle une réponse totale, comme « oui », « non », « sûrement »... Une telle question totale porte en fait très souvent sur un élément partiel, mis en relief par divers moyens ou non : ex.
Sémantique des langages de programmationEn informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Comme en linguistique, la sémantique, appliquée aux langages de programmation, désigne le lien entre un signifiant, le programme, et un signifié, objet mathématique. L'objet mathématique dépend des propriétés à connaître du programme. La sémantique est également le lien entre : le langage signifiant : le langage de programmation le langage signifié : logique de Hoare, automates.
Prédicat (linguistique)En grammaire, le prédicat est une partie de la phrase simple. Sa notion connaît plusieurs interprétations, toutes prenant en compte son rapport avec une autre partie de la phrase simple, le sujet. Selon l’une des interprétations, le prédicat est un syntagme verbal, qu’il soit constitué d’un verbe seul, ou de celui-ci et d’un ou plusieurs éléments qui lui sont subordonnés. Par exemple, dans la phrase Pierre écrit une lettre à sa mère, le prédicat serait toute la partie de la phrase qui suit le sujet Pierre.
VaguenessIn linguistics and philosophy, a vague predicate is one which gives rise to borderline cases. For example, the English adjective "tall" is vague since it is not clearly true or false for someone of middling height. By contrast, the word "prime" is not vague since every number is definitively either prime or not. Vagueness is commonly diagnosed by a predicate's ability to give rise to the Sorites paradox. Vagueness is separate from ambiguity, in which an expression has multiple denotations.
Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Description définieUne description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »). À la différence du nom propre, une description définie ne nomme pas un objet, mais affirme, selon Russell, qu'il existe un et un seul objet qui satisfait cette description. Russell a développé l'idée de description définie dans l'article On denoting (1905), en opposition à la philosophie du langage frégéenne.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
