机读格式显示(MARC)

• 000 01540nam 2200325 450

• 001 0000263231

• 005 20180413163200.0

• 010 __ |a 978-7-03-051962-7 |b 精装 |d CNY98.00

• 099 __ |a CAL 012017068836

• 100 __ |a 20170428d2017 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 001yy

• 106 __ |a r

• 200 1_ |a 算术、真与悖论 |A Suan Shu、 Zhen Yu Bei Lun |f 熊明著

• 210 __ |a 北京 |c 科学出版社 |d 2017

• 215 __ |a xii, 260页 |c 图 |d 25cm

• 225 2_ |a 国家哲学社会科学成果文库 |A Guo Jia Zhe Xue She Hui Ke Xue Cheng Guo Wen Ku |h 2016

• 312 __ |a 英文题名取自封底

• 320 __ |a 有书目 (第247-252页) 和索引

• 330 __ |a 本书内容分为三个部分: 算术、真和悖论。第一部分“算术”部分主要阐述形式真理论在二十世纪三十年代的成果, 包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法, 重点阐述了塔斯基不可定义性定理及其相关的延伸性结果。第二部分“真”部分除阐述了塔斯基的语言层次理论之外, 主要阐述六十年代直到近期, 逻辑学家围绕真与悖论问题而建立起的占主流地位的几个基本理论, 包括克里普克、赫兹伯格、古普塔、贝尔纳普、莱特格布等人的理论。第三部分“悖论”部分是笔者自2005年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。

• 410 _0 |1 2001 |a 国家哲学社会科学成果文库 |h 2016

• 510 1_ |a Arithmetic, truth and paradoxes |z eng

• 606 0_ |a 真理 |A Zhen Li |x 研究

• 606 0_ |a 逻辑学 |A Luo Ji Xue |x 悖论 |x 研究

• 690 __ |a B023.3 |v 5

• 690 __ |a B81 |v 5

• 701 _0 |a 熊明, |A Xiong Ming |f 1973- |4 著

• 801 _0 |a CN |b NMU |c 20170428

• 905 __ |a AUSTL |d B023.3/X519