基本內(nèi)容
符號邏輯又稱數(shù)理邏輯、理論邏輯。它是數(shù)學(xué)的一個分支，是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計(jì)算這兩個直觀概念進(jìn)行符號化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學(xué)基礎(chǔ)的一個不可缺少的組成部分。 所謂數(shù)學(xué)方法就是指數(shù)學(xué)采用的一般方法，包括使用符號和公式，已有的數(shù)學(xué)成果和方法，特別是使用形式的公理方法。 用數(shù)學(xué)的方法研究邏輯的系統(tǒng)思想一般追溯到萊布尼茨，他認(rèn)為經(jīng)典的傳統(tǒng)邏輯必須改造和發(fā)展，是之更為精確和便于演算。后人基本是沿著萊布尼茨的思想進(jìn)行工作的。 簡而言之，數(shù)理邏輯就是精確化、數(shù)學(xué)化的形式邏輯。它是現(xiàn)代計(jì)算機(jī)技術(shù)的基礎(chǔ)。新的時代將是數(shù)學(xué)大發(fā)展的時代…
[查看更多]
