Bolzano's Logical System
Ettore Casari
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).
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).
카테고리:
년:
2016
판:
1
출판사:
Oxford University Press
언어:
english
페이지:
336
ISBN 10:
0198788290
ISBN 13:
9780198788294
시리즈:
Oxford logic guides 54
파일:
PDF, 1.76 MB
IPFS:
,
english, 2016