|
题名:
|
公理化真理论研究 gong li hua zhen li lun yan jiu / 李娜，李晟著 , |
|
ISBN:
|
978-7-303-28954-7 价格： CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
11,11,354页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 北京师范大学出版社 出版日期： 2023 |
|
内容提要:
|
本书内容包括三方面：第一个方面：以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索，对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面：减弱经典公理化真理论的基础理论，将一阶逻辑减弱为直觉主义逻辑，系统地研究基于直觉主义逻辑的公理化真理论。第三个方面：加强经典公理化真理论的基础理论，将皮亚诺算术加强为集合论，系统地研究基于集合论的公理化真理论。 |
|
主题词:
|
公理化 理论研究 |
|
中图分类法:
|
G304 版次： 5 |
|
主要责任者:
|
李娜 li na 著 |
|
主要责任者:
|
李晟 li sheng 著 |
|
索书号:
|
G304/4047 |