Truth And Assertibility
avr. 2015 · World Scientific Proceedings Series On Computer Engineering And Information Science Livre 9 · World Scientific
Ebook
204
Pages
family_home
Admissible
info
reportLes notes et les avis ne sont pas vérifiés En savoir plus
À propos de cet ebook
The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device that can be used to handle difficulties that have plagued philosophical logic for over a century. Two examples relate to Frege's formulation of second-order logic and Tarski's characterization of truth predicates for formal languages. Both are widely recognized as fundamental advances, but both are also seen as being seriously flawed: Frege's system, as Russell showed, is inconsistent, and Tarski's definition fails to capture the compositionality of truth. A formal assertibility predicate can be used to repair both problems. The repairs are technically interesting and conceptually compelling. The approach in this book will be of interest not only for the uses the author has put it to, but also as a flexible tool that may have many more applications in logic and the foundations of mathematics.
Attribuez une note à ce ebook
Faites-nous part de votre avis.
Informations sur la lecture
Téléphones intelligents et tablettes
Installez l'appli Google Play Livres pour Android et iPad ou iPhone. Elle se synchronise automatiquement avec votre compte et vous permet de lire des livres en ligne ou hors connexion, où que vous soyez.
Ordinateurs portables et de bureau
Vous pouvez écouter les livres audio achetés sur Google Play en utilisant le navigateur Web de votre ordinateur.
Liseuses et autres appareils
Pour pouvoir lire des ouvrages sur des appareils utilisant la technologie e-Ink, comme les liseuses électroniques Kobo, vous devez télécharger un fichier et le transférer sur l'appareil en question. Suivez les instructions détaillées du centre d'aide pour transférer les fichiers sur les liseuses électroniques compatibles.
