计算机科学的起源精选.ppt

VB程序设计及数据库应用 庄朝晖 厦门大学计算机系 计算科学的起源－从逻辑开始 中文的“逻辑”显然音译自英文的“logic”。logic又来自中古拉丁文的logica，logica又源自希腊文logos（λóγｏｓ）。logos一般翻译为“逻格斯”，接近于中文里的“道”。 中文的“道”和希腊文“logos”都有以下两层意思： 1 各种事物的定义或者各种活动的规则（西方各门学科的名字都以 -logy缀后的习惯） 2 言说，言谈 这两层意思也是相互关联的。言谈是为了揭示事物的道理，道理一般也通过言谈得以开显。 通用计算的设想 “万一发生争执，正像两个会计员之间无须乎有辩论，两个哲学家也不需要辩论。 因为他们只要拿起石笔，在石板前坐下来，彼此说一声（假如愿意，找个朋友作证）：我们来算算，也就行了。” －－莱布尼兹 通用计算的几种模型 面对着生活世界，人类发展出三种推理模型：数据表示+数据处理。 a、自然语言的推理：使用语言和概念来表示命题与知识，通过交谈与辩论来进行推理。 b、符号逻辑的推理：使用符号来表示命题与知识，使用逻辑规则来进行推理。 c、数字计算的推理：使用数字来表示命题与知识，使用计算来进行推理。 这三种推理模型都可以归结为逻辑系统。然而所有的逻辑系统，皆有其局限性与适用性，所以不要拘泥于任何逻辑系统之中，要敢于超越现有的逻辑系统。 理性精神则勇于质疑，分析和超越这些预设和