MARC状态:审校 文献类型:中文图书 浏览次数:22
- 题名/责任者:
- 公理化真理论研究/李娜, 李晟著
- 出版发行项:
- 北京:北京师范大学出版社,2023
- ISBN及定价:
- 978-7-303-28954-7 精装/CNY98.00
- 载体形态项:
- 354页;24cm
- 丛编项:
- 国家哲学社会科学成果文库.2022
- 个人责任者:
- 李娜, 1958- 著
- 个人责任者:
- 李晟 著
- 学科主题:
- 公理化-理论研究
- 中图法分类号:
- G304
- 相关题名附注:
- 英文题名取自封底
- 责任者附注:
- 李娜, 南开大学哲学院逻辑教研室教授、博士生导师。主要研究方向为现代逻辑。
- 书目附注:
- 有书目 (第342-346页)
- 提要文摘附注:
- 本书内容包括三方面: 第一个方面: 以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索, 对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面: 减弱经典公理化真理论的基础理论, 将一阶逻辑减弱为直觉主义逻辑, 系统地研究基于直觉主义逻辑的公理化真理论。第三个方面: 加强经典公理化真理论的基础理论, 将皮亚诺算术加强为集合论, 系统地研究基于集合论的公理化真理论。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| G304/14 | 2195852 | 文化体育语言类书库-三楼西南
|
可借 | 文化体育语言类书库-三楼西南 | |
| G304/14 | 2195853 | 文化体育语言类书库-三楼西南
|
可借 | 文化体育语言类书库-三楼西南 | |
| G304/14 | 2195854 | 文化体育语言类书库-三楼西南
|
可借 | 文化体育语言类书库-三楼西南 |
显示全部馆藏信息




文化体育语言类书库-三楼西南