【莱布尼兹数理逻辑新探康健】.pdf
目录 英文摘要 戴言 、逻辑形式化、符号化的历史源 亚里士多德的逻朝符号化思想 斯多葛学派对于命题逻辑所作的形式化努力 波伊修斯和大国尔伯特对逻辑形式化的探索 鲁鲁斯的“伟大的技艺”国霍布斯“推理即计算”的思想 二、莱布尼滋数理逻辑恩蕊的具体内容“普递文字和“推理演算”蒙布尼关于普遵文宇的思想 慕布尼慈关于推理演算”的思想 1年阶段 2、11年阶段 3.
作为数理逻辑的创始人,莱布尼兹继承了从夏里士多、斯多 葛学派到鲁鲁斯、霍布斯等人关于逻辑符号化、形式化的思想遗产,提出了“普遍文字”和“推理演算”的恐想,从而天才地预见了数 式、推理规则等,这二者是构成现代数理逻辑的基础、兼布尼兹在 《论组合术》及后来的论文中反复需运了“普遗文字”的构成、意 义和使用方法:德在:79年、13年和:6年三个阶段中越来越清 楚地离明了其“摇演算”恩想,达到了相当高的水平,受其唯理 论思想的影响,莱布尼兹首先考虑的是概念的内涵解释,但他对外 延及内涵和外延的反变关系也十分了解、正是根据这一点,笔者在 参考大量资斜的基础上,对莱氏的”推理演算”思想分别给出
CsicalusRatioclaator from the vlewpolats of intension, entenslon end propositional calculus respectlvely.fuliy showlag the unlversalfty and farslghtedness of Lelbnlzs ideas.Lelbnlzs contrlbutions to mathematlca!logic are notonly hlsspitlt ofdarlag tobethefirstlnthe world aad thefomuieandreasoaing