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.
Discourse representation theoryIn formal linguistics, discourse representation theory (DRT) is a framework for exploring meaning under a formal semantics approach. One of the main differences between DRT-style approaches and traditional Montagovian approaches is that DRT includes a level of abstract mental representations (discourse representation structures, DRS) within its formalism, which gives it an intrinsic ability to handle meaning across sentence boundaries. DRT was created by Hans Kamp in 1981.
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.
Truth conditionIn semantics and pragmatics, a truth condition is the condition under which a sentence is true. For example, "It is snowing in Nebraska" is true precisely when it is snowing in Nebraska. Truth conditions of a sentence do not necessarily reflect current reality. They are merely the conditions under which the statement would be true. More formally, a truth condition makes for the truth of a sentence in an inductive definition of truth (for details, see the semantic theory of truth).
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.
LinguisticsLinguistics is the scientific study of language. The modern-day scientific study of linguistics takes all aspects of language into account — i.e., the cognitive, the social, the cultural, the psychological, the environmental, the biological, the literary, the grammatical, the paleographical, and the structural. Linguistics is based on a theoretical as well as descriptive study of language, and is also interlinked with the applied fields of language studies and language learning, which entails the study of specific languages.
