Get Free Shipping on orders over $79
Truth And Assertibility - Nik Weaver

Truth And Assertibility

By: Nik Weaver

Hardcover | 22 April 2015

At a Glance

Hardcover


RRP $176.99

$159.75

10%OFF

or 4 interest-free payments of $39.94 with

 or 

Ships in 15 to 25 business days

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.

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.99

29%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan  Katz
Parabolic Problems : 60 Years of Mathematical Puzzles in Parabola - David  Angell
Axiomatic Set Theory : An Introduction - George Tourlakis
The Story of Proof : Logic and the History of Mathematics - John Stillwell