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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 说谎者悖论 乔恩·巴威斯,约翰·埃切曼迪 南京大学出版社
  • 新商品上架
    • 作者: (美)著
    • 出版社: 南京大学出版社
    • 出版时间:2022-04
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    句字图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: (美)著
    • 出版社:南京大学出版社
    • 出版时间:2022-04
    • ISBN:9787305250996
    • 版权提供:南京大学出版社
    基本信息(以实物为准)
    商品名称:说谎者悖论开本:16开
    作者:(美)乔恩·巴威斯//约翰·埃切曼迪|责编:陈佳|译者:贾国恒页数:
    定价:58出版时间:2022-04-01
    ISBN号:9787305250996 商品类型:图书
    出版社:南京大学版次:1
    作者简介:

    ......

    内容提要:
    本书是当代悖论研究中针对“说谎者悖论”的富有活力的情境语义学解悖方案的奠基之作。本书提出,由于情境具有部分性,可以被不断地扩充,所以说谎者命题会随着情境的变化而表现出不同的真值,而情境的变化就决定着这里不存在任何悖论。本书所提出的这一解悖方案 符合直观,具有很高的非特设性,有力地推动了悖论研究的发展,并且在一系列相关研究领域中呈现出广泛的解题功能。

    ......

    目录:
    第Ⅰ篇 引言
    3/ 第1章 说谎者悖论
    3/ 第1节 一些背景
    7/ 第2节 悖论诊断
    9/ 第3节 基本决定
    19/ 第4节 本书规划
    20/ 第5节 类说谎者悖论清单
    27/ 第2章 语句、陈述与命题
    27/ 第1节 罗素命题
    29/ 第2节 奥斯汀陈述与命题
    32/ 第3节 一种形式语言
    36/ 第3章 超集的全域
    36/ 第1节 集合论从Z到A
    40/ 第2节 AFA
    46/ 第3节 ZFC/AFA的相容性
    48/ 第4节 解方程
    53/ 第5节 归纳与共归纳定义

    第Ⅱ篇 罗素命题与说谎者悖论
    61/ 第4章 罗素命题的建模
    61/ 第1节 基本定义
    68/ 第2节 L的罗素语义学
    74/ 第5章 罗素命题的真
    74/ 第1节 真与此世界
    79/ 第2节 T模式与此世界
    84/ 第3节 克里普克结构与其他封闭条件
    89/ 第4节 见证函数
    92/ 第5节 悖论性罗素命题
    96/ 第6章 罗素阐释的推论
    96/ 第1节 多例子分析
    103/ 第2节 罗素阐释的问题
    105/ 第7章 语句与罗素命题
    106/ 第1节 证明论
    114/ 第2节 悖论句

    第Ⅲ篇 奥斯汀命题与说谎者悖论
    119/ 第8章 奥斯汀命题的建模
    120/ 第1节 基本定义
    124/ 第2节 奥斯汀命题的真
    127/ 第9章 奥斯汀命题与此世界
    127/ 第1节 可及的奥斯汀命题
    129/ 第2节 奥斯汀世界的建模
    132/ 第3节 奥斯汀世界的T模式
    138/ 0章 奥斯汀语义学
    138/ 第1节 L的奥斯汀语义学
    142/ 第2节 可表达命题的T封闭
    146/ 第3节 多例子分析
    151/ 第4节 奥斯汀完备性定理
    153/ 1章 罗素阐释与奥斯汀阐释的联系
    153/ 第1节 作为对角线论证的说谎者悖论
    155/ 第2节 映像定理
    161/ 第3节 悖论句的刻画
    163/ 2章 否定与否认
    169/ 3章 结语
    169/ 第1节 悖论的正确处理
    172/ 第2节 怀疑者的教益
    176/ 参考文献
    179/ 索引
    187/ 附言
    195/ 译者后记

    ......

    精 彩 页:
    0章 奥斯汀语义学第4节 奥斯汀完备性定理 本节预设第7章阐述的内容。在第7章中,我们发展一种证明论,以分析当语句表达同一罗素命题时它们之间的关系。在本节中,我们表明,这里所用的同一种证明论,在一种 强的意义上还可以分析表达同一奥斯汀命题的关系。
        定理18(奥斯汀可靠性和完备性定理)对于L的任何两个语句φ和ψ,下列表述是等值的:(1) 运用第7章的公理和规则,可得φ∈ψ。
         (2) 对于某个情境s而言,Exp(φ,s)=Exp(ψ,s)。
        (3) 对于每个情境s而言,Exp(φ,s)=Exp(ψ,s)。
        这个结果有两个有用的系理。 ,语句表达同一罗素命题,仅当它们表达关于某个情境s的同一奥斯汀命题。第二,我们看到,如果两个语句表达关于一个情境s1的同一命题,那么关于其他任何情境s2,它们也表达同一命题。因而,表达同一命题,无关于我们感兴趣的是哪种阐释,并且在奥斯汀阐释中,还可以从一个情境转到另一个情境。这个结果是定理13的证明的一个假定,并且还将被用于下一章的映像定理的证明。特别地,我们将需要,给定一个语句φ,则存在一个正规形式语句ψ,使得φ∈ψ是可证的,因此在所有这些意义上,ψ表达同一命题,就像初始的φ那样。的确,对于这些结果的需求是发展我们的证明论的 初动机。
        这种可靠性和完备性定理的这两个重要部分的证明基本上都仅仅是相应的罗素可靠性和完备性定理的证明的参量版本,因此给定前面的证明,这里可以阐述得很简单。
        (1)(3)的证明。这个证明 类似于 14页第7章中的可靠性定理的证明。 的不同是,赋值函数F必须满足:对于某个φ∈e和某个s而言,F(Pe)=Exp(φ,s)。我们把它留给读者来证明。□(2)(1)的证明。这个证明 类似于 14页第7章中的完备性定理的证明。固定一个特定情境s。像在那个证明中那样来定义A,并且像在那里描述的那样来考虑集合S,除了我们希望在S中,φ0∈ψ0,当且仅当Exp(φ0,s)=Exp(ψ0,s)。显然,S再次是齐次的。

    ......

    1
    • 商品详情
    • 内容简介

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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