同类推荐
-
-
孔子家语
-
¥78.00
-
-
掌控灵感:AI时代解决疑难问题的必备技能
-
¥89.00
-
-
像高手一样汇报工作:做好向上管理的关键
-
¥59.80
-
-
像高手一样汇报工作:做好向上管理的关键
-
¥59.80
-
-
像高手一样汇报工作:做好向上管理的关键
-
¥59.80
-
-
如何高效汇报工作：开口就赢，让你的努力被看见（西西弗定…
-
¥45.00
-
-
如何高效汇报工作：开口就赢，让你的努力被看见（西西弗定…
-
¥45.00
-
-
如何高效汇报工作：开口就赢，让你的努力被看见（西西弗定…
-
¥45.00
-
-
意识形态安全视阈中的网络无政府主义及其治理
-
¥70.00
-
-
平凡的真理
-
¥45.00
|
|
图书信息
|
|
|
|
当代形式真理论研究:以不动点真理论为中心
|
| ISBN： | 9787313342126 |
定价： | ￥88.00 |
| 作者： | 张亮著 |
出版社： | 上海交通大学出版社 |
| 出版时间： | 2026年04月 |
开本： | 24cm |
| 页数： | 222页 |
装祯： | 平装 |
中图法： | B023.3 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
19
|
库区4/泰安展厅库/样本4
|
2026-10-18
|
|
其它供货商库存合计
|
4
|
|
2026-10-16
|
图书简介 | | 本书系统地考察了当代形式理论的研究路径、方法以及所取得的成就。试图从语义学、公理化和哲学三个方面对当代形式真理论进行研究和阐述，主要有三方面，一是考察为真谓词构建的语义学，包括塔斯基对真概念的清晰定义，克里普克为真概念所构造的不动点模型，古普塔等人所创建的修正语义学以及菲尔德创立的带良好条件句的语义学；二是基于语义学考察各种公理化系统，通过公理化形式系统阐明所构造的语义学能揭示真谓词的哪些特性，还有哪些不足；三是结合语义学和公理化系统，对理论进行哲学上的考量和批判。 |
|