真之公理化理论

售价 降价通知
市场价 ¥165.52
会员等级价格
  • 上架时间
    2022-04-16
  • 累积评价0人评价

  • 累计销量

  • 赠送积分118

  • 数量
    减少数量 增加数量   有货
平台自营
商家名称:
标准查询网
客服邮件:
2591325828@qq.com
客服电话:
010-62993931
在线客服:
QQ

扫一扫,手机访问微商城

推荐精品

同类品牌

最近上新

  • 商品名称:真之公理化理论
  • 商品编号:13199022
  • 品牌:
  • 上架时间:2022-04-16
内容简介:
《真之公理化理论》用公理化方法研究哲学的核心概念“真”,即将真视为一个不通过其他概念来定义的初始概念,通过一组公理与规则研究真的演绎系统,及其相关的结果。《真之公理化理论》分为四个部分,**部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关的结果。第四部分是真理之路,主要评估公理化真理论形式结果的哲学含义。
目录:
目录
丛书序
前言
**部分 基 础
第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
商品评价
  • 0%

    好评度

  • 好评(0%)
    中评(0%)
    差评(0%)
  • 全部评价(0)
  • 好评(0)
  • 中评(0)
  • 差评(0)
  • 用户晒单(0)
售后保障
售前服务电话:010-62993931
售后服务电话:010-62993931
本商城向您保证所售商品均为正品行货。本商城还为您提供具有竞争力的商品价格和运费政策,请您放心购买!

注:因厂家会在没有任何提前通知的情况下更改产品包装、产地或者一些附件,本司不能确保客户收到的货物与商城图片、产地、附件说明完全一致。只能确保为原厂正货!若本商城没有及时更新,请大家谅解!
权利声明:
本商城上的所有商品信息、客户评价、商品咨询、网友讨论等内容,是标准查询网重要的经营资源,未经许可,禁止非法转载使用。

注:本站商品信息均来自于厂商,其真实性、准确性和合法性由信息拥有者(厂商)负责。本站不提供任何保证,并不承担任何法律责任。

常见问题
下单后可以修改订单吗?

由本网站发货的订单,在订单发货之前可以修改,打开“订单详情”页面,若已经出现物流信息,则表示订单无法修改。

无货商品几天可以到货?

您可以通过以下方法获取商品的到货时间:若商品页面中,显示“无货”时:商品具体的到货时间是无法确定的,您可以通过商品页面的“到货通知”功能获得商品到货提醒。

订单如何取消?

如订单处于暂停状态,进入“我的订单"页面,找到要取消的订单,点击“取消订单”按钮,若已经有物流信息,则不能取消订单。

可以开发票吗?

本网站所售商品都是正品行货,均开具正规发票(图书商品用户自由选择是否开发票),发票金额含配送费金额,另有说明的除外。

如何联系商家?

在商品页面右则,您可以看到卖家信息,点击“联系客服”按钮,咨询卖家的在线客服人员,您也可以直接致电。

收到的商品少了/发错了怎么办?

同个订单购买多个商品可能会分为一个以上包裹发出,可能不会同时送达,建议您耐心等待1-2天,如未收到,本网站自营商品可直接联系标准查询网在线客服。

如何申请退货/换货?

登陆网站,进入“我的订单”,点击客户服务下的返修/退换货或商品右则的申请返修/退换货,出现返修及退换货首页,点击“申请”即可操作退换货及返修,提交成功后请耐心等待,由专业的售后工作人员受理您的申请。

退/换货需要多长时间?

一般情况下,退货处理周期(不包含检测时间):自接收到问题商品之日起 7 日之内为您处理完成,各支付方式退款时间请点击查阅退款多久可以到账;
换货处理周期:自接收到问题商品之日起 15 日之内为您处理完成。

温馨提示

确定取消
温馨提示

关闭
您尚未登录

用户登陆

立即注册
忘记密码?