A unique new book exploring Bernard Bolzano's Wissenschaftslehre (Theory of Science) and introducing a formal system to examine the logic presented in Bolzano's work.

Ettore Casari was born in 1933. After his primary and secondary school in Trento, from 1951 to 1961 he studied at the Universities of Pavia and Muenster i.W.. From 1961 to 1966 he taught at the Universities of Pavia (Philosophy of Science) and Milan (Logic). In 1966/7 he taught Philosophy of Science at the University of Cagliari, from 1967 to 1998 Philosophy of Science at the University of Florence and, from 1998 to 2006, Logic the Scuola Normale Superiore of Pisa.

• 1: Introduction


• 2: ELEMENTARY LEVEL (A): IDEAS


• 3: ELEMENTARY LEVEL (B): PROPOSITIONS


• 4: SYMBOLIC LEVEL


• 5: INFERENCES


• 6: HIGHER LEVEL


• 7: ETIOLOGY


• 8: THEORY OF KNOWLEDGE


• 9: SEMIOTICS


• Apendixs


• A: The Epsilon Calculus with Definitory Expansions


• B: Specific Axioms


• C: Aggregates


• D: Unity and Multiplicity


• E: Antinomies


• F: Real numbers