莱布尼茨的符号逻辑思想研究

摘要

莱布尼茨作为17世纪的一名哲学家和科学家，他承袭了古典形式逻辑思想，同时又为现代数理逻辑奠定了起点，对逻辑代数产生了影响。莱布尼茨的符号逻辑思想不但存在于过去，并且存在于现在，更存在于未来，在逻辑发展史上，莱布尼茨的符号逻辑具有关键转折的地位。
　　莱布尼茨符号逻辑思想的产生，不是一蹴而就的，是有一定的形成背景，有其理论渊源、时代背景，亚里士多德的公理化方法、中世纪以及近代都孕育了莱布尼茨的符号逻辑思想，当时的社会发展以及数学的发展促使了莱布尼茨符号逻辑的产生。
　　为了准确的解释世界、认识世界和给各学科建立统一的表达，莱布尼茨构建了他的符号逻辑体系，其本质上是逻辑数学化的过程，包含本体论、认识论和方法论三个层次的含义。莱布尼茨的符号逻辑具有概念、判断、推理三个角度的理论构造，其次，还具有数学化、还原论、内涵逻辑的特征。
　　莱布尼茨逻辑符号化的理想虽未能实现，但是其符号逻辑是具有一定的地位与影响的。对于逻辑学的发展以及现代人工智能的影响都是显而易见的。莱布尼茨符号逻辑思想背后所隐藏的认知计算思想对后世具有重要的先驱价值。

目录

声明

摘要

第一章 绪论

1．1 问题的提出

1．2 文献综述

1．3 研究思路与方法

1．4 创新点

1．5 论文结构安排

第二章 莱布尼茨符号逻辑思想形成的背景

2．1 符号逻辑思想的理论渊源

2．1．1 亚里士多德的三段论和公理化方法论体系

2．1．2 中世纪符号逻辑思想萌芽

2．1．3 近代唯理论和经验论者关于符号逻辑思想萌芽

2．2 时代背景

2．2．1 社会背景

2．2．2 数学的发展

第三章 莱布尼茨符号逻辑的核心内容

3．1．1 为认识世界给出更准确的解释

3．1．2 为科学研究建立统一表达

3．2 莱布尼茨符号逻辑的内涵

3．2．1 世界是符号逻辑的本体论内涵

3．2．2 思维是符号逻辑的认识论内涵

3．2．3 工具是符号逻辑的方法论内涵

3．3 莱布尼茨符号逻辑的理论构造

3．3．1 概念

3．3．2 判断

3．3．3 推理

3．4 莱布尼茨符号逻辑思想的特征

3．4．1 数学化的特征

3．4．2 内涵逻辑的特征

3．4．3 还原论的特征

第四章 莱布尼茨符号逻辑的地位与影响

4．1 莱布尼茨符号逻辑在逻辑学发展中的地位

4．1．1 古典逻辑到现代逻辑的关键转折

4．1．2 莱布尼茨符号逻辑对数理逻辑的贡献

4．1．3 莱布尼茨符号逻辑对逻辑代数的影响

4．2 莱布尼茨符号逻辑对当代人工智能的影响

4．2．1 符号逻辑对人工智能的不同学派的影响

4．2．2 当代人工智能发展的哲学问题及符号逻辑的局限

研究结论与展望

参考文献

致谢

研究成果及发表的学术论文

作者及导师简介