分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法，基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样，是目前最为流行的逻辑证明方法之一，在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性，不仅经典命题逻辑和一阶谓词逻辑有其表列，在模态逻辑、非单调逻辑等非经典逻辑分支中，表列方法也以不同的形式存在着。自20世纪90年代以来，人们对于表列方法的兴趣不断增加，在许多前沿逻辑研究中广泛采用表列方法。根据JonBarwise在《什么是一个逻辑系统？》中对逻辑系统多样性的阐述，有理由将表列系统作为与公理系统、自然推演系统等并列的一种重要的逻辑系统类型、将表列法作为一种重要的逻辑方法加以研究。《逻辑中的表列方法》比较系统地介绍了现代逻辑各个重要分支的表列方法，研究了表列方法的证明效率等问题。

逻辑是一门科学，更是一种工具。学习逻辑，能帮助我们进行有效的推理；学习逻辑，可以培养一种逻辑的意识和观念，使我们的思维更清晰，语言表达更准确；学习逻辑，还可以使我们更好地学习和理解与逻辑相关的学科，如哲学、语言学、人工智能、法律等。本书围绕上述三个目的，结合我国文科大学生和理解自学者的实际，参考了国内外大量的有关逻辑教材，以现代逻辑的基本知识为主，同时兼顾传统逻辑的精华，从内容到形式、从实例到练习，都采用了新颖独到的编写方式，力图使教师好教、好用，学生好学、好理解、好掌握。

你是不是被问到“为什么”时，常常答不出来？是不是常常被问“你想表达的重点是什么”？是不是遇到新的工作，或上司突然交代的工作，常常不知如何下手？是不是常常被指责工作没有做完，或被要求重做？是不是做事常常临时抱佛脚，无法高效地把工作做好？如果是这样，《逻辑思考力：图解逻辑思考力的35个基本点让你一看就懂》就是帮你彻底转换思维方式和提高工作效率的实用宝典，是可以让你彻底转换思维方式的逻辑思考圣经！《逻辑思考力：图解逻辑思考力的35个基本点让你一看就懂》生动的图解再现了缺乏逻辑的后果和原因，告诉你在思考问题、写作、言语表达时，有逻辑是关键。阅读《逻辑思考力：图解逻辑思考力的35个基本点让你一看就懂》，学习培养逻辑思考力的7大方法，在思考、写作、表达时运用逻辑思考力的20大窍门，你就能够从混乱无序的思想压力中解脱出来，就能理清思路，准确表达自己，顺利沟通，快速完成工作。

哲学逻辑既是哲学同时又是逻辑。哲学逻辑不是一种特殊的逻辑，逻辑主要是研究后承关系、有效推理的理论。尽管现代形式逻辑或者符号逻辑采用数学的方法来表达非常富有成效，但是逻辑仍然可以用多种方式进行研究和表达。逻辑支持了哲学，哲学为逻辑提供了发展的养料，二者结合在一起就是哲学逻辑。同时哲学逻辑在其它领域也发挥着重要的作用，如知识表示、系统认证或人工智能方面，都是计算机科学发展中必不可少的一部分。哲学逻辑研究在认知科学、信息科学、博弈论、决策论以及理论语言学领域也有很大的应用价值。

《逻辑思维简易入门》介绍20种最常见的非形式谬误：无效归纳谬误：1.轻率概括、2.不当类比、3.虚假原因、4.诉诸无知、5.诉诸不当权威；预设谬误：6.丐题、7.争议前提、8.复杂问语、9.错误选择、10.例外谬误；含糊语言谬误：11.滑坡谬误、12.歧义、13.相关、14.混淆断定；不相干谬误：15.诉诸怜悯、16.诉诸武力、17.诉诸情感、18.人身攻击、19.离题、20.稻草人。

逻辑是什么？在孩子眼里，它是“因为”与“所以”；在孩子眼里，它是“真理”与“缪论”。逻辑学是一门研究推理或论证有效性的工具性思维科学，它能帮助你活跃思维方式，突破思维瓶颈，克服思维盲点。　同样都有大脑，为什么别人可以清晰思考，幸福生活，而你不能？同样都会说话，为什么别人可以有理有据，出口成章，而你不能？因为你不懂逻辑学，《简单逻辑学》能让你快速掌握思维方法，培养创新能力，让你的人生更上一 层楼。

《我的第一本推理侦探书》精选了一百多个中外经典探案故事，内容涵盖逻辑推理、自然观察、高科技推断、生活常识、心理剖析、细节解析、数字推理、综合分析八大类，每个故事都惊险曲折、扣人心弦，并融知识性、趣味性于一体，读者在品读精彩绝伦的故事之时，可深入案情，延展思维，最终全面提升自己的综合能力。《我的第一本推理侦探书》适合青少年和对推理游戏感兴趣的读者阅读。

《简单的逻辑学》是一本足以彻底改变你思维世界的小书。美国著名逻辑学家、哲学教授D.Q.麦克伦尼，将一门宽广、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的语言娓娓道来。它既没有刻板的理论教条，也不是正规的教科书，而是一本必不可多得的现实指南。正如著名行为学家孙路弘所说： 《简单的逻辑学》就如一场及时雨，一本治愈社会疾病的宝典，的确是应该人手一册。作者在书中告诉我们，生活中，逻辑无处不在。无论我们是有意还是无意，逻辑无时不在服务于我们的生活。然而逻辑到底是什么，也许并没有太多的人有很清楚的概念。作者以其简练而又充满趣味的笔触，将逻辑学活化为一种艺术，从它的基本原理，到论证，到非逻辑思维的根源，再到28种就发生在你身边的非逻辑思维形式，带领我们进入这个精彩无比的逻辑世界，体会妙趣横生的思维交锋，跨过无处不在的逻辑陷阱，让你沉醉其中，欲罢不能。

双重否定既是重要的哲学和逻辑范畴，又是人类语言所共有的语法一语义范畴。《双重否定的类型学 研究——以汉语和英语为例》作者张焕香从类型学的角度，以汉语和英语为例，对双重否定进行深入 、系统的研究，旨在通过对句法和语义特征的描 写，挖掘出语言的一些规律。 全书共有8章。前3章在对前人研究进行综述的基 础上，对双重否定的界定及其范畴划分提出了自己的见解。第4、5章详细探讨了语义、语用双重否定 范畴、次范畴及次次范畴在汉语和英语中的句法表现及语义特征描写。第6、7章阐释了范畴之间的关 联以及语境解歧和语用动因。第8章总结了全书 的观点、理论及应用价值。 《双重否定的类型学研究——以汉语和英语为例》将语用因素引入双重否定范畴中，使双重否定的描 写和分析从静态走向动态，运用逻辑分析手段进行语义描写，使自然语言的刻画更精准。

一个人的工作能力可以用“能力·激情”这个公式来计算。单有能力不行，单有激情也不行。同理，逻辑思考力=逻辑思考能力*逻辑思考意识。能力往往不是一日就能练成的，而意识却是可以短期培养的。在逻辑思考意识的支配下，逻辑思考能力也会更快进步。所以《新思维系列：世界上最简单易懂的逻辑思考课》偏重意识的训练。逻辑思考重在“语言”、“激发”和“扩展”上，而并非简单的逻辑框架。掌握了这些意识，就开始进行逻辑思考训练吧，你将是职场明星。《新思维系列：世界上最简单易懂的逻辑思考课》适合职场人士，尤其是企业管理者以及需要提高逻辑思考能力的读者阅读。