同类推荐
-
-
实事求是
-
¥58.00
-
-
干法:15周年纪念版
-
¥69.00
-
-
新时代网络意识形态研究
-
¥48.00
-
-
网络意识形态话语权维护的法治路径研究
-
¥98.00
-
-
网络意识形态话语权维护的法治路径研究
-
¥98.00
-
-
网络意识形态话语权维护的法治路径研究
-
¥98.00
-
-
如何高效汇报工作:开口就赢，让你的努力被看见
-
¥69.80
-
-
如何高效汇报工作:开口就赢，让你的努力被看见
-
¥69.80
-
-
如何高效汇报工作:开口就赢，让你的努力被看见
-
¥69.80
-
-
大脑效率革命
-
¥59.00
|
|
图书信息
|
|
|
|
当代形式真理论研究:以不动点真理论为中心
|
| ISBN： | 9787313342126 |
定价： | ￥88.00 |
| 作者： | 张亮, 著 |
出版社： | 上海交通大学出版社 |
| 出版时间： | 2026年04月 |
开本： | 24 |
| 页数： | -1 |
装祯： | 平装 |
中图法： | B023.3 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
258
|
|
2026-04-20
|
图书简介 | | 本书系统地考察了当代形式真理论的研究路径、方法以及所取得的成就。试图从语义学、公理化和哲学三个方面对当代形式真理论进行研究和阐述，主要有三方面，一是考察为真谓词构建的语义学，包括塔斯基对真概念的清晰定义，克里普克为真概念所构造的不动点模型，古普塔等人所创建的修正语义学以及菲尔德创立的带良好条件句的语义学；二是基于语义学考察各种公理化系统，通过公理化形式系统阐明所构造的语义学能揭示真谓词的哪些特性，还有哪些不足；三是结合语义学和公理化系统，对理论进行哲学上的考量和批判。 |
|