Is logic empirical?
"Is logic empirical?" is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds for revising
classical logicas a consistent logical rendering of reality. The replacement derives from the work of Garrett Birkhoffand John von Neumannon quantum logic. In their work, they showed that the outcomes of quantum measurements can be represented as binary propositions and that these quantum mechanical propositions can be combined in much the same way as propositions in classical logic. However, the algebraic properties of this structure are somewhat different from those of classical propositional logic in that the principle of distributivityfails.
The idea that the principles of logic might be susceptible to revision on empirical grounds has many roots, including the work of
W.V. Quineand the foundational studies of Hans Reichenbach[Reichenbach, H., The Philosophical Foundations of Quantum Mechanics, University of California Press, 1944. Reprinted by Dover 1998,] .
What is the
epistemologicalstatus of the laws of logic? What sort of arguments are appropriate for criticising purported principles of logic? In his seminal paper " Two Dogmas of Empiricism," the logician and philosopher W.V. Quineargued that all beliefs are in principle subject to revision in the face of empirical data, including the so-called analytic propositions. Thus the laws of logic, being paradigmatic cases of analytic propositions, are not immune to revision.
To justify this claim he cited the so-called "paradoxes of
quantum mechanics". Birkhoff and von Neumann proposed to resolve those paradoxes by abandoning the principle of distributivity, thus substituting their quantum logic for classical logic.
Quine did not at first seriously pursue this argument, providing no sustained argument for the claim in that paper. In "Philosophy of Logic" (the chapter titled "Variant Logics"), Quine explicitly repudiates the idea that classical logic is subject to revision.
Reichenbach considered one of the anomalies associated with quantum mechanics, the problem of complementary properties. A pair of properties of a system is said to be complementary if each one of them can be assigned a truth value in some experimental setup, but there is no setup which assigns a truth value to both properties. The classic example of complementarity is illustrated by the
double-slit experimentin which a photon can be made to exhibit particle-like properties or wave-like properties, depending on the experimental setup used to detect its presence. Another example of complementary properties are those of having a precisely observed position or momentum.
Reichenbach approached the problem within the philosophical program of the logical positivists. As such the choice of an appropriate language was not a matter of the truth or falsity of a given language, in this case the language used to describe quantum mechanics, but a matter of "technical advantages of language systems". His solution was a logic of properties with a three-valued semantics; that is each property could have three possible truth-values: true, false or indeterminate. The formal properties of such a
logical systemcan be given by a set of fairly simple rules, certainly far simpler than the "projection algebra" that Birkhoff and von Neumann had introduced a few years earlier. However, because of this simplicity, the intended semantics of Reichenbach's three-valued logic is unsuited to provide a foundation for quantum mechanics that can account for observables.
First article: Hilary Putnam
In his paper "Is logic empirical?" [ Putnam, H. “Is Logic Empirical?” Boston Studies in the Philosophy of Science, vol. 5, eds. Robert S. Cohen and Marx W. Wartofsky (Dordrecht: D. Reidel, 1968), pp. 216-241. Repr. as “The Logic of Quantum Mechanics” in Mathematics, Matter and Method (1975), pp. 174-197.]
Hilary Putnam, whose PhD studies were supervised by Reichenbach, pursued Quine's idea systematically. In the first place, he made an analogy between laws of logic and laws of geometry: once Euclid's postulateswere believed to be truths about the physical space in which we live, but modern physical theories are based around non-Euclideangeometries, with a different and fundamentally incompatible notion of straight line.
In particular, he claimed that what physicists have learned about quantum mechanics provides a compelling case for abandoning certain familiar principles of classical logic for this reason: realism about the physical world, which Putnam generally maintains, demands that we square up to the anomalies associated with quantum phenomena. Putnam understands realism about physical objects as involving that the properties of momentum and position exist for quanta. Since the
uncertainty principlesays that either of them can be determined, but both cannot be determined at the same time, he faces a paradox. He sees the only possible resolution of the paradox as lying in the embrace of quantum logic, in which he believes this is not inconsistent.
The formal laws of a physical theory are justified by a process of repeated controlled observations. This from a physicist's point of view is the meaning of the empirical nature of these laws.
The idea of a propositional logic with rules radically different from
Boolean logicin itself was not new. Indeed a sort of analogy had been established in the mid-nineteen thirties by Garrett Birkhoffand John von Neumannbetween a non-classical propositional logic and some aspects of the measurement process in quantum mechanics. Putnam and the physicist David Finkelsteinproposed that there was more to this correspondence than a loose analogy: that in fact there was a logical system whose semantics was given by a lattice of projection operators on a Hilbert space. This, actually, was the correct logic for reasoning about the microscopic world.
In this view, classical logic was merely a limiting case of this new logic. If this were the case, then our "preconceived" Boolean logic would have to be rejected by empirical evidence in the same way Euclidean geometry (taken as the correct geometry of physical space) was rejected on the basis of (the facts supporting the theory of)
general relativity. This argument is in favour of the view that the rules of logic are empirical.
That logic came to be known as
quantum logic. There are, however, few philosophers today who regard this logic as a replacement for classical logic; Putnam may no longer hold that view. Quantum logic is still used as a foundational formalism for quantum mechanics: but in a way in which primitive events are not interpreted as atomic sentences but rather in operational terms as possible outcomes of observations. As such, quantum logic provides a unified and consistent mathematical theory of physical observables and quantum measurement.
econd article: Michael Dummett
In an article also titled "Is logic empirical?,"
Michael Dummettargues that Putnam's desire for realism mandates distributivity: the principle of distributivityis essential for the realist's understanding of how propositions are true of the world, in just the same way as he argues the principle of bivalenceis. To grasp why: consider why truth tableswork for classical logic: firstly, it must be the case that the variable parts of the proposition are either true or false: if they could be other values, or fail to have truth values at all, then the truth table analysis of logical connectives would not exhaust the possible ways these could be applied; for example intutionistic logic respects the classical truth tables, but not the laws of classical logic, because intuitionistic logic allows propositions to be other than true or false. Second, to be able to apply truth tables to describe a connectivedepends upon distributivity: a truth table is a disjunction of conjunctive possibilities, and the validity of the exercise depends upon the truth of the whole being a consequence of the bivalence of the propositions, which is true only if the principle of distributivity applies.
Hence Putnam cannot embrace realism without embracing classical logic, and hence his argument to endorse quantum logic because of realism about quanta is a hopeless case.
Dummett's argument is all the more interesting because he is not a proponent of classical logic. His argument for the connection between realism and classical logic is part of a wider argument to suggest that, just as the existence of particular class of entities may be a matter of dispute, so disputation about the objective existence of such entities is
question beggingif use is made of classical logic. Consequently intuitionistic logic is privileged over classical logic, when it comes to disputation concerning phenomena whose objective existence is a matter of controversy.
Thus the question, "Is logic empirical?," for Dummett, leads naturally into the dispute over
bivalence and anti-realism, one of the deepest issues in modern metaphysics.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic analyzer — A logic analyzer is an electronic instrument which displays signals in a digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or correlate assembly with… … Wikipedia
empirical — (also empiric) ► ADJECTIVE ▪ based on observation or experience rather than theory or pure logic. DERIVATIVES empirically adverb. ORIGIN Greek empeirikos, from empeiria experience … English terms dictionary
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Empirical — Based on experience and observation, rather than systematic logic. Experienced physicians often use empirical reasoning to make diagnoses, based on having seen many cases over the years. Less experienced physicians are more likely to use… … Medical dictionary
Logic — 1) The Science of Logic Finds Ordinary Language to Be an Obstacle My initial step . . . was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To… … Historical dictionary of quotations in cognitive science
empirical — adjective based on, concerned with, or verifiable by observation or experience rather than theory or pure logic. Derivatives empirically adverb … English new terms dictionary
empirical — adj. describing a system of treatment based on experience or observation, rather than of logic or reason … The new mediacal dictionary
Philosophy of logic — This article is about philosophy of logic, not philosophical logic. Philosophy of logic is the branch of philosophy that is concerned with the scope and nature of logic. Some fundamental questions with which it is concerned are:* Is there only… … Wikipedia