返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 真之公理化理论 (德)沃尔克·哈尔巴赫 著 杜国平 编 邵强进 等 译 社科 文轩网
  • 新华书店正版
    • 作者: (德)沃尔克·哈尔巴赫著 | | 邵强进//李主斌//刘明亮//李旋译
    • 出版社: 科学出版社
    • 出版时间:2021-03-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: (德)沃尔克·哈尔巴赫著| 邵强进//李主斌//刘明亮//李旋译
    • 出版社:科学出版社
    • 出版时间:2021-03-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2021-03-01
    • 字数:401000
    • 页数:316
    • 开本:16开
    • 装帧:平装
    • ISBN:9787030682949
    • 国别/地区:中国
    • 版权提供:科学出版社

    真之公理化理论

    作  者:(德)沃尔克·哈尔巴赫 著 杜国平 编 邵强进 等 译
    定  价:128
    出 版 社:科学出版社
    出版日期:2021年03月01日
    页  数:332
    装  帧:平装
    ISBN:9787030682949
    主编推荐

    内容简介

    本书用公理化方法研究哲学的核心概念“真”,即将真视为一个不通过其他概念来定义的初始概念,通过一组公理与规则研究真的演绎系统,及其相关的结果。全书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关的结果。第四部分是真理之路,主要评估公理化真理论形式结果的哲学含义。本书适合逻辑学、数学、计算机科学、哲学和语言学等学科的研究人员阅读参考,也可供对逻辑学感兴趣的读者阅读。

    作者简介

    精彩内容

    目录
    丛书序
    前言
    第一部分 基础
    第1章 定义化和公理化的真理论
    第2章 真之对象
    第3章 塔斯基
    第4章 真与集合论
    4.1 定义与公理化
    4.2 悖论和分类
    第5章 技术准备
    5.1 皮亚诺算术
    5.2 真与满足
    5.3 翻译和递归定理
    第6章 比较不同的公理化真理论
    第二部分 类型化的真理
    第7章 去引号
    第8章 经典组合真理论
    8.1 组合真理论的保守性
    8.2 保守性和模型论
    8.3 非标准模型
    8.4 拉克伦定理
    8.5 满足类和公理化的真理论
    8.6 组合真与初等总括
    8.7 肯定的真
    第9章 分层
    9.1 塔斯基分层的公理化
    9.2 非良基的分层
    第三部分 类型自由的真理
    第10章 类型化的和类型自由的真理论
    第11章 拒斥类型化的理由
    第12章 公理与规则
    第13章 类型自由的真之公理
    第14章 古典的对称性公理
    14.1 弗里德曼-希尔德理论和修正语义学
    14.2 弗里德曼-希尔德理论的证明理论
    14.3 弗里德曼-希尔德公理化
    14.4 通过反射表达必然化
    14.5 缺乏满足
    第15章 克里普克-费弗曼
    15.1 不动点语义学
    15.2 接近性和一致性
    15.3 克里普克-费弗曼系统的证明论
    15.4 扩展
    第16章 在局域逻辑中公理化克里普克的理论
    16.1 局域的克里普克-费弗曼
    16.2 关于局域的克里普克-费弗曼的证明论分析
    第17章 被奠基的真
    第18章 替代性评价模式
    第19章 类型自由的去引号系统
    19.1 去引号语句的优选一致集
    19.2 去引号语句的优选保守集
    19.3 肯定去引号
    19.4 肯定去引号的语义学
    19.5 肯定去引号的证明论
    第四部分 真理之路
    第20章 经典逻辑
    20.1 非经典逻辑的代价
    20.2 克里普克-费弗曼理论的内在逻辑
    20.3 非经典逻辑的表达力
    20.4 包含非经典逻辑
    第21章 紧缩论
    21.1 去引号论
    21.2 保守性
    第22章 反射
    22.1 反射原理
    22.2 反射封闭
    第23章 本体论还原
    第24章 应用真理论
    24.1 自然语言中的真
    24.2 扩展模式
    参考文献
    系统索引
    索引
    译后记(一)
    译后记(二)

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购