说谎者悖论

1星价 ¥46.4 (8.0折)

2星价￥46.4 定价￥58.0

作者：乔恩·巴威斯,约翰·埃切曼迪

出版社：南京大学出版社

本类榜单：哲学/宗教

分类：哲学/宗教 > 哲学 > 哲学理论

暂无评论

图文详情

ISBN：9787305250996
装帧：一般胶版纸
册数：暂无
重量：暂无
开本：其他
页数：228
出版时间：2022-04-01
条形码：9787305250996 ; 978-7-305-25099-6

本书特色

1.“说谎者悖论”的情境语义学解悖方案的奠基之作，当代悖论研究的必读书目。 2.情境语义学创始人乔恩·巴威斯的重要代表作，为“说谎者悖论”这一逻辑学史上的著名悖论提出了情境语义学的解悖方案，有力地推动了悖论研究的发展，影响广泛。 3.本书力求“读者友好”，可适用于多层次、多方面的读者。对作为理解前提和知识背景的集合论和以往两种重要解悖方案进行了详细介绍，使读者可以通过对比来理解本书所提出的情境语义学解悖方案及其优势。非专业读者在阅读时可跳过某些技术性较强的部分，也不影响对情境语义学方案的理解。 4.书中在每章结尾精心编制了一些习题和思考题，讲练结合，可帮助读者更熟练地掌握书中涉及的形式技术和逻辑学方法。

内容简介

本书是在当代悖论研究中富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，但情境的变化决定着这里不存在任何悖论。这个方案很好符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。本书诉求“读者友好”，可适应多层次、多方面读者。它不预设读者通晓作为元理论的集合论ZFCAFA，而是辟出专章来详细讲述这种新的集合论；也不预设读者熟知其他解悖方案，而是详细介绍以往两种的解悖方案，让读者自己通过对比来理解情境语义学解悖方案及其优势。此外，书中精心编制了很多习题，可帮助读者熟练掌握书中涉及的形式技术。针对不熟悉形式技术的读者，本书做了精心布局，即使在阅读时跳过某些技术性较强的部分，也不影响对情境语义学解悖方案的理解。同时，本书还提出了一些未决问题，以促进读者进一步思考和研究。

节选

第10章奥斯汀语义学第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)的证明。这个证明完全类似于第114页第7章中的可靠性定理的证明。唯一的不同是，赋值函数F必须满足：对于某个φ∈e和某个s而言，F(Pe)=Exp(φ，s)。我们把它留给读者来证明。□ (2)(1)的证明。这个证明完全类似于第114页第7章中的完备性定理的证明。固定一个特定情境s。像在那个证明中那样来定义A，并且像在那里描述的那样来考虑集合S，除了我们希望在S中，φ0∈ψ0，当且仅当Exp(φ0，s)=Exp(ψ0，s)。显然，S再次是齐次的。□

作者简介

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

本类五星书