逻辑学

研究人的思维形式和规律的科学，称为逻辑学。根据所研究的对象和方法的不同，逻辑学主要分辩证逻辑、形式逻辑和数理逻辑。 数理逻辑是研究演绎推理的一门科学，是传统演绎法研究的继续和发展。它的主要研究内容是推理，特别是着重推理过程是否正确；它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。它的主要研究方法是采用数学的方法来研究数学推理、数学性质和数学基础，而所谓数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻辑。 数理逻辑的主要内容包括五大部分： (1)逻辑演算：主要是研究命题演算、谓词演算和应用演算，讨论逻辑概念和一般概念规律，是演绎推理形成的整体理论。 (2)集合论：主要讨论关于概念外延的逻辑理论，着重讨论集合的公理如何避免矛盾，把相关的超穷基数、超穷序数作为主要论题。 (3)证明论：它将整个数学理论作为研究对象，目的是要证明数学理论没有矛盾，为证明这个结论，必须进行行推理。 (4)模型论：模型论是语义的理论。对某些事物及相应的关系之间，如果能作出某个公理的模型，则说这个公理系统是不矛盾的。 (5)递归论：又称行理论，是关于算法的理论。主要研究算法的可计算性。 在此，我们主要研究逻辑演绎。 为什么要研究数理逻辑呢？大家知道，计算机可以处理大量的信息，但要利用计算机，首先要学会编“程序”。目前有两种常用的描述： 程序=算法+数据 算法=逻辑+控制 因此

弗雷格的逻辑体系，表现在今天就是我们数理逻辑中的命题演算和谓词演算(用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑)。弗雷格第一次用精确的句法构造出形式化的人工语言，使得逻辑推理表示为机械演算即所谓的推理规则成为可能。从这个观点看，概念文字是我们今天使用的计算机程序设计语言的前身。 https://blog.csdn.net/FnqTyr45/article/details/79576522 来源： https://www.cnblogs.com/feng9exe/p/10609872.html