Paul Rusnock, University of Ottawa, and Rolf George, University of Waterloo

Bernard Bolzano (1781-1848) made outstanding contributions to many areas of philosophy as well as to mathematics and theology. In mathematics, he is best known for his work in analysis and the foundations of mathematics, which included rigorous definitions of continuity and convergence as well as the construction of a continuous, nowhere-differentiable function and anticipations of Cantor's set theory. His work in logic, presented in the Theory of Science, marks a new beginning in the history of the discipline. Among his discoveries, the most noted are his definition of deducibility, which anticipates Tarski's definition of logical consequence, and his notion of logical analyticity, which closely resembles later concepts of logical truth. On account of these and many other accomplishments, Bolzano is now widely recognised as one of the great philosophers of the nineteenth century.

Rolf George is Professor emeritus of Philosophy at the University of Waterloo, Canada.

Paul Rusnock is Associate Professor of Philosophy at the University of Ottawa, Canada.

"The four volumes under review here represent a major undertaking of careful translation and critical analysis...Each volume in the Oxford edition of Bolzano's Wissenschaftslehre ends with Bolzano's own subject indexes (revealing those subjects in the treatise he regarded as most important, indexed by section numbers), followed by name indexes and the translators' own subject indexes (reflecting interests of the modern read, and indexed according to volume by page numbers). ... [H]istorians and philosophers of mathematics, especially those who do not read German, will find this an invaluable resource, in particular for appreciating the ways in which mathematics informed the development of Bolzano's critique of the sciences" - Joseph W. Dauben, MathSciNet

"After 177 years, thanks to Paul Rusnock and Rolf George, we finally have the complete English translation of Bolzano's monumental work Theory of Science, the great unknown classical work in logic and epistemology. The translation is excellent, both in keeping the flavor of nineteenth-century books and in being eminently readable." - Philosophia Mathematica