*The Adventure of Reason*

*-- Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940*(OUP, 2010) for

*Mind*. What follows is a draft of my review, so comments and suggestions are most welcome!

------------------------------------------------------

The first half of the 20

^{th}century witnessed the birth and flourishing of a radically novel subdiscipline: mathematical logic. While mathematics and logic had been on friendly terms at least since the 17^{th}century (Mugnai 2011), and while there were 19^{th}century precursors to the idea of applying mathematics to logic (e.g. Boole) and logic to mathematics (e.g. Frege), it is only in the first half of the 20^{th}century that mathematical logic became a fully mature subdiscipline/research program.*The Adventure of Reason*offers a compelling narrative of this exciting chapter of the history of logic and mathematics. Paolo Mancosu is one of the world’s leading experts on these developments, and while many others have made important contributions to the topic, it is fair to say that Mancosu has gone a step beyond with his painstaking work on sources other than the canonical, printed versions of articles and books. He has done extensive research at a number of archives both in Europe and North America, examining documents such as letters, minutes of meetings, informal reports, unpublished transcriptions of lectures – in short, unpublished material of various sorts. This approach has enabled him to produce new insights and at times to provide novel answers to interpretive open questions concerning some of the towering figures in this tradition (such as the controversy on whether Tarski did or did not accept domain variation in his definition of logical consequence – chapter 16).

The book essentially consists of re-prints of several of Mancosu’s
articles (some of them co-authored pieces) on a wide range of topics and authors, but all within the framework of
the emergence of mathematical logic in the 20

^{th}century and its tight connections with philosophical discussions on the nature of mathematics (as the subtitle of the book indicates). It is divided into five parts: Part I is composed of a long chapter surveying the developments from 1900 to 1935; Part II focuses on the foundations of mathematics program, in particular Russell, Hilbert, Bernays and Gödel; Part III is less ‘mainstream’ and is dedicated to the contacts between phenomenology and the philosophy of the exact sciences, pioneered by Husserl and pursued by less well-known figures such as Weyl, Becker and Mahnke; Part IV is rather short and concerns Tarski and Quine on nominalism; Part V focuses on Tarski and the Vienna Circle on truth and logical consequence, and includes a hitherto unpublished lecture by Tarski on completeness and categoricity (more on which below).
Among the many innovations introduced by mathematical logicians in
the first half of the 20

^{th}century, the emergence of*formal systems*stands out: these are collections of axioms and rules of transformation, typically formulated in a specially designed language (a formal language), which would allow for the precise investigation of whole portions of mathematics by means of axiomatizations/formalizations. Starting with the system presented in Whitehead and Russell’s 1910*Principia**Mathematica*(which in turn was heavily inspired by Frege’s*Begriffsschrift*and by the notation introduced by Peano), there was a crescendo of enthusiasm and optimism concerning what could be accomplished with this novel tool, which then culminated in Hilbert’s program in the 1920s (the topic of Part II). The basic idea was that*meta-*mathematical questions such as the consistency of arithmetic would become*mathematical*questions once adequately formulated within a convenient formal system, and could thus be investigated and settled by purely mathematical means.
At first, it seemed that these powerful tools, formal systems,
offered almost limitless possibilities for the investigation of such
foundational issues. (Hilbert: “We must know. We will know.”) But it also
became increasingly clear that the desired meta-properties of these systems, in
particular in view of the goal of describing portions of mathematics

*completely*(in different senses of ‘completely’ – see chapter 1 of the book and Awodey and Reck 2002), could not be taken for granted. A seemingly well-designed, plausible collection of axioms, say the axioms of Peano arithmetic, could still fail to deliver a complete description of the mathematical theory in question. So the properties of these very systems also had to be investigated in a systematic way – the meta-meta-level of investigation, so to speak. Now, once thoroughly formalized, formal systems become mathematical objects themselves, thus allowing for the application of the same general methodology. So one remarkable feature of mathematical logic in this period is that it set out to establish its own limits by means of the very methodology it had inaugurated.
As is well known, the most astonishing limitative results were
proved by Gödel, who in the early
1930s showed (the First Incompleteness Theorem) that any consistent system containing
arithmetic (in a suitable sense of ‘containing’) is inherently incomplete in
that there is a sentence which can neither be proved nor refuted by the system,
though true according to the standard model of arithmetic. The Second
Incompleteness Theorem established that Hilbert’s dream of proving the
consistency of arithmetic within arithmetic itself could not be realized. And
while it became generally accepted that Gödel’s
results represented a fatal blow to Hilbert’s program, this by no means meant
the end of mathematical logic as a research program. In fact, it seemed to
count as a victory rather than as a failure, as the methodology was thus shown
to be able to investigate and delineate its own limits. The emergence of
model-theory with Tarski’s work on truth and logical consequence (Part V) was
also a response to Gödel’s results and
inaugurated a new approach in mathematical logic, alongside the
proof-theoretical approach originally envisaged by Hilbert and collaborators.

