1、定義不同
形式邏輯：研究人的認識知性階段思維規律的學說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規律也是思維形式和思維內容的統壹。
非形式邏輯：泛指能夠用於分析、評估和改進出現於人際交流、廣告、政治辯論、法庭辯論以及報紙、電視、因特網等大眾媒體之中的非形式推理和論證的邏輯理論。
2、發展歷史不同
形式邏輯：已經歷了2000多年的歷史，19世紀中葉以前的形式邏輯主要是傳統邏輯，19世紀中葉以後發展起來的現代形式邏輯，通常稱為數理邏輯，也稱為符號邏輯。
非形式邏輯：興起於20世紀70年代的北美，奠基人為拉爾夫·約翰遜和安東尼·布萊爾。他們於1977年合著的《邏輯的自我辯護》是較早強調非形式推理的具體例子的導論性著作。
1978年由他們組織的首屆國際非形式邏輯研討會以及所編輯的《非形式邏輯通訊》（後改名為《非形式邏輯》）標誌著非形式邏輯作為壹門獨立學科的正式誕生。
3、研究不同
形式邏輯：在研究方法上，形式邏輯企圖將建立在有限思維內容之上的的思維形式推廣到思維的全部，這顯然是不可能的。要證明這壹點，不妨假設形式邏輯確實是完備的邏輯。那麽不難發現，這種自詡為人類邏輯的典範的邏輯居然不考慮人的情感與好惡，
這種自認為最善於解釋的邏輯竟然用“因為A理論不符合形式邏輯的甲要求，所以它是錯的”這種本質上是“因為錯的，所以錯的”，或者說“因為不符合我，所以錯了”這種神學式的言論，
這種立誌無所不包的邏輯至少在生活事件面前是慘白無力——就可以斷定這絕不是壹種可以完整反映人類思維的邏輯。
非形式邏輯：非形式邏輯的主要研究對象是普通人在現實生活中所使用的真實的論證。論證是人們用於交流、傳播、表達思想的重要載體，是用以說服並影響他人觀點和立場的有力工具，是進行理性探討深化認識的主要形式。
好的論證有說服力，讓人無可辯駁，而糟糕的論證則蒼白無力。有的論證貌似合理，有很大的迷惑性，實則經不起推敲，在邏輯上站不住腳。非形式邏輯致力於發現 、 分析和發展人們在日常生活中運用與分析論證的標準、程序和模式，它並不先天地排斥形式化方法，
但鑒於形式化方法在普通人的日常生活的應用極為有限，非形式邏輯與傳統邏輯學研究的形式化取向自然是大異其趣。
參考資料：
參考資料：