命题逻辑及形式系统 【上】
一、数理逻辑简介
逻辑学是一门研究推理的科学、同时也是研究语义关系的科学。最早由古希腊学者亚里士多德创立。其中最具有代表性的就是亚里士多德的三段论学说。只要符合三段论的推理就是正确的。一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。
例:
① 凡是人都会死(大前提)
② 苏格拉底是人(小前提)
③ 所以:苏格拉底会死(结论)
在这一阶段,逻辑学还是以自然语言来表述,但其中最大的问题就是自然语言的模糊性损害其准确和权威。直到逻辑学开始使用用数学的方法研究关于推理、证明等问题的时候,这门学科就叫做数理逻辑(也叫做符号逻辑)
- 数理逻辑的萌芽与发展
莱布尼茨(Leibniz)就曾经设想能不能创造一种“通用的科学语言”,可以把推理过程象数学一样利用公式来进行计算,从而得出正确的结论。即利用计算的方法来代替人们思维中的逻辑推理过程。他的想法虽然在当时没有实现。但是他的思想却是现代数理逻辑部分内容的萌芽。