11.第九章现代逻辑的思想方法概述.doc

第九章 现代逻辑的思想方法作为从世纪最伟大的科学家爱因斯1953年爱因斯坦在给J·E·斯威策的一封复信中谈到西 “西方科学的发展是以两个伟大的成就为基础，就是：希腊哲学家发明形式逻辑体系(在欧里得几何学中)以及通过系统的实验发现有可能找出果关系(在文艺复兴时期)。在我看来中国的贤哲没有上这两步，那是不着惊奇的。令人惊奇的倒是这些发现[在中国全都做出来了。信中最后一句话是说，中国古代有如此伟大的科学发明实在?因为，在爱因斯坦看来中国的科学文 需要明确的是，爱斯坦这里所说的形式逻辑体系并不是在文艺19世纪就引起了中国有识之士的高度重视了。正是基于 思考爱因斯的这封信，读者很可能会产生这样的问题：为什?对于这个问毫无问，科学理论来自科学考察的实践。在这方面，无论学命题的形式加以表述和记录。假说的断定范围超出了所得出假说的过程中，有猜测，有联想，有严格的逻辑推导也般人所不具备从而也难以揣测的灵感。科学方法论便是致力(科学观察、实验等探索中直接获得的结果)与(以科学命题形式表述的假说)之间的概然性联系程度，步的科索中它们可能指导。一特定领域的科学理论是对该领域中科学研究果的概括与的逻辑系必须应理 正如爱斯坦信中所说，产生于两千多年以前的欧几里得得以流传至今。欧氏几何学与当时所有别 西方科学的两大基础，从时间上来说，式化、公理化的逻辑定程度上采用了促进了当代科学以日新月异的速度飞速地 今天，现代逻辑作为科学的基础得到了系统、深入的发展并获得了广泛的应70年代起将逻辑学确立为并列于数 思考爱因斯坦的这封短信，每一位读者也许都会深切地感受工欲善其事，必先利其公理系统与逻辑公理化、形式化是现代逻辑最根本的思想方法，在以下各节欧氏几何的平面几何部分采用的基本概念有“点”、“线”、“面 公理有8条：1、与同一个量相等的量彼此相等。 2、等量加等量，总量相等。 3、等量减等量，余量相等。 4不等量加等量，总量不相等。 5、等量的二倍相等。 6、等量的一半相等。 7、能重合的量相等。 8、全体大部分。 公设有5条： 1、可从任一点引直线到任一点。 2、任一直线可不断循直线延长。 3、可以任一点为中心和任一距离(为半径)作圆。 4、所有直角彼此都相等。 5、若两直线与一直线相交，同侧所交两内角之和小于两直角 从公理、公设出发推演出来的命题称作定理定理一经推演 最粗略地说来，象欧氏几何学这样的明确列出初始概念、初欧氏几何只是一个初步公理化的理论，它还存在有许多缺陷、“在……之间”。其次”，等等。这些命题不能由欧氏几何的公理、公设推演出来，其中有一些需要作为欧氏几何的初始命题。另一方面，欧氏几何还借助了逻辑：它的推演要运用多种形式的推理，而欧氏几何的公理、公设并未反映，也推导不出这些推理的正确性。让我们来看看下述几何定理的证明。 定理 一直线的垂线与非垂线必相交。 证明：如图设ABEF，CD不垂直于EF须证AB与CD在直线EF右侧延长设AB与CD在EF右侧延长后不相交那么AB∥CD。根据垂90°。又根据定理两直线平行则同位角相等”，由公理1，∠2＝90°。由垂线定义，CDEF，与条件CD不于EF相矛盾。所以假设“AB与CD在EF右侧延长后不相 这一证明中所运用的推理可以简要地分析如下。设“ABEF”、“CD不垂直于EF”、“AB与CD在EF右侧延长后必相交”p、q、r，那么须证的定理可表示为“如果p并且q,么r的r”。最后推演出q的反面即“并非q”。“并非q”与“q”p并且q，那么r”得到了证。这r，并且根据条件p，q。所以，如果p并且q，那么r” 欧氏几何学中所运用的推理还有别的各种形式。欧氏几何不 以上这些事实告诉我们，欧氏几何并不是一个完善的公理化象这种借用 欧氏几何所运用的推理，是逻辑学的研究对象。一切公理化的一阶逻辑与一阶理论 逻辑学是从推理的形式、即从推理的前提与结论之间的联系一阶逻辑与许多逻辑分支都包括有关于特定类型的推理形式让我们先来看看一阶逻辑所研究的推理形式。 一阶逻辑），或由这样的命题复合而成的命题。例如： (1) x1是直线。 (2) x2垂直于x。(3) x2不平行于x1。(4) 如果x1垂直x3，并且x2不垂直于x，那么x2不平行于x1(5) 所有的直线都是可以无限延长的。(6) 有的曲线是直线。 (1’) 对象x1具有性质F (2’) 对象x1、对象x2之间具有关系R。 (3’) 对象x1、对象x2之间不具有关系S。 (4) 对于所有的对象x1、x2x3来说如果x1、x之具关R，并且x2、x之间不具有关系R那么x2、x1之间系S。 (5) 所有具有性质F的对象都具有性质G(6’) 有的具有性质H的对象具有性质F。一阶逻辑所研究的 (7’) 如果对于所有的对象x1、x2x3来说，若x2x1之间具有S并且