什麼是形式邏輯

1、所謂形式邏輯是在“質”的規定不變的情況下,對“質”的同態性表述.它反映的是事物的“象素”、是量的積累.也就是說,形式邏輯的推演表現的是事物自身的等同性,即在推演的過程中,事物的質的規定不能從一種質的規定變化爲另一種質的規定.以下棋爲例,若規定是中國象棋,則在下棋（對奕）的過程中,“馬走日字”的規定不能變.如果一個下棋的人,一會馬走日字,一會又走田字,對自己怎麼有利就怎麼走,這是不能允許的.在數學的演繹過程中,無論如何變化,等式的兩端必須相等.也就是說,在演繹的過程中要素要保持自身的質的不變性。

2、形式邏輯是研究演繹推理及其規律的科學，包括對於詞項和命題形式的邏輯性質的研究、思維結構的研究與必然推出的研究，它提供檢驗有效的推理和非有效推理的標準。它總結了人類思維的經驗教訓，以保持思維的確定性爲核心，用一系列規則、方法幫助人們正確地思考問題和表達思想，是人們認識世界和改造世界的必要工具，是人類認識發育到一定階段後出現的思維方法。康德首先使用了這個術語。