【2015新书】    Truth and Assertibility

Book 图书名称： Truth and Assertibility
Author 作者：Nik Weaver
Publisher 出版社：World Scientific Publishing Co
Page 页数：204
Publishing Date 出版时间：May 6, 2015
by Nik Weaver (Author)                         
Language 语言：English
Size 大小： 1.4 MB
Format 格式：pdf  文字版
ISBN:9814619957, 9789814619950
Edition: 第1版  搜索过论坛，没有该文档


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

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

== Table of contents ==
n/a

== 回帖见免费下载 ==

本帖隐藏的内容

Truth and Assertibility .pdf
大小:(1.4 MB)

 马上下载

声明： 本资源仅供学术研究参考之用，发布者不负任何法律责任，敬请下载者支持购买正版。
提倡免费分享！ 我发全部免费的，分文不收 来看看 ...
你也可关注我  马上加关注