翻到一本《逻辑学》，不得不感慨这真的是一门挺深奥的学科，没有一定的数学基础很难学好。不知道该怎么写这个逻辑学。
逻辑分为形式逻辑和非形式逻辑，是以思维的形式规律和非形式规律作为对象进行区分的，形式逻辑是逻辑学的主题，数理逻辑也是形式逻辑。逻辑主要研究推理，推理由命题组成，根据一些命题得到另一些命题，前者叫前提后者叫结论。依照前提和结论的关系不同推理分为：演绎推理和归纳推理。因而逻辑有两个基本类型演绎逻辑和归纳逻辑。
现代逻辑以数理逻辑为基础，引用了数学的演算思想和方法发展起来的。具有如下的特点：
1把思维特别是推理归结为一种与数学类似的计算或演算的思想。莱布尼茨继承了把思维看成或转换成数学计算的想法，提出了“思维演算”的设想。个人觉得这是一种很重要的思想，我们完全可以把它用在生活中，把用脑子思考的步骤推演为数学的计算。“让我们来算一下”，可以有意识地培养自己的数学逻辑思维能力，把日常生活装换为数学的逻辑世界。
2建立符号语言，以此代替自然语言来表达逻辑规律。
3在逻辑规律的研究和表达中，严格区分逻辑的成分和心理的成分，排除心理成分或把心理成分降低到最低程度。比如命题和判断的区分，命题是语句的意义，表达思想；而判断与自身的知识程度、理解能力及心理因素有关。
4整体性的思想与研究方法。传统逻辑是针对某些具体类型的推理来找出相应的推理规律，推理的种类繁多，这样做将永无止境。现代逻辑引入公理化方法，就是从若干称为公理的命题出发，根据一些特定的推理规则推导出称为定理的另一类命题，从而构成一个命题系统。这就是李善友教授常说的第一性原理，从那个不证自明的公理出发进行逻辑推理。
5各个分支都不同程度地引用数学的方法、理论和知识。引入初等数论、集合论等
6现代逻辑在进行自身基础理论研究的同时也在加强同其他学科的联合与相合渗透，在许多地方呈现边缘性学科。
