离散数学数理逻辑介绍-北京大学新一代GIS研究室.PDF

什么是数理逻辑 〉 逻辑学是探索、阐述和确立有效推理原则的 学科，最早由古希腊学者亚里士多德创立。 〉 亚里士多德在逻辑学上最重要的工作是提出 三段论学说。 〉 只要符合三段论的推理就是正确的。 〉 一个三段论就是一个包括有大前提、小前提 离散数学：数理逻辑 ：介绍 和结论三个部分的论证。 陈斌 北京大学地球与空间科学学院 gischen@pku.edu.cn 北京大学地球与空间科学学院/陈斌/2015 什么是数理逻辑 数理逻辑的萌芽 〉 三段论有许多不同种类，其中最著名的例子： 〉 利用计算的方法来代替人们思维中的逻辑推 理过程 ，这种想法早在十七世纪就有人提出 ① 凡是人都会死（大前提 ） 过。 ② 苏格拉底是人（小前提 ） 〉 莱布尼茨（ Leibniz ）就曾经设想能不能创 造一种 “通用的科学语言” ，可以把推理过 ③ 所以：苏格拉底会死（结论 ） 程象数学一样利用公式来进行计算，从而得 出正确的结论。 〉逻辑学还是以自然语言来表述，可能会因为 〉 由于当时的社会条件，他的想法并没有实现。 自然语言的模糊性损害其准确和权威。 〉 但是他的思想却是现代数理逻辑部分内容的 萌芽 ，从这个意义上讲，莱布尼茨的思想可 〉用数学的方法研究关于推理、证明等问题的 以说是数理逻辑的先驱。 学科就叫做数理逻辑 （也叫做符号逻辑 ）。 北京大学地球与空间科学学院/陈斌/2015 北京大学地球与空间科学学院/陈斌/2015 数理逻辑的开创 数理逻辑的大发展 〉 1847年，英国数学家布尔G.Boole发表了 〉 1884年，德国数学家弗雷格 Frege出版了 《