HEA|  |01783oam2 2200313   450 
001|  |0100539638
005|  |20180418153609.2
010|  |□a978-7-03-051962-7□b精装□dCNY98.00
100|  |□a20170428d2017    em y0chiy50      ea
101|0 |□achi□eeng
102|  |□aCN□b110000
105|  |□aak  z   001yy
106|  |□ar
200|1 |□a算术、真与悖论□Asuan shu 、 zhen yu -
   |  |bei lun□f熊明著
210|  |□a北京□c科学出版社□d2017
215|  |□a12,260页□c图□d25cm
225|2 |□a国家哲学社会科学成果文库
308|  |□a丛书2016
312|  |□a封底英文题名：Arithmetic, truth and paradoxes
330|  |□a本书内容分为三个部分：算术、真和悖论。第一部分“算术”部-
   |  |分主要阐述形式真理论在二十世纪三十年代的成果，包括了哥德尔不-
   |  |完全性定理中与真理论密切相关的技术思想和方法，重点阐述了塔斯-
   |  |基不可定义性定理及其相关的延伸性结果。第二部分“真”部分除阐-
   |  |述了塔斯基的语言层次理论之外，主要阐述六十年代直到*近逻辑学-
   |  |家围绕真与悖论问题而建立起的占主流地位的几个基本理论，包括克-
   |  |里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。第三-
   |  |部分“悖论”部分是笔者自2005年以来在形式真理论领域一系列-
   |  |成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的-
   |  |探索。
461| 0|□12001 □a国家哲学社会科学成果文库
510|1 |□aArithmetic, truth and paradoxes□zeng
606|0 |□a真理□x研究
606|0 |□a逻辑学□x悖论□x研究
690|  |□aB023.3□v5
690|  |□aB81□v5
701| 0|□a熊明□Axiong ming□f(1973-)□4著
801| 0|□aCN□b浙江大涵文化□c20180205
801| 2|□aCN□bQXLIB□c20180418