1、 数理逻辑 (1)计算机学院 姜新文13807481392， xinwenjianggfkd.mtnQQ: 4712810本讲内容1.课程介绍2.要求及注意事项3.形式系统4.P系统介绍 数理逻辑 课程介绍逻辑 ： 客观事物的规律在人的主观意识中的反映推理 ：就是从一个或几个 已知判断 推导出一个 新的判断 的思维过程。 数理逻辑 课程介绍逻辑学 ： 研究思维形式和思维规律的一门科学 。任何推理都有它 形式 和 内容 的两个方面。推理的内容是它所施用的具体的科学理论的研究对象，而 逻辑学研究的是推理的形式， 也就是去除内容后前提判断与结论的关系。 数理逻辑 课程介绍形式逻辑 ：以思维的形式结构
2、及规律进行研究的逻辑学。辨证逻辑 ：以辨证法认识论来进行研究的逻辑学。 数理逻辑 课程介绍形式逻辑主要从 形式结构上研究思维的形式和规律 。形式逻辑推理的每一个环节都是完全确定的，界限分明的，它用逻辑符号来指称对象，有一套严密的逻辑规则，能够进行精确的逻辑演算。 数理逻辑 课程介绍归纳逻辑和演绎逻辑归纳逻辑 研究特殊到一般、特殊到特殊的推理。它是一种或然性推理。例 ：美国加州的自然环境与我国南方地区的自然环境是相似的，我国南方地区适宜种植柑橘，所以，美国加州也适宜种植柑橘。显然，这是从 特殊到特殊 的推理，通常叫做类比推理。 数理逻辑 课程介绍归纳逻辑研究 特殊到一般 、特殊到特殊的推理。它是
3、一种或然性推理。例 ：所有的以前发现的绿宝石都是绿的，所以，下一个被发现的绿宝石将是绿的。当人们把关于过去经验的概括整理起来以便做出关于即将发生的特定事件的预见时，他们常常使用这种归纳推理。 数理逻辑 课程介绍归纳逻辑研究特殊到一般、特殊到特殊的推理。它是一种 或然性 推理。例 ：这个班上的所有学生都是高智商的，这个班上的所有学生都有强烈的学习热情，这个班上的所有学生学业负担都比较轻， 这个班上的所有学生都是心理健康的，所以，这个班上的所有学生学习成绩都比较好。 数理逻辑 课程介绍演绎逻辑 从 一般到特殊 的逻辑推理方法，也常被称之谓一种 必然性 推理，或保真性推理。演绎主义者认为归纳不靠谱。（海城到唐山）归纳主义者反对或贬低演绎逻辑，认为演绎逻辑不是一种科学的方法，其基本理由有两个：1. 认为演绎逻辑不能给人以新知识。2. 认为演绎逻辑不能证明其前提的正确性，必然导致先验论。
