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.
Syntax–semantics interfaceIn linguistics, the syntax–semantics interface (also known as the syntax-lexical semantics interface) is the interaction between syntax and semantics. Its study encompasses phenomena that pertain to both syntax and semantics, with the goal of explaining correlations between form and meaning. Specific topics include scope, binding, and lexical semantic properties such as verbal aspect and nominal individuation, semantic macroroles, and unaccusativity. The interface is conceived of very differently in formalist and functionalist approaches.
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".
Generalized quantifierIn formal semantics, a generalized quantifier (GQ) is an expression that denotes a set of sets. This is the standard semantics assigned to quantified noun phrases. For example, the generalized quantifier every boy denotes the set of sets of which every boy is a member: This treatment of quantifiers has been essential in achieving a compositional semantics for sentences containing quantifiers. A version of type theory is often used to make the semantics of different kinds of expressions explicit.
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.
Type shifterIn formal semantics, a type shifter is an interpretation rule that changes an expression's semantic type. For instance, the English expression "John" might ordinarily denote John himself, but a type shifting rule called can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter that it generates. Without type shifting: Type shifting with : Type shifters were proposed by Barbara Partee and Mats Rooth in 1983 to allow for systematic type ambiguity.
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.
