Bolzano's Logical System
Ettore Casari
Sep 2016 · Oxford University Press
eBook
336
Halaman
family_home
Memenuhi syarat
info
reportRating dan ulasan tidak diverifikasi Pelajari Lebih Lanjut
Tentang eBook ini
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).
Tentang pengarang
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.
Beri rating eBook ini
Sampaikan pendapat Anda.
Informasi bacaan
Smartphone dan tablet
Instal aplikasi Google Play Buku untuk Android dan iPad/iPhone. Aplikasi akan disinkronkan secara otomatis dengan akun Anda dan dapat diakses secara online maupun offline di mana saja.
Laptop dan komputer
Anda dapat mendengarkan buku audio yang dibeli di Google Play menggunakan browser web komputer.
eReader dan perangkat lainnya
Untuk membaca di perangkat e-ink seperti Kobo eReaders, Anda perlu mendownload file dan mentransfernya ke perangkat Anda. Ikuti petunjuk Pusat bantuan yang mendetail untuk mentransfer file ke eReaders yang didukung.
