逻辑与方法

暂缺《逻辑与方法》作者简介

本书即介绍传统逻辑，又介绍现代逻辑。这样，本书的结构为：上篇：：传统逻辑；中篇：：现代逻辑；下篇：：逻辑方法。我们在本书中把归纳从演绎逻辑体系中分离出来，使之与概念的定义、划分、限制和概括而成为综合的逻辑方法。在上编传统逻辑中，我们吸取了数理逻辑对判断刻画的真值表等一些有益成果，目的是与现代逻辑相衔接。在中篇现代逻辑中，我们省略了真值表等知识，直接叙述命题演算和谓词演算。基于多年教学实践的经验，我们认为，自然推理系统比公理系统精要，能省略一些繁长的形式推演过程，学生容易接受掌握，所以，本书只介绍自然推理系统。为了使本书真正能成为学习者手中的工具，我们坚持科学性原则，尽力正确地介绍逻辑与方法的内容，同时，精心选编练题和思考题，使学习者通过做练习和思考题熟练地掌握相应的逻辑和方法和内容。