百度百科
符號邏輯
符號邏輯又稱(chēng)數理邏輯、理論邏輯。它是數學(xué)的一個(gè)分支，是用數學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計算這兩個(gè)直觀(guān)概念進(jìn)行符號化以後的形式系統。數理邏輯是數學(xué)基礎的一個(gè)不可缺少的組成部分。 所謂數學(xué)方法就是指數學(xué)採用的一般方法，包括使用符號和公式，已有的數學(xué)成果和方法，特別是使用形式的公理方法。 用數學(xué)的方法研究邏輯的系統思想一般追溯到萊布尼茨，他認爲經(jīng)典的傳統邏輯必須改造和發(fā)展，是之更爲精確和便於演算。後人基本是沿著(zhù)萊布尼茨的思想進(jìn)行工作的。 簡(jiǎn)而言之，數理邏輯就是精確化、數學(xué)化的形式邏輯。它是現代計算機技術(shù)的基礎。新的時(shí)代將是數學(xué)大發(fā)展的時(shí)代，而數理邏輯在其中將會(huì )起到很關(guān)鍵的作用。 邏輯是探索、闡述和確立有效推理原則的學(xué)科，最早由古希臘學(xué)者亞里士多德創(chuàng )建的。用數學(xué)的方法研究關(guān)於推理、證明等問(wèn)題的學(xué)科就叫做數理邏輯。也叫做符號邏輯。 ? 漢典