书目信息 机读格式(MARC)
公理化真理论研究
| ISBN/价格： | 978-7-303-28954-7:CNY98.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 公理化真理论研究/.李娜, 李晟著 |
| 出版发行项： | 北京:,北京师范大学出版社:,2023.5 |
| 载体形态项： | 11,11,354页:;+24cm |
| 丛编项： | 国家哲学社会科学成果文库 |
| 相关题名附注： | 封底英文题名:A study of axiomatic theories of truth |
| 提要文摘： | 本书内容包括三方面:第一个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。 |
| 并列题名： | Study of axiomatic theories of truth eng |
| 题名主题： | 公理化 理论研究 |
| 中图分类： | G304 |
| 个人名称等同： | 李娜 (女, 著 |
| 个人名称等同： | 李晟 著 |
| 记录来源： | CN LLBF 20230920 |
| 记录来源： | CN TSG 20231117 |