Truth & assertibility

by Weaver, Nik

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Truth & assertibility / by Nik Weaver.

Summary

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

Edition Statements

Publication Date:2015.

Publication Statements

Publisher(s):World Scientific Publishing Co
Place of Publication:Singapore
Language:eng
Publication Date:2015.

The Physical Object

Description:1 ressource en ligne (xii, 192 pages) : : illustrations en couleur.

Edition Identifiers

ISBN:9789814619974, 9814619973
oclc:ocn949754315
LC Classification:QA9
Dewey Decimal:510.1

Subjects

applied mathematics Arithmetic -- Foundations Arithmétique -- Fondements e-books Frege, Gottlob Livres numériques Logic, Symbolic and mathematical Logique symbolique et mathématique mathematics Mathématiques Tarski, Alfred