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

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

人人都要思考，人人都要推理，人人都要论证，而且每一个人都要面对他人的推理和论证。我们每天都被来自诸多媒体（如书籍、广播、电视、报纸）以及雇主、朋友和家人的推理所包围。有些人善于思考、善于推理、擅长论证，有些人则不是这样。良好的思考、推理、论证能力，部分来自某种自然的禀赋，但无论我们原本的能力如何，都是可以得到改进和提高的。通过阅读本书，人们能够学会进行缜密思考、避免错误推理的策略，并掌握评估论证有效性的知识。 本书作者具有非常广博的学术视野和宽广的研究领域，不但在逻辑学上有很深的造诣，在宗教学等领域的研究中也取得了很大的成就，因此，作者善于充分吸收不同观点的优势，注意综合考量多种不同看法，以尽可能减少片面性。 本书与一般逻辑学教材相比更具可读性，作者用尽可能生动的词语、选择尽可能有趣的案例，使读者在学习知识的同时享受逻辑思辨的乐趣。

逻辑方圆，即以逻辑为中心。奎因认为，逻辑处于人类知识整体的核心。按照这个理解，知识整体可以视作逻辑的“方圆”。《逻辑方圆》所探讨的东西，不是人类知识的整体，而只与语言、思维以及一些具体的逻辑问题和哲学问题有关，《逻辑方圆》谈论的范围不限于逻辑，却始终以逻辑为中心。它们研究的是具体问题，但反映出作者对上述问题—些富有创建的思考和看法。

内容简介 《逻辑思维训练》致力于从关系视角来解读逻辑思维，通过阐释逻辑学的基本概念、基本原理和基本方法，进而将逻辑思维分为形式结构思维、概念思维、命题思维、推理思维、归纳和类比思维、因果思维等类型，在经典案例分析和试题实战训练中培养和提高读者的逻辑思维能力。 编辑推荐 逻辑学力图通过研究思维的形式结构来把握人类思维的本质和规律，逻辑思维则是力图通过对信息之间的关系分析来达至对象之真际。《逻辑思维训练》语言流畅，钩玄提要，适合干作为现代人士的逻辑思维启蒙读物，对参加MBA、MPA、MPAcc、GCT-ME等专业学位考试以及公务员考试的人员更是一种逻辑思维方式高度的学习与训练。

本书从“逻辑”这个名称的不同含义、不同逻辑教材的不同内容和不同逻辑史著作的不同内容出发，寻找其中共同的东西，探讨其内在机制。作者指出逻辑的内在机制是指决定逻辑这门学科得以产生和发展的东西，它在逻辑的发展中贯彻始终。作者围绕着逻辑的“必然地得出”的基本思想，论述了逻辑这门科学的性质，分析论证了归纳逻辑和辩证逻辑是不是逻辑的问题，探讨了国内目前的普通逻辑、中国逻辑史、语言逻辑和哲学逻辑等方面的研究，指出并批判了其中存在的许多问题；论述了逻辑和哲学的关系，指出逻辑对于本世界分析哲学和语言哲学的重要作用，以及逻辑对于我们理解西方哲学的必要性。

《逻辑与演绎科学方法论导论》是波兰著名哲学家、逻辑学家塔尔斯基的一部数理逻辑入门著作。书中介绍了数理逻辑的一些最重要的概念，讨论了数理逻辑的进展和意义。

《逻辑的观念》是作者有感于国内哲学界对现代逻辑重视不够而写的著作。作者认为国内的高等院校哲学家未将现代逻辑作为必修课，使学生在知识结构上存在严重缺陷，因而作者认为弄清现代逻辑对哲学有什么用，是十分有必要的。作者寻找所有被称为“逻辑”的东西的共同之处，力图把握逻辑这门学科的内在机制。根据这个内在机制，作者阐述了一系列有重要影响的问题，如归纳逻辑、辩证逻辑是不是逻辑，现代逻辑对哲学的重要作用等等。

《论黑格尔的逻辑学(第3版)》对黑格尔逻辑学的基本内容作了系统的概括和评论，并按其中各逻辑范畴发展的顺序。综合介绍、解释、论述了《大逻辑》和《小逻辑》两书的内容，紧紧抓住黑格尔哲学的客观唯心论体系和辩证方法两大特征，对其内在矛盾作了详细的剖析。作者对黑格尔的对立统一思想以及同一与差异、差异与矛盾的关系问题等，提出了自己独到的见解，并对黑格尔的逻辑学如何与认识论一致的问题，作出了具体说明。为便于读者了解作者近年来思想转变和发展的轨迹，本版增加了学术自述两篇和有关黑格尔哲学的论文四篇作为附录。

《黑格尔的逻辑学》内容简介：作者在《黑格尔的逻辑学》中并不是单纯介绍黑格尔的逻辑学，其首先介绍黑格尔的思想，然后探讨它在何种程度上能够充当各门科学的概括。进而在被认为是黑格尔错了的地方，论述作者自己解决问题的方向。《黑格尔的逻辑学》运用马克思主义哲学观点，对黑格尔逻辑学进行的系统分析，视野广阔，细致入微，提出一些新问题和见解。

