机读格式显示(MARC)

• 000 01426nam 2200313 450

• 001 0000718234

• 005 20240814152600.0

• 010 __ |a 978-7-303-28954-7 |b 精装 |d CNY98.00

• 100 __ |a 20230911d2023 em y0chiy50 ea

• 101 0_ |a chi |e eng

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 公理化真理论研究 |A gong li hua zhen li lun yan jiu |f 李娜, 李晟著

• 210 __ |a 北京 |c 北京师范大学出版社 |d 2023

• 215 __ |a 354页 |d 24cm

• 225 2_ |a 国家哲学社会科学成果文库 |A guo jia zhe xue she hui ke xue cheng guo wen ku |h 2022

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

• 314 __ |a 李娜, 南开大学哲学院逻辑教研室教授、博士生导师。主要研究方向为现代逻辑。

• 320 __ |a 有书目 (第342-346页)

• 330 __ |a 本书内容包括三方面: 第一个方面: 以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索, 对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面: 减弱经典公理化真理论的基础理论, 将一阶逻辑减弱为直觉主义逻辑, 系统地研究基于直觉主义逻辑的公理化真理论。第三个方面: 加强经典公理化真理论的基础理论, 将皮亚诺算术加强为集合论, 系统地研究基于集合论的公理化真理论。

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

• 510 1_ |a Study of axiomatic theories of truth |z eng

• 606 0_ |a 公理化 |A gong li hua |x 理论研究

• 690 __ |a G304 |v 5

• 701 _0 |a 李娜, |A li na |f 1958- |4 著

• 701 _0 |a 李晟 |A li sheng |4 著

• 801 _0 |a CN |b WFKJXY |c 20240814

• 905 __ |a WFKJXY |d G304/14