數(shù)理邏輯是以符號語言為主要工具語言的邏輯,也被稱為符號邏輯. 其提出可以追溯到17世紀(jì)后期到18世紀(jì)早期的著名科學(xué)家和哲學(xué)家“萊布尼茨（Leibniz, 1646-1716)”,他的代表作是《人類理智新論》.他區(qū)分了理性真理和事實(shí)真理,前者必然為真,后者則或然為真,一切必然真理都是分析的.他試圖建立一種分析的真理體系.萊布尼茨曾設(shè)想過創(chuàng)造一種“通用的科學(xué)語言”,可以把推理過程象數(shù)學(xué)一樣利用公式來進(jìn)行計(jì)算,從而得出保真的結(jié)論.他的思想成為數(shù)理邏輯部分內(nèi)容的萌芽,從這個(gè)意義上講,萊布尼茨可以說是數(shù)理邏輯的先驅(qū). 而數(shù)理邏輯的實(shí)際開創(chuàng)者應(yīng)該說是英國哲學(xué)家和數(shù)學(xué)家布爾.1847年,布爾發(fā)表了《邏輯的數(shù)學(xué)分析》,建立了“布爾代數(shù)”,并創(chuàng)造一套符號系統(tǒng),利用符號來表示邏輯中的各種概念.布爾建立了一系列的運(yùn)算法則,利用代數(shù)的方法研究邏輯問題,初步奠定了數(shù)理邏輯的基礎(chǔ). 十九世紀(jì)末二十世紀(jì)初,數(shù)理邏輯有了比較大的發(fā)展,1884年,德國數(shù)學(xué)家弗雷格出版了《算術(shù)基礎(chǔ)》一書,在書中引入量詞的符號,使得數(shù)理邏輯的符號系統(tǒng)更加完備.對建立這門學(xué)科做出貢獻(xiàn)的,還有美國人皮爾斯,他也在著作中引入了邏輯符號.從而使現(xiàn)代數(shù)理邏輯最基本的理論基礎(chǔ)逐步形成,成為一門獨(dú)立的學(xué)科.