文件名称:塔斯基定理与真理论悖论

  • 所属分类:
  • 数学书籍
  • 文件评级:
  • 上传时间:
  • 2020-10-25
  • 浏览/下载:
  • 4次 / 0次
  • 文件大小:
  • 64.21 MB
  • 格式/语言:
  • PDF文档/中文版
  • 相关连接:
  • 下载说明:
  • 别用迅雷下载,失败请重下,重下不扣分!

介绍说明

塔斯基定理与真理论悖论 出版时间:2014年版 内容简介   本书对塔斯基定理其相关真理论悖论进行了引述,从塔斯基定理开始,梳理了塔斯基、克里普克、赫兹伯格-古普塔等人的真理论的基本内容,阐述了这三个理论对真谓词定义以及对悖论处理的主要技术性结果,并通过分析这三个理论对真谓词的处理概括出真谓词在可能世界上的一种模式。在上述新模式下确定了几类典型的真理论悖论发生矛盾的充要条件,对这些悖论的度进行了刻画,从而给出了塔斯基定理的一系列的推广。澄清了有穷悖论对循环和自指的依赖性,此外还讨论了悖论的可定义性问题。 目录 序(张羿) 前言 第一章 导论 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.1 T-模式的相对化 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 悖论的可定义性 参考文献 符号 索引
(系统自动生成,下载前可以参看下载内容)

下载文件列表

相关评论

暂无评论内容.

发表评论

*主  题:
*内  容:
*验 证 码:

相关说明

  • 建筑资料网是交换下载平台,下载的内容请自行研究使用或咨询上传人.
  • 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
  • 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
  • 分卷压缩的大文件,请按顺序改名为:1.rar,2.rar,3.rar...再进行解压
  • 本软件为网上收集或会员上传,若无意中侵犯了您的版权,请与我们联系.
  • 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.

建筑资料网 www.5imomo.com