1、所谓形式逻辑，就是在“质”的规定不变的情况下，“质”的同态表达。体现了事物的“像素”和量的积累。也就是说，形式逻辑的演绎表明了事物本身的平等性，即在演绎过程中，事物的定性规定不能从一个定性规定变为另一个定性规定。以象棋为例，如果规则是中国象棋，“马跑日”的规则是无法改变的。如果一个棋手，一会儿跑在白天，一会儿跑在田字，做任何对他有利的事情，这是不允许的。在数学推导的过程中，无论如何变化，方程的两端都必须相等。也就是说，在演绎过程中，元素要保持自身的质的不变性。

2、形式是研究演绎推理及其规律的科学，包括对词条和命题形式的逻辑性质的研究、对思维结构的研究和对必然推导的研究。它提供了检验有效推理和无效推理的标准。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则和方法帮助人们思考问题，正确表达思想。它是人们认识和改造世界的必要工具，是人类认知发展到一定阶段后出现的思维方法。康德第一次使用这个术语。