Home › 新心学 › 图景 › 精神 › 新哲学 › 逻辑学

数理逻辑基础.4-演绎

Wed, 2009-09-16 14:15 — yijun

演绎，与其说是一种思维形式，毋宁说是一种表达方式，一种彰显清晰性的表达方式，一种彻底解决了交流问题的表达方式。
之所以强调此点，是为了说明，演绎，并不是一个良好的知识生产程序，而更多的，是一个良好的知识表述程序。
例如：数论或者欧式几何，作为知识体系，都可以表达为非常彻底的演绎体系，但是，我们很难指望依靠演绎机器，来生产新的数论或几何定理，目前，连完全的机器证明，都困难重重。

‹ 数理逻辑基础.3-形式系统up外尔与维特根斯坦之哲学比较研究.1 ›
Syndicate content Syndicate content