★“说谎者悖论”的情境语义学解悖方案的奠基之作，当代悖论研究的经典书目。
★.情境语义学创始人乔恩·巴威斯的重要代表作，为“说谎者悖论”这一逻辑学史上的著名悖论提出了情境语义学的解悖方案，有力地推动了悖论研究的发展，影响广泛。
★本书力求“读者友好”，可适用于多层次、多方面的读者。对作为理解前提和知识背景的集合论和以往两种重要解悖方案进行了详细介绍，使读者可以通过对比来理解本书所提出的情境语义学解悖方案及其优势。
★书中在每章结尾精心编制了一些习题和思考题，讲练结合，可帮助读者更熟练地掌握书中涉及的形式技术和逻辑学方法。
本书是当代悖论研究中针对“说谎者悖论”的富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，而情境的变化就决定着这里不存在任何悖论。本书所提出的这一解悖方案非常符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。
乔恩·巴威斯 美国著名逻辑学家、计算机科学与人工智能学家，情境语义学与情境理论的创始人。曾先后任教于美国斯坦福大学和印第安纳大学。著作主要有《可容许集合与结构》（1975）、《情境与态度》（1983,1999）、《说谎者悖论：真与循环》（1987,1989）、《逻辑中的情境》（1989）、《超级证明》（1994）、《信息流：分布式系统的逻辑》（1997）和《语言、证明与逻辑》（1999）等，主编《数理逻辑手册》（1975）和《模型论的逻辑》（1985）等。
约翰·埃切曼迪 美国著名逻辑学家、计算机科学与人工智能学家。现任斯坦福大学人文与科学学院帕特里克·苏佩斯讲习教授，HAI（Human-Centered AI Institute）联席主任，曾任斯坦福大学常务副校长（教务长）。主要著作有《说谎者悖论：真与循环》（1987,1989）、《超级证明》...