Truth and Assertibility

Nonfiction, Science & Nature, Mathematics, Set Theory, Logic
Cover of the book Truth and Assertibility by Nik Weaver, World Scientific Publishing Company
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Nik Weaver ISBN: 9789814619981
Publisher: World Scientific Publishing Company Publication: April 22, 2015
Imprint: WSPC Language: English
Author: Nik Weaver
ISBN: 9789814619981
Publisher: World Scientific Publishing Company
Publication: April 22, 2015
Imprint: WSPC
Language: English

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.

Contents:

  • Truth
  • Concepts
  • Deduction
  • Assertibility
  • Systems
  • Surveyability

Readership: Undergraduates, graduates and researchers in mathematics, logic and philosophy.
Key Features:

  • Although this is a research monograph, the material is presented at an elementary level that will be accessible to readers with minimal background. Undergraduates in mathematics or philosophy will have no trouble reading all but a handful of the more advanced sections. Because it deals with topics in the foundations of mathematics, it will appeal to readers with a variety of interests ranging from mathematics to logic to philosophy
  • While it draws on a variety of sources such as classical proof theory and intuitionistic logic, the approach of the book is highly novel. The material presented here cannot be found anywhere else
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

Contents:

Readership: Undergraduates, graduates and researchers in mathematics, logic and philosophy.
Key Features:

More books from World Scientific Publishing Company

Cover of the book Advanced Mathematical and Computational Tools in Metrology and Testing XI by Nik Weaver
Cover of the book Ethical and Legal Issues in Modern Surgery by Nik Weaver
Cover of the book Financial Strategies and Topics in Finance by Nik Weaver
Cover of the book Universal Foreigner by Nik Weaver
Cover of the book World Scientific Reference on Globalisation in Eurasia and the Pacific Rim by Nik Weaver
Cover of the book Frontiers in Orthogonal Polynomials and q-Series by Nik Weaver
Cover of the book Models of Bounded Rationality and Mechanism Design by Nik Weaver
Cover of the book Handbook of Porphyrin Science (Volumes 41 44) by Nik Weaver
Cover of the book A Modern Course in the Quantum Theory of Solids by Nik Weaver
Cover of the book The Analysis of Competition Policy and Sectoral Regulation by Nik Weaver
Cover of the book Number Theory: Plowing and Starring Through High Wave Forms by Nik Weaver
Cover of the book Ginseng and Ginseng Products 101 by Nik Weaver
Cover of the book Differential Equations as Models in Science and Engineering by Nik Weaver
Cover of the book China-ASEAN Sub-Regional Cooperation by Nik Weaver
Cover of the book 2015 Agricultural Total Factor Productivity and Competitiveness Analysis for States and Federal Territories and Five Regions of India by Nik Weaver
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy