Sémantique formelleEn linguistique, la sémantique formelle cherche à comprendre le sens (linguistique) en construisant des modèles mathématiques précis des principes utilisés par le locuteur pour définir la relation entre des expressions en langage naturel et l’environnement supportant un discours faisant sens. Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
Tiroir verbalEn grammaire, un tiroir verbal est un sous-ensemble de formes de la conjugaison pour lequel tous les traits grammaticaux caractéristiques du verbe sont spécifiés – à l'exclusion des traits partagés avec les autres parties du discours comme la personne, le nombre ou le genre. Cela correspond à ce que la grammaire scolaire traditionnelle appelle un temps verbal. Un tiroir verbal constitue donc un paradigme à l'intersection de plusieurs traits grammaticaux spécifiques du verbe, lesquels varient selon les langues considérées : temps, aspect, mode, voix.
Import–export (logic)In logic, import-export is a deductive argument form which states that . In natural language terms, the principle means that the following English sentences are logically equivalent. If Mary isn't at home, then if Sally isn't at home, then the house is empty. If Mary isn't home and Sally isn't home, then the house is empty. Import-export holds in classical logic, where the conditional operator is taken as material implication. However, there are other logics where it does not hold and its status as a true principle of logic is a matter of debate.
Verbe modalL'auxiliaire modal ou semi-auxiliaire modal (du latin modus,-i, « mesure musicale, mode, manière ») est un des outils linguistiques parmi d'autres permettant d'exprimer une modalité, c'est-à-dire de présenter un fait comme possible, impossible, nécessaire, permis, obligatoire, souhaitable, vraisemblable. L'énoncé Il travaille est une affirmation simple, rendant compte d'un fait, alors que Il peut ou Il doit travailler sont des assertions modalisées par le recours aux verbes pouvoir et devoir.
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.
Sémantique de KripkeEn logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
