0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 自然科学总论 > 科技哲学 > 塔斯基定理与真理论悖论

相同语种的商品

浏览历史

塔斯基定理与真理论悖论


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
塔斯基定理与真理论悖论
  • 书号:9787030401243
    作者:熊明
  • 外文书名:
  • 装帧:平装
    开本:B5
  • 页数:160
    字数:152000
    语种:zh-Hans
  • 出版社:科学出版社
    出版时间:2014-05-01
  • 所属分类:O14 数理逻辑、数学基础
  • 定价: ¥65.00元
    售价: ¥51.35元
  • 图书介质:
    纸质书 电子书

  • 购买数量: 件  可供
  • 商品总价:

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

关于说谎者及其相关真理论悖论的研究始于古希腊时代,之后相关理论层出不穷,但至今仍无定论,相关研究仍是当今逻辑研究的一大热点。本书梳理了塔斯基、克里普克、赫兹伯格.吉普塔等人的真理论的基本内容,并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式,进而给出了塔斯基定理的一系列的推广。主要探讨在对真谓词进行定义时所可能产生的悖论问题,基本目标是应用符号逻辑理论对这些悖论进行刻画,从而明确定义真谓词所需的条件。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 目录
    序(张羿)
    前言
    第一章 导论 1
    1.1 真理论悖论 1
    1.2 塔斯基定理(非形式的表述) 7
    1.3 框架与循环 12
    第二章 塔斯基定理及其后续 15
    2.1 塔斯基定理 15
    2.1.1 带T谓词的形式算术语言 16
    2.1.2 塔斯基定理与语言层次理论 20
    2.2 归纳构造理论 26
    2.2.1 具佳空缺和跳跃算子 27
    2.2.2 不动点定理 32
    2.3 修正理论 38
    2.3.1 修正序列 39
    2.3.2 巨环与稳定性 46
    2.4相对化T-模式 53
    2.4.1 T-模式的相对化 54
    2.4.2 塔斯基定理的推广 58
    第三章 真理论悖论的刻画和比较 65
    3.1 说谎者悖论的刻画 65
    3.1.1 塔斯基定理与说谎者悖论 66
    3.1.2 相对矛盾性 69
    3.2 说谎者悖论与佐丹卡片悖论的比较 73
    3.2.1 矛盾程度的强弱 73
    3.2.2 框架的N4-着色 76
    3.3 卡片悖论的刻画与比较 80
    3.3.1 卡片序列的推广及其分类 81
    3.3.2 框架的N2-着色 85
    3.3.3 塔斯基定理与卡片序列 但
    3.4 亚布洛悖论的刻画 96
    3.4.1 亚布洛序列及其自指性 97
    3.4.2 亚布洛序列的循环性 102
    第四章 悖论、自指与循环 108
    4.1 语句网与悖论 108
    4.1.1 语句网 109
    4.1.2 再论悖论 113
    4.2 悖论与自指 120
    4.2.1 直接自指与间接自指 121
    4.2.2 有穷悖论的自指性 123
    4.3 悖论与循环 125
    4.3.1 循环依赖性 126
    4.3.2 有穷悖论的循环性 129
    4.4 隐定义的悖论 133
    4.4.1 跳跃说谎者悖论 134
    4.4.2 悖论的可定义性 140
    参考文献 147
    符号 152
    索引 155
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证