数理逻辑简介 口逻辑学是一门研究思维形式及思维规律的科学,也就是研究 推理过程的规律的科学。逻辑规律就是客观事物在人的主观 意识中的反映。 口逻辑学分为辨证逻辑与形式逻辑两种,辩证逻辑是以辨证法 认识论的世界观为基础的逻辑学,形式逻辑主要是对思维的 形式结构和规律进行研究的类似于语法的一门工具性学科。 口思维的形式结构包括了概念、判断和推理之间的结构和联系 ,其中概念是思维的基本单位,通过概念对事物是否具有某 种属性进行肯定或否定的回答,这就是判断;由一个或几个 判断推出另一判断的思维形式,就是推理。 口用数学方法来研究推理的规律称为数理逻辑。这里所指的数 学方法,就是引进一套符号体系的方法,在其中表达和研究 推理的规律。数理逻辑简介 ❑ 逻辑学是一门研究思维形式及思维规律的科学，也就是研究 推理过程的规律的科学。逻辑规律就是客观事物在人的主观 意识中的反映。 ❑ 逻辑学分为辩证逻辑与形式逻辑两种，辩证逻辑是以辩证法 认识论的世界观为基础的逻辑学，形式逻辑主要是对思维的 形式结构和规律进行研究的类似于语法的一门工具性学科。 ❑ 思维的形式结构包括了概念、判断和推理之间的结构和联系 ，其中概念是思维的基本单位，通过概念对事物是否具有某 种属性进行肯定或否定的回答，这就是判断；由一个或几个 判断推出另一判断的思维形式，就是推理。 ❑ 用数学方法来研究推理的规律称为数理逻辑。这里所指的数 学方法，就是引进一套符号体系的方法，在其中表达和研究 推理的规律