1、所謂形式邏輯是在“質(zhì)”的規(guī)定不變的情況下,對(duì)“質(zhì)”的同態(tài)性表述.它反映的是事物的“象素”、是量的積累.也就是說(shuō),形式邏輯的推演表現(xiàn)的是事物自身的等同性,即在推演的過(guò)程中,事物的質(zhì)的規(guī)定不能從一種質(zhì)的規(guī)定變化為另一種質(zhì)的規(guī)定.以下棋為例,若規(guī)定是中國(guó)象棋,則在下棋（對(duì)奕）的過(guò)程中,“馬走日字”的規(guī)定不能變.如果一個(gè)下棋的人,一會(huì)馬走日字,一會(huì)又走田字,對(duì)自己怎么有利就怎么走,這是不能允許的.在數(shù)學(xué)的演繹過(guò)程中,無(wú)論如何變化,等式的兩端必須相等.也就是說(shuō),在演繹的過(guò)程中要素要保持自身的質(zhì)的不變性。

2、形式邏輯是研究演繹推理及其規(guī)律的科學(xué)，包括對(duì)于詞項(xiàng)和命題形式的邏輯性質(zhì)的研究、思維結(jié)構(gòu)的研究與必然推出的研究，它提供檢驗(yàn)有效的推理和非有效推理的標(biāo)準(zhǔn)。它總結(jié)了人類思維的經(jīng)驗(yàn)教訓(xùn)，以保持思維的確定性為核心，用一系列規(guī)則、方法幫助人們正確地思考問(wèn)題和表達(dá)思想，是人們認(rèn)識(shí)世界和改造世界的必要工具，是人類認(rèn)識(shí)發(fā)育到一定階段后出現(xiàn)的思維方法。康德首先使用了這個(gè)術(shù)語(yǔ)。