Bolzano's Logical System

by Ettore Casari

Overview

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

Product Details

ISBN-13:	9780191092466
Publisher:	OUP Oxford
Publication date:	11/17/2016
Sold by:	Barnes & Noble
Format:	eBook
Pages:	336
File size:	18 MB
Note:	This product may take a few minutes to download.

About the Author

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.

Table of Contents

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

Editorial Reviews

"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

From the Publisher