|
Two Dogmas Of Empiricism
"Two Dogmas of Empiricism" is a paper by analytic philosopher Willard Van Orman Quine published in 1951. According to University of Sydney professor of philosophy Peter Godfrey-Smith, this "paper ssometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central aspects of the logical positivists' philosophy: the first being the analytic–synthetic distinction between analytic truths and synthetic truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts; the other being reductionism, the theory that each meaningful statement gets its meaning from some logical construction of terms that refer exclusively to immediate experience. "Two Dogmas" has six sections. The first four focus on analyticity, the last two on reductionism. There, Quine turns the focus to the logical positivists' theory of meaning. He also presents his own holistic theory of meaning. Analyticity ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic Philosophy
Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United States, Canada, Australia, New Zealand, and Scandinavia, and continues today. Analytic philosophy is often contrasted with continental philosophy, coined as a catch-all term for other methods prominent in Europe. Central figures in this historical development of analytic philosophy are Gottlob Frege, Bertrand Russell, G. E. Moore, and Ludwig Wittgenstein. Other important figures in its history include the logical positivists (particularly Rudolf Carnap), W. V. O. Quine, and Karl Popper. After the decline of logical positivism, Saul Kripke, David Lewis, and others led a revival in metaphysics. Elizabeth Anscombe, Peter Geach, Anthony Kenny and others brought analytic approach to Thomism. Analytic philosophy is characterized by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cognitive Synonymy
Cognitive synonymy is a type of synonymy in which synonyms are so similar in meaning that they cannot be differentiated either denotatively or connotatively, that is, not even by mental associations, connotations, emotive responses, and poetic value. It is a stricter (more precise) technical definition of synonymy, specifically for theoretical (e.g., linguistic and philosophical) purposes. In usage employing this definition, synonyms with greater differences are often called near-synonyms rather than synonyms (compare also plesionyms). Overview If a word is cognitively synonymous with another word, they refer to the same thing independently of context. Thus, a word is cognitively synonymous with another word if and only if all instances of both words express the same exact thing, and the referents are necessarily identical, which means that the words' interchangeability is not context-sensitive. Willard Van Orman Quine used the concept of cognitive synonymy extensively in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boolean Logic
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (''and'') denoted as ∧, disjunction (''or'') denoted as ∨, and the negation (''not'') denoted as ¬. Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction and division. So Boolean algebra is a formal way of describing logical operations, in the same way that elementary algebra describes numerical operations. Boolean algebra was introduced by George Boole in his first book ''The Mathematical Analysis of Logic'' (1847), and set forth more fully in his '' An Investigation of the Laws of Thought'' (1854). According to Huntington, the term "Boolean alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Law Of Distributivity
The principle of distributivity states that the algebraic distributive law is valid, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions ''A'', ''B'' and ''C'' the equivalences :A \land (B \lor C) \iff (A \land B) \lor (A \land C) and :A \lor (B \land C) \iff (A \lor B) \land (A \lor C) hold. The principle of distributivity is valid in classical logic, but both valid and invalid in quantum logic. The article "Is Logic Empirical?" discusses the case that quantum logic is the correct, empirical logic, on the grounds that the principle of distributivity is inconsistent In classical deductive logic, a consistent theory is one that does not lead to a logical contradiction. The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a theory is consiste ... with a reasonable interpretation of quantum phenomena. References Abstract algebra Principles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Von Neumann
John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest coverage of any mathematician of his time and was said to have been "the last representative of the great mathematicians who were equally at home in both pure and applied mathematics". He integrated pure and applied sciences. Von Neumann made major contributions to many fields, including mathematics (foundations of mathematics, measure theory, functional analysis, ergodic theory, group theory, lattice theory, representation theory, operator algebras, matrix theory, geometry, and numerical analysis), physics (quantum mechanics, hydrodynamics, ballistics, nuclear physics and quantum statistical mechanics), economics ( game theory and general equilibrium theory), computing ( Von Neumann architecture, linear programming, numerical meteo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Garrett Birkhoff
Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician. He is best known for his work in lattice theory. The mathematician George Birkhoff (1884–1944) was his father. Life The son of the mathematician George David Birkhoff, Garrett was born in Princeton, New Jersey. He began the Harvard University BA course in 1928 after less than seven years of prior formal education. Upon completing his Harvard BA in 1932, he went to Cambridge University to study mathematical physics but switched to studying abstract algebra under Philip Hall. While visiting the University of Munich, he met Carathéodory who pointed him towards two important texts, Van der Waerden on abstract algebra and Speiser on group theory. Birkhoff held no Ph.D., a qualification British higher education did not emphasize at that time, and did not even bother obtaining an M.A. Nevertheless, after being a member of Harvard's Society of Fellows, 1933–36, he spent the rest o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quantum Logic
In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The field takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure. Quantum logic has been proposed as the correct logic for propositional inference generally, most notably by the philosopher Hilary Putnam, at least at one point in his career. This thesis was an important ingredient in Putnam's 1968 paper " Is Logic Empirical?" in which he analysed the epistemological status of the rules of propositional logic. Modern philosophers reject quantum logic as a basis for reasoning, because it lacks a material conditional; a common alternative is the system of linear ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hold Come What May
Hold come what may is a phrase popularized by logician Willard Van Orman Quine. Beliefs that are "held come what may" are beliefs one is unwilling to give up, regardless of any evidence with which one might be presented. Quine held that any belief can be held come what may, so long as one makes suitable adjustments to other beliefs. In other words, all beliefs are rationally revisable ("no statement is immune to revision"). He used this to reject the distinction between analytic truths (which are true come what may) and synthetic truths (which are true at least in part because of the state of the world). Many philosophers argue to the contrary, believing that, for example, the laws of thought cannot be revised and may be "held come what may". Quine believed that all beliefs are linked by a web of beliefs, in which a belief is linked to another belief by supporting relations, but if one belief is found untrue, there is ground to find the linked beliefs also untrue. The latter stat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers." Biography Carnap's father had risen from being a poor ribbon-weaver to be the owner of a ribbon-making factory. His mother came from an academic family; her father was an educational reformer and her oldest brother was the archaeologist Wilhelm Dörpfeld. As a ten-year-old, Carnap accompanied Wilhelm Dörpfeld on an expedition to Greece. Carnap was raised in a profoundly religious Protestant family, but later became an atheist. He began his formal education at the Barmen Gymnasium and the Gymnasium in Jena. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. He also intently studied Immanuel Kant's '' Critique of Pu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empirical Evidence
Empirical evidence for a proposition is evidence, i.e. what supports or counters this proposition, that is constituted by or accessible to sense experience or experimental procedure. Empirical evidence is of central importance to the sciences and plays a role in various other fields, like epistemology and law. There is no general agreement on how the terms ''evidence'' and ''empirical'' are to be defined. Often different fields work with quite different conceptions. In epistemology, evidence is what justifies beliefs or what determines whether holding a certain belief is rational. This is only possible if the evidence is possessed by the person, which has prompted various epistemologists to conceive evidence as private mental states like experiences or other beliefs. In philosophy of science, on the other hand, evidence is understood as that which '' confirms'' or ''disconfirms'' scientific hypotheses and arbitrates between competing theories. For this role, it is importan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Truth
Logical truth is one of the most fundamental concepts in logic. Broadly speaking, a logical truth is a statement which is true regardless of the truth or falsity of its constituent propositions. In other words, a logical truth is a statement which is not only true, but one which is true under all interpretations of its logical components (other than its logical constants). Thus, logical truths such as "if p, then p" can be considered tautologies. Logical truths are thought to be the simplest case of statements which are analytically true (or in other words, true by definition). All of philosophical logic can be thought of as providing accounts of the nature of logical truth, as well as logical consequence. Logical truths are generally considered to be ''necessarily true''. This is to say that they are such that no situation could arise in which they could fail to be true. The view that logical statements are necessarily true is sometimes treated as equivalent to saying that l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verification Theory
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which maintains that only statements that are empirically verifiable (i.e. verifiable through the senses) are cognitively meaningful, or else they are truths of logic ( tautologies). Verificationism thus rejects statements related to metaphysics, as well as fields such as theology, ethics and aesthetics, as "cognitively meaningless". Such statements may be meaningful in influencing emotions or behaviour, but not in terms of conveying truth value, information or factual content. Verificationism was a central thesis of logical positivism, a movement in analytic philosophy that emerged in the 1920s by philosophers who sought to unify philosophy and science under a common naturalistic theory of knowledge. Origins Although verificationist principles of a general sort—grounding scientific theory in some verifiable experience—are found retrospectively eve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
