Alonzo Church and the Reviews

Extract

The journal of symbolic logic began publishing in 1936. From the outset, the Journal included a Reviews Section, edited by Alonzo Church. The very first issue carried three pages of reviews, written by Bernays, Church, Rosser, and Quine.

As the first issue stated, “It is intended that this section of the Journal shall serve as a complete bibliography of current literature in the field of symbolic logic, from January 1, 1936. To this end an effort will be made to include in it, at least by title, all publications in this field, both books and articles in journals, and as far as possible these will be accompanied by signed reviews.” Thus the purpose of the Reviews Section was two-fold. For one, there was its bibliographical function: to provide a complete, suitably indexed, listing of all the publications—both books and journal articles—in symbolic logic, wherever and in whatever language published. And secondly, the reviews were to provide critical, analytical commentary on these publications, whenever possible.

The Reviews Section should be viewed as a continuation and expansion of Church's A bibliography of symbolic logic. The Bibliography was a listing, with some annotations, of the publications in symbolic logic prior to 1936. It was published as volume 1, number 4 of the Journal. Church made the listing as complete as he could, of course.