什麼叫形式邏輯什麼叫非形式邏輯

形式邏輯是研究推理的形式結構的學科，所謂推理就是由前提得出結論的過程，邏輯學研究各種各樣的推理，並發現所有的推理都有似的地方，即具備某種形式結構，以有限種的形式結構可以構造出無數種推理，形式邏輯的任務就是研究那些好的形式結構是什麼樣的，以及為什麼這樣的形式結構就是好的。

非形式邏輯是邏輯的一個分支，其任務是講述日常生活中分析、解釋、評價、批評和論證建構的非形式標準、尺度和程序。非形式邏輯之所以是非形式的，因為它不依賴於形式演繹邏輯的主要分析工具，即邏輯形式的概念，也不依賴於形式演繹邏輯的主要評價功能，即有效性。