Ultimately (and as noted by M. Potter in his review of the book in

*Philosophia Mathematica,*2012), Mancosu does not (and does not intend to) offer a radically novel picture of the development of mathematical logic in the first half of the 20^{th}century. The broad lines of his narrative are very much the ones largely agreed-upon in the literature. But starting from the general picture, he fills in the gaps, thus offering a very detailed account of these developments. Moreover, Mancosu is to be praised for bringing to the fore the contribution of less well-known figures such as Becker, Behmann and others, and for his keen eye for how these developments unfolded historically. His is a narrative focusing on actors and processes, not only on the results of their endeavors (theories, theorems etc.). (One of my favorite chapters in the volume is his piece on the immediate reception of Gödel’s incompleteness theorems (chapter 7), which describes how, after initial shock and some skepticism, consensus emerged concerning the correctness of the results and their wide-ranging implications.)
One may wonder what justifies the publication of a collection of
previously published papers, which moreover have not been substantially altered
for their inclusion in this volume. Now, the book does contain updated
bibliographical lists of works on the topics that have appeared since the
original publication of the articles. It also includes helpful summaries for
each of its five parts, which thus make manifest that the different individual
articles are all part of a larger, general project. At any rate, the fact that
these articles are all conveniently assembled in just one volume represents a useful
resource for all those interested in these topics.

It must be said, however, that the book is not exactly a
page-turner, which may well be due to the fact that, in the end, it remains a
collection of articles rather than a book conceived as such. In fact, it could
(but need not be) viewed as a reference work, with its impressive collection of
‘facts and figures’ (accompanied by a rather detailed index of names, but alas
no index of terms). It is for the most part also a very useful pedagogical
resource, where some difficult concepts and results are explained in an
accessible way (especially in the long survey in chapter 1).

To close this review, let me briefly discuss the two thus far
unpublished chapters of the book, namely a transcription of Tarski’s lecture
“On the Completeness and Categoricity of Deductive Systems”, and Mancosu’s own
discussion of the lecture and its content (chapters 18 and 17, respectively,
the last two chapters of the book). Completeness and categoricity are both
crucial desiderata for formal systems, and are in a sense each other’s duals;
while completeness ensures that

*all*the relevant facts about a given portion of mathematics can be captured by a deductive system, categoricity ensures that*only*these relevant facts are captured by the system, i.e. that it is not also a description of structures falling outside the targeted mathematical domain/theory (‘alien intruders’, in Dedekind’s terms). When completeness fails, not enough fish are caught; when categoricity fails, too many fish are caught.
In his lecture, Tarski remarks that, in view of Gödel’s results, absolute completeness is a rare phenomenon; there are
few deductive theories that can be complete (i.e. only those not sufficiently
expressive so as not to allow for a formalization of arithmetic). He then
introduces two weaker concepts of completeness, namely relative completeness
and semantic completeness (the interested reader will have to consult the text
itself for details, as limitations of space prevent me from offering further
technical elaborations), and asks himself what methods could be used to show a
given system to be relatively/semantically complete. Lest one should despair,
Tarski announces the grand news: “We shall see, namely, that the concepts of
relative and semantical completeness are closely related to the concept of
categoricity (due to Veblen) and the investigation of the latter concept does
not require in general any special and subtle methodological investigations.”
(p. 490) Tarski then proves two theorems relating (relative and semantic)
categoricity to (relative and semantic) completeness, and in view of the
abundance of categorical systems, he concludes: “in opposition to absolute
completeness, relative or semantical completeness occurs as a common
phenomenon.” (p. 492) We thus have yet another display of Tarski’s uncanny
ability to convey difficult technical concepts in an accessible way, while at
the same time drawing sophisticated general conclusions from the results he
discusses. A great way to end the book, and accordingly an appropriate way to
end this review.

