机读格式显示(MARC)

• 000 01585nam 2200325 450

• 001 0000770887

• 005 20170807143600.0

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

• 100 __ |a 20170502d2017 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年以来在形式真理论领域一系列成果的总结和发展。这部分侧重于与真相关的悖论的可描述性问题的探索。

• 333 __ |a 高校逻辑学、哲学等专业的师生。

• 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

• 701 _0 |a 熊明, |A xiong ming |f 1973- |4 著

• 801 _0 |a CN |b 江苏新华 |c 20150511

• 801 _2 |a CN |b Wuxilib |c 20170807

• 905 __ |a Wuxilib |d B023.3/27