Felicity (pragmatics)In linguistics and philosophy of language, an utterance is felicitous if it is pragmatically well-formed. An utterance can be infelicitous because it is self-contradictory, trivial, irrelevant, or because it is somehow inappropriate for the context of utterance. Researchers in semantics and pragmatics use felicity judgments much as syntacticians use grammaticality judgments. An infelicitous sentence is marked with the pound sign. The terms felicitous and infelicitous were first proposed by J. L.
Traditional grammarTraditional grammar (also known as classical grammar) is a framework for the description of the structure of a language. The roots of traditional grammar are in the work of classical Greek and Latin philologists. The formal study of grammar based on these models became popular during the Renaissance. Traditional grammars may be contrasted with more modern theories of grammar in theoretical linguistics, which grew out of traditional descriptions.
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 »).
Logical form (linguistics)In generative grammar and related approaches, the logical form (LF) of a linguistic expression is the variant of its syntactic structure which undergoes semantic interpretation. It is distinguished from phonetic form, the structure which corresponds to a sentence's pronunciation. These separate representations are postulated in order to explain the ways in which an expression's meaning can be partially independent of its pronunciation, e.g. scope ambiguities. LF is the cornerstone of the classic generative view of the syntax-semantics interface.
Condition de véritéEn sémantique, les conditions de vérité sont celles qui définissent précisément lorsqu'une phrase est vraie. Par exemple « Il neige dans les Alpes » est vraie précisément lorsqu'il neige dans les Alpes. Plus formellement, nous pouvons penser à une condition de vérité qui fait la vérité d'une phrase dans une définition par récurrence de vérité (voir théorie sémantique de la vérité). Ainsi comprises, les conditions de vérité sont des entités théorétiques.
Scope (formal semantics)In formal semantics, the scope of a semantic operator is the semantic object to which it applies. For instance, in the sentence "Paulina doesn't drink beer but she does drink wine," the proposition that Paulina drinks beer occurs within the scope of negation, but the proposition that Paulina drinks wine does not. Scope can be thought of as the semantic order of operations. One of the major concerns of research in formal semantics is the relationship between operators' syntactic positions and their semantic scope.
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.
Truth-conditional semanticsTruth-conditional semantics is an approach to semantics of natural language that sees meaning (or at least the meaning of assertions) as being the same as, or reducible to, their truth conditions. This approach to semantics is principally associated with Donald Davidson, and attempts to carry out for the semantics of natural language what Tarski's semantic theory of truth achieves for the semantics of logic. Truth-conditional theories of semantics attempt to define the meaning of a given proposition by explaining when the sentence is true.
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.
