Bolzano's Logical System

Overview

This book is focused on the first three parts of Bolzano's Theory of Science and introduces a more systematic reconsideration of Bolzano's logical thought.

Purpose

In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logical thought — already amply studied — as much as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.

Methodology

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