声明
摘要
第一章绪论
1.1研究背景与意义
1.2国内外研究综述
1.2.1国外研究情况
1.2.2国内研究情况
1.3研究思路与方法
第二章莱布尼茨逻辑数学化思想对弗雷格数理逻辑影响的原因
2.1对逻辑本质的理解
2.1.1传统逻辑观对莱布尼茨逻辑观的影响
2.1.2莱布尼茨对逻辑本体论和方法论的综合
2.1.3莱布尼茨对弗雷格逻辑方法论的启示
2.2对数的理解
2.2.1数的本体论和方法论
2.2.2莱布尼茨对数的本体论和方法论的综合
2.2.3莱布尼茨对弗雷格数的方法论的启示
2.3对逻辑与数的关系的理解
2.3.1莱布尼茨逻辑数学化的创始
2.3.2莱布尼茨对弗雷格数理逻辑方法论的启示
第三章莱布尼茨逻辑数学化思想对弗雷格数理逻辑影响的内容
3.1逻辑数学化的目标:对真理的追求
3.2弗雷格对莱布尼茨逻辑数学化方法论的改进
3.2.1逻辑数学化应用范围的缩小
3.2.2符号的简化
3.2.3逻辑结构的改变
3.2.4谓词逻辑取代词项逻辑
第四章莱布尼茨逻辑数学化思想对弗雷格数理逻辑影响的意义
4.1现代逻辑的开启
4.2逻辑前提的转变
4.3形式语言的发展
结论
参考文献
致谢
导师和作者简介