| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
文献所属馆:
文献所属馆:
公理化真理论研究, 李娜, 李晟著 |
|
|
ISBN:
|
978-7-303-28954-7 价格： CNY98.00 |
|
语种:
|
chi |
|
题名:
|
公理化真理论研究 gong li hua zhen li lun yan jiu / 李娜, 李晟著 , |
|
出版发行:
|
出版地： 北京 出版社： 北京师范大学出版社 出版日期： 2023 |
|
载体形态:
|
11,11,354页 24cm |
|
摘要:
|
本书内容包括三方面:第一个方面:以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,系统地研究基于集合论的公理化真理论。 |
|
主题:
|
公理化 理论研究 |
|
中图分类:
|
G304 版次： 5 |
|
主要著者:
|
李娜 li na 著 |
|
主要著者:
|
李晟 li cheng 著 |
|
标签:
|
相关主题:
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01497oam2 2200277 450 001| |012016021150 005| |20231222182159.1 010| |□a978-7-303-28954-7□b精装□dCNY98.00 100| |□a20231222d2023 em y0chiy50 ea 101|0 |□achi□eeng 102| |□aCN□b110000 105| |□ay z 000yy 106| |□ar 200|1 |□a公理化真理论研究□9gong li hua zhen l- | |i lun yan jiu□f李娜, 李晟著 210| |□a北京□c北京师范大学出版社□d2023 215| |□a11,11,354页□d24cm 225|1 |□a国家哲学社会科学成果文库□h2022 312| |□a封底英文题名:A study of axiomatic - | |theories of truth 330| |□a本书内容包括三方面:第一个方面:以寻求能够避免说谎者悖论- | |及其变体的“理想真理论”为线索,对以一阶逻辑和皮亚诺算术为基- | |础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个- | |方面:减弱经典公理化真理论的基础理论,将一阶逻辑减弱为直觉主- | |义逻辑,系统地研究基于直觉主义逻辑的公理化真理论。第三个方面- | |:加强经典公理化真理论的基础理论,将皮亚诺算术加强为集合论,- | |系统地研究基于集合论的公理化真理论。 461| 0|□12001 □a国家哲学社会科学成果文库 510|1 |□aStudy of axiomatic theories - | |of truth□zeng 606|0 |□a公理化□x理论研究 690| |□aG304□v5 701| 0|□a李娜□9li na□c(女,□f1958-)□4著 701| 0|□a李晟□9li cheng□4著 801| 0|□aCN□bQXLIB□c20231222