在许多人心目中，逻辑学实在是一门艰深的学问，那些符号、规则、命题看着就令人生畏难之心。不过，在这本《逻辑学是什么》里，原本晦涩、艰深的逻辑学变得好玩起来了。“上帝能够创造一块他自己举不起来的石头吗？”“白马非马”？“织女爱每一个爱牛郎的人？”“奥林匹克长跑冠军阿基里斯追不上乌龟？”……书里尽是这些个好玩的问题，每一个都引得你好奇心大发，不进行一番头脑风暴誓不罢休。于是，在解题的兴奋和迷惑之中，不知不觉地，你跟随着作者，走进了逻辑学那个由纯理性的砖石搭建的庄严殿堂。 《逻辑学是什么》中有两根线索，一条是逻辑学的历史的时间线索，一条是逻辑学的基本内容的空间线索，沿着这两条线索，作者对逻辑学勾画了一个清晰的轮廓；而作者设计的那一个个妙趣横生的逻辑问题恰如这两根线索上连缀的珍珠、饱满、浑圆，彰显了逻辑学的神奇魅力。原来，逻辑书也可以这样写！

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。. 本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

《语言学中的逻辑》是一本专为语言学家而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言哲学的重要理论问题。语言学家想要了解语言分析所使用的逻辑理论和方法，有此一卷足矣！ 《语言学中的逻辑》的特色是将现代逻辑的理论和方法应用于对自然语言的分析，包括句法分析、语义分析和语用分析。各章后面附有练习，全书后面附有练习答案。 《语言学中的逻辑》是一部长销不衰的经典教材，出版以来重印达11次之多，并有芬兰语、德语、西班牙语、瑞典语、日语等多种语言版本。 《语言学中的逻辑》适合于语言学和逻辑学及其相关专业的教师和学生以及其他关注语言学和逻辑学的读者使用，是语言学和逻辑学的非常值得推荐的一本优秀的入门教材。

《非看不可的职场实用逻辑学》内容简介：为什么学习了逻辑学，工作中却屡屡陷入困境，还给人留下“纸上谈兵”“理论家”的印象？作者分析了工作中常见的逻辑思维方式。这些方式常使事情与我们的预期背道而驰，大相径庭。针对这一现象，作者提出，只有将逻辑思考技巧与心理学技巧结合起来，才能顺利地推进工作。《非看不可的职场实用逻辑学》详细介绍了多种已被证明行之有效的逻辑思考窍门、心理战术和技巧、CRICSS法则、8大商业模型……讲解透彻，脉络清晰，简单实用，能真正帮助读者扫清职场中的障碍，使工作进展顺利，取得佳绩。

本书介绍数理逻辑的基础部分。绪论除介绍逻辑初步概念外还讲述了有关集合论和递归论的初步知识。正文前四章的内容属一阶逻辑，其中前两章是以非形式化的方式介绍命题逻辑和谓词逻辑，后两章分别给出了一个经典命题逻辑演算系统P和一个经典谓词逻辑演算系统Q，讨论了它们的元性质，最后还给出了一个与Q等价的形式系统QS。最后一章介绍了有关一阶理论的知识，主要是模型论的基础内容及不可判定问题。各章节后一般都附有适量的习题。本书适合作为高等院校文科、理工科所开设的与现代逻辑相关课程的教材或参考书。

《逻辑学(第3版)》原为卫星电视教材，第一、二版以其简明实用的特色深受读者欢迎。为使该书既可供专科又能供本科层次教学使用，此次修订充实了规范逻辑、概率统计逻辑、模拟类比、工作假说、回溯推理等内容，调整了章节结构、更新了例证，使其体系更为科学完整，知识内容更为新颖丰富。全书对逻辑知识的介绍明白易懂，重点突出，举例贴近生活、贴近读者；每章设有学习重点、难点提示，“思考题”和“思维训练题”，便于读者自学和复习应考。《逻辑学(第3版)》既能满足普通高校和成人高校文科各专业开设逻辑课程的需要，又是一本自学逻辑知识的好读本。