數(shù)理邏輯與形式邏輯的區(qū)別是什么?

數(shù)理邏輯是通過數(shù)據(jù)推理邏輯，而形式邏輯是通過物理形態(tài)來推理。

形式邏輯，又稱普通邏輯，是研究思維形式及其結構、思維規(guī)律的科學。
數(shù)理邏輯，又稱符號邏輯，是用數(shù)學方法研究關于推理證明等問題的一門學科。
前者研究思維形式及其結構、思維規(guī)律，還研究定義、劃分、分析、綜合、試驗、假說等邏輯方法。
后者主要內(nèi)容有命題演算、謂詞演算、算法理論、遞歸論、證明論、模型論和集合論等