【数理逻辑三】命题逻辑及形式系统【上】

命题逻辑及形式系统 【上】

一、数理逻辑简介

逻辑学是一门研究推理的科学、同时也是研究语义关系的科学。最早由古希腊学者亚里士多德创立。其中最具有代表性的就是亚里士多德的三段论学说。只要符合三段论的推理就是正确的。一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。

例：
① 凡是人都会死（大前提）
② 苏格拉底是人（小前提）
③ 所以：苏格拉底会死（结论）
在这一阶段，逻辑学还是以自然语言来表述，但其中最大的问题就是自然语言的模糊性损害其准确和权威。直到逻辑学开始使用用数学的方法研究关于推理、证明等问题的时候，这门学科就叫做数理逻辑（也叫做符号逻辑）

• 数理逻辑的萌芽与发展

莱布尼茨（Leibniz）就曾经设想能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。即利用计算的方法来代替人们思维中的逻辑推理过程。他的想法虽然在当时没有实现。但是他的思想却是现代数理逻辑部分内容的萌芽。是数理逻辑的先驱。

1847年，英国数学家布尔G.Boole发表了《逻辑的数学分析》，建立了“布尔代数”。他创造了一套符号系统，利用符号来表示
逻辑中的各种概念。还建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础，

1884年，德