Description: This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logial thought - already amply studied - as muh as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.
Casari presents this within a formal system and adopts the approach of the predicate calculus with identity and choice operator by using Hilbert's epsilon calculus (the logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics).Review Quotes: "The author presents Bolzano's logic inside a formal system expressed in Hilbert's epsilon calculus. This is clearly a definitive work on the subject, with an excellent bibliography" -- Victor V. Pambuccian, Mathematical Reviews
"Casari's book is the most complete, the most innovative and exciting work on Bolzano's logical system. Better than previous works on this subject, it shows the complexity and the depth of Bolzanos thought as well as its pitfalls." -- Jan Sebestik, History and Philosophy of Logic