1、科学与逻辑方法论 讲课教师：讲课教师：哲学院哲学院 陈慕泽陈慕泽 Email:C1/69 本课程公共邮箱本课程公共邮箱 进入进入 邮箱地址：邮箱地址：chenmuze 密码：密码：885072102/69参考书目：参考书目：逻辑学逻辑学 中国人民大学哲学院逻辑教研室编中国人民大学哲学院逻辑教研室编 中国人民大出版社中国人民大出版社 数理逻辑发展史数理逻辑发展史 张家龙著张家龙著 中国社会科学出版社中国社会科学出版社 逻辑哲学逻辑哲学陈波著陈波著 中国人民大学出版社中国人民大学出版社 数理逻辑教程数理逻辑教程陈慕泽著陈慕泽著 上海人民出版社上海人民出版社 数理逻辑基础数理逻辑基础-一阶逻辑与一阶
2、理论一阶逻辑与一阶理论 陈慕泽陈慕泽 著著 中国人民大学出版社中国人民大学出版社3/69 第二讲第二讲 什么是逻辑？（一个最少在逻辑学家中最具争议问题）（一个最少在逻辑学家中最具争议问题）4/69 逻辑学是研究思维形式结构及其规律科学逻辑学是研究思维形式结构及其规律科学 思维形式结构思维形式结构 思维形式结构规律思维形式结构规律5/69 思维形式结构思维形式结构 (1)(1)全部杨树是落叶乔木。全部杨树是落叶乔木。(2)(2)全部哺乳动物是脊椎动物。全部哺乳动物是脊椎动物。(3)(3)全部商品是劳动产品。全部商品是劳动产品。全部全部S S是是P P逻辑常项逻辑常项 逻辑变项逻辑变项（词项变项）
3、（词项变项）代入代入6/69(1)(1)假如水温在一个大气压下为零摄氏度，那么就会结冰。假如水温在一个大气压下为零摄氏度，那么就会结冰。(2)(2)假如某甲作案，那么他有作案动机。假如某甲作案，那么他有作案动机。(3)(3)假如过分砍伐森林，那么会破坏生态平衡。假如过分砍伐森林，那么会破坏生态平衡。假如假如p p，那么那么q q 逻辑常项逻辑常项 逻辑变项（命题变项）逻辑变项（命题变项）代入代入 7/69 思维形式结构规律性思维形式结构规律性 永真式（逻辑规律）永真式（逻辑规律）可真式可真式 非永真可真式非永真可真式 不可真式不可真式（逻辑矛盾）（逻辑矛盾）8/69 定义是苍白定义是苍白 让我
4、我们找一下找一下逻辑感感觉，品味一下，品味一下逻辑。9/69 逻辑学家是干什么？一个小幽默一个小幽默 10/69 初遇悖论 11/69 思索思索 甲乙两人涉嫌作案被拘审。甲乙两人涉嫌作案被拘审。甲：我没作案。甲：我没作案。乙：我们两人中只有一人说真话。乙：我们两人中只有一人说真话。依据以上陈说，法官断定甲作案。依据以上陈说，法官断定甲作案。以下是法官推断：以下是法官推断：假如乙说真话，则甲说假话，即实际上甲作案。假如乙说真话，则甲说假话，即实际上甲作案。假假如如乙乙说说假假话话，则则有有两两种种可可能能：第第一一，两两人人都都说说真真话；第二，两人都说假话。话；第二，两人都说假话。已已假假设设
5、乙乙说说假假话话，所所以以第第一一个个可可能能不不存存在在，所所以以，两两人都说假话，即实际上甲作案。人都说假话，即实际上甲作案。乙陈说或者为真，或者为假，二者必居其一。乙陈说或者为真，或者为假，二者必居其一。所以，甲实际上作案。所以，甲实际上作案。法官推断给你何种感觉？法官推断给你何种感觉？12/69 悖悖论 逻辑林园中奇葩林园中奇葩 对理性思理性思维重大挑重大挑战13/69 事实错误和逻辑错误 14/69 思索思索 命题命题1 1 世界是上帝创造。世界是上帝创造。命题命题2 2 上帝是万能造物主。上帝是万能造物主。从无神论观点看，上述命题都是假命题。从无神论观点看，上述命题都是假命题。你你
6、能能指指出出并并分分析析这这两两个个假假命命题题之之间间一一个个实实质质性性区分吗？区分吗？15/69 分析分析 命题命题1 1是假，因为是假，因为 当然我们也能够类似地说当然我们也能够类似地说 不过不过16/69 分析分析 命题命题1 1是假，因为它所断定不是事实。是假，因为它所断定不是事实。当当然然我我们们也也能能够够类类似似地地说说，命命题题2 2是是假假，因因为为它它所所断断定定不不是是事事实实。不不过过，和和命命题题1 1不不一一样样，命命题题2 2假假，还有更深刻依据。还有更深刻依据。17/69 针针对对命命题题2 2，能能够够提提这这么么问问题题：上上帝帝能能不不能能造造出一块他
7、自己都搬不动石头？出一块他自己都搬不动石头？我我们们发发觉觉，和和命命题题1 1不不一一样样，命命题题2 2假假是是独独立立于于任何事实及其认定。任何事实及其认定。18/69 针针对对命命题题2 2，能能够够提提这这么么问问题题：上上帝帝能能不不能能造造出出一一块他自己都搬不动石头？块他自己都搬不动石头？假假如如上上帝帝能能造造出出一一块块他他自自己己都都搬搬不不动动石石头头，则则他他不是万能，因为这块石头他搬不动。不是万能，因为这块石头他搬不动。假假如如上上帝帝不不能能造造出出一一块块他他自自己己都都搬搬不不动动石石头头，则他不是万能，因为这块石头他不能创造。则他不是万能，因为这块石头他不能
8、创造。上上帝帝能能造造出出一一块块他他自自己己都都搬搬不不动动石石头头或或者者不不能能，二者必居其一。二者必居其一。所以，上帝不是万能。所以，上帝不是万能。我我们们发发觉觉，和和命命题题1 1不不一一样样，命命题题2 2假假是是独独立立于于任任何事实及其认定。何事实及其认定。19/69 命题命题1 1是假，因为它不是事实。是假，因为它不是事实。命命题题2 2是是假假，因因为为它它不不但但不不是是事事实实，而而且且不不可可能能是事实。是事实。不不可可能能是是事事实实者者，一一定定不不是是事事实实；不不是是事事实实者者，不一定不可能是事实。不一定不可能是事实。命命题题1 1这这么么假假命命题题称称
9、为为事事实实性性假假命命题题。事事实实性性假假命命题题包包含含错错误误称称为为事事实实性性错错误误。事事实实性性错错误误认认定定自自然然取取决决于于认认识识主主体体及及其其认认识识标标准准。事事实实性性假假命命题题是是可真。事实性错误是可辩解。可真。事实性错误是可辩解。20/69 有些人这么为命题有些人这么为命题1 1辩解：辩解：当当你你打打开开手手表表盖盖，面面对对里里面面复复杂杂精精巧巧齿齿轮轮、发发条条、杠杠杆杆，正正是是它它们们造造成成了了分分秒秒不不差差走走时时，你你能能构构想想这这是是自自然然存存在在而而不不是是被被制制造造出出来来吗吗？恐恐怕怕不不能能。那那么么，当当你你面面对对
10、宇宇宙宙，小小到到电电子子围围绕绕原原子子核核，大大到到地地球球围围绕绕太太阳阳，其其准准确确、精精巧巧和和复复杂杂，和和手手表表不不可可同同日日而而语语，那那么么，为为何何你你能能构构想想它它是是自自然然存存在在而而不是造物主杰作呢？不是造物主杰作呢？应应该该认认可可，这这一一辩辩解解是是基基于于理理性性而而不不是是愚愚昧昧，从从中中我我们们能能感感到到某某种种雄雄辩辩和和智智慧慧。这这一一辩辩解解逻逻辑辑味味道道不不坏坏。用用“不不妥妥类比类比”来简单否定这么辩解是苍白无力。来简单否定这么辩解是苍白无力。不过，为命题不过，为命题2 2作类似辩解是不可能。作类似辩解是不可能。21/69 思索
11、思索 上帝在第三天创造了太阳。上帝在第三天创造了太阳。是事实性假命题还是逻辑性假命题？是事实性假命题还是逻辑性假命题？22/69 命命题题2 2这这么么命命题题称称为为逻逻辑辑性性假假命命题题。逻逻辑辑性性假假命命题题包包含含错错误误称称为为逻逻辑辑性性错错误误。逻逻辑辑性性假假命命题题假假，独独立立于于任任何何事事实实，也也独独立立于于任任何何认认识识主主体体及及其其认认识识标标准准。逻逻辑辑性性假假命命题题是是不不可可真真，逻逻辑辑性性错错误误是是不不可可辩辩解。解。防止逻辑性错误，是任何思想和理论赖以正确防止逻辑性错误，是任何思想和理论赖以正确底线。底线。23/69 “上帝创造世界”可真
12、？24/69 怎怎样样了了解解“世世界界是是上上帝帝创创造造”可可真真，对对于于无无神神论者来说，是件困难事。但问题在于论者来说，是件困难事。但问题在于25/69 怎怎样样了了解解“世世界界是是上上帝帝创创造造”可可真真，对对于于无无神神论论者者来来说说，是是件件困困难难事事。但但问问题题在在于于 ，假假如如不不能能了了解解命命题题1 1可可真真，就就不不能能了了解解命命题题1 1和和命命题题2 2区区分分，即即不不能能了了解解事事实实假假和和逻逻辑辑假假区区分分。而而此此种种了了解解，对对于于逻辑来说至关主要。逻辑来说至关主要。26/69 何谓一个命题真？何谓一个命题假？何谓一个命题真？何谓
13、一个命题假？什么是世界？什么是世界？现实世界与可能世界现实世界与可能世界 事实性假命题可真逻辑含义事实性假命题可真逻辑含义 逻辑性假命题不可真逻辑含义逻辑性假命题不可真逻辑含义 事实性假命题可真认知含义事实性假命题可真认知含义27/69 什么是世界？什么是世界？世界是实体对象集合。世界是实体对象集合。世界是事件集合。（维特根斯坦）世界是事件集合。（维特根斯坦）28/69 何谓一个命题真？何谓一个命题假？何谓一个命题真？何谓一个命题假？任一命题都唯一对应于一个事件（任一命题都唯一对应于一个事件（eventevent）。）。一一个个命命题题真真，是是指指该该命命题题所所对对应应事事件件在在现现实实
14、世世界界中中是是存存在在；一一个个命命题题假假，是是指指该该命命题题对对应应事事件件在现实世界中是不存在。在现实世界中是不存在。如如“地地球球围围绕绕太太阳阳转转”这这个个命命题题是是真真，因因为为该该命命题题所所对对应应事事件件在在现现实实世世界界中中是是存存在在；“太太阳阳围围绕绕地地球球转转”个个命命题题是是假假，因因为为该该命命题题对对应应事事件件在在现现实实世界中是不存在。世界中是不存在。29/69 现实世界不是唯一可能世界。现实世界不是唯一可能世界。比比如如，我我们们完完全全能能够够想想象象并并接接收收这这么么一一个个世世界界是是可可能能，其其中中，毛毛泽泽东东不不是是如如同同现现
15、实实世世界界那那样样逝世于逝世于19761976年年9 9月月9 9日，而是逝世于日，而是逝世于19761976年年9 9月月8 8日。日。30/69 任任一一世世界界，只只要要没没有有一一个个事事件件在在其其中中既既存存在在又又不存在，就是一个可能世界。不存在，就是一个可能世界。也就是说，可能世界就是不矛盾世界。也就是说，可能世界就是不矛盾世界。一一样样，一一个个命命题题在在一一个个可可能能世世界界中中真真，是是指指该该命命题题所所对对应应事事件件在在这这一一可可能能世世界界中中是是存存在在；一一个个命命题题假假，是是指指该该命命题题对对应应事事件件在在这这个个可可能能世世界界中中是是不不存
16、在。存在。现现实实世世界界显显然然是是一一个个可可能能世世界界。除除此此之之外外，比比如如“红红楼楼梦梦”甚甚至至“西西游游记记”所所描描绘绘世世界界也也是是可可能能世世界界，因因为为你你找找不不到到或或无无法法论论证证一一个个命命题题在在其其中中既既是真，又是假。是真，又是假。31/69何谓一个命题真？何谓一个命题假？何谓一个命题真？何谓一个命题假？任任一一命命题题都都唯唯一一对对应应于于一一个个事事件件（eventevent）。一一个个命命题题真真，是是指指该该命命题题所所对对应应事事件件在在现现实实世世界界中中是是存存在在；一一个个命命题题假，是指该命题对应事件在现实世界中是不存在。假，
17、是指该命题对应事件在现实世界中是不存在。现实世界不是唯一可能世界。现实世界不是唯一可能世界。任任一一世世界界，只只要要没没有有一一个个命命题题在在其其中中既既真真又又假假，就就是是一一个可能世界。也就是说，可能世界就是不矛盾世界。个可能世界。也就是说，可能世界就是不矛盾世界。一一个个命命题题在在一一个个可可能能世世界界中中真真，是是指指该该命命题题所所对对应应事事件件在在这这一一可可能能世世界界中中是是存存在在；一一个个命命题题假假，是是指指该该命命题题对对应应事事件件在在这这个个可可能能世世界界中中是是不不存存在在。现现实实世世界界显显然然是是一一个个可可能能世世界界。除除此此之之外外，比比
18、如如“红红楼楼梦梦”甚甚至至“西西游游记记”所所描描绘绘世世界界也也是是可可能能世世界界，因因为为你你找找不不到到或或无无法法论论证证一一个个命命题题在在其其中中既既是真，又是假。是真，又是假。32/69显显然然能能够够构构想想一一个个世世界界，这这个个世世界界是是上上帝帝创创造造，但但这这个个世世界界并并不不自自相相矛矛盾盾，即即命命题题1 1在在这这个个可可能能世世界界中中是是真真。这这就就是是命题命题1 1可真逻辑含义。可真逻辑含义。但但不不存存在在一一个个可可能能世世界界，其其中中命命题题2 2真真。因因为为假假设设某某个个世世界界中中上上帝帝是是万万能能，则则可可推推出出他他既既能能
19、又又不不能能造造出出一一块块他他自自己己都都搬搬不不动动石石头头，因因而而这这是是个个不不可可能能世世界界。这这就就是是命命题题2 2不不可可真真逻逻辑含义。辑含义。除除了了上上述述逻逻辑辑含含义义外外，事事实实性性假假命命题题可可真真还还有有另另一一层层含含义义，可可称称为为认认知知含含义义。判判定定事事实实命命题题（或或价价值值命命题题）为为假假依依据据是是认认识识共共同同体体认认定定事事实实或或价价值值标标准准。伴伴随随认认识识共共同同体体知知识识组组成成或或价价值值标标准准改改变变，原原来来认认定定为为假假命命题题，以以后后认认定定为为真真了了，这在科学发展史或人类思想发展史上并不鲜见
20、。这在科学发展史或人类思想发展史上并不鲜见。33/69 事实（价值）真理和逻辑真理事实（价值）真理和逻辑真理 34/69 命题命题1 1 人是由猿猴进化而来。人是由猿猴进化而来。命命题题2 2 人人是是由由猿猿猴猴进进化化而而来来，或或者者不不是是由由猿猿猴猴进进化而来。化而来。从进化论观点看，上述命题都是真命题。从进化论观点看，上述命题都是真命题。你你能能指指出出并并分分析析这这两两个个真真命命题题之之间间一一个个实实质质性性区区分吗？分吗？35/69 事实事实(价值价值)真理是可错，是可质疑。真理是可错，是可质疑。逻辑真理是不可错。逻辑真理是不可错。从从进化化论观点点看看，命命题2 2是是
21、真真；从从反反进化化论观点点看看，命命题2 2也也是是真真。逻辑真真命命题真真，是是独独立立于于任任何何事事实和和任任何何认识主主体体及及其其认知知标准准，因因而而也也是是独独立立于于人人实践践。不不难了了解解，命命题2 2在在任一可能世界中都是真。任一可能世界中都是真。36/69逻辑真理传递什么信息？37/69“人人是是由由猿猿猴猴进进化化而而来来”，传传递递了了确确定定信信息息。“人不是由猿猴进化而来人不是由猿猴进化而来”，也传递了确定信息。，也传递了确定信息。但但“人人是是由由猿猿猴猴进进化化而而来来，或或者者不不是是由由猿猿猴猴进进化化而而来来”传传递递信信息息量量似似乎乎为为0 0，
22、从从中中我我们们似似乎乎没没被被通通知知任何东西。任何东西。逻辑真理传递信息吗？逻辑真理传递信息吗？假假如如回回答答是是必必定定，那那它它传传递递是是什什么么信信息息？这这么么信信息有什么用？息有什么用？38/69 假假如如你你想想详详细细了了解解人人和和猿猿猴猴进进化化关关系系，那那么么，“人人是是由由猿猿猴猴进进化化而而来来，或或者者不不是是由由猿猿猴猴进进化化而而来来”这这一一逻逻辑辑真真理理确确实帮不了你忙。实帮不了你忙。“人人是是由由猿猿猴猴进进化化而而来来，或或者者不不是是由由猿猿猴猴进进化化而而来来”所所传传达达不不是是关关于于人人和和猿猿猴猴及及其其关关系系信信息息，而而是是关
23、关于于结结构构信信息息，这这一一结结构构是是“A A或或者者非非A”A”。假假如如把把A A了了解解为为事事件件，那那么么这这一一结结构构意意思思是是，现现实实世世界界中中，任任一一事事件件存存在在或或者者不不存存在在，二二者者必必居居其其一一；假假如如把把A A了了解解为为命命题题，这这一一结结构构意意思思是是，任任一一命命题题或或者者真真，或或者者是是假假，二二者者必必居居其其一一。所所以以，逻逻辑辑真真理理传传递递关关于于结结构信息。逻辑真理是形式真理。构信息。逻辑真理是形式真理。逻辑真理有什么用呢？让我们继续思索和分析下面问题。逻辑真理有什么用呢？让我们继续思索和分析下面问题。39/6
24、9 形式推理及其有效性 40/69 凭直觉回答，以下推理成立吗？凭直觉回答，以下推理成立吗？人都是有思想。狗不是人。所以，狗没有思想。（推理人都是有思想。狗不是人。所以，狗没有思想。（推理1 1）在做出回答前，你很可能在犹豫。在做出回答前，你很可能在犹豫。一样凭直觉回答，以下推理成立吗？一样凭直觉回答，以下推理成立吗？人都是要死。狗不是人。所以，狗不是要死。（推理人都是要死。狗不是人。所以，狗不是要死。（推理2 2）回回答答这这一一问问题题，你你不不可可能能犹犹豫豫。任任何何人人凭凭直直觉觉就就能能回回答答，推理推理2 2不成立。不成立。这时回过头来再重新思索，推理这时回过头来再重新思索，推理
25、1 1成立吗？成立吗？这时你很可能不再犹豫地回答：不成立。这时你很可能不再犹豫地回答：不成立。这是为何呢？这是为何呢？41/69 推推理理2 2显显然然不不成成立立。因因为为它它显显著著前前提提真真实实，结结论论虚虚假假。一一个个从从真真前前提提推推出出假假结结论论推推理理是是不不可可能能正正确确，这属于常识和直觉范围。这属于常识和直觉范围。独独立立地地判判定定推推理理1 1是是否否成成立立超超出出了了常常识识和和直直觉觉，因因为它前提和结论都是真实。为它前提和结论都是真实。不不过过，为为何何依依据据推推理理2 2不不成成立立，我我们们马马上上能能够够不不加加犹犹豫豫地地判判定定推推理理1 1
26、不不成成立立呢呢？这这里里似似乎乎依依据据还还是是常常识识和直觉，但实际上包括了非常专业逻辑道理。和直觉，但实际上包括了非常专业逻辑道理。42/69 何谓一个推理正确？何谓一个推理正确？一个推理正确，是指这个推理结构正确。一个推理正确，是指这个推理结构正确。一一个个推推理理结结构构正正确确，是是指指含含有有这这一一结结构构任任一一推推理理，都不会出现真前提和假结论。都不会出现真前提和假结论。推理推理1 1和推理和推理2 2含有相同结构：含有相同结构：全部全部M M都是都是P P 全部全部S S都不是都不是M M所以，全部所以，全部S S都不是都不是P P这个推理结构不正确。因为这个推理结构不正
27、确。因为43/69一一个个推推理理正正确确，是是指指这这个个推推理理结结构构正正确确。一一个个推推理理结结构构正正确确，是是指指含含有有这这一一结结构构任任一一推推理理，都都不不会会出出现现真真前前提提和和假假结论。结论。推理推理1 1和推理和推理2 2含有相同结构：含有相同结构：全部全部M M都是都是P P 全部全部S S都不是都不是M M所以，全部所以，全部S S都不是都不是P P这这个个推推理理结结构构不不正正确确。因因为为这这个个结结构构无无法法确确保保，含含有有这这一一结结构构任任一一推推理理，假假如如前前提提真真实实，结结论论一一定定真真实实。推推理理1 1无无法法说说明明本本身身
28、不不正正确确，因因为为它它前前提提和和结结论论都都是是真真实实。推推理理2 2显显著著前前提提真真而而结结论论假假，所所以以，它它能能说说明明本本身身结结构构不不正正确确，即即它它不不但但能能说说明明本本身身不不正正确确，而而且且能能说说明明含含有有这这一一结结构构任任一一推推理理都都不不正正确确，包包含含推推理理1 1。推推理理1 1即即使使前前提提和和结结论论都都真真，但但它它真真前前提提推不出真结论。推不出真结论。44/69 反例解释45/69 利用反例判定推理无效，称为推理反例解释。利用反例判定推理无效，称为推理反例解释。反例两个特点。反例两个特点。试用反例判定以下推理无效：试用反例判
29、定以下推理无效：推理推理1 1：姜昆是曲艺演员姜昆是曲艺演员姜昆是相声演员姜昆是相声演员所以，相声演员都是曲艺演员所以，相声演员都是曲艺演员 推理推理2 2：只有坚持社会主义才能救中国只有坚持社会主义才能救中国中国共产党坚持社会主义中国共产党坚持社会主义所以，中国共产党能救中国所以，中国共产党能救中国 46/69 不难分别找到上述推理反例解释。不难分别找到上述推理反例解释。推理推理1 1反例解释：反例解释：毛泽东是革命家毛泽东是革命家毛泽东是湖南人毛泽东是湖南人所以，湖南人都是革命家所以，湖南人都是革命家推理推理2 2反例解释：反例解释：只有年满只有年满1818岁才有选举权岁才有选举权成克杰年
30、满成克杰年满1818岁岁所以，成克杰有选举权。所以，成克杰有选举权。（注：成克杰是本世纪初被处决并剥夺政治权利终生中国贪官）（注：成克杰是本世纪初被处决并剥夺政治权利终生中国贪官）47/69 凭直觉，以下推理有效吗？凭直觉，以下推理有效吗？利用反例解释判定你感觉无效推理：利用反例解释判定你感觉无效推理：马是动物。所以，马头是动物头。（推理马是动物。所以，马头是动物头。（推理1 1）马不是牛。所以，马头不是牛头。（推理马不是牛。所以，马头不是牛头。（推理2 2）解析解析 这这两两个个推推理理似似乎乎都都是是成成立立。但但实实际际上上，推推理理1 1成成立立，推推理理2 2不成立。能够找到推理不成
31、立。能够找到推理2 2这么一个反例解释：这么一个反例解释：台湾人不是北京人。台湾人不是北京人。所以，台湾祖先不是北京人祖先。所以，台湾祖先不是北京人祖先。这这一一推推理理和和推推理理2 2有有相相同同结结构构，但但显显著著前前提提真真而而结结论论假假，是判定推理是判定推理2 2无效一个反例解释。无效一个反例解释。48/69你可能感到了迷惑你可能感到了迷惑49/69你你可可能能感感到到了了迷迷惑惑。依依据据马马不不是是牛牛，得得出出结结论论：马马头头不不是是牛牛头头。对对于于这这么么在在日日常常思思维维中中再再简简单单明明白白不不过过推推理理，都都能能找找到到反反例例解解释释来来证证实实它它无无
32、效效，那那么么，是是否否任任一一推推理理，只只要要挖挖空空心心思思，都都能能找找到到反反例例解解释释呢呢？回回答答是是否否定定。比比如如，推推理理1 1是是找找不不到到反反例例解解释释。实实际际上上，任任一一有有效效推推理理不不但但找找不不到到反反例例，而且不可能存在反例。而且不可能存在反例。当当我我们们依依据据马马不不是是牛牛，自自认认为为简简单单明明白白地地得得出出结结论论马马头头不不是是牛牛头头时时，实实际际上上使使用用了了一一个个附附加加前前提提：马马头头属属于于而而且且只只属属于于马马。有有了了这这个个附附加加前前提提，当当然然能能得得出出结结论论：马马头头不不是是牛牛头头。但但这这
33、个个前前提提，是是我我们们依依据据自自己己经经验验不不自自觉觉地地附附加加，并并不不是是原原推推理理含含有有。推推理理2 2不不传传递递关关于于马马、牛牛及及其其头头任任何何信信息息，推推理理2 2只只传传递递这这么么信信息息：甲甲物物不不是是乙乙物物。所所以以，甲甲物物之之全全部部都都不不是是乙乙物物之之全全部部。不不难难了了解解，这这么么结结构构是是存存在在反反例例，因因而而不不是是普遍适用。普遍适用。50/69以上讨论推理，都是形式推理。以上讨论推理，都是形式推理。形形式式推推理理有有效效性性，在在于于它它结结构构。形形式式推推理理有有效效，也也称称为为形形式式有有效效。一一个个有有效效
34、推推理理形形式式，就就是是一一个个逻逻辑辑真真理理。逻逻辑辑真真理理是是恒恒真真，所所以以，一一个个反反例例解解释释就就能能判判定定一一个个推推理理形形式式无无效效。但但实实例例解解释释方方法法不不能能用用来来判判定定一一个个推推理理形形式式有有效效。因因为为一一个个推理实例解释是不可穷尽。推理实例解释是不可穷尽。怎怎样样判判定定一一个个推推理理形形式式有有效效性性？这这就就是是逻逻辑辑学学任任务务。基基于于这这一一目目标标逻逻辑辑，称称为为形形式式逻逻辑辑。形形式式逻逻辑辑以以思思维维尤尤其其是是推推理理形形式式结结构构为为对对象象，为为了了做做到到这这一一点点，它它要要使使用用一一个个有有
35、别别于于自自然然语语言言符符号号语语言言。形形式式方方法法一一个个本本质质特特征征是是在在它它使使用用语语言言中包含变项。中包含变项。51/69 反例方法能够用来判定推理无效，不过反例方法能够用来判定推理无效，不过 52/69以上讨论推理，都是形式推理。以上讨论推理，都是形式推理。形形式式推推理理有有效效性性，在在于于它它结结构构。形形式式推推理理有有效效，也也称称为为形形式式有有效效。一一个个有有效效推推理理形形式式，就就是是一一个个逻逻辑辑真真理理。逻逻辑辑真真理理是是恒恒真真，所所以以，一一个个反反例例解解释释就就能能判判定定一一个个推推理理形形式式无无效效。但但实实例例解解释释方方法法
36、不不能能用用来来判判定定一一个个推推理理形形式式有有效效。因因为为一一个个推理实例解释是不可穷尽。推理实例解释是不可穷尽。怎怎样样判判定定一一个个推推理理形形式式有有效效性性？这这就就是是逻逻辑辑学学任任务务。基基于于这这一一目目标标逻逻辑辑，称称为为形形式式逻逻辑辑。形形式式逻逻辑辑以以思思维维尤尤其其是是推推理理形形式式结结构构为为对对象象，为为了了做做到到这这一一点点，它它要要使使用用一一个个有有别别于于自自然然语语言言符符号号语语言言。形形式式方方法法一一个个本本质质特特征征是是在在它它使使用用语语言言中包含变项。中包含变项。53/69 形式推理与非形式推理形式推理与非形式推理 54/
37、69伴伴随随人人才才竞竞争争日日益益激激烈烈，市市场场上上出出现现了了一一个个“挖挖人人企企业业”，其其业业务务是是为为客客户户从从其其它它企企业业中中“挖挖人人”。“挖挖人人企企业业”自自然然不不得得同同时时帮帮助助其其它它企企业业从从自自己己雇雇主主处处挖挖人人。一一个个“挖挖人人企业企业”成功率越高，雇用它企业也就越多。成功率越高，雇用它企业也就越多。上述断定最能支持以下哪项结论？上述断定最能支持以下哪项结论？A A一一个个“挖挖人人企企业业”成成功功率率越越高高，能能成成为为其其“挖挖人人”目目标标企业就越少。企业就越少。B B为为了了有有利利于于“挖挖进进”人人才才同同时时又又确确保
38、保自自己己人人才才不不被被“挖挖走走”，雇主最正确策略是雇用只为自己服务，雇主最正确策略是雇用只为自己服务“挖人企业挖人企业”。C C为为了了有有利利于于“挖挖进进”人人才才同同时时又又确确保保自自己己人人才才不不被被“挖挖走走”，雇主最正确策略提升雇员工资。，雇主最正确策略提升雇员工资。D D为为了了保保护护自自己己人人才才不不被被挖挖走走，一一个个企企业业不不应应雇雇用用“挖挖人人企业企业”从别企业挖人。从别企业挖人。E E不可能全部企业都雇用同一个挖人企业。不可能全部企业都雇用同一个挖人企业。55/69 推理：前提对于结论证据支持关系推理：前提对于结论证据支持关系 证据支持度证据支持度
39、56/69 甲甲班班全全部部学学生生期期末末考考试试都都及及格格了了。所所以以甲甲班班李李强强期期末末考考试试及格了。（推理及格了。（推理1 1）甲甲班班全全部部学学生生期期末末考考试试都都及及格格了了。所所以以甲甲班班李李强强期期末末考考试试没及格。（推理没及格。（推理2 2）甲甲班班李李强强学学习习成成绩绩最最差差，但但期期末末考考试试及及格格了了。所所以以甲甲班班全全部学生期末考试都及格了。（推理部学生期末考试都及格了。（推理3 3）甲甲班班学学习习委委员员张张波波期期末末考考试试及及格格了了。所所以以甲甲班班全全部部学学生生期期末考试都及格了。（推理末考试都及格了。（推理4 4）57/
40、69 思索以下推理证据支持度：思索以下推理证据支持度：甲甲班班全全部部学学生生期期末末考考试试都都及及格格了了。所所以以，甲甲班班李李强强同学是江西人。（推理同学是江西人。（推理1 1）北北京京元元霄霄节节下下大大雪雪。所所以以，中中国国载载人人飞飞船船发发射射成成功。功。（推理（推理2 2）假假如如你你不不加加考考虑地地断断定定，上上述述两两个个推推理理证据据支支持持度均度均为0 0，那就，那就错了了 58/69 何谓证据支持度无值？何谓证据支持度无值？一一个个证证据据支支持持度度无无值值推推理理，是是试试图图在在没没有有逻逻辑辑关系断定之间建立推理关系。这自然是不合乎逻辑。关系断定之间建立
41、推理关系。这自然是不合乎逻辑。59/69 决定中国命运关于真理标准大讨论决定中国命运关于真理标准大讨论 光明日报两篇特约评论员文章光明日报两篇特约评论员文章 60/69 “实践是检验真理唯一标准实践是检验真理唯一标准”是马克思主义基本原理是马克思主义基本原理所以，实践是检验真理唯一标准。所以，实践是检验真理唯一标准。以下哪项关于上述推理断定成立？以下哪项关于上述推理断定成立？A A证据支持度为证据支持度为100%100%，前提推出结论。，前提推出结论。B B证据支持度小于证据支持度小于100%100%，但足够高。，但足够高。C C证据支持度大于证据支持度大于0 0，但不足够高。，但不足够高。D
42、 D证据度为证据度为0 0，即前提推出结论否定。，即前提推出结论否定。E E证据支持度无值。证据支持度无值。61/69 “实践是检验真理唯一标准实践是检验真理唯一标准”是马克思主义基本原理是马克思主义基本原理所以，实践是检验真理唯一标准。所以，实践是检验真理唯一标准。这一推理前提显然并不减弱结论，不过否支持结论呢？这一推理前提显然并不减弱结论，不过否支持结论呢？62/69 在上述推理中，前提支持结论必要条件是在上述推理中，前提支持结论必要条件是63/69 解析解析 答案是答案是E E。在在上上述述推推理理中中，前前提提支支持持结结论论必必要要条条件件是是：马马克克思思主主义义基基本本原原理理最
43、最少少也也能能够够是是检检验验真真理理标标准准之之一一。显显然然，假假如如这这一一条条件件不不满满足足，则则前前提提不不支支持持结结论论。但但这这一一条条件件恰恰与与结结论论矛矛盾盾。所所以以，假假如如前前提提支支持持结结论论，就就不不可可能能满满足足这这一一条条件件。所所以以，前前提提不不支支持持结结论。论。一样显然，上述推理前提也不减弱结论。一样显然，上述推理前提也不减弱结论。所所以以 上上述述推推理理证证据据支支持持度度无无值值，即即前前提提既既不不支支持持，也也不不减减弱弱结结论论。这这一一推推理理试试图图在在没没有有逻逻辑辑关关系系断定之间建立推理关系，是不合乎逻辑。断定之间建立推理
44、关系，是不合乎逻辑。64/69 有些人提出反驳有些人提出反驳 上述推理是一个省略形式推理。它完整形式是：上述推理是一个省略形式推理。它完整形式是：马克思主义基本原理都是真理。马克思主义基本原理都是真理。“实践是检验真理唯一标准实践是检验真理唯一标准”是马克思主义基本原理。是马克思主义基本原理。所以，实践是检验真理唯一标准。所以，实践是检验真理唯一标准。这是一个形式有效推理。答案应是这是一个形式有效推理。答案应是A A。65/69 上述上述质疑所疑所结构推理（构推理（记为推理推理Z Z）无疑基于和无疑基于和表示表示这么理念：作么理念：作为真理真理马克思主克思主义基本原理最少基本原理最少是是检验真
45、理真理标准之一，准之一，这一理念恰与一理念恰与结论含含义相悖。相悖。以以“实践是践是检验真理唯一真理唯一标准准”为结论推理，不可能推理，不可能（不（不应该）接收）接收这一理念，所以也不可能（不一理念，所以也不可能（不应该）结构基于构基于这一理念上述推理一理念上述推理Z Z。所以，上述所以，上述质疑不成疑不成立。立。66/69 在在上上个个世世纪纪8080年年代代关关于于“实实践践是是检检验验真真理理唯唯一一标标准准”大大辩辩论论中中，正正方方最最有有影影响响两两篇篇光光明明日日报报特特约约评评论论员员文文章章标标题题分分别别是是：“实实践践是是检检验验真真理理唯唯一一标标准准”和和“实实践践是
46、是检检验验真真理理唯唯一一标标准准是是马马克克思思主主义义基基本本原原理理”。不不少少人人正正是是在在上上述述推推理理Z Z思思维维框框架架下下了了解解、接接收收、支支持持和和论论证证“实实践践是是检检验验真真理理唯唯一一标标准准”这这一一结结论论。而而接接收收推推理理Z Z思思维维框框架架，实实际际上上意意味味着着并并不不彻彻底底认认同同“实实践践是是检检验验真真理理唯唯一一标标准准”。在在这这场场历历史史性性大大辩辩论论中中，“实实践践是是检检验验真真理理唯唯一一标标准准是是马马克克思思主主义义基基本本原原理理”，无无疑疑给给了了“实实践践是是检检验验真真理理唯唯一一标标准准”最最有有力力支支持持。这种支持是政治、历史、社会、观念，等等，就不是逻辑。这种支持是政治、历史、社会、观念，等等，就不是逻辑。67/69 假如上述分析是成立，你是否感到假如上述分析是成立，你是否感到 68/69 本讲结束。谢谢大家！本讲结束。谢谢大家！69/69
