萊布尼茨作為17世紀(jì)的一名哲學(xué)家和科學(xué)家,他承襲了古典形式邏輯思想,同時又為現(xiàn)代數(shù)理邏輯奠定了起點,對邏輯代數(shù)產(chǎn)生了影響。萊布尼茨的符號邏輯思想不但存在于過去,并且存在于現(xiàn)在,更存在于未來,在邏輯發(fā)展史上,萊布尼茨的符號邏輯具有關(guān)鍵轉(zhuǎn)折的地位。萊布尼茨符號邏輯思想的產(chǎn)生,不是一蹴而就的,是有一定的形成背景,有其理論淵源、時代背景,亞里士多德的公理化方法、中世紀(jì)以及近代都孕育了萊布尼茨的符號邏輯思想,當(dāng)時的社會發(fā)展以及數(shù)學(xué)的發(fā)展促使了萊布尼茨符號邏輯的產(chǎn)生。為了準(zhǔn)確的解釋世界、認(rèn)識世界和給各學(xué)科建立統(tǒng)一的表達(dá),萊布尼茨構(gòu)建了他的符號邏輯體系,其本質(zhì)上是邏輯數(shù)學(xué)化的過程,包含本體論、認(rèn)識論和方法論三個層次的含義。萊布尼茨的符號邏輯具有概念、判斷、推理三個角度的理論構(gòu)造,其次,還具有數(shù)學(xué)化、還原論、內(nèi)涵邏輯的特征。萊布尼茨邏輯符號化的理想雖未能實現(xiàn),但是其符號邏輯是具有一定的地位與影響的。對于邏輯學(xué)的發(fā)展以及現(xiàn)代人工智能的影響都是顯而易見的。萊布尼茨符號邏輯思想背后所隱藏的認(rèn)知計算思想對后世具有重要的先驅(qū)價值。 

【文章來源】：北京化工大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：63 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖１－１萊布尼茨及其邏輯研究趨勢圖??知網(wǎng)中研宄萊布尼茨邏輯思想的文獻(xiàn)大約２００篇，上個世紀(jì)５０年代開始，??

普遍科學(xué)的思想。在十七世紀(jì)，哲學(xué)是所有知識的總稱，而形而上學(xué)是哲學(xué)的一??個大的門類，大致相當(dāng)于當(dāng)今意義上的哲學(xué)。笛卡爾對所有的知識進(jìn)行了分類，??形成了如下的“知識之樹”。如圖２－２：??科ｔ．??＼?＼?／?ｚ，’??理??學(xué)??／＼＼??圖２－２笛卡爾知識之樹??笛卡爾用一棵樹來比喻全部的哲學(xué)（所有的知識），樹根是形而上學(xué)，樹干??是物理學(xué)，樹枝則是醫(yī)學(xué)、機(jī)械學(xué)、倫理學(xué)等其他科學(xué)。其中，形而上學(xué)是最基??礎(chǔ)和根本的，它研宄各種知識的原理。形而上學(xué)的成果主要通過各門具體科學(xué)的??成果來體現(xiàn)，各門具體科學(xué)需要形而上學(xué)的滋養(yǎng)，需要它為自己立據(jù)。然而研究??１４??

間的聯(lián)系與組合，可以產(chǎn)生新的可預(yù)見的知識，每一個組合樣，是有相應(yīng)的數(shù)字與其對應(yīng)的。萊布尼茨對于整個世界的，其認(rèn)為世界的存在也是邏輯的存在，因此認(rèn)識世界的工具必為我們認(rèn)識世界的工具，就要把邏輯工具化一一符號化，那法達(dá)到邏輯認(rèn)識的普遍性，那就是建立普遍字符的思想。這有效、準(zhǔn)確的獲取知識，認(rèn)識世界。??尼茨符號邏輯的理論構(gòu)造??茨符號邏輯的理論構(gòu)造和現(xiàn)代邏輯很相似，（如圖３－１：）也理構(gòu)成，萊布尼茨對古典邏輯進(jìn)行繼承和發(fā)展的過程中，首學(xué)的分析，尋找最初的原始概念，即世界還原成符號邏輯，的推理，推理還原成概念（項），而后給概念進(jìn)行符號賦值，確定命題的真假和命題之間的推理關(guān)系。??

【參考文獻(xiàn)】：
期刊論文
[1]從笛卡爾邏輯思想看今后邏輯學(xué)的發(fā)展[J]. 景燦燦.  六盤水師范學(xué)院學(xué)報. 2016(04)
[2]萊布尼茨的心智計算思想研究[J]. 郭菁.  自然辯證法研究. 2015(11)
[3]萊布尼茨的理想[J]. 劉新文.  哲學(xué)動態(tài). 2014(12)
[4]十七世紀(jì)數(shù)學(xué)的認(rèn)識論根源[J]. 張俊青.  長治學(xué)院學(xué)報. 2014(05)
[5]萊布尼茨邏輯學(xué)說的歷史命運(yùn)[J]. 朱建平.  南京社會科學(xué). 2014(03)
[6]萊布尼茨語言哲學(xué)的理性主義實質(zhì)及其歷史地位研究[J]. 段德智.  武漢大學(xué)學(xué)報(人文科學(xué)版). 2013(05)
[7]論萊布尼茨的數(shù)理邏輯成就及成因[J]. 崔文芊,王紹源.  江西社會科學(xué). 2013(06)
[8]早期萊布尼茨真理論中的符號問題[J]. 馬洪銳.  哲學(xué)動態(tài). 2012(01)
[9]萊布尼茨的語言思想[J]. 馮曉虎.  外國語(上海外國語大學(xué)學(xué)報). 2011(03)
[10]同一性陳述的本體論分析[J]. 陳濤.  畢節(jié)學(xué)院學(xué)報. 2010(05)

碩士論文
[1]認(rèn)知計算主義的源起與當(dāng)代發(fā)展[D]. 史新穎.東華大學(xué) 2007



本文編號：3347954