《可能世界的逻辑》由上海译文出版社出版。

约翰•斯图亚特•穆勒（简称小穆勒）的《逻辑体系》堪称古典逻辑的集大成之作，也是经验主义哲学向逻辑学领域的重大拓展。虽然《逻辑体系》全书的重点在于下卷的归纳逻辑，但上卷的意义仍然非同小可。首先，上卷是全书的总纲和灵魂所在。小穆勒证明，逻辑学是经验主义哲学的一脉相承，理解了这一点，也就把握住全书的神韵。其次，上卷是全书的基础。“工欲善其事，必先利器”，鉴于逻辑学和语言密不可分的关系，小穆勒根据逻辑学的需求，用相当大的篇幅对语言进行梳理。小穆勒还精辟地分析了命题、分类、定义等逻辑学的基本工具。最后，上卷廓清了横亘在前进道路上的一些重大迷障，其中一些迷障长期困扰逻辑学家及哲学家，这主要体现在小穆勒对演绎逻辑的独到见解上，比如，三段论的作用，真理的本质。只有这些迷障得到清除，归纳逻辑才能顺利地得到展开。 《逻辑体系》的中译本只有百年前严复的《穆勒名学》。严译文义俱臻化境，可憾者一是以文言文译就，不复为当代读者理解，二是并不完整。本译作是《逻辑体系》中文全译本的首次面世。

印度的逻辑学科大致分为五个部分:语法的也就是声明论的逻辑。它以拜尼尼的梵文语法为核心骨干；弥曼差派的学说，它从祭祀经典的阐释开始，在历史上涉及了各种各样的语言逻辑问题；第三是胜论与正理的学说，其本源当然是自然哲学，但其联系于解脱而对宇宙构成和语言表述的特殊兴趣，也产生了缜密的逻辑体系；第四是上海已经提到了佛教因明；第五是新正理派的逻辑。它是印度教逻辑的最终形态。从13世纪到今天，新正理学说一直受到挑战。 本书称《印度逻辑与原子论》。它是采用西方哲学术语来命名的著作。印度逻辑的意思，上面已经说了；原子论，也就是极微说。极微，就是极其微小，极其细微，因之被比附于古希腊的原子说。在印度，用论哲学应该是初表述极微说的。在时间上比用论稍后一点几乎同时的佛教学说一切有部，也主张极微学说。仅从原子单元的本质上看，可能两家是相互借鉴的，也没有根本的区别。

《视读逻辑学》向您揭示了逻辑系统中的异议和局限性，以及逻辑学领域目前的发展情况。要想深入理解逻辑学法，此书固然不能取代教科书的作用，但是，遥想了解逻辑术语和逻辑观点，无论您视一般读者还是学习哲学或理科的学生，《视读逻辑学》都是一部难得而又必不可少的读物。逻辑学是西方文化发展的主轴，涉及哲学，科学和法律，因而体系复杂。然而，尽管逻辑学的重要性已被广泛认可，但由于对专业术语和数学符号的大量使用，因此许多人对逻辑仍然很陌生，正如从未拆封的缄一样。 别再犹豫了，赶快打开封缄，认识这门重要学科吧！

《逻辑学》(第2版)内容涵盖逻辑学基础知识各主要分支，有形式逻辑，也有非形式逻辑；有传统逻辑，也有现代逻辑；有对逻辑学基础理论知识的系统讲授，也包括训练逻辑思维能力的大量素材。全书配有大量练习题，并附有相关练习题答案。

本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。

Whether Regarded as a science, an art, or a skill--and it can properly be regarded as all three--logic is the basis of our ability to think, analyze, argue, and communicate. Indeed, logic goes to the very core of what we mean by human intelligence. In this concise, crisply readable book, Professor D. Q. McInerny offers an indispensable guide to using logic to advantage in everyday life. Written explicitly for the layperson, McInerny's Being Logical promises to take its place beside Strunk and White's The Elements of Style as a classic of lucid, invaluable advice. As McInerny notes, logic is a field with a profound bearing on our lives. A mastery of logic begins with an understanding of right reasoning--and encompasses a grasp of the kinship between logical thought and logical expression, a know ledge of the basic terms of argument, and a familiarity with the pitfalss of illogical thinking. Accordingly, McInerny structures his book as a series of brief chapters that build on one another to form a coherent introduction to clear and effective reasoning. At the heart of the book is a consideration of argument--how an argument is founded and elaborated, how it differs from other forms of intellectual discourse, and how it embodies the elements of logic. McInerny teases out the subtleties and complexities of premises and conclusions, differentiates statements of fact from statements of value, and discusses the principles and uses of every major type of argument, from the syllogistic to the conditional. In addition, he provides an incisive look at illogical thinking and explains how to recognize and avoid the most common errors of logic. In Being Logical, D. Q. McInerny breaks logic down to its essentials through clear analysis, accessible examples, and focused insights. Whether you are a student or a teacher, a professional honing your career skills or a generalist devoted to the fine points of thought and expression, you are sure to find Being Logical an invaluable guide to reasoning.

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy.