形式逻辑和先验逻辑的关系问题是康德哲学的一个十分重要的问题。康德是在达到了对形式逻辑和先验逻辑关系的深刻理解的基础上，才开始创建他的批判理论的。康德在哲学史上第一次科学地解释了形式逻辑的本质，在更高层次上消解了形式逻辑，这样也就最后解决了同一知性的两种逻辑的本质关系，从而开创了近代西方哲学发展的新时期。胡塞尔继承并拓展了康德的问题，借对二者的讨论奠定了自己先验唯心哲学的基础。本书是胡塞尔后期最有代表性的著作之一。

《普逻逻辑》是供高等学校文科使用的逻辑教材之一，由教育部组织全国11所院校的同志集体编写而成的。为适应普通逻辑教学改革的要求，在认真听取了各方面的意见，并征得国家教委同意后，《普通逻辑》本着立足于普通逻辑，在此前提下，调整《普通逻辑》的框架结构，进一步引进现代逻辑知识，并尽力使它与普通逻辑的内容协调或衔接起来的指导思想，在体系安排上努力体现以现代逻辑的思想为依据，删去了修订本中的一些内容，从科学性与精确性的要求出发，对修订本的某些内容进行了适当的整理和解释；增加了不少逻辑知识；进一步规范了逻辑公式与符号；适当扩充了练习题，以保持实用性的特点。

内容提要 本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统，结构简明、特性奇异。 目录 威拉德·范·奥曼·蒯因自传 数理逻辑 导言 第一章 句子 1 合取、析取和否定 2 条件句 3 多重复合 4 使用和谈论 5 谈论句子的句子 6 准引语 7 括号与黑点 8 归约为三个初始联结词 9 归约为一个初始联结词 10 重言式 11 某些重言的形式 第二章 量化 12 量词 13 公式 14 约束、自由、闭包 15 量化的公理 16 定理 17 元定理 18 等值代换 19 存在量词 20 量词的分配 21 字母变体 第三章 项 22 类和分子 23 逻辑公式 24 抽离 25 等同 26 再论抽离 27 摹状词和名字 第四章 关于类的进一步理论 28 层次 29 更进一步的从属关系公理 30 等同可代入性 31 变元的代入 32 进一步的结果 33 逻辑积、和、补 34 包含 35 单类 第五章 关系 36 对和关系 37 关系的抽离 38 逆、象、关系积 39 祖先 40 函数 41 函数的抽离 42 作为关系的等同和从属 第六章 数 43 零、一、后继 44 自然数 45 可数集合 46 有穷的和无穷的 47 关系的幂 48 算术和、积、幂 …… 第七章 句法 附录 参考文献 人名索引 主题词索引

《逻辑学》内容涵盖逻辑学基础知识各主要分支，有形式逻辑，也有非形式逻辑；有传统逻辑，也有现代逻辑；有对逻辑学基础理论的系统讲授，也包括训练逻辑思维能力的大量素材。各章附有练习题。全书附有11套综合练习题及答案。

这是一本导论型的逻辑教科书，由六章和一个附录组成，依次是：逻辑是关于推理和论证的科学、命题逻辑、词项逻辑、谓词逻辑、归纳逻辑、非形式逻辑、形式化方法和形式系统。本书通过正文、本章提要、思考题、练习题的体例设计，以达到拓宽学生的知识视野，使他们能够正确地推理和论证，培养他们的理性精神的目的。