Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Truth And Assertibility, Hardback Book

Truth And Assertibility Hardback

Hardback

Available to Order - This title is available to order, with delivery expected within 2 weeks

Description

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.

Information

Save 6%

£81.00

£75.75

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information