Written as a defense of logicism (the thesis that mathematics is in some significant sense reducible to logic), the book was instrumental in developing and popularizing modern mathematical logic. It also served as a major impetus for research in the foundations of mathematics throughout the twentieth century. Along with Aristotle's Organon and Gottlob Frege's Grundgesetze der Arithmetik, it remains one of the most influential books on logic ever written.
Achieving Principia's main goal proved to be a challenge. Primarily at issue were the kinds of assumptions Whitehead and Russell needed to complete their project. Although Principia succeeded in providing detailed derivations of many major theorems in finite and transfinite arithmetic, set theory, and elementary measure theory, two axioms in particular were arguably non-logical in character: the axiom of infinity and the axiom of reducibility. The axiom of infinity in effect states that there exists an infinite number of objects. Arguably it makes the kind of assumption generally thought to be empirical rather than logical in nature. The axiom of reducibility was introduced as a means of overcoming the not completely satisfactory effects of the theory of types, the mechanism Russell and Whitehead used to restrict the notion of a well-formed expression, thereby avoiding Russell's paradox. Although technically feasible, many critics concluded that the axiom was simply too ad hoc to be justified philosophically. Kanamori sums up the sentiment of many readers: “In traumatic reaction to his paradox Russell had built a complex system of orders and types only to collapse it with his Axiom of Reducibility, a fearful symmetry imposed by an artful dodger” (2009, 411). In the minds of many, the issue of whether mathematics could be reduced to logic, or whether it could be reduced only to set theory, thus remained open.
In response, Whitehead and Russell argued that both axioms were defensible on inductive grounds. As they tell us in the Introduction to the first volume of Principia,
self-evidence is never more than a part of the reason for accepting an axiom, and is never indispensable. The reason for accepting an axiom, as for accepting any other proposition, is always largely inductive, namely that many propositions which are nearly indubitable can be deduced from it, and that no equally plausible way is known by which these propositions could be true if the axiom were false, and nothing which is probably false can be deduced from it. If the axiom is apparently self-evident, that only means, practically, that it is nearly indubitable; for things have been thought to be self-evident and have yet turned out to be false. And if the axiom itself is nearly indubitable, that merely adds to the inductive evidence derived from the fact that its consequences are nearly indubitable: it does not provide new evidence of a radically different kind. Infallibility is never attainable, and therefore some element of doubt should always attach to every axiom and to all its consequences. In formal logic, the element of doubt is less than in most sciences, but it is not absent, as appears from the fact that the paradoxes followed from premisses which were not previously known to require limitations. (1910, 2nd edn 59)
Whitehead and Russell were also disappointed by the book's largely indifferent reception on the part of many working mathematicians. As Russell writes,
Both Whitehead and I were disappointed that Principia Mathematica was only viewed from a philosophical standpoint. People were interested in what was said about the contradictions and in the question whether ordinary mathematics had been validly deduced from purely logical premisses, but they were not interested in the mathematical techniques developed in the course of the work. ... Even those who were working on exactly the same subjects did not think it worth while to find out what Principia Mathematica had to say on them. I will give two illustrations: Mathematische Annalen published about ten years after the publication of Principia a long article giving some of the results which (unknown to the author) we had worked out in Part IV of our book. This article fell into certain inaccuracies which we had avoided, but contained nothing valid which we had not already published. The author was obviously totally unaware that he had been anticipated. The second example occurred when I was a colleague of Reichenbach at the University of California. He told me that he had invented an extension of mathematical induction which he called 'transfinite induction'. I told him that this subject was fully treated in the third volume of the Principia. When I saw him a week later, he told me that he had verified this. (1959, 86)
Despite such concerns, Principia Mathematica proved to be remarkably influential in at least three ways. First, it popularized modern mathematical logic to an extent undreamt of by its authors. By using a notation superior to that used by Frege, Whitehead and Russell managed to convey the remarkable expressive power of modern predicate logic in a way that previous writers had been unable to achieve. Second, by exhibiting so clearly the deductive power of the new logic, Whitehead and Russell were able to show how powerful the idea of a modern formal system could be, thus opening up new work in what soon was to be called metalogic. Third, Principia Mathematica re-affirmed clear and interesting connections between logicism and two of the main branches of traditional philosophy, namely metaphysics and epistemology, thereby initiating new and interesting work in both of these areas.
As a result, not only did Principia introduce a wide range of philosophically rich notions (including propositional function, logical construction, and type theory), it also set the stage for the discovery of crucial metatheoretic results (including those of Kurt Gödel, Alonzo Church, Alan Turing and others). Just as importantly, it initiated a tradition of common technical work in fields as diverse as philosophy, mathematics, linguistics, economics and computer science.
Today a lack of agreement remains over the ultimate philosophical contribution of Principia, with some authors holding that, with the appropriate modifications, logicism remains a feasible project. Others hold that the philosophical and technical underpinnings of the project remain too weak or too confused to be of great use to the logicist. (For more detailed discussion, readers should consult Quine (1966a), Quine (1966b), Landini (1998), Landini (2011), Linsky (1999), Linsky (2011), Hale and Wright (2001), Burgess (2005), Hintikka (2009) and Gandon (2012).)
There is also lack of agreement over the importance of the second edition of the book, which appeared in 1925 (Volume 1) and 1927 (Volumes 2 and 3). The revisions were done by Russell, although Whitehead was given the opportunity to advise. In addition to the correction of minor errors throughout the original text, changes to the new edition included the inclusion of a new Introduction and three new appendices. (The appendices discuss the theory of quantification, mathematical induction and the axiom of reducibility, and the principle of extensionality respectively.) The book itself was reset more compactly, making page references to the first edition obsolete. Russell continued to make corrections as late as 1949 for the 1950 printing, the year he and Mrs Whitehead finally began to receive royalties.
Today there is still debate over the ultimate value, or even the correct interpretation, of some of the revisions, revisions that were motivated in large part by the work of some of Russell's brightest students, including Ludwig Wittgenstein and Frank Ramsey. Appendix B has been notoriously problematic. The appendix purports to show how mathematical induction can be justified without use of the axiom of reducibility; but as Alasdair Urquhart reports,
The first indication that something was seriously wrong appeared in Gödel's well known essay of 1944, “Russell's Mathematical Logic.” There, Gödel points out that line (3) of the demonstration of Russell's proposition *89.16 is an elementary logical blunder, while the crucial *89.12 also appears to be highly questionable. It still remained to be seen whether anything of Russell's proof could be salvaged, in spite of the errors, but John Myhill provided strong evidence of a negative verdict by providing a model-theoretic proof in 1974 that no such proof as Russell's can be given in the ramified theory of types without the axiom of reducibility. (Urquhart 2012)
Linsky (2011) provides helpful discussion, both of the Appendix itself and of the suggestion that by 1925 Russell may have been out of touch with recent developments in the quickly changing field of mathematical logic. He also addresses the suggestion, made by some commentators, that Whitehead may have been opposed to the revisions, or at least indifferent to them, concluding that both charges are likely without foundation. (Whitehead's own comments, published in 1926 in Mind, shed little light on the issue.)
ليست هناك تعليقات:
إرسال تعليق