Truth & Assertibility - Couverture rigide

Weaver, Nik

Couverture rigide

ISBN 10 : 9814619957 ISBN 13 : 9789814619950

Editeur : World Scientific Publishing Co Pte Ltd, 2015

Synopsis

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.

A propos du livre

Présentation de l'éditeur

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.

Revue de presse

In its sweep across a range of philosophical topics, the book offers a fresh and productive approach to some of the classic problems surrounding the concept of truth. The background material which frames the questions, while mostly familiar, is presented with clarity and precision, and could serve as a quick introduction for anyone new to the subject. The proofs associated with the new material on assertibility are not technically difficult, but they are illuminating, and serve to enhance the philosophical underpinnings. The book should serve as major contribution to future discussions of truth from a constructivist point of view. --MathSciNet

Détails de l'édition

• Éditeur: World Scientific Publishing Co Pte Ltd
• Date d'édition: 2015
• Langue: anglais
• ISBN 10: 9814619957
• ISBN 13: 9789814619950
• Reliure: Relié
• Nombre de pages: 206
• Coordonnées du fabricant: non disponible
• Personne responsable: gpsr@libri.de; gpsr@libri.de; ; Friedensallee 273; Hamburg; 22763; Allemagne