萊布尼茨的符號邏輯思想研究.pdf

1、萊布尼茨作為17世紀的一名哲學家和科學家，他承襲了古典形式邏輯思想，同時又為現(xiàn)代數理邏輯奠定了起點，對邏輯代數產生了影響。萊布尼茨的符號邏輯思想不但存在于過去，并且存在于現(xiàn)在，更存在于未來，在邏輯發(fā)展史上，萊布尼茨的符號邏輯具有關鍵轉折的地位。
　　萊布尼茨符號邏輯思想的產生，不是一蹴而就的，是有一定的形成背景，有其理論淵源、時代背景，亞里士多德的公理化方法、中世紀以及近代都孕育了萊布尼茨的符號邏輯思想，當時的社會發(fā)展以及數學的發(fā)

2、展促使了萊布尼茨符號邏輯的產生。
　　為了準確的解釋世界、認識世界和給各學科建立統(tǒng)一的表達，萊布尼茨構建了他的符號邏輯體系，其本質上是邏輯數學化的過程，包含本體論、認識論和方法論三個層次的含義。萊布尼茨的符號邏輯具有概念、判斷、推理三個角度的理論構造，其次，還具有數學化、還原論、內涵邏輯的特征。
　　萊布尼茨邏輯符號化的理想雖未能實現(xiàn)，但是其符號邏輯是具有一定的地位與影響的。對于邏輯學的發(fā)展以及現(xiàn)代人工智能的影響都是顯而易見