Drawing on recently published correspondence as well as on a survey of Polish and international philosophical activity published in 1937 and details concerning the publisher and bookseller Aleksander Mazzucato, I provide evidence that, contrary to some recent assertions (but in line with older bibliographical entries), Tarski's ‘Der Wahrheitsbegriff in den formalisierten Sprachen’ was not published in journal form until 1936, although preprints, lacking two corrections and a small addendum, were likely available in the late months of 1935.

This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related to the (...) contemporaneous work on the axiomatization of intuitionistic logic. (shrink)

Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

Gottlob Frege’s Grundgesetze der Arithmetik (Basic Laws of Arithmetic, Vol. I/II; 1893/1903) is a modern classic. Since the 1930s it has belonged to an exclusive class of only eleven works in the history of symbolic logic, which contain the ‘first appearance of a new idea of fundamental importance’ [Church, 1936, p. 122], and its author is the only one whose other major works — Begriffsschrift (1879) and Die Grundlagen der Arithmetik (1884) — also belong to this distinguished group. Together with (...) the seminal paper ‘Über Sinn und Bedeutung’ these three monographs represent the essential contributions to one of the most fascinating foundational projects in mathematics, then and now. For decades Frege struggled with the question, ‘how are we to apprehend logical objects, in particular, the numbers? What justifies us in acknowledging numbers as objects?’ [Frege, 2013, ‘Afterword’, p. 265]. His favourite answer, for a long time, was that arithmetic is a complex branch of logic. But since there is no logicism without logic, Frege started in Begriffsschrift with the invention of a nearly perfect formalization of higher-order classical predicate logic. To discover how far we can get in arithmetic by analytic means alone, it was even necessary to clarify the semantic character of the concept of number. This was done in a marvellous way by Frege five years later, in Grundlagen. The next step was nothing less than the complete execution of his logicist project, a monumental undertaking; and it is well known that here Frege failed, due to Russell’s derivation of the antinomy in 1902. But, despite the contradiction, Grundgesetze contains Frege’s legacy to logicism, which became more and more attractive. (shrink)

This volume portrays the Polish or Lvov-Warsaw School, one of the most influential schools in analytic philosophy, which, as discussed in the thorough introduction, presented an alternative working picture of the unity of science.

‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of classes’ involving (...) the notion of ‘scope’. (shrink)

The paper begins by delimiting the scope of ‘logic’ and ‘philosophy of science’ and goes on to present the biographies and select bibliographies of 36 émigré scholars from Germany and Austria working in these fields. An evaluation of this material, and of data on societies, congresses, lecture series, books and periodicals on logic and philosophy of science, is then undertaken. Against the rich background of activity in the 20s and 30s of our century, there is manifest a rapid decline of (...) high-ranking research in the philosophy of science and in logic in Germany and Austria. Since, with one exception, émigré logicians and philosophers of science did not return after the breakdown of the Third Reich, recovery in these fields has been extremely slow. Pertinent knowledge had to be re-imported, and a satisfactory level has been reached only with the coming of a new generation. (shrink)