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.

In this paper the relations between the almost unknown Spanish mathematician Ventura Reyes Prósper (1863-1922) with Charles S. Peirce and Christine Ladd-Franklin are described. Two brief papers from Reyes Prósper published in El Progreso Matemático 12 (20 December 1891), pp. 297-300, and 18 (15 June 1892) pp. 170-173 on Ladd-Franklin, and on Peirce and Mitchell, respectively, are translated for first time into English and included at the end of the paper.

‘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)