理性思维过程中，一切与现实相关的东西都不被考虑在内，只以纯粹思辨的各种抽象概念来完成各项活动，这种不参杂任何现实因素的纯粹思维逻辑就是形式逻辑。
抛开现实内容只以精神内部各项规则为条件的活动过程，是形式逻辑的一般过程。
形式逻辑是一种思维运动过程的科学，它是专门研究思维的抽象形式和规律的一门学科，形式逻辑包括归纳逻辑和演绎逻辑两个部分，其中以演绎逻辑为主。
一般基础逻辑学主要是经典逻辑，在经典逻辑学的基础上还有更加深奥的元逻辑和应用逻辑，经典逻辑学主要是建立在真、假二值上的逻辑学。
逻辑学是从哲学母体中分化出来的，它源自于古希腊时期，以亚里士多德对它的建立为起点，经过2千多年的发展继承，才形成了如今的形式逻辑学。
学好逻辑学，有百利而无一害，想要提升自己的思维能力，就从学习形式逻辑开始。
逻辑学是一门研究抽象思维形式和形式规律的科学，概念是逻辑学的基本元素，概念构成命题，命题与命题间的变化形成推理，最后得出论证，这就是逻辑学的基本演绎过程。
形式逻辑的正确与否不以现实内容为根据，而是以形式内容在演绎过程中的各种联结和组合方式的正确与否为根据，形式逻辑的研究的重点也正是这种思维的形式结构。
例如：
（1）如果你是人，那么你是有思想的。
（2）如果夏天到来，那么天气变热。
例（1）与例（2）所关于的内容各不相同，从两例的思想内容中抽象出它们共同的联接方式，我们以A代表“例（1）你是人”和“例（2）夏天到来，以B代表“例（1）你是有思想的”和“例（2）天气变热”。
我们就可以得到：如果A，那么B这种命题形式，运用这种形式进行的思维就是逻辑思维。
