|
Donkey Pronoun
Donkey sentences are sentences that contain a pronoun with clear meaning (it is bound semantically) but whose syntactical role in the sentence poses challenges to grammarians. Such sentences defy straightforward attempts to generate their formal language equivalents. The difficulty is with understanding how English speakers parse such sentences. Barker and Shan define a donkey pronoun as "a pronoun that lies outside the restrictor of a quantifier or the if-clause of a conditional, yet covaries with some quantificational element inside it, usually an indefinite." The pronoun in question is sometimes termed a donkey pronoun or donkey anaphora. The following sentences are examples of donkey sentences. *"" ("Every man who owns a donkey sees it") — Walter Burley (1328), *"Every farmer who owns a donkey beats it." *"Every police officer who arrested a murderer insulted him." History Walter Burley, a medieval scholastic philosopher, introduced donkey sentences in the conte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pronoun
In linguistics and grammar, a pronoun (abbreviated ) is a word or a group of words that one may substitute for a noun or noun phrase. Pronouns have traditionally been regarded as one of the parts of speech, but some modern theorists would not consider them to form a single class, in view of the variety of functions they perform cross-linguistically. An example of a pronoun is "you", which can be either singular or plural. Subtypes include personal and possessive pronouns, reflexive and reciprocal pronouns, demonstrative pronouns, relative and interrogative pronouns, and indefinite pronouns. The use of pronouns often involves anaphora, where the meaning of the pronoun is dependent on an antecedent. For example, in the sentence ''That poor man looks as if he needs a new coat'', the meaning of the pronoun ''he'' is dependent on its antecedent, ''that poor man''. The name of the adjective that belongs with a "pronoun" is called a "pronominal". A pronominal is also a word or ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Walter Burley
Walter Burley (or Burleigh; 1275 – 1344/45) was an English scholastic philosopher and logician with at least 50 works attributed to him. He studied under Thomas WiltonHarjeet Singh Gill, ''Signification in language and culture'', Indian Institute of Advanced Study, 2002, p. 109. and received his Master of Arts degree in 1301, and was a fellow of Merton College, Oxford until about 1310. He then spent sixteen years in Paris, becoming a fellow of the Sorbonne by 1324, before spending 17 years as a clerical courtier in England and Avignon. Burley disagreed with William of Ockham on a number of points concerning logic and natural philosophy. He was known as the ''Doctor Planus and Perspicuus''. Early life Burley was born in 1274 or 1275, possibly in Burley-in-Wharfedale, Yorkshire, or in Burley near Leeds. Little is known of his early life. He was made rector of Welbury in Yorkshire in 1309, probably through the influence of Sir John de Lisle, a friend of William Greenfield. As ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Free Variables And Bound Variables
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 quantifi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Quantifier
In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable. It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("", "", or sometimes by "" alone). Universal quantification is distinct from ''existential'' quantification ("there exists"), which only asserts that the property or relation holds for at least one member of the domain. Quantification in general is covered in the article on quantification (logic). The universal quantifier is encoded as in Unicode, and as \forall in LaTeX and relate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Existential Quantifier
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("" or "" or "). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for ''all'' members of the domain. Some sources use the term existentialization to refer to existential quantification. Basics Consider a formula that states that some natural number multiplied by itself is 25. : 0·0 = 25, or 1·1 = 25, or 2·2 = 25, or 3·3 = 25, ... This would seem to be a logical disjunction because of the repeated use of "or". However, the ellipses make this impossible to integrate and to interpret it as a disjunction in formal logic. Instead, the statement could be rephrased more formally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definiteness
In linguistics, definiteness is a semantic feature of noun phrases, distinguishing between referents or senses that are identifiable in a given context (definite noun phrases) and those which are not (indefinite noun phrases). The prototypical definite noun phrase picks out a unique, familiar, specific referent such as ''the sun'' or ''Australia'', as opposed to indefinite examples like ''an idea'' or ''some fish''. There is considerable variation in the expression of definiteness across languages, and some languages such as Japanese do not generally mark it so that the same expression could be definite in some contexts and indefinite in others. In other languages, such as English, it is usually marked by the selection of determiner (e.g., ''the'' vs ''a''). In still other languages, such as Danish, definiteness is marked morphologically. Definiteness as a grammatical category There are times when a grammatically marked definite NP is not in fact identifiable. For example, ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, artificial intelligence, cognitive science, computer science and various areas of analytic philosophy, especially philosophy of mathematics, philosophy of language, epistemology, and metaphysics.Stanford Encyclopedia of Philosophy"Bertrand Russell" 1 May 2003. He was one of the early 20th century's most prominent logicians, and a founder of analytic philosophy, along with his predecessor Gottlob Frege, his friend and colleague G. E. Moore and his student and protégé Ludwig Wittgenstein. Russell with Moore led the British "revolt against idealism". Together with his former teacher A. N. Whitehead, Russell wrote ''Principia Mathematica'', a milestone in the development of classical logic, and a major attempt to reduce the whole ... [...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 Montague g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gareth Evans (philosopher)
Michael Gareth Justin Evans (12 May 1946 – 10 August 1980) was a British people, British philosopher who made substantial contributions to logic, philosophy of language and philosophy of mind. He is best known for his posthumous work ''The Varieties of Reference'' (1982), edited by John McDowell. The book considers different kinds of theory of reference, reference to objects, and argues for a number of conditions that must obtain for reference to occur. Life Gareth Evans was born in London on 12 May 1946. He was educated at Dulwich College and University College, Oxford (1964–67) where he read Philosophy, Politics and Economics (PPE). His philosophy tutor was Peter Strawson, one of the most eminent Oxford philosophers of the time. Evans became close friends with philosopher Derek Parfit and other prominent members of his academic field such as Christopher Peacocke and Crispin Wright. He was a senior scholar at Christ Church, Oxford (1967–68) and a Kennedy Scholar a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Kellogg Lewis
David (; , "beloved one") (traditional spelling), , ''Dāwūd''; grc-koi, Δαυΐδ, Dauíd; la, Davidus, David; gez , ዳዊት, ''Dawit''; xcl, Դաւիթ, ''Dawitʿ''; cu, Давíдъ, ''Davidŭ''; possibly meaning "beloved one". was, according to the Hebrew Bible, the third king of the United Kingdom of Israel. In the Books of Samuel, he is described as a young shepherd and harpist who gains fame by slaying Goliath, a champion of the Philistines, in southern Canaan. David becomes a favourite of Saul, the first king of Israel; he also forges a notably close friendship with Jonathan, a son of Saul. However, under the paranoia that David is seeking to usurp the throne, Saul attempts to kill David, forcing the latter to go into hiding and effectively operate as a fugitive for several years. After Saul and Jonathan are both killed in battle against the Philistines, a 30-year-old David is anointed king over all of Israel and Judah. Following his rise to power, David c ... [...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] |
Richard Montague
Richard Merritt Montague (September 20, 1930 – March 7, 1971) was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory ( ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40. Career At the University of California, Berkeley, Montague earned a BA in Philosophy in 1950, an MA in Mathematics in 1953, and a PhD in Philosophy in 1957, the latter under the direction of the mathematician and logician Alfred Tarski. Montague spent his entire career teaching in the UCLA Department of Philosophy, where he supervised the dissertations of Nino Cocchiarella and Hans Kamp. Montague wrote on the foundations of logic and set theory, as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
