什么叫形式邏輯什么叫非形式邏輯

形式邏輯是研究推理的形式結構的學科 , 所謂推理就是由前提得出結論的過程,邏輯學研究各種各樣的推理,并發現所有的推理都有似的地方,即具備某種形式結構 , 以有限種的形式結構可以構造出無數種推理,形式邏輯的任務就是研究那些好的形式結構是什么樣的 , 以及為什么這樣的形式結構就是好的 。
【什么叫形式邏輯什么叫非形式邏輯】非形式邏輯是邏輯的一個分支,其任務是講述日常生活中分析、解釋、評價、批評和論證建構的非形式標準、尺度和程序 。非形式邏輯之所以是非形式的,因為它不依賴于形式演繹邏輯的主要分析工具,即邏輯形式的概念,也不依賴于形式演繹邏輯的主要評價功能,即有效性 。