内容简介 柯匹和科恩的《逻辑学导论》，是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。
本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用。
为此,历史上出现了两种杰出的理论,第一种是 古典逻辑 或 亚里士多德逻辑 ,由亚里士多德开创,是两千多年来理性分析的基础;第二种是 现代逻辑 或 现代符号逻辑 ,主要形成于20世纪。
亚里士多德去世后,其关于推理的论述被收集成册,称为。
属性通常具有复杂性和可分析性,可用于定义 类 。
具有多个元素的类可将其元素分为 子类 ;其中的类是 属 ,而子类是 种 ,属和种在逻辑学中是 相对 术语,区别于生物学中的严格术语。
给定属的所有元素都有某些共同特征,而其种(子类)。
逻辑学是哲学的方法论。
哲学分门别类，现在有大陆哲学、分析哲学、辩证哲学等等。
它们相应的逻辑法则也是如此。
首先要明确要学什么。
其实看任何书都是在看一种特定形式的方法论，若要学到逻辑的一般法则，需要看不同类别的逻。
约翰·布尔（George Boole，1815-1864）。
英国逻辑学家、数学家。
现代符号逻辑奠基人之一。
布尔解释：当无法直接推论时， 看原命题的矛盾命题或试图从某命题推得原命题。
原命题为假时，其矛盾命题必为真。
则可通过矛盾命题的。