大学逻辑导论

　　作者DeanLeffingwell是RationalSoftware公司副总裁、Rational大学常务理事，负责方法学研究和客户培训。DonWidrig是技术型作家和顾问。

《大学逻辑导论》设置了上、下两篇。上篇为传统逻辑；下篇为现代逻辑。传统逻辑是指导由亚里士多德创立的、一直延续到19世纪现代逻辑出现前的形式逻辑。现代逻辑是指19世纪中以后发展起来的现代形式逻辑。传统逻辑与现代逻辑有联系，这不仅指后者是前者的发展，也指两者对象与内容的相关。传统逻辑又与现代逻辑有别。它们的重要区别是；传统逻辑主要运用自然语言，也有一些公理方法的因素；现代逻辑使用的则是符号语言，运用了形式化的公理方法和某些数学方，前者由于运用自然语言，有某些缺陷，但同日常的经验思维有一定的亲和力；后者由于使用符号语言和数学方法，所以较这前者更为精确，研究的内容也更为宽泛和深刻，在现代科技、特别是计算机科学中的有所应用。可以说，在不同历史和文化背景下产生的传统逻辑与现代逻辑，既有区别的一面，也有相联与互补的一面。《大学逻辑导论》设置的内容，符合逻辑科学自身发展的实际进程和规律，可以帮助学生全面、深入地掌握逻辑学的基本知识，有利于培养学生的逻辑思维能力。