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

　　形式邏輯就是研究推理的形式結(jié)構(gòu)的學(xué)科。所謂推理就是由前提得出結(jié)論的過(guò)程，如前提：如果張三是人，那他就會(huì)死；并且張三是人；所以，張三會(huì)死。
　　邏輯學(xué)研究各種各樣的推理，并發(fā)現(xiàn)所有的推理都有似的地方，即具備某種形式結(jié)構(gòu)。如上面那個(gè)例子中的“如果。。那么， 并且，所以”等的組織方式。我們以有限種的形式結(jié)構(gòu)可以構(gòu)造出無(wú)數(shù)種推理，以上面的推理為例，我們還可以構(gòu)造：“【如果】天下雨，【那么】地會(huì)濕，并且剛剛天下雨了，【所以】現(xiàn)在地一定濕了”，“【如果】明天是星期一，【那么】我就要上班，【并且】明天正好是星期一，【所以】我就要上班了”等等。
　　但推理的形式結(jié)構(gòu)有好壞之分，好的形式結(jié)構(gòu)能確保你從正確的前提得到正確的結(jié)論，壞的形式結(jié)構(gòu)就可能讓你從正確的前提得到錯(cuò)誤的結(jié)論。形式邏輯的任務(wù)就是研究那些好的形式結(jié)構(gòu)是什么樣的，以及為什么這樣的形式結(jié)構(gòu)就是好的。