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

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

《逻辑学教程》以介绍普通逻辑学的原理为主，兼及现代逻辑的基本知识，内容通俗易懂、简明实用。联系实际阐述原理，阶梯式的习题设计，这两点是全书的特色。只有走进人类思维大厦，才能探寻思维的本原，进而发现抽象思维的奧秘，并用以检视理性的自我。只有善于发现并审视理性的自我，才能从容面对这千姿百态的大干世界。

《逻辑学教程》内容简介：逻辑作为一门兼具基础性和人文性的学科，它的历史源远流长。逻辑是理性思维的工具，也是表达论证的工具。西方“逻辑之父”亚里士多德（Aristotle，前384-前322）和近代归纳逻辑的奠基人弗兰西斯•培根（Francis Bacon，1561-1626）的逻辑名著分别称为《工具论》和《新工具》，书名本身便可以看成是对逻辑功能的恰当表达。今天，在培养创新型人才的过程中，人们反复强调的话题是如何提高大学生的思维素质。我们认为，提高思维素质的基本而有效的途径便是学习逻辑知识，强化逻辑训练。 逻辑经过两千多年的历史发展，它本身经历了从传统到现代的演变。作为现代人，虽然也要研究传统逻辑，但更重要的是学习现代逻辑。现代逻辑是一个由众多学科分支构成的有机整体，而它的基础部分则是命题逻辑与谓词逻辑。根据教学活动的实际需要，我们分十一章来安排《逻辑学教程》的教学内容。

This widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate- functor logic and the affinities between higher set theory and the elementary logic of terms, Quine's new edition will serve admirably both for classroom and for independent use.

《高等院校文科通用教材•普通逻辑学教程(第4版)》在写作形式上作了一些探索。其目的有如下几点：第一，使采用本教材的教师觉得普通逻辑学易教。第二，使学习本教材的学生觉得普通逻辑学易学。第三，使自学者觉得普通逻辑学没那么难学。《高等院校文科通用教材•普通逻辑学教程(第4版)》在内容上尽可能地加进了一些实用性的东西；同时把一些陈旧、过时乃至错误的东西排除掉，这些东西不仅误人，还要占据十分大的文字空间。逻辑学从来就是一个激烈争论的学科，这是由这门学科的特点所决定的。