|
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. This relationship is not transparent, since the scope of an operator need not directly correspond to its surface position and a single surface form can be semantically ambiguous between different scope construals. Some theories of scope posit a level of syntactic structure called logical form, in which an item's syntactic position corresponds to its semantic scope. Others theories compute scope relations in the semantics itself, using formal tools such as type shift ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Semantics (linguistics)
Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars. Overview Formal semantics studies the denotations of natural language expressions. High-level concerns include compositionality, reference, and the nature of meaning. Key topic areas include scope, modality, binding, tense, and aspect. Semantics is distinct from pragmatics, which encompasses aspects of meaning which arise from interaction and communicative intent. Formal semantics is an interdisciplinary field, often viewed as a subfield of both linguistics and ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Quantifier
In 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. Type theory A version of type theory is often used to make the semantics of different kinds of expressions explicit. The standard construction defines the set of types recursively as follows: #''e'' and ''t'' are types. #If ''a'' and ''b'' are both types, then so is \langle a,b\rangle #Nothing is a type, except what can be constructed on the basis of lines 1 and 2 above. Given this definition, we have the simple types ''e'' and ''t'', but also a countable infinity of complex types, some of which include: \langle e,t\rangle;\qquad \langle t,t\rangle;\qquad \langle\langle e,t\rangle, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Type Shifter
Type may refer to: Science and technology Computing * Typing, producing text via a keyboard, typewriter, etc. * Data type, collection of values used for computations. * File type * TYPE (DOS command), a command to display contents of a file. * Type (Unix), a command in POSIX shells that gives information about commands. * Type safety, the extent to which a programming language discourages or prevents type errors. * Type system, defines a programming language's response to data types. Mathematics * Type (model theory) * Type theory, basis for the study of type systems * Arity or type, the number of operands a function takes * Type, any proposition or set in the intuitionistic type theory * Type, of an entire function ** Exponential type Biology * Type (biology), which fixes a scientific name to a taxon * Dog type, categorization by use or function of domestic dogs Lettering * Type is a design concept for lettering used in typography which helped bring about modern textual printin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Barbara Partee
Barbara Hall Partee (born June 23, 1940) is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass). Biography Born in Englewood, New Jersey, Partee grew up in the Baltimore area. She is the younger sister of professional baseball player Dick Hall. She attended Swarthmore College, where she majored in mathematics with minors in Russian and philosophy. She did her graduate work at the Massachusetts Institute of Technology under Noam Chomsky. Her 1965 PhD dissertation from MIT was entitled ''Subject and Object in Modern English''. Partee began her professorial career at the University of California, Los Angeles in 1965 as an assistant professor of linguistics. She taught there until 1972, when she transferred to the University of Massachusetts Amherst, soon becoming a full professor. During her time at UMass Amherst, she has taught numerous students who would become notable linguists including Gennaro Chierch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Island (linguistics)
In linguistics, wh-movement (also known as wh-fronting, wh-extraction, or wh-raising) is the formation of syntactic dependencies involving interrogative words. An example in English is the dependency formed between ''what'' and the object position of ''doing'' in "What are you doing?" Interrogative forms are sometimes known within English linguistics as ''wh-words'', such as ''what, when, where, who'', and ''why'', but also include other interrogative words, such as ''how''. This dependency has been used as a diagnostic tool in syntactic studies as it can be observed to interact with other grammatical constraints. In languages with wh-movement, sentences or clauses with a wh-word show a non-canonical word order that places the wh-word (or phrase containing the wh-word) at or near the front of the sentence or clause ("''Who'' are you thinking about?") instead of the canonical position later in the sentence ("I am thinking about ''you''"). Leaving the wh-word in its canonical position ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantifier Raising
In generative grammar, the technical term operator denotes a type of expression that enters into an a-bar movement dependency.Chomsky, Noam. (1981) Lectures on Government and Binding, Foris, Dordrecht.Haegeman, Liliane (1994) Introduction to Government and Binding Theory. Blackwell.Koopman, H., & Sportiche, D. (1982). Variables and the Bijection Principle. ''The Linguistic Review, 2'', 139-60. One often says that the operator "binds a variable". Cinque, Guglielmo (1991) Types of A-Bar Dependencies. MIT Press. Operators are often determiners, such as interrogatives ('which', 'who', 'when', etc.), or quantifiers ('every', 'some', 'most', 'no'), but adverbs such as sentential negation ('not') have also been treated as operators.Zanuttini, R. (1997) Negation and Clausal Structure: A Comparative Study of Romance Languages, Oxford University Press. It is also common within generative grammar to hypothesise phonetically empty operators whenever a clause type or construction exhibits sympt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syntactic Movement
Syntactic movement is the means by which some theories of syntax address discontinuities. Movement was first postulated by structuralist linguists who expressed it in terms of ''discontinuous constituents'' or ''displacement''. Some constituents appear to have been displaced from the position in which they receive important features of interpretation. The concept of movement is controversial and is associated with so-called ''transformational'' or ''derivational'' theories of syntax (such as transformational grammar, government and binding theory, minimalist program). Representational theories (such as head-driven phrase structure grammar, lexical functional grammar, construction grammar, and most dependency grammars), in contrast, reject the notion of movement and often instead address discontinuities with other mechanisms including graph reentrancies, feature passing, and type shifters. Illustration Movement is the traditional means of explaining discontinuities such as w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
C-command
In generative grammar and related frameworks, a node in a parse tree c-commands its sister node and all of its sister's descendants. In these frameworks, c-command plays a central role in defining and constraining operations such as syntactic movement, binding, and scope. Tanya Reinhart introduced c-command in 1976 as a key component of her theory of anaphora. The term is short for "constituent command". Definition and examples Standard Definition Common terms to represent the relationships between nodes are below (refer to the tree on the right): *M is a parent or mother to A and B. *A and B are children or daughters of M. *A and B are sisters. *M is a grandparent to C and D. The standard definition of c-command is based partly on the relationship of dominance: ''Node N1 dominates node N2 if N1 is above N2 in the tree and one can trace a path from N1 to N2 moving only downwards in the tree (never upwards)''; that is, if N1 is a parent, grandparent, etc. of N2. For a node ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. However, it is not used in Lexical Functional Grammar and Head-Driven Phrase Structure Grammar, as well as some modern variants of the generative approach. Syntax interfacing with semantics The notion of Logical Form was originally invented for the purpose of determining quantifier scope. As the theory around the Minimalist program developed, all output conditions, such as theta-criterion, the case filter, Subjacency and bi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generative Grammar
Generative grammar, or generativism , is a linguistic theory that regards linguistics as the study of a hypothesised innate grammatical structure. It is a biological or biologistic modification of earlier structuralist theories of linguistics, deriving ultimately from glossematics. Generative grammar considers grammar as a system of rules that generates exactly those combinations of words that form grammatical sentences in a given language. It is a system of explicit rules that may apply repeatedly to generate an indefinite number of sentences which can be as long as one wants them to be. The difference from structural and functional models is that the object is base-generated within the verb phrase in generative grammar. This purportedly cognitive structure is thought of as being a part of a universal grammar, a syntactic structure which is caused by a genetic mutation in humans. Generativists have created numerous theories to make the NP VP (NP) analysis work in natural la ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tanya Reinhart
Tanya Reinhart ( he, טניה ריינהרט; July 1943 – March 17, 2007) was an Israeli linguist who wrote frequently on the Israeli-Palestinian conflict. She contributed columns to the Israeli newspaper ''Yediot Aharonot'' and longer articles to the ''CounterPunch'', ''Znet'', and Israeli Indymedia websites. Biography Reinhart was born in 1943 in Haifa in Mandate Palestine Mandatory Palestine ( ar, فلسطين الانتدابية '; he, פָּלֶשְׂתִּינָה (א״י) ', where "E.Y." indicates ''’Eretz Yiśrā’ēl'', the Land of Israel) was a geopolitical entity established between 1920 and 1948 i ... and raised by her mother.Victoria Brittain]"Tanya Reinhart" ''The Guardian'', 21 March 2007. She studied philosophy and Hebrew literature at the Hebrew University, Jerusalem as an undergraduate, where she later received an Master's degree, M.A. in comparative literature and philosophy. In 1976 she obtained a Doctor of Philosophy, Ph.D. in linguistics from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Variable
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol. In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context. A bound variable, in contrast, is a variable that has been ''bound'' to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifiers, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
