莱布尼茨的数理逻辑学思想(共5页).doc

浅析莱布尼茨的数理逻辑学思想摘要：莱布尼茨区分和研究了理性的真理即必然性命题、事实的真理即偶然性命题，并在逻辑学中引入了“充足理由律”，后来被人们认为是一条基本思维定律。其设想把数学方法应用于逻辑，使逻辑推理变成纯符号的逻辑演算，为逻辑成为一种证明的艺术，且为此进行了开创性的研究工作。尽管其后来中断了这一研究，但却给逻辑的发展指出了新的方向，对后来数理逻辑的创建起到了重要作用，因而被公认为数理逻辑的奠基人。关键词：莱布尼茨 通用语言 数理逻辑一、莱布尼茨的逻辑学说莱布尼茨，我国知识界并不陌生，皆知其为德国著名数学家，发明了几何微积分。但是，他还是一位百科全书式的人文学者，他的著作或者说莱布尼茨全集至今德国科学院还在整理，直到2050年才有望出齐。从某种意义上说，莱布尼茨是德国哲学和文化史