形式化数理逻辑的研究目的.pptVIP

形式化数理逻辑 侯越先，yxhou@, 25-B-510 一般性参考： 《离散数学》，左孝凌等，上海科学技术出版社 《数学家的逻辑》，哈密尔顿，商务印书馆 《元数学导论》， S．C．克林，科学出版社 课程辅助材料： 重新审视逻辑的本质 真与逻辑 经验意义上，命题的“真”指命题的断言符合其所指涉事物的实际状态 逻辑（Logics）研究的是有效的推理方法，数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法 重新审视逻辑的本质 什么是有效推理方法? a 有效推理方法应具备保真性，即如果推理前提真，则推理结论真 b 有效推理方法的保真性应具有普遍意义，即不同的人，在不同的应用背景下使用相同的推理过程，可获得真值相同的结论 有效推理的例子：三段论 重新审视逻辑的本质 两个基本问题： 问题1：是否所有真命题都可从特定的逻辑前提出发，由满足条件a和b的逻辑推理过程获得？ 问题2：如果推理前提真，有效推理方法的结论是否无条件地真？ 重新审视逻辑的本质 问题1（是否所有真命题都可从特定的推理前提出发，由满足条件a和b的逻辑推理过程获得？） 下面各个推理结论（蓝色部分）的真值由何决定？ 例1 因为他是医生，所以他是大夫 例2 如果下雨，野餐取消； 　 现在确实下雨了； 　 野餐将取消 例3 如果A胜过B； 且B胜过C； 则A胜过C 例4 任何一个男同学都不能断定本语句是真的 重新审视逻辑的本质 获致“真”的途径： 基于逻辑的真（基于形式的真） 基于语义的真 基于直觉的真 注：4与说谎者悖论的区别 4与哥德尔不完备性定理之间的关系 数理逻辑的研究目的：研究形式有效的推理，用形式手段地刻画人们对形式真的朴素理解。 重新审视逻辑的本质 问题2（如果推理前提真，有效推理方法的结论是否无条件地真？） 例子（量子物理的双缝实验）：电子e通过左缝隙或右缝隙达到屏幕，且通过缝隙时的动量是p 小练习：将以上例子用命题逻辑符号化 量子逻辑：刻画量子世界的命题逻辑 1 G. Birkhoff and J. von Neumann, The Logic of Quantum Mechanics 2 http://wapedia.mobi/en/Quantum_logic 重新审视逻辑的本质 Remark 1：形式逻辑系统本质上是一种形式约定系统，系统内的真命题（永真式）只在形式约定的意义下为真，而并不必然对应于实际物理状态。 Remark 2：只有当形式逻辑系统的解释（即模型）确定之后，才可能讨论形式命题（在特定解释下的）“物理真实性”。一般来说，古典逻辑系统适用于经典物理世界，因此在日常情况下，基于古典逻辑系统得出的真命题对应于事物的实际状态。以下我们约定已给出合适的模型，使得形式真等价于真 形式化数理逻辑的研究目的 1 研究逻辑（形式）有效的推理，用形式手段刻画人们对逻辑（形式）真的朴素理解 2 研究形式逻辑系统的元性质：可靠性、可判定性、完备性等 形式化命题逻辑、形式化谓词逻辑、形式化非古典逻辑 思考题：是否有可能对基本的形式逻辑系统加以扩张，使其可把握其他类型的真？详细说明你的意见 形式数理逻辑的主要研究内容 3 扩展研究目的 模型论、证明论、递归论、公理化集合论 模型论：用数理逻辑和集合论的方法解释、分析形式的（数学或物理）概念和系统 证明论：用数理逻辑的方法研究数学证明的过程 递归论：研究解决问题的可行的计算方法和计算的复杂程度 形式化命题逻辑系统L （非形式）命题逻辑系统的能力和局限 命题逻辑系统的结论都是真的吗？（考虑命题逻辑中真的定义） 命题逻辑系统的能力是否足够强，使得我们可由命题逻辑系统（算法地）推出所有的逻辑真命题？ 引入形式化命题逻辑系统 理论方面：澄清命题逻辑系统的元性质(一致性、完备性和可判定性等）、澄清基本的数学哲学问题（例如数学是否可以形式化） 应用方面，形式化逻辑系统在人工智能、软件工程等领域有着深入的应用。 命题逻辑的形式系统L定义如下 1 符号字母表： ┐，→，（，），p1，p2，p3，… 问题：为何只有两个逻辑联结词┐和→？ 形式化命题逻辑系统L 2 命题公式的集合：如下3条递归规则确定命题公式的集合 （1）对每个i=1，pi是命题公式 （2）若A和B是命题公式，则（┐A）和（A→B）是命题公式 （3）所有命题公式由递归应用（1）和（2）产生 注：在不引起歧义的情况下，括号可省略 3 公理模式： L1: （A→（B→A）） L2: （（A→（B→C））→（（A→B）→（A→C）