|
Willard Quine
Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities.Colyvan, Mark"Indispensability Arguments in the Philosophy of Mathematics" The Stanford Encycloped ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy encompasses the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" grc, φιλεῖν , "to love" and σοφία '' sophía'', "wisdom"). History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology; the nature and origin of the universe, while rejecting mythical answers to such questions. They were specifically interested in the (the cause or first principle) of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Language
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein ('' Tractatus Logico-Philosophicus''), the Vienna Circle, logical positivists, and Willard Van Orman Quine. In continental philosophy, language is not studied as a separate discipline. Rather, it is an inextricable part of many other areas of thought, such as phenomenology, structural semiotics, language of mathematics, hermeneutics, existentialism, deconstruction and critical theory. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with Socrates, Plato, Aristotl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Referential Transparency
In computer science, referential transparency and referential opacity are properties of parts of computer programs. An expression is called ''referentially transparent'' if it can be replaced with its corresponding value (and vice-versa) without changing the program's behavior. This requires that the expression be pure – its value must be the same for the same inputs and its evaluation must have no side effects. An expression that is not referentially transparent is called referentially opaque. In mathematics, all function applications are referentially transparent, by the definition of what constitutes a mathematical function. However, this is not always the case in programming, where the terms ''procedure'' and ''method'' are used to avoid misleading connotations. A defining characteristic of functional programming is that it only allows referentially transparent functions. Other programming languages may provide means to selectively guarantee referential transparency. Som ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Radical Translation
Radical translation is a thought experiment in ''Word and Object'', a major philosophical work from American philosopher Willard Van Orman Quine. It is used as an introduction to his theory of the indeterminacy of translation, and specifically to prove the point of inscrutability of reference. Using this concept of radical translation, Quine paints a setting where a linguist discovers a native linguistic community whose linguistic system is completely unrelated to any language familiar to the linguist. Quine then describes the steps taken by the linguist while attempting to fully translate this unfamiliar language based on the only data available: the events happening around the linguist combined with the verbal and non-verbal behaviour of natives. Direct translation As a first step, the linguist will use direct translation on occasion sentences. Hearing a lot of utterances of the one-word-sentence 'Gavagai' whenever the linguist sees rabbits, he suspects the one-word-sentence 'Rabb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gavagai
The inscrutability or indeterminacy of reference (also referential inscrutability) is a thesis by 20th century analytic philosopher Willard Van Orman Quine in his book ''Word and Object''. The main claim of this theory is that any given sentence can be changed into a variety of other sentences where the parts of the sentence will change in what they reference, but they will nonetheless maintain the meaning of the sentence as a whole. The referential relation is inscrutable, because it is subject to the background language and ontological commitments of the speaker. Overview Along with the holophrastic indeterminacy, the inscrutability of reference is the second kind of indeterminacy that makes up Quine's thesis about the indeterminacy of (radical) translation. While the inscrutability of reference concerns itself with single words, Quine does not want it to be used for propositions, as he attacks those in another way. He challenges the translation or referential scrutability of w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontological Relativity
The inscrutability or indeterminacy of reference (also referential inscrutability) is a thesis by 20th century analytic philosopher Willard Van Orman Quine in his book ''Word and Object''. The main claim of this theory is that any given sentence can be changed into a variety of other sentences where the parts of the sentence will change in what they reference, but they will nonetheless maintain the meaning of the sentence as a whole. The referential relation is inscrutable, because it is subject to the background language and ontological commitments of the speaker. Overview Along with the holophrastic indeterminacy, the inscrutability of reference is the second kind of indeterminacy that makes up Quine's thesis about the indeterminacy of (radical) translation. While the inscrutability of reference concerns itself with single words, Quine does not want it to be used for propositions, as he attacks those in another way. He challenges the translation or referential scrutability of w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inscrutability Of Reference
The inscrutability or indeterminacy of reference (also referential inscrutability) is a thesis by 20th century analytic philosopher Willard Van Orman Quine in his book ''Word and Object''. The main claim of this theory is that any given sentence can be changed into a variety of other sentences where the parts of the sentence will change in what they reference, but they will nonetheless maintain the meaning of the sentence as a whole. The referential relation is inscrutable, because it is subject to the background language and ontological commitments of the speaker. Overview Along with the holophrastic indeterminacy, the inscrutability of reference is the second kind of indeterminacy that makes up Quine's thesis about the indeterminacy of (radical) translation. While the inscrutability of reference concerns itself with single words, Quine does not want it to be used for propositions, as he attacks those in another way. He challenges the translation or referential scrutability of w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holophrastic Indeterminacy
Holophrastic indeterminacy, or indeterminacy of sentence translation, is one of two kinds of indeterminacy of translation to appear in the writings of philosopher W. V. O. Quine. According to Quine, "there is more than one correct method of translating sentences where the two translations differ not merely in the meanings attributed to the sub-sentential parts of speech but also in the net import of the whole sentence". It is holophrastic indeterminacy that underlies Quine's argument against synonymy, the basis of his objections to Rudolf Carnap's analytic/synthetic distinction. Another kind of indeterminacy introduced by Quine is the "inscrutability of reference", which refers to parts of a sentence or individual words. Indeterminacy of translation Quine's work on indeterminacy of translation, stemming from the basic forms of indeterminacy, is widely discussed in modern analytic philosophy: Quine's approach to translation, radical translation, takes the perspective of trying ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indeterminacy Of Translation
The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book ''Word and Object'', which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his ''Ontological Relativity''. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Putnam who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories". Three aspects of indeterminacy arise, of which two relate to indeterminacy of translation. The three indeterminacies are (i) inscrutability of reference, and (ii) holophrastic indeterminacy, and (iii) the underdetermination of scientific theory. The last of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Objects
In metaphysics, the distinction between abstract and concrete refers to a divide between two types of entities. Many philosophers hold that this difference has fundamental metaphysical significance. Examples of concrete objects include plants, human beings and planets while things like numbers, sets and propositions are abstract objects. There is no general consensus as to what the characteristic marks of concreteness and abstractness are. Popular suggestions include defining the distinction in terms of the difference between (1) existence inside or outside space-time, (2) having causes and effects or not, (3) having contingent or necessary existence, (4) being particular or universal and (5) belonging to either the physical or the mental realm or to neither. Despite this diversity of views, there is broad agreement concerning most objects as to whether they are abstract or concrete. So under most interpretations, all these views would agree that, for example, plants are concrete ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New Foundations
In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of ''Principia Mathematica''. Quine first proposed NF in a 1937 article titled "New Foundations for Mathematical Logic"; hence the name. Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and clarified by Holmes (1998). In 1940 and in a revision in 1951, Quine introduced an extension of NF sometimes called "Mathematical Logic" or "ML", that included proper classes as well as sets. New Foundations has a universal set, so it is a non-well-founded set theory. That is to say, it is an axiomatic set theory that allows infinite descending chains of membership, such as … xn ∈ xn-1 ∈ … ∈ x2 ∈ x1. It avoids Russell's paradox by permitting only stratifiable formulas to be defined using the axiom schema of comprehension. For instance, x ∈ y is a stratifiable formula, but x ∈ x is not. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of '' naive set theory''. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
