|
Higher Order Grammar
Higher order grammar (HOG) is a grammar theory based on higher-order logic.Hana, JiriCzech Clitics in Higher Order Grammar Diss. The Ohio State University, 2007. It can be viewed simultaneously as generative-enumerative (like categorial grammar and principles and parameters) or model theoretic (like head-driven phrase structure grammar or lexical functional grammar). Key features * There is a propositional logic of types, which denote sets of linguistic (phonological, syntactic, or semantic) entities. For example, the type NP denotes the syntactic category (or form class) of noun phrases. * HOG maintains Haskell Curry's distinction between tectogrammatical structure (abstract syntax) and phenogrammatical structure (concrete syntax). * Abstract syntactic entities are identified with structuralist ( Bloomfield- Hockett) free forms (words and phrases). For example, the NP ''your cat'' is distinct from its phonology or its semantics. * Concrete syntax is identified with phonolog ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grammar Theory
In linguistics, syntax () is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure (constituency), agreement, the nature of crosslinguistic variation, and the relationship between form and meaning (semantics). There are numerous approaches to syntax that differ in their central assumptions and goals. Etymology The word ''syntax'' comes from Ancient Greek roots: "coordination", which consists of ''syn'', "together", and ''táxis'', "ordering". Topics The field of syntax contains a number of various topics that a syntactic theory is often designed to handle. The relation between the topics is treated differently in different theories, and some of them may not be considered to be distinct but instead to be derived from one another (i.e. word order can be seen as the result of movement rules derived from grammatical relations). Seq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structuralism
In sociology, anthropology, archaeology, history, philosophy, and linguistics, structuralism is a general theory of culture and methodology that implies that elements of human culture must be understood by way of their relationship to a broader system. It works to uncover the structures that underlie all the things that humans do, think, perceive, and feel. Alternatively, as summarized by philosopher Simon Blackburn, structuralism is: Blackburn, Simon, ed. 2008. "Structuralism." In '' Oxford Dictionary of Philosophy'' (2nd rev. ed.). Oxford: Oxford University Press. . p. 353. e belief that phenomena of human life are not intelligible except through their interrelations. These relations constitute a structure, and behind local variations in the surface phenomena there are constant laws of abstract structure.Structuralism in Europe developed in the early 20th century, mainly in France and the Russian Empire, in the structural linguistics of Ferdinand de Saussure and the subseque ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subtyping
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as , , or ) means that any term of type S can ''safely be used'' in ''any context'' where a term of type T is expected. The precise semantics of subtyping here crucially depends on the particulars of how ''"safely be used"'' and ''"any context"'' are defined by a given type formalism or programming language. The type system of a programming language essentially defines its own subtyping relation, which may well be trivial, should the language support no (or very little) conversion mechanisms. Due to the sub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montague Grammar
__notoc__ Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s. Overview Montague's thesis was that natural languages (like English) and formal languages (like programming languages) can be treated in the same way: There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians; indeed, I consider it possible to comprehend the syntax and semantics of both kinds of language within a single natural and mathematically precise theory. On this point I differ from a number of philosophers, but agree, I believe, with Chomsky and his associates. ("Universal Grammar" 1970) Montague published what soon became known as Montag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sense And Reference
In the philosophy of language, the distinction between sense and reference was an idea of the German philosopher and mathematician Gottlob Frege in 1892 (in his paper "On Sense and Reference"; German: "Über Sinn und Bedeutung"), reflecting the two ways he believed a singular term may have meaning. The reference (or "referent"; ''Bedeutung'') of a ''proper name'' is the object it means or indicates (''bedeuten''), whereas its sense (''Sinn'') is what the name expresses. The reference of a ''sentence'' is its truth value, whereas its sense is the thought that it expresses."On Sense and Reference" Über Sinn und Bedeutung" ''Zeitschrift für Philosophie und philosophische Kritik'', vol. 100 (1892), pp. 25–50, esp. p. 31. Frege justified the distinction in a number of ways. #Sense is something possessed by a name, whether or not it has a reference. For example, the name "Odysseus" is intelligible, and therefore has a sense, even though there is no individual object (its referenc ... [...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. Gibb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phonology
Phonology is the branch of linguistics that studies how languages or dialects systematically organize their sounds or, for sign languages, their constituent parts of signs. The term can also refer specifically to the sound or sign system of a particular language variety. At one time, the study of phonology related only to the study of the systems of phonemes in spoken languages, but may now relate to any linguistic analysis either: Sign languages have a phonological system equivalent to the system of sounds in spoken languages. The building blocks of signs are specifications for movement, location, and handshape. At first, a separate terminology was used for the study of sign phonology ('chereme' instead of 'phoneme', etc.), but the concepts are now considered to apply universally to all human languages. Terminology The word 'phonology' (as in ' phonology of English') can refer either to the field of study or to the phonological system of a given language. This is one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles F
Charles is a masculine given name predominantly found in English and French speaking countries. It is from the French form ''Charles'' of the Proto-Germanic name (in runic alphabet) or ''*karilaz'' (in Latin alphabet), whose meaning was "free man". The Old English descendant of this word was '' Ċearl'' or ''Ċeorl'', as the name of King Cearl of Mercia, that disappeared after the Norman conquest of England. The name was notably borne by Charlemagne (Charles the Great), and was at the time Latinized as ''Karolus'' (as in ''Vita Karoli Magni''), later also as '' Carolus''. Some Germanic languages, for example Dutch and German, have retained the word in two separate senses. In the particular case of Dutch, ''Karel'' refers to the given name, whereas the noun ''kerel'' means "a bloke, fellow, man". Etymology The name's etymology is a Common Germanic noun ''*karilaz'' meaning "free man", which survives in English as churl (< Old English ''ċeorl''), which developed its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Leonard Bloomfield
Leonard Bloomfield (April 1, 1887 – April 18, 1949) was an American linguist who led the development of structural linguistics in the United States during the 1930s and the 1940s. He is considered to be the father of American distributionalism. His influential textbook ''Language'', published in 1933, presented a comprehensive description of American structural linguistics. He made significant contributions to Indo-European historical linguistics, the description of Austronesian languages, and description of languages of the Algonquian family. Bloomfield's approach to linguistics was characterized by its emphasis on the scientific basis of linguistics and emphasis on formal procedures for the analysis of linguistic data. The influence of Bloomfieldian structural linguistics declined in the late 1950s and 1960s as the theory of generative grammar developed by Noam Chomsky came to predominate. Early life and education Bloomfield was born in Chicago, Illinois, on April 1, 188 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syntax
In linguistics, syntax () is the study of how words and morphemes combine to form larger units such as phrases and sentences. Central concerns of syntax include word order, grammatical relations, hierarchical sentence structure ( constituency), agreement, the nature of crosslinguistic variation, and the relationship between form and meaning (semantics). There are numerous approaches to syntax that differ in their central assumptions and goals. Etymology The word ''syntax'' comes from Ancient Greek roots: "coordination", which consists of ''syn'', "together", and ''táxis'', "ordering". Topics The field of syntax contains a number of various topics that a syntactic theory is often designed to handle. The relation between the topics is treated differently in different theories, and some of them may not be considered to be distinct but instead to be derived from one another (i.e. word order can be seen as the result of movement rules derived from grammatical relations). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
