研究思维的形式结构及其规律的科学。它撇开具体的、个别的思维内容，从形式结构方面研究概念、判断和推理及其正确联系的规律。基本规律有同一律、矛盾律和排中律。它告诉人们如何正确地使用概念、判断和推理，才会使思维具有确定性、一贯性和论证性，从而帮助人们正确地认识客观事物和表达自己的思想。形式逻辑从许多具体的、个别的思维形式中抽取出一般的逻辑形式和规律、规则。这些逻辑形式和规律、规则都是客观现实的反映，通过实践，在人的意识中固定下来。形式逻辑的规律是一切人所必须遵守的，违反它的要求，就会引起思维的混乱。形式逻辑产生于公元前，但“形式逻辑”这个名称则是康德首先使用的。他认为形式逻辑只研究思维的形式而完全撇开内容，故称。数理逻辑产生后，一般认为现代形式逻辑就是数理逻辑。一说形式逻辑包括两部分，即传统逻辑和数理逻辑。书名。英国数学家、逻辑学家德·摩根著。1847年出版。该书用代数方法进行逻辑演算，论述了关系逻辑的许多重要问题，并提出德·摩根法则，对传统逻辑的改造和数理逻辑的发展有一定影响。