答案：數(shù)理邏輯最初是由科學(xué)家（亞里士多德）提出的 數(shù)理邏輯又稱符號邏輯、理論邏輯。

它既是數(shù)學(xué)的一個分支，也是邏輯學(xué)的一個分支。是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計算這兩個直觀概念進(jìn)行符號化以后的形式系統(tǒng)。邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng)建的。用數(shù)學(xué)的方法研究關(guān)于推理、證明等問題的學(xué)科就叫做數(shù)理邏輯。