成功加入购物车
图书条目标准图
熊明 著 / 科学出版社 / 2014-05 / 平装
售价 ¥ 43.90 6.8折
定价 ¥65.00
品相 全新
优惠 满包邮
延迟发货说明
上书时间2024-05-11
卖家超过10天未登录
塔斯基定理与真理论悖论
本书对塔斯基定理其相关真理论悖论进行了引述,从塔斯基定理开始,梳理了塔斯基、克里普克、赫兹伯格-古普塔等人的真理论的基本内容,阐述了这三个理论对真谓词定义以及对悖论处理的主要技术性结果,并通过分析这三个理论对真谓词的处理概括出真谓词在可能世界上的一种模式。在上述新模式下确定了几类典型的真理论悖论发生矛盾的充要条件,对这些悖论的度进行了刻画,从而给出了塔斯基定理的一系列的推广。澄清了有穷悖论对循环和自指的依赖性,此外还讨论了悖论的可定义性问题。
序(张羿)前言第一章导论1.1真理论悖论1.2塔斯基定理(非形式的表述)1.3框架与循环第二章塔斯基定理及其后续2.1塔斯基定理2.1.1带T谓词的形式算术语言2.1.2塔斯基定理与语言层次理论2.2归纳构造理论2.2.1真值空缺和跳跃算子2.2.2不动点定理2.3修正理论2.3.1修正序列2.3.2巨环与稳定性2.4相对化T-模式2.4.1T-模式的相对化2.4.2塔斯基定理的推广第三章真理论悖论的刻画和比较3.1说谎者悖论的刻画3.1.1塔斯基定理与说谎者悖论3.1.2相对矛盾性3.2说谎者悖论与佐丹卡片悖论的比较3.2.1矛盾程度的强弱3.2.2框架的N4-着色3.3卡片悖论的刻画与比较3.3.1卡片序列的推广及其分类3.3.2框架的N2着色3.3.3塔斯基定理与卡片序列3.4亚布洛悖论的刻画3.4.1亚布洛序列及其自指性3.4.2亚布洛序列的循环性第四章悖论、自指与循环4.1语句网与悖论4.1.1语句网4.1.2再论悖论4.2悖论与自指4.2.1直接自指与间接自指4.2.2有穷悖论的自指性4.3悖论与循环4.3.1循环依赖性4.3.2有穷悖论的循环性4.4隐定义的悖论4.4.1跳跃说谎者悖论4.4.2悖论的可定义性参考文献符号索引
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30