【摘 要】
:
现代数理逻辑学家通常将弗雷格视为数理逻辑的缔造者,而莱布尼茨则被视为数理逻辑最伟大的先驱。莱布尼茨对这一名誉实至名归。(1)尽管亚里士多德和他的大多数追随者有一个逻
【机 构】
:
苏州大学政治与公共管理学院苏州215123
论文部分内容阅读
现代数理逻辑学家通常将弗雷格视为数理逻辑的缔造者,而莱布尼茨则被视为数理逻辑最伟大的先驱。莱布尼茨对这一名誉实至名归。(1)尽管亚里士多德和他的大多数追随者有一个逻辑形式系统的狭义逻辑观,而莱布尼茨更像一个现代人,有一个逻辑的普遍性目标,一个可应用于各种类型的推理的逻辑观。(2)他试图为他的逻辑建构一种数学的算法,他没有达到这一目标是因为他对亚里士多德三段论和他的主谓句法过分尊重。尽管上述观点存在一定的合理性,但不得不承认莱布尼茨是数理逻辑的先驱,同时将他的失败归之于他过分尼于三段论模式和主谓句法的论断也是站不住脚的。如果是这样的话,莱布尼茨就不是作为弗雷格的伟大先驱,而是作为传统三段论的集大成者出现了。的确,莱布尼茨作为一位逻辑巨人的资格既是建立在对即将到来的新逻辑的预见方面,也是建立在他对古老的三段论隐藏的力量和范围承认的基础之上的。
其他文献
对于人类即将进入的“第二轴心期时代”,莱布尼茨的文化哲学具有重要的启迪价值。莱布尼茨是一个喜欢并善于调和与综合的哲学家。在莱布尼茨看来,世界文化是个多样性的整体,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
新时期,社会主义核心价值观渐渐成为初中语文的"新宠",许多题目都会涉及社会主义核心价值观,特别是一些分值较高的阅读理解题和填空题。所以,学生应掌握好社会主义核心价值观
埃锡沃斯葡萄酒厂的设计极其简单、空灵,几乎可以称得上纤秀。建筑轻柔起伏的外形,除了对建筑周围景观的模仿以外,还从高迪的作品中吸取了墙和屋顶双曲线的做法,来达到空灵、
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield