|
Montague Semantics
__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 Montague g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Language
In neuropsychology, linguistics, and philosophy of language, a natural language or ordinary language is any language that has evolved naturally in humans through use and repetition without conscious planning or premeditation. Natural languages can take different forms, such as speech or signing. They are distinguished from constructed and formal languages such as those used to program computers or to study logic. Defining natural language Natural language can be broadly defined as different from * artificial and constructed languages, e.g. computer programming languages * constructed international auxiliary languages * non-human communication systems in nature such as whale and other marine mammal vocalizations or honey bees' waggle dance. All varieties of world languages are natural languages, including those that are associated with linguistic prescriptivism or language regulation. ( Nonstandard dialects can be viewed as a wild type in comparison with standard l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Julius Moravcsik
Julius Matthew Emil Moravcsik (26 April 1931 – 3 June 2009) was an American philosopher who specialized in ancient Greek philosophy. His main professional interests were in Greek philosophy – especially Plato, Aristotle, and the pre-Socratic philosophers. He also made important contributions to the philosophy of language, aesthetics, metaphysics, and ethics. In particular, he was engaged by the notion of friendship. Life and career Julius Moravcsik was born April 26, 1931, in Budapest. His father was |
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] |
Infinite Jest
''Infinite Jest'' is a 1996 novel by American writer David Foster Wallace. Categorized as an encyclopedic novel, ''Infinite Jest'' is featured in ''TIME'' magazine's list of the 100 best English-language novels published between 1923 and 2005. The novel has an unconventional narrative structure and includes hundreds of extensive endnotes, some with footnotes of their own. A literary fiction bestseller after having sold 44,000 hardcover copies in its first year of publication, the novel has since sold more than a million copies worldwide. Development Wallace began ''Infinite Jest'', "or something like it", at various times between 1986 and 1989. His efforts in 1991–92 were more productive.Burn, Stephen J. "'Webs of nerves pulsing and firing': ''Infinite Jest'' and the science of mind". ''A Companion to David Foster Wallace Studies''. 58–96 From early 1992 until the novel's publication, excerpts from various drafts appeared sporadically in magazines and literary journals i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Foster Wallace
David Foster Wallace (February 21, 1962 – September 12, 2008) was an American novelist, short story writer, essayist, and university professor of English and creative writing. Wallace is widely known for his 1996 novel '' Infinite Jest'', which ''Time'' magazine cited as one of the 100 best English-language novels from 1923 to 2005. His posthumous novel, '' The Pale King'' (2011), was a finalist for the Pulitzer Prize for Fiction in 2012. The ''Los Angeles Times''s David Ulin called Wallace "one of the most influential and innovative writers of the last twenty years". Wallace grew up in Illinois and attended Amherst College. He taught English at Emerson College, Illinois State University, and Pomona College. In 2008, he died by suicide at age 46 after struggling with depression for many years. Early life and education David Foster Wallace was born in Ithaca, New York, to Sally Jean Wallace (' Foster) and James Donald Wallace. The family moved to Champaign-Urbana, Illino ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-terminal Symbol
In computer science, terminal and nonterminal symbols are the lexical elements used in specifying the production rules constituting a formal grammar. ''Terminal symbols'' are the elementary symbols of the language defined by a formal grammar. ''Nonterminal symbols'' (or ''syntactic variables'') are replaced by groups of terminal symbols according to the production rules. The terminals and nonterminals of a particular grammar are two disjoint sets. Terminal symbols Terminal symbols are literal symbols that may appear in the outputs of the production rules of a formal grammar and which cannot be changed using the rules of the grammar. Applying the rules recursively to a source string of symbols will usually terminate in a final output string consisting only of terminal symbols. Consider a grammar defined by two rules. Using pictoric marks interacting with each other: # The symbol ר can become ди # The symbol ר can become д Here д is a terminal symbol because no rule ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Higher-order Function
In mathematics and computer science, a higher-order function (HOF) is a function that does at least one of the following: * takes one or more functions as arguments (i.e. a procedural parameter, which is a parameter of a procedure that is itself a procedure), * returns a function as its result. All other functions are ''first-order functions''. In mathematics higher-order functions are also termed ''operators'' or '' functionals''. The differential operator in calculus is a common example, since it maps a function to its derivative, also a function. Higher-order functions should not be confused with other uses of the word "functor" throughout mathematics, see Functor (other). In the untyped lambda calculus, all functions are higher-order; in a typed lambda calculus, from which most functional programming languages are derived, higher-order functions that take one function as argument are values with types of the form (\tau_1\to\tau_2)\to\tau_3. General examples * ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Application
In mathematics, function application is the act of applying a function to an argument from its domain so as to obtain the corresponding value from its range. In this sense, function application can be thought of as the opposite of function abstraction. Representation Function application is usually depicted by juxtaposing the variable representing the function with its argument encompassed in parentheses. For example, the following expression represents the application of the function ''ƒ'' to its argument ''x''. :f(x) In some instances, a different notation is used where the parentheses aren't required, and function application can be expressed just by juxtaposition. For example, the following expression can be considered the same as the previous one: :f\; x The latter notation is especially useful in combination with the currying isomorphism. Given a function f : (X \times Y) \to Z, its application is represented as f(x, y) by the former notation and f\;(x,y) (or f \; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transitive Verb
A transitive verb is a verb that accepts one or more objects, for example, 'cleaned' in ''Donald cleaned the window''. This contrasts with intransitive verbs, which do not have objects, for example, 'panicked' in ''Donald panicked''. Transitivity is traditionally thought of as a global property of a clause, by which activity is transferred from an agent to a patient. Transitive verbs can be classified by the number of objects they require. Verbs that accept only two arguments, a subject and a single direct object, are monotransitive. Verbs that accept two objects, a direct object and an indirect object, are ''ditransitive'', or less commonly ''bitransitive''. An example of a ditransitive verb in English is the verb ''to give'', which may feature a subject, an indirect object, and a direct object: ''John gave Mary the book''. Verbs that take three objects are ''tritransitive''. In English a tritransitive verb features an indirect object, a direct object, and a prepositional ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Determiner
A determiner, also called determinative (abbreviated ), is a word, phrase, or affix that occurs together with a noun or noun phrase and generally serves to express the reference of that noun or noun phrase in the context. That is, a determiner may indicate whether the noun is referring to a definite or indefinite element of a class, to a closer or more distant element, to an element belonging to a specified person or thing, to a particular number or quantity, etc. Common kinds of determiners include definite and indefinite articles (''the'', ''a''), demonstratives (''this'', ''that''), possessive determiners (''my,'' ''their''), cardinal numerals (''one'', ''two''), quantifiers (''many'', ''both''), distributive determiners (''each'', ''every''), and interrogative determiners (''which'', ''what''). Description Most determiners have been traditionally classed either as adjectives or pronouns, and this still occurs in traditional grammars: for example, demonstrative and possessi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Common Noun
A proper noun is a noun that identifies a single entity and is used to refer to that entity (''Africa'', ''Jupiter'', ''Sarah'', ''Microsoft)'' as distinguished from a common noun, which is a noun that refers to a class of entities (''continent, planet, person, corporation'') and may be used when referring to instances of a specific class (a ''continent'', another ''planet'', these ''persons'', our ''corporation''). Some proper nouns occur in plural form (optionally or exclusively), and then they refer to ''groups'' of entities considered as unique (the ''Hendersons'', the ''Everglades'', ''the Azores'', the ''Pleiades''). Proper nouns can also occur in secondary applications, for example modifying nouns (the ''Mozart'' experience; his ''Azores'' adventure), or in the role of common nouns (he's no ''Pavarotti''; a few would-be ''Napoleons''). The detailed definition of the term is problematic and, to an extent, governed by convention. A distinction is normally made in current ling ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noun Phrase
In linguistics, a noun phrase, or nominal (phrase), is a phrase that has a noun or pronoun as its head or performs the same grammatical function as a noun. Noun phrases are very common cross-linguistically, and they may be the most frequently occurring phrase type. Noun phrases often function as verb subjects and objects, as predicative expressions and as the complements of prepositions. Noun phrases can be embedded inside each other; for instance, the noun phrase ''some of his constituents'' contains the shorter noun phrase ''his constituents''. In some more modern theories of grammar, noun phrases with determiners are analyzed as having the determiner as the head of the phrase, see for instance Chomsky (1995) and Hudson (1990). Identification Some examples of noun phrases are underlined in the sentences below. The head noun appears in bold. ::This election-year's politics are annoying for many people. ::Almost every sentence contains at least one noun phrase. ::Current ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