Nice review, Catarina. Two small points:

ReplyDelete6th par: What Gödel proved is that if T is omega-consistent then there is a sentence G which is neither provable nor refutable. Simple consistency of T is sufficient to see that G is not provable; omega-consistency is required to see that G is not refutable. The strengthening to simple consistency is due to Rosser (using a different sentence).

In the last par., probably 'interpretation' is more precise characterization than 'formalization'.

Thanks, Aldo! You are of course right, and it never hurts to be as precise as one can on such matters. I'll take care of these points for the final version.

DeleteI think it's been common practice in English-speaking philosophy to collect published articles by major philosophers in collections, see eg many of Quine's books (Ways of Paradox, From a Logical Point of View, etc). Oxford has been doing this extensively recently. So I don't think Paolo should be blamed for that.

ReplyDeleteI didn't mean to suggest there is anything wrong with publishing collections of previously published articles, and certainly not in this case (as I said, it's extremely useful to have them all bundled together). The only point I was making is that after reading one chapter, one does not feel compelled to start on the next chapter right away.

DeleteCatarina,

ReplyDeleteAn interesting read ,but I have some cavils.

(1) How was Principia "heavily influenced" by Frege? It is a formal language, but one that is patterned on Peano's Formulairo. Its axiomatization is different: we have types, and the "assertion-sign" is not built up from two parts. In Frege the truth-values play a totally different role from PM. Frege defines propositional truth via truth-values. A true Gedanke is a sense that determines Das Wahre. Whitehead and Russell go in the opposite direction and start the all-pervasive tradition where truth-values are defined from truth and falsity. So where is the "heavy influence"?

(2) The works of Gödel and Tarski ±1930, and their codification by Paul Bernays, served to alter the logical paradigm. "Object languages" are no longer epistemological tools for foundational research. They are turned into objects of study. One cannot speak "object language"; one can only speak about it. You go too far, I think, at least as a description of how things are done in actual research. "Thoroughly formalized" formal systems become "mathematical objects themselves", it is true, which allows for the application of "the same general methodology". Here I cavil. The methodological study of these systems is not carried out by means of a FORMALIZED meta-theory: that would be hellish. The ONLY treatise known to me using a "thoroughly formalized" meta-theory is Heinrich Scholz's posthumous masterpiece Grundzüge der mathematischen Logik. Like Church's Introduction to Mathematical Logic it contains an engrossing philosophical introduction that still after fifty years offers the best discussion of second-order Platonism versus Constructivism in logic and the foundations of mathematics. The book is almost unreadable owing to its remorseless formalization. As the enduring, practice-based, methodological precept has it: study formalizations as mathematical objects, but do not formalize the study unless necessary.

(3) Your peroration praises Tarski for his "uncanny ability to convey difficult technical concepts" and "drawing sophisticated general conclusions". I do not see that on display here. Trivially the theory, whether first- or second-order, of any relation structure is semantically ("negation"-) complete. There, with respect to complete theories, be they axiomatizable or not, we can accordingly speak truly of "an abundance". The harvest of categorical theories on the other hand, is by comparison singularly meagre, and hardly constitutes "an abundance". By their Hintikka (or Scott) sentences whichever terminology one prefers, finite structures may have categorical as well as axiomatizable first-order theories. Interesting first-order theories (with infinite models) are never categorical, owing the Löwenheim-Skolem theorems. They may be complete, as Tarski showed in a number of cases by means of successful quantifier-eliminations, for instance regarding the theory of real closed fields. In the matching "full" second-order cases we only have a formal language, but NO FORMAL SYSTEM, since categoricity together with Tarski's theorem on arithmetical truth rules that out. The "deviant" concepts Tarski discusses have, as far as I know, played little role in the development of logic, whereas categoricity and negation-completeness are crucial. So why the abundant praise for the Master?

ReplyDeleteOn the contrary, Paolo deserves a measure of praise for having sorted out what Tarski was doing here. Logical theory coalesced into something reasonably firm only after WWII. Tarski was one of the main architects of that development. No doubt previous musings were crucial in getting things right later. Two decades after Van der Waerden's Moderne Algebra, and with Bourbaki getting fully into his stride, mathematicians were ready to accept structuralism, and their readiness for satisfaction was rewarded model-theoretically. By comparison, the Tarski of the Polish period appears much more outré than we have good reason to think of him today.