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