莱布尼茨的数理逻辑学思想.docVIP

莱布尼茨的数理逻辑学思想 莱布尼茨的数理逻辑学思想 PAGE 莱布尼茨的数理逻辑学思想 浅析莱布尼茨的数理逻辑学思想 摘要：莱布尼茨区分和研究了理性的真理即必然性命题、事实的真理即偶然性命题，并在逻辑学中引入了“充足理由律”，后来被人们认为是一条基本思维定律。其设想把数学方法应用于逻辑，使逻辑推理变成纯符号的逻辑演算，为逻辑成为一种证明的艺术，且为此进行了开创性的研究工作。尽管其后来中断了这一研究，但却给逻辑的发展指出了新的方向，对后来数理逻辑的创建起到了重要作用，因而被公认为数理逻辑的奠基人。 关键词：莱布尼茨 通用语言 数理逻辑 一、莱布尼茨的逻辑学说 莱布尼茨，我国知识界并不陌生，皆知其为德国著名数学家，发明了几何微积分。但是，他还是一位百科全书式的人文学者，他的著作或者说《莱布尼茨全集》至今德国科学院还在整理，直到2050年才有望出齐。从某种意义上说，莱布尼茨是德国哲学和文化史中的一位源头性的人物，是人类近现代思想史中一位百科全书式的极为罕见的全才。 莱布尼茨对逻辑问题的最早探索和最初贡献是试图沿着笛卡尔和霍布斯的思路建构所谓的“通用语言”。这种语言是一种用来代替自然语言的人工语言，它通过字母和符号进行逻辑分析与综合，把一般逻辑推理的规则改变为演算规则，以便更精确更敏捷地进行推理。也就是说，“通用语言”是一套表达思想和事物的符号系统，利用这些符号可以进行演算并推出各种