Logic, Semantics, Metamathematics

Reviews / Votes

I can think of no better publishing project in the general area of logic and the foundations of mathematics than the republication and appropriate corrections under Tarski's supervision of this classic volume. --Patrick Suppes, Stanford University A mere reprinting of the volume would be a service, but the present project promises a much greater service. The historical significance of the papers can now be assessed in the perspective of the twenty-six productive years that have elapsed since the first printing of the volume, and the much longer interval-fifty years, on the average-since publication of the component papers. Concepts can be instructively glossed, renamed, and reinterpreted in the light of later literature. Corrections can be made, also, that were urgently wanted already in the first printing, to which Tarski had insufficient access when it was being prepared. Under the expert editing by John Corcoran in consultation with Tarski, a volume can be counted on that will constitute a definitive record and appraisal of Tarski's monumental early contributions to the burgeoning domain of mathematical logic and its philosophy. --W. V. Quine, Harvard University