计算机科学中的数理逻辑 课件 0绪论

第0章绪论计算机科学中的数理逻辑2026年4月目录CONTENTS01思维、感知的概念化和理性化从感知到理性，探讨思维的概念化与理性化过程。02数理逻辑求助数学——符号化追溯数理逻辑如何求助数学，实现符号化。03数理逻辑追随数学——公理化追溯数理逻辑如何追随数学，实现公理化。04数理逻辑改造数学——形式化追溯数理逻辑如何改造数学，实现形式化。05数理逻辑与计算机科学揭示数理逻辑作为“计算机科学的微积分”的深刻联系与应用。01思维、感知的概念化和理性化THEESSENCEOFTHOUGHT:CONCEPTUALIZATIONANDRATIONALIZATION数理逻辑·核心对象思维的两个核心层次思维实体与环境思维实体处于客观世界中，通过感知形成概念，这些概念以自然语言为载体，用于记忆和交流。这是思维产生与存在的基础。1.概念化(Conceptualization)将物理对象抽象为思维对象（语言化了的概念）的过程。它包含对客观世界中对象、性质、以及它们之间关系的提取与符号化表示。2.理性化：判断(Judgment):在概念基础上进行断定。例如：确认概念对具体个体的适用性、个体是否满足概念的定义、以及不同概念之间存在的蕴涵关系等。推理(Reasoning):由已知判断根据逻辑准则导出新判断的过程，是思维规律的集中体现。典型的推理形式包括：三段论推理和假言推理等。数理逻辑的宗旨用严格的数学方法，对人类从概念化到理性化的完整思维过程进行形式化的描述、分析与研究，揭示思维的普遍规律。02数理逻辑求助数学——符号化THEEVOLUTIONOFMATHEMATICALLOGIC:SYMBOLIZATION符号化示例：积木世界什么是符号化？用“一种只作整体认读的记号”——符号(symbol)，来表示量、数及数量关系。思维的概念化离不开语言，但要深入研究思维规律，需要更彻底的符号化，将直观场景转化为可分析的逻辑表达式。积木世界的符号化映射将实体对象与空间关系转化为逻辑语言基本实体定义：•t：桌子•a,b,c,d,e：积木块空间关系定义：•On(d,t)：积木d在桌子上•On(b,c)：积木b在积木c上•¬On(d,c)：积木d不在积木c上•On(a,b)∧On(b,c)：积木a在b上且积木b在c上核心价值：通过符号化，模糊的“积木堆叠”变成了精确、可计算、可推导的逻辑表达式，是人工智能知识表示的基础。数学与数理逻辑的符号化对比01/数学中的符号化▌核心概念

用符号代表具体的数与关系：如变量x,y,z(代表数)、√x(代表函数运算)、x≤y(代表大小关系)。▌逻辑判断

通过符号组合表达命题：“如果a≤b，则a+c≤b+c”。将自然语言转化为可演算的符号规则。▌演绎推理

基于规则的机械演算：由前提“a≤b”和“不等式两边同加等量不改变方向”，直接推导出结论“a+c≤b+c”。02/数理逻辑中的符号化•泛化的概念：x,y,z可代表任意对象；owner(x)代表“所属关系”；On(x,y)代表“空间位置关系”等抽象关系。•精确的判断：用逻辑连接词组合：On(a,b)→¬On(b,a)(若a在b上，则b一定不在a上)。▌思维的“代数化”推理数理逻辑将推理过程完全转化为符号操作：由前提“On(a,b)→¬On(b,a)”和“On(a,b)”，无需直觉，直接机械推导出结论“¬On(b,a)”，实现对思维规律的精确演算。03数理逻辑追随数学——公理化THEEVOLUTIONOFMATHEMATICALLOGIC:AXIOMATIZATION公理化思想与数理逻辑公理化系统通常包含三个核心要素：不加定义的原始概念作为基石、自明的公理作为推理起点，以及逻辑严密的推理规则作为推演工具。数理逻辑更进一步，将思维规律本身公理化，构建了关于“推理”的严谨体系。G1•原始概念(PrimitiveConcept)点、直线、平面(几何示例)不加定义的基本概念，无需证明其存在，是构建整个理论大厦的逻辑基石。G2•公理(Axioms)两点确定一条直线(几何公理)被普遍接受为自明的、无需证明的基本事实，是整个逻辑推理链条的最初起点。G3•推理规则(InferenceRules)假言推理(ModusPonens)公认的、逻辑严密的推演法则，是从公理推导出定理的工具，确保结论的正确性。公理模式(AxiomSchemas)

将人类思维的逻辑法则抽象、符号化与模式化。例如：逆否命题等价(A→B)↔(¬B→¬A)，这是所有逻辑命题都遵循的规律。推理规则模式(RuleSchemas)

将具体的推理步骤提炼为通用的符号化模式。例如：假言推理这成为形式系统中从已知推导未知的标准工具。04数理逻辑改造数学——形式化THEEVOLUTIONOFMATHEMATICALLOGIC:FORMALIZATION形式系统的核心构成从具体到抽象：非欧几何的出现表明，与直觉相悖的公理系统也能构建出逻辑上正确的理论。这促使公理化走向抽象，忽略原始概念的直觉意义，只关注符号的形式与推演。01形式语言FormalLanguage形式系统的“原料”与“语法”基础。它包含：•符号表：构成语言的基本字母表。•文法规则：规定符号如何合法组合，以生成表示对象的项和表示判断的公式。02抽象公理系统AbstractAxiomaticSystem形式系统的“推演引擎”。它不关心符号的具体含义，只关注逻辑关系：•公理模式：无需证明、作为起点的公式。•推理规则：从已有的真命题推出新的真命题的机械规则。二者共同推演出系统的全部定理。03语法与语义Syntax&Semantics研究形式系统的两个不同维度：•语法(Syntax)：纯形式的机械推演，只关注符号串的结构与变换。•语义(Semantics)：赋予形式符号具体的解释和意义，讨论公式在特定模型下的真假。05数理逻辑与计算机科学MATHEMATICALLOGICANDCOMPUTERSCIENCE计算机科学·理论基石数理逻辑：计算机科学的微积分从解决数学基础危机的初衷出发，它最终成为驱动计算机科学发展的核心引擎，为计算世界构建了严密的推理与验证基础。初衷与转向初衷是解决数学基础危机，但哥德尔不完全性定理揭示了其局限性，也意外开启了新的发展方向。新沃土计算机科学成为数理逻辑发展的“新沃土”，二者在理论与实践的结合中产生了强烈的交互作用。核心能力提供描述数学结构、性质及动态过程的严谨语