1.第4部分︰数理逻辑介绍.pptVIP

第四部分：数理逻辑 本书主要介绍下面的内容 命题逻辑 谓词逻辑 数理逻辑的公理化理论 非经典逻辑（不作教学要求） 湖北师范学院数学系·刘云芬 “逻辑”浅释中文的“逻辑”显然音译自英文的“logic”。logic又来自古拉丁文的logica，logica又源自希腊文logos（λóγｏｓ）。logos一般翻译为“逻格斯”，接近于中文里的“道”。中文的“道”和希腊文“logos”都有以下两层意思：（1）各种事物的定义或者各种活动的规则（西方各门学科的名字都以?-logy缀后的习惯）（2）言说，言谈这两层意思也是相互关联的。言谈是为揭示事物的道理，道理也往往通过言谈得以显示。我们可以构造一个有趣的句子“道道道”，意思是“道说是通往道理的道路”。在言谈和辩论中，渐渐发展出逻辑学这一领域。从地域来分，古代逻辑学可以分为希腊逻辑学（亚里士多德），印度逻辑学（因明学）和中国逻辑学（墨子名学）。在以往，逻辑学是哲学的一个分支。1800中期后，逻辑学也成为数学的一个分支。近代以来，逻辑学成为计算机科学的重要基础。 我们这里学习的逻辑学是西方逻辑。 逻辑学的界定： 研究思维形式及其规律的学科. 思维？ 认识论角度： 感性认识（感觉、知觉） 理性认识 思维形式：概念、判断（命题）、推理、论证等。 思维规律：矛盾律、排中律、同一律，充足理由律。 数理逻辑的产生利用计算的方法来代替人们思维