|
Intersective Modifier
In linguistics, an intersective modifier is an expression which modifies another by delivering the intersection of their denotations. One example is the English adjective "blue", whose intersectivity can be seen in the fact that being a "blue pig" entails being both blue and a pig. By contrast, the English adjective "former" is non-intersective since a "former president" is neither former nor a president. When a modifier is intersective, its contribution to the sentence's truth conditions do not depend on the particular expression it modifies. This means that one can test whether a modifier is intersective by seeing whether it gives rise to valid reasoning patterns such as the following. # Floyd is a Canadian surgeon. # Floyd is an arsonist. # ''Valid:'' Therefore Floyd is a Canadian arsonist. With a non-intersective modifiers such as "skillful", the equivalent deduction would not be valid. # Floyd is a skillful surgeon. # Floyd is an arsonist. # ''Not valid:'' Therefore Floyd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Linguistics
Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguistics is concerned with both the cognitive and social aspects of language. It is considered a scientific field as well as an academic discipline; it has been classified as a social science, natural science, cognitive science,Thagard, PaulCognitive Science, The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.). or part of the humanities. Traditional areas of linguistic analysis correspond to phenomena found in human linguistic systems, such as syntax (rules governing the structure of sentences); semantics (meaning); morphology (structure of words); phonetics (speech sounds and equivalent gestures in sign languages); phonology (the abstract sound system of a particular language); and pragmatics (how soc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Type Theory
In mathematics, logic, and computer science, a type theory is the formal system, formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a Foundations of mathematics, foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed lambda calculus, typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most proof assistant, computerized proof-writing systems use a type theory for their foundation. A common one is Thierry Coquand's Calculus of constructions, Calculus of Inductive Constructions. History Type theory was created to avoid a paradox in a mathematical foundation based on naive set theory and formal logic. Russell's paradox, which was discovered by Bertrand Russell, existed because a set could be defined using "all possible sets", which included itself. Between 1902 and 1908, Bertrand Russe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and computer science. History In English, the study of meaning in language has been known by many names that involve the Ancient Greek word (''sema'', "sign, mark, token"). In 1690, a Greek rendering of the term ''semiotics'', the interpretation of signs and symbols, finds an early allusion in John Locke's ''An Essay Concerning Human Understanding'': The third Branch may be called [''simeiotikí'', "semiotics"], or the Doctrine of Signs, the most usual whereof being words, it is aptly enough termed also , Logick. In 1831, the term is suggested for the third branch of division of knowledge akin to Locke; the "signs of our knowledge". In 1857, the term '' semasiology'' (borrowed from German ''Semasiologie'') is attested in Josiah W. Gibbs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Grammar
In linguistics, the grammar of a natural language is its set of structure, structural constraints on speakers' or writers' composition of clause (linguistics), clauses, phrases, and words. The term can also refer to the study of such constraints, a field that includes domains such as phonology, morphology (linguistics), morphology, and syntax, often complemented by phonetics, semantics, and pragmatics. There are currently two different approaches to the study of grammar: traditional grammar and Grammar#Theoretical frameworks, theoretical grammar. Fluency, Fluent speakers of a variety (linguistics), language variety or ''lect'' have effectively internalized these constraints, the vast majority of which – at least in the case of one's First language, native language(s) – are language acquisition, acquired not by conscious study or language teaching, instruction but by hearing other speakers. Much of this internalization occurs during early childhood; learning a language later ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Relative Clause
A relative clause is a clause that modifies a noun or noun phraseRodney D. Huddleston, Geoffrey K. Pullum, ''A Student's Introduction to English Grammar'', CUP 2005, p. 183ff. and uses some grammatical device to indicate that one of the arguments in the relative clause refers to the noun or noun phrase. For example, in the sentence ''I met a man who wasn't too sure of himself'', the subordinate clause ''who wasn't too sure of himself'' is a relative clause since it modifies the noun ''man'' and uses the pronoun ''who'' to indicate that the same "man" is referred to in the subordinate clause (in this case as its subject). In many European languages, relative clauses are introduced by a special class of pronouns called '' relative pronouns'', such as ''who'' in the example just given. In other languages, relative clauses may be marked in different ways: they may be introduced by a special class of conjunctions called '' relativizers'', the main verb of the relative clause may appear ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Prepositional Phrase
An adpositional phrase, in linguistics, is a syntactic category that includes ''prepositional phrases'', ''postpositional phrases'', and ''circumpositional phrases''. Adpositional phrases contain an adposition (preposition, postposition, or circumposition) as head and usually a complement such as a noun phrase. Language syntax treats adpositional phrases as units that act as arguments or adjuncts. Prepositional and postpositional phrases differ by the order of the words used. Languages that are primarily head-initial such as English predominantly use prepositional phrases whereas head-final languages predominantly employ postpositional phrases. Many languages have both types, as well as circumpositional phrases. Types There are three types of adpositional phrases: prepositional phrases, postpositional phrases, and circumpositional phrases. Prepositional phrases The underlined phrases in the following sentences are examples of prepositional phrases in English. The preposit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Grammatical Modifier
In linguistics, a modifier is an optional element in phrase structure or clause structure which ''modifies'' the meaning of another element in the structure. For instance, the adjective "red" acts as a modifier in the noun phrase "red ball", providing extra details about which particular ball is being referred to. Similarly, the adverb "quickly" acts as a modifier in the verb phrase "run quickly". Modification can be considered a high-level domain of the functions of language, on par with predication and reference. Premodifiers and postmodifiers Modifiers may come either before or after the modified element (the '' head''), depending on the type of modifier and the rules of syntax for the language in question. A modifier placed before the head is called a premodifier; one placed after the head is called a postmodifier. For example, in ''land mines'', the word ''land'' is a premodifier of ''mines'', whereas in the phrase ''mines in wartime'', the phrase ''in wartime'' is a postmodi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Adjective
In linguistics, an adjective ( abbreviated ) is a word that generally modifies a noun or noun phrase or describes its referent. Its semantic role is to change information given by the noun. Traditionally, adjectives were considered one of the main parts of speech of the English language, although historically they were classed together with nouns. Nowadays, certain words that usually had been classified as adjectives, including ''the'', ''this'', ''my'', etc., typically are classed separately, as determiners. Here are some examples: * That's a funny idea. ( attributive) * That idea is funny. ( predicative) * * The good, the bad, and the funny. (substantive) Etymology ''Adjective'' comes from Latin ', a calque of grc, ἐπίθετον ὄνομα, epítheton ónoma, additional noun (whence also English ''epithet''). In the grammatical tradition of Latin and Greek, because adjectives were inflected for gender, number, and case like nouns (a process called declension), ... [...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] |
|
|
Compositionality
In semantics, mathematical logic and related disciplines, the principle of compositionality is the principle that the meaning of a complex expression is determined by the meanings of its constituent expressions and the rules used to combine them. This principle is also called Frege's principle, because Gottlob Frege is widely credited for the first modern formulation of it. The principle was never explicitly stated by Frege, and it was arguably already assumed by George Boole decades before Frege's work. The principle of compositionality is highly debated in linguistics, and among its most challenging problems there are the issues of contextuality, the non-compositionality of idiomatic expressions, and the non-compositionality of quotations. History Discussion of compositionality started to appear at the beginning of the 19th century, during which it was debated whether what was most fundamental in language was compositionality or contextuality, and compositionality was usual ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Grammatical Modifier
In linguistics, a modifier is an optional element in phrase structure or clause structure which ''modifies'' the meaning of another element in the structure. For instance, the adjective "red" acts as a modifier in the noun phrase "red ball", providing extra details about which particular ball is being referred to. Similarly, the adverb "quickly" acts as a modifier in the verb phrase "run quickly". Modification can be considered a high-level domain of the functions of language, on par with predication and reference. Premodifiers and postmodifiers Modifiers may come either before or after the modified element (the '' head''), depending on the type of modifier and the rules of syntax for the language in question. A modifier placed before the head is called a premodifier; one placed after the head is called a postmodifier. For example, in ''land mines'', the word ''land'' is a premodifier of ''mines'', whereas in the phrase ''mines in wartime'', the phrase ''in wartime'' is a postmodi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Subsective Modifier
In linguistics, a subsective modifier is an expression which modifies another by delivering a subset of its denotation. For instance, the English adjective "skilled" is subsective since being a skilled surgeon entails being a surgeon. By contrast, the English adjective "alleged" is non-subsective since an "alleged spy" need not be an actual spy. # ![ \text !\subseteq [\![\text">\text_">![_\text_<_a>!.html" ;"title="\text_.html" ;"title="![ \text ">![ \text !">\text_.html" ;"title="![ \text ">![ \text !\subseteq [\![\text!] A modifier can be subsective without being intersective. For instance, calling someone an "old friend" entailment, entails that they are a friend but does not entail that they are elderly. The term "subsective" is most often applied to modifiers which are not intersective and non-intersectivity is sometimes treated as part of its definition. There is no standard analysis for the semantics of (non-intersective) subsective modifiers. Early work su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |