Modern Logic: Since Gödel: The Proliferation of Nonclassical Logics

views updated

MODERN LOGIC: SINCE GÖDEL: THE PROLIFERATION OF NONCLASSICAL LOGICS

The twentieth century, and especially its second half, was marked by a fairly spectacular proliferation of what are sometimes called nonclassical logics. To understand this, one needs to see the matter in its historical context. There have been three great periods in the history of European logic: ancient Greece, medieval Europe, and, starting toward the end of the nineteenth century, the current period. Each period has been marked by the production of novel theories of the nature and extent of logical validity. Thus, in the ancient period, Aristotle, the Megarian, and the Stoic logicians offered different accounts of validity, the conditional, and modality. The medieval period tried to reconcile some of the differences in their heritage, and in the process produced numerous different accounts of the nature of the connectives, consequence, and supposition. Not surprisingly, in both periods there was active and lively debate concerning the theories that were produced.

The periods between the great periods were characterized not just by a lack of interest in logic, but by a forgetting of much of the significant prior developments. In particular, all that remained of logic in about the middle of the nineteenth centuryso-called traditional logicwas a somewhat bowdlerized form of the theory of the syllogism and some of its medieval accompaniments. It was at this time that mathematical logic came into existence. It was mathematical in two senses. The first is that the logicians who produced it were interested in the analysis of the reasoning of the mathematics of their time (and its foundations). The second is that they applied mathematical techniques to the subject in a novel way, such as those of abstract algebraic, set theory, and combinatorics.

Out of this, principally at the hands of Gottlob Frege and Bertrand Russell, developed a novel theory of logic. This was streamlined, organized, and simplified by a number of logicians in the first part of the twentieth centurynotably, David Hilbert, Alfred Tarski, and Gerhard Gentzen. The result was an account of inference that was so much more powerful than traditional logic that is soon superseded it as the standard canon. This is so-called classical logic.

It had hardly appeared, however, before some logicians realized that a number of assumptions that were packed into it were contentiousespecially once one goes beyond the kind of mathematical reasoning out of which classical logic arose. One of these was the principle of bivalence: that every (declarative) sentence is either true or false. In the 1920s the first many-valued logics were produced by Jan Łukasiewicz, Emil Post, Tarski, and others. In many-valued logics, sentences can be assumed to be neither true nor false, both true and false, have an infinity of degrees of truth, and so on.

Another assumption that is packed into classical logic is truth-functionality: that the truth value of a compound sentence is a function of the truth values of its parts. This is obviously not true of modal notions, and in the 1920s Clarence Irving Lewis presented in axiomatic form the first modern systems of modal logic. Modal logic was given an enormous boost with the discovery of world-semantics by, in particular, Saul Kripke in the 1960s. This allowed for the production of logics for other non-truth-functional notions (so called intentional logics), such as tense-operators (by Arthur Prior), epistemic and doxastic notions (by Jaako Hintikka), and deontic notions (by Henrik von Wright).

Another early critique of classical logic was provided by mathematical intuitionists, such as Luitzen Brouwer and Arend Heyting, who, driven by the view that existence should not be asserted unless people can construct the object in question, produced a system of formal logic in which a number of propositional and quantifier inferences that are valid in classical logic fail.

In the second half of the century, various critics of classical logic attacked the account of the (material) conditional it employs (as had Lewis). This produced the relevant logics of Alan Anderson and Nuel Belnap, and the conditional logics of Robert Stalnaker and David Lewis. These logics both have world-semantics. The world semantics for relevant logics were produced by, in particular, Richard Routley (later Sylvan) and Robert Meyer. The central feature of such semantics (it can be seen in retrospect) is the deployment of the notion of an impossible world.

The principle of inference of classical logic that everything entails a contradiction came under attack in its own right by logicians in the same period, including Stanisław, Jaśkowski, Newton da Costa, and Graham Priest. This produced a number of paraconsistent logics, which may be many-valued, modal, relevant, or of other kinds.

The development of nonclassical logics received further momentum from the advent of computer science and information technology after the 1960s. This produced new constructivist systems (such as linear logic), intentional logics (such as dynamic logic), and paraconsistent logics (such as various resolution systems). Research in Artificial Intelligence has also produced new epistemic logics, as well as the whole new area of formal non-monotonic (i.e., non-deductive) inference.

Thus, at the start of the twenty-first century there is a wide range of logics embodying different metaphysical presuppositions and potential applications. What to make of this is another matter. Perhaps most obvious is that the revolution in logic that occurred around the turn of the twentieth century was not so much the production of a novel logical theoryimportant though this was. It was instead the deployment of mathematical techniques to logic in a novel way. This allowed the development of classical logic, but the techniques were so powerful and versatile that they could be used to produce many other logics as well.

Which of all these logics is right, and, indeed, the meaning of that question, are matters to be determined only by detailed philosophical argument. Such arguments have been much part of the philosophical landscape since about the middle of the twentieth century. Indeed, the twenty-first century is seeing disputes in philosophical logic of a depth and acuity not seen since medieval logic. Whatever their outcome, the presence of the multitude of logical systems serves to remind that logic is not a set of received truths, but a discipline in which competing theories concerning validity vie with each other. The case for each theoryincluding a received theoryhas to be investigated on its merits.

See also Aristotle; Brouwer, Luitzen Egbertus Jan; Conditionals; Frege, Gottlob; Hintikka, Jaako; Hilbert, David; Intuitionism and Intuitionistic Logic; Kripke, Saul; Lewis, Clarence Irving; Lewis, David; Logic, Non-Classical; Łukasiewicz, Jan; Many-Valued Logics; Megarians; Modal Logic; Non-Monotonic Logic; Paraconsistent Logics; Prior, Arthur Norman; Relevance (Relevant) Logics; Russell, Bertrand Arthur William; Stoicism; Tarski, Alfred; Wright, Georg Henrik von.

Bibliography

Gabbay, Dov M., and John Woods, eds. Handbook of the History of Logic. Vol. 6: Logic and Modalities in the Twentieth Century. Amsterdam, the Netherlands: Elsevier, 2005.

Gabbay, Dov M., and John Woods, eds. Handbook of the History of Logic. Vol. 7: The Many-Valued and Non-Monotonic Turn in Logic. Amsterdam, the Netherlands: Elsevier, 2005.

Haack, Susan. Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago, IL: University of Chicago Press, 1996.

Priest, Graham. Introduction to Non-Classical Logic. Cambridge, U.K.: Cambridge University Press, 2001.

Read, Stephen. Thinking about Logic: An Introduction to the Philosophy of Logic. Oxford, U.K.: Oxford University Press, 1994.

Graham Priest (2005)

About this article

Modern Logic: Since Gödel: The Proliferation of Nonclassical Logics

Updated About encyclopedia.com content Print Article

NEARBY TERMS

Modern Logic: Since Gödel: The Proliferation of Nonclassical Logics