数理逻辑

来自计算思维百科
跳转至: 导航搜索

逻辑是研究推理的学科,它分为辩证逻辑和形式逻辑。辩证逻辑是以辩证法认识论的世界观为基础的逻辑学,形式逻辑是以思维的形式结构和规律进行研究的一门学科。思维的形式结构包括概念、判断和推理之间的结构和联系,概念是思维的基本单位,判断是通过概念对事物是否具有某种属性进行肯定或否定的回答,推理是由一个或几个判断推出另一个判断的思维形式。研究推理的方法很多,利用数学方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑呢?我们知道要使用计算机,首先要有程序。通常,程序=算法+数据结构,而算法=逻辑+控制。因此,为了更好地使用计算机,就必须学习逻辑。数理逻辑研究形式体系,作为其组成部分的命题演算与谓词演算等在计算科学中作用巨大影响深远。