0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 哲学/政治/民族/军事 > 哲学 > 真之公理化理论

相同语种的商品

销售排行榜

真之公理化理论


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
真之公理化理论
  • 书号：9787030682949
    作者：邵强进等
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：316
    字数：401000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2021-03-01
  • 所属分类：哲学
  • 定价： ￥128.00元
    售价： ￥83.20元
  • 图书介质:
    纸质书

  • 购买数量： 件  商品库存： 7
  • 商品总价：

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分，第一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关的结果。第四部分是真理之路，主要评估公理化真理论形式结果的哲学含义。
本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分，第一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关的结果。第四部分是真理之路，主要评估公理化真理论形式结果的哲学含义。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

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

目录

  • 目录
    丛书序
    前言
    第一部分 基 础
    第1章 定义化和公理化的真理论 3
    第2章 真之对象 8
    第3章 塔斯基 13
    第4章 真与集合论 21
    4.1 定义与公理化 21
    4.2 悖论和分类 22
    第5章 技术准备 25
    5.1 皮亚诺算术 25
    5.2 真与满足 30
    5.3 翻译和递归定理 31
    第6章 比较不同的公理化真理论 34
    第二部分 类型化的真理
    第7章 去引号 43
    第8章 经典组合真理论 52
    8.1 组合真理论的保守性 56
    8.2 保守性和模型论 57
    8.3 非标准模型 58
    8.4 拉克伦定理 63
    8.5 满足类和公理化的真理论 72
    8.6 组合真与初等总括 75
    8.7 肯定的真 88
    第9章 分层 95
    9.1 塔斯基分层的公理化 96
    9.2 非良基的分层 100
    第三部分 类型自由的真理
    第10章 类型化的和类型自由的真理论 111
    第11章 拒斥类型化的理由 116
    第12章 公理与规则 119
    第13章 类型自由的真之公理 122
    第14章 古典的对称性公理 129
    14.1 弗里德曼–希尔德理论和修正语义学 132
    14.2 弗里德曼–希尔德理论的证明理论 144
    14.3 弗里德曼–希尔德公理化 154
    14.4 通过反射表达必然化 157
    14.5 缺乏满足 161
    第15章 克里普克–费弗曼 164
    15.1 不动点语义学 171
    15.2 完全性和一致性 180
    15.3 克里普克–费弗曼系统的证明论 186
    15.4 扩展 194
    第16章 在局域逻辑中公理化克里普克的理论 197
    16.1 局域的克里普克–费弗曼 200
    16.2 关于局域的克里普克–费弗曼的证明论分析 211
    第17章 被奠基的真 224
    第18章 替代性评价模式 230
    第19章 类型自由的去引号系统 234
    19.1 去引号语句的最大一致集 234
    19.2 去引号语句的最大保守集 239
    19.3 肯定去引号 240
    19.4 肯定去引号的语义学 243
    19.5 肯定去引号的证明论 245
    第四部分 真 理 之 路
    第20章 经典逻辑 255
    20.1 非经典逻辑的代价 257
    20.2 克里普克–费弗曼理论的内在逻辑 259
    20.3 非经典逻辑的表达力 264
    20.4 包含非经典逻辑 266
    第21章 紧缩论 269
    21.1 去引号论 269
    21.2 保守性 274
    第22章 反射 282
    22.1 反射原理 282
    22.2 反射封闭 285
    第23章 本体论还原 288
    第24章 应用真理论 291
    24.1 自然语言中的真 291
    24.2 扩展模式 293
    参考文献 298
    系统索引 310
    索引 312
    译后记（一） 317
    译后记（二） 318
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

本平台为互联网非涉密平台，严禁处理、传输国家秘密。

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com