莱布尼茨的“数学--逻辑演绎”方法论研究
莱布尼茨创立“数学-逻辑演绎”的方法论，以更好地获得普遍必然性的知识。莱布尼茨所提出的这种新的方法论是在批判和改进中逐渐确立的。关于如何获得普遍必然性的知识，产生了近代经验主义方法论和理性主义方法论之争，由于理性主义的逻辑演绎方法论存在可靠性问题，重复性问题和必然性问题这些不足，莱布尼茨试图对其进行改进。他看到了数学方法在可靠性，获得新的知识和精确性方面的优势，可以弥补逻辑演绎方法论的不足，因而他将逻辑演绎方法论和数学方法论结合起来。莱布尼茨主要通过将逻辑三段论数学化了，确立了“数学-逻辑演绎”的方法论。 莱布尼茨的“数学-逻辑演绎”方法论采用了相通性原则，对应性原则，同一性原则和普遍性原则，从而使得逻辑演绎方法论和数学方法论结合在一起。这种方法论推动了逻辑方法和数学方法的进一步结合，对数理逻辑的发展有重大的影响，并产生了逻辑方法和数学方法基础性比较的问题。莱布尼茨的“数学-逻辑演绎”方法论还凸显了逻辑和计算的重要作用，是一种逻辑计算主义，在一定意义上促进了现代计算主义和人工智能符号主义流派的发展。然而反计算主义的提出，以及人工智能符号主义流派在现代人工智能发展中所面临的困境，这些也表明莱布尼茨的“数学-逻辑演绎”方法论存在一定的界限。
莱布尼茨;数理逻辑;数学方法论;逻辑演绎方法论
北京化工大学
硕士
科学技术哲学
郭菁;刘峰
2020
中文
O141
2020-11-19（万方平台首次上网日期，不代表论文的发表时间）