作者简介

乔恩·巴威斯 美国著名逻辑学家、计算机科学与人工智能学家,情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》(1975)、《情境与态度》(1983,1999)、《说谎者悖论:真与循环》(1987,1989)、《逻辑中的情境》(1989)、《超级证明》(1994)、《信息流:分布式系统的逻辑》(1997)和《语言、证明与逻辑》(1999)等,主编《数理逻辑手册》(1975)和《模型论的逻辑》(1985)等。约翰·埃切曼迪 美国著名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克·苏佩斯讲习教授,HAI(Human-Centered AI Institute)联席主任,曾任斯坦福大学常务副校长(教务长)。主要著作有《说谎者悖论:真与循环》(1987,1989)、《超级证明》(1994)、《逻辑后承论》(1999)、《语言、证明与逻辑》(1999)、《塔斯基的世界:修正与扩充》(2007)等。关于译者贾国恒 河南上蔡人,华东师范大学哲学系副教授,南京大学现代逻辑与逻辑应用研究所兼职研究员。主要从事现代逻辑、逻辑哲学、悖论和情境语义学等领域研究,已出版专著一部、译著两部,发表学术论文二十余篇。

内容简介

★“说谎者悖论”的情境语义学解悖方案的奠基之作,当代悖论研究的经典书目。

★.情境语义学创始人乔恩·巴威斯的重要代表作,为“说谎者悖论”这一逻辑学史上的著名悖论提出了情境语义学的解悖方案,有力地推动了悖论研究的发展,影响广泛。

★《说谎者悖论》力求“读者友好”,可适用于多层次、多方面的读者。对作为理解前提和知识背景的集合论和以往两种重要解悖方案进行了详细介绍,使读者可以通过对比来理解《说谎者悖论》所提出的情境语义学解悖方案及其优势。

★书中在每章结尾精心编制了一些习题和思考题,讲练结合,可帮助读者更熟练地掌握书中涉及的形式技术和逻辑学方法。

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

乔恩·巴威斯 美国著名逻辑学家、计算机科学与人工智能学家,情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》(1975)、《情境与态度》(1983,1999)、《说谎者悖论:真与循环》(1987,1989)、《逻辑中的情境》(1989)、《超级证明》(1994)、《信息流:分布式系统的逻辑》(1997)和《语言、证明与逻辑》(1999)等,主编《数理逻辑手册》(1975)和《模型论的逻辑》(1985)等。

约翰·埃切曼迪 美国著名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克·苏佩斯讲习教授,HAI(Human-Centered AI Institute)联席主任,曾任斯坦福大学常务副校长(教务长)。主要著作有《说谎者悖论:真与循环》(1987,1989)、《超级证明》...

下载地址

豆瓣评论

  • 马蹄北去
    以相当娴熟的技巧结合了数理技术和概念分析,将介于语句和事实之间的命题建模为非良基集合,以此定位和分析悖论产生的关键点。罗素方案中“由模型为真”和“在模型中为真”的区分,奥斯汀方案中“否定”和“否认”的区分,以及两种方案中肯定封闭和否定封闭的不对称性质都很有启发。“曾经表现为悖论的东西,现在看来确是歧义”“逻辑学家讨厌歧义但喜欢悖论”02-05
  • holly2007
    形式邏輯,天花亂墜,基金加持,不知講甚。09-01
  • 维参
    情境语义学经典作品,相比The Situation in Logic,本作主要关注情境语义学的形式技术,从非良基(非正则)AFA系统出发构成了完整的说谎者悖论解决方案。相较而言,两位作者更希望借本作向读者推广AFA系统并推及其它悖论,是以流程全面、解说详细,还有很好的课后题目。在哲学方面,本作将经典的命题-事实二元关系扩张为命题-世界/情境-事实,自身融贯一致且符合RZH标准地解决了说谎者悖论。01-24

猜你喜欢

大家都喜欢