Abstract

In the summer of 1957 at Cornell University the first of a cavalcade of large-scale meetings partially or completely devoted to logic took place--the five-week long Summer Institute for Symbolic Logic. That meeting turned out to be a watershed event in the development of logic: it was unique in bringing together for such an extended period researchers at every level in all parts of the subject, and the synergetic connections established there would thenceforth change the face of mathematical logic both qualitatively and quantitatively. Prior to the Cornell meeting there had been nothing remotely like it for logicians. Previously, with the growing importance in the twentieth century of their subject both in mathematics and philosophy, it had been natural for many of the broadly representative meetings of mathematicians and of philosophers to include lectures by logicians or even have special sections devoted to logic. Only with the establishment of the Association for Symbolic Logic in 1936 did logicians begin to meet regularly by themselves, but until the 1950s these occasions were usually relatively short in duration, never more than a day or two. Alfred Tarski was one of the principal organizers of the Cornell institute and of some of the major meetings to follow on its heels. Before the outbreak of World War II, outside of Poland Tarski had primarily been involved in several Unity of Science Congresses, including the first, in Paris in 1935, and the fifth, at Harvard in September, 1939. (It was the latter which brought him to the United States and fortuitously left him stranded there following the Nazi invasion of Poland.) Much attention had been given to logic at these congresses and to Tarski’s own work, in particular, through the deep interest in it of Carnap, Quine and others. Following the end of the war, Tarski forged new alliances, especially in the United States logical and mathematical communities. To begin with, as part of the year-long celebration of the two-hundredth anniversary of the founding of Princeton University, a high-level conference on the Problems of Mathematics was held there in December 1946..