Truth And Assertibility

Regular price €93.99
Regular price €94.99 Sale Sale price €93.99
A01=Nik Weaver
Age Group_Uncategorized
Age Group_Uncategorized
Assertibility
Author_Nik Weaver
automatic-update
Category1=Non-Fiction
Category=PBB
Category=PBC
Constructivism
COP=Singapore
Delivery_Delivery within 10-20 working days
eq_isMigrated=2
Intuitionism
Language_English
Liar Paradox
PA=Available
Philosophical Logic
Philosophy of Language
Philosophy of Mathematics
Price_€50 to €100
PS=Active
Russell's Paradox
Second Order Logic
Semantic Paradoxes
softlaunch
Truth

Product details

  • ISBN 9789814619950
  • Publication Date: 06 May 2015
  • Publisher: World Scientific Publishing Co Pte Ltd
  • Publication City/Country: SG
  • Product Form: Hardback
  • Language: English
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

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.