《《言判断及推理》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《言判断及推理》PPT课件.ppt(25页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 第一节第一节 选言判断选言判断 一、定义:一、定义:选选言言判判断断就就是是反反映映事事物物若若干干可可能能情情况况中中只只有有一一种种或或至至少少有有一一种种情情况况存存在的判断。例如:在的判断。例如:野野生生动动植植物物或或者者可可供供食食用用,或或者者可可供供衣衣着着,或或者者可可供供药药用用,或或者者可可作工业原料,或者可作其它用途。作工业原料,或者可作其它用途。自自然然界界中中的的生生物物要要么么是是植植物物,要要么是动物,要么是微生物。么是动物,要么是微生物。二、构成n n选言支:选言支:构成选言判断的支判断。构成选言判断的支判断。n n选言联结词选言联结词n n分析实际思维中的
2、选言判断,我们发现:分析实际思维中的选言判断,我们发现:有的选言判断的选言支之间具有并存关有的选言判断的选言支之间具有并存关系;有的选言判断的选言支之间不具有系;有的选言判断的选言支之间不具有并存关系。并存关系。区分一个选言判断的选言支之间具有或区分一个选言判断的选言支之间具有或不具有并存关系,对选言判断来说是个不具有并存关系,对选言判断来说是个十分重要的问题。十分重要的问题。所谓选言支之间具有并存关系,就是说,所谓选言支之间具有并存关系,就是说,一个选言判断的选言支所断定的可能事一个选言判断的选言支所断定的可能事物情况是不排斥的,彼此相容的,可以物情况是不排斥的,彼此相容的,可以同时存在的。
3、例如:同时存在的。例如:他是诗人或画家。他是诗人或画家。其选言支其选言支“他是个诗人他是个诗人”与与“他是个画家他是个画家”之间,就具有并存关系。之间,就具有并存关系。所谓选言支之间不具有并存关系,就是说,所谓选言支之间不具有并存关系,就是说,一个选言判断的选言支所断定的可能事一个选言判断的选言支所断定的可能事物情况是相互排斥的,彼此不相容的,物情况是相互排斥的,彼此不相容的,不可以同时存在的。例如:不可以同时存在的。例如:他在国内出生或在国外出生。他在国内出生或在国外出生。其选言支其选言支“他在国内出生他在国内出生”与与“他在国外他在国外出生出生”之间,就不具有并存关系。之间,就不具有并存关
4、系。三、选言判断的种类n n由于选言支之间有的具有并存关系,有的不具有并存关系,选言判断也就相应的区分为两种类型:相容的选言判断相容的选言判断和和不相容的选言判断不相容的选言判断 (一)相容的选言判断(一)相容的选言判断(一)相容的选言判断(一)相容的选言判断 定定定定义义义义:相相相相容容容容的的的的选选选选言言言言判判判判断断断断是是是是几几几几个个个个选选选选言言言言支支支支中中中中至至至至少少少少有有有有一一一一个个个个为为为为真真真真并并并并且且且且可可可可以以以以同同同同真真真真的的的的选选选选言言言言判判判判断断断断。也也也也可可可可以以以以说说说说,相相相相容容容容的的的的选选
5、选选言言言言判判判判断断断断就就就就是是是是包包包包含含含含具具具具有有有有并并并并存存存存关关关关系系系系的的的的选选选选言言言言支的选言判断。支的选言判断。支的选言判断。支的选言判断。其其其其逻逻逻逻辑辑辑辑特特特特征征征征,就就就就在在在在于于于于其其其其选选选选言言言言支支支支之之之之间间间间的的的的关关关关系系系系不不不不互互互互相排斥,彼此相容,可以同真。相排斥,彼此相容,可以同真。相排斥,彼此相容,可以同真。相排斥,彼此相容,可以同真。例如:例如:例如:例如:(1 1 1 1)张张张张老老老老师师师师或或或或者者者者学学学学过过过过英英英英语语语语,或或或或者者者者学学学学过过过
6、过俄俄俄俄语语语语;或或或或者学过德语。者学过德语。者学过德语。者学过德语。(2 2)李小明或是共青团员,或是优秀学生。)李小明或是共青团员,或是优秀学生。)李小明或是共青团员,或是优秀学生。)李小明或是共青团员,或是优秀学生。其逻辑形式是:其逻辑形式是:其逻辑形式是:其逻辑形式是:P P P P或者或者或者或者 其中,其中,其中,其中,P P P P、为选言支,、为选言支,、为选言支,、为选言支,“或者或者或者或者”是联结词。是联结词。是联结词。是联结词。公式公式公式公式 :PPPP (“”读作读作读作读作“析取析取析取析取”)相容选言判断的联结词的语言表达方式还有:n n“也许也许”n n
7、“可能可能”n n“或者”等相容选言判断的真假:n n一个相容选言判断的真假是由其选言支的一个相容选言判断的真假是由其选言支的真假来确定的。一个真的相容的选言判断,真假来确定的。一个真的相容的选言判断,至少有一个选言支所断定的事物情况应存至少有一个选言支所断定的事物情况应存在;从真假条件考虑,一个真的相容的选在;从真假条件考虑,一个真的相容的选言判断,至少有一个选言支真。只有在全言判断,至少有一个选言支真。只有在全部选言支所断定的事物情况不存在时,即部选言支所断定的事物情况不存在时,即只有在全部选言支都假时,相容的选言判只有在全部选言支都假时,相容的选言判断才是假的。断才是假的。n n例如:例
8、如:“今天刮风或下雨。今天刮风或下雨。”这个选言判断要为真,这个选言判断要为真,“今天刮风今天刮风”和和“今天下雨今天下雨”这两个选言支至少有一个为真。这两个选言支至少有一个为真。如果都假,那如果都假,那“今天刮风或下雨今天刮风或下雨”就是假就是假的。的。我们可以把我们可以把“今天刮风今天刮风”和和“今天下雨今天下雨”这两个选言支的真假情况,与这两个选言支的真假情况,与“今天今天刮风或下雨。刮风或下雨。”这个相容的选言判断的这个相容的选言判断的真假制约情况排列如下表:真假制约情况排列如下表:今天刮风今天刮风今天下雨今天下雨今天刮风或下雨今天刮风或下雨真真真真真真真真真真真真真真真真假假假假真真
9、真真假假假假真真真真真真真真假假假假假假假假假假假假推而广之,任何相容的选言判断的真假情况都是:P Pq qp pq q真真真真真真真真真真真真真真真真假假假假真真真真假假假假真真真真真真真真假假假假假假假假假假假假(二)不相容的选言判断(二)不相容的选言判断(二)不相容的选言判断(二)不相容的选言判断 定定定定义义义义:不不不不相相相相容容容容的的的的选选选选言言言言判判判判断断断断就就就就是是是是断断断断定定定定几几几几个个个个选选选选言言言言支支支支中中中中有有有有并并并并且且且且只只只只有有有有一一一一个个个个为为为为真真真真的的的的选选选选言言言言判判判判断断断断。也也也也可可可可以
10、以以以说说说说,不不不不相相相相容容容容的的的的选选选选言言言言判判判判断断断断,就就就就是是是是包包包包含含含含不不不不具具具具有有有有并并并并存存存存关关关关系系系系的选言支的选言判断。的选言支的选言判断。的选言支的选言判断。的选言支的选言判断。其其其其逻逻逻逻辑辑辑辑特特特特征征征征,就就就就在在在在于于于于其其其其选选选选言言言言支支支支之之之之间间间间的的的的关关关关系系系系互互互互相相相相排排排排斥,彼此不相容,不可以同真斥,彼此不相容,不可以同真斥,彼此不相容,不可以同真斥,彼此不相容,不可以同真。例如:例如:例如:例如:(1 1 1 1)一一一一个个个个人人人人的的的的血血血血
11、型型型型要要要要么么么么A A型型型型,要要要要么么么么是是是是型型型型,要么是要么是要么是要么是OO型,要么是型。型,要么是型。型,要么是型。型,要么是型。(2 2)一一一一个个个个数数数数字字字字,或或或或者者者者大大大大于于于于零零零零,或或或或者者者者小小小小于于于于零零零零,或者等于零。或者等于零。或者等于零。或者等于零。其逻辑形式是:其逻辑形式是:其逻辑形式是:其逻辑形式是:要么要么要么要么P P P P,要么。,要么。,要么。,要么。其其其其中中中中,P P P P、为为为为选选选选言言言言支支支支,“要要要要么么么么要要要要么么么么”是联结词。是联结词。是联结词。是联结词。公公
12、公公式式式式 :P P P P (“”读读读读作作作作“不不不不相相相相容析取容析取容析取容析取”)不相容选言判断的联结词的语言表达方式还有:“不是不是就是就是”、“或者或者或者或者二者必居其一二者必居其一”“或者或者或者或者二者不可得兼二者不可得兼”等。等。不相容选言判断的真假:n n一个不相容选言判断的真假是由其选言支的真假一个不相容选言判断的真假是由其选言支的真假来确定的。一个真的不相容的选言判断,至少并来确定的。一个真的不相容的选言判断,至少并且至多有一个选言支所断定的事物情况存在。从且至多有一个选言支所断定的事物情况存在。从真假条件考虑,一个真的不相容的选言判断,至真假条件考虑,一个
13、真的不相容的选言判断,至少并且至多有一个选言支真。如果全部选言支所少并且至多有一个选言支真。如果全部选言支所断定的事物情况都存在或不存在时,即全部选言断定的事物情况都存在或不存在时,即全部选言支都真或都假时,则不相容的选言判断就是假的。支都真或都假时,则不相容的选言判断就是假的。n n例如:例如:“要么物质第一,要么意识第一。要么物质第一,要么意识第一。”这个选言判断要为真,这个选言判断要为真,“物质第一物质第一”和和“意识第意识第一一”这两个选言支中只能有一个为真。如果都真这两个选言支中只能有一个为真。如果都真或都假,那或都假,那“要么物质第一,要么意识第一。要么物质第一,要么意识第一。”就
14、是假的。就是假的。我们可以把我们可以把“物质第一物质第一”和和“意识第一意识第一”这两个选言支的真假情况,与这两个选言支的真假情况,与“要么要么物质第一,要么意识第一。物质第一,要么意识第一。”这个不相这个不相容的选言判断的真假制约情况排列如下容的选言判断的真假制约情况排列如下表:表:物质第一物质第一 意识第一意识第一要么物质第一,要么意要么物质第一,要么意识第一识第一真真真真真真真真假假假假真真真真假假假假真真真真假假假假真真真真真真真真假假假假假假假假假假假假推而广之,任何不相容的选言判断的真假情况都是:P Pq qp p q q真真真真真真真真假假假假真真真真假假假假真真真真假假假假真真
15、真真真真真真假假假假假假假假假假假假第二节 选言推理一、什么是选言推理 选言推理就是前提中有一个是选言判断的推理,它是依据选言判断的逻辑性质进行的。二、选言推理的种类n n根据选言推理的前提中所含的选言判断的不同,选言推理可分为两类:相容的选言推理相容的选言推理和和不相容的选言推理不相容的选言推理1、不相容的选言推理n n不相容的选言推理,就是前提中有一个不相容的选言推理,就是前提中有一个是不相容的选言判断的选言推理。是不相容的选言判断的选言推理。n n我们知道,不相容的选言判断的特点,我们知道,不相容的选言判断的特点,在于其支判断之间的关系不是并存的,在于其支判断之间的关系不是并存的,而是互
16、相排斥的、不可同真的。因此,而是互相排斥的、不可同真的。因此,不相容的选言推理就有两条规则:不相容的选言推理就有两条规则:(1 1 1 1)否否否否定定定定一一一一个个个个以以以以外外外外的的的的全全全全部部部部选选选选言言言言支支支支,就就就就能能能能肯定这个选言支。肯定这个选言支。肯定这个选言支。肯定这个选言支。(2 2 2 2)肯定一个选言支,就能否定其余的)肯定一个选言支,就能否定其余的)肯定一个选言支,就能否定其余的)肯定一个选言支,就能否定其余的选言支。选言支。选言支。选言支。根据规则,不相容的选言推理有两个有效的推理形式:(1 1)否定肯定式:)否定肯定式:要么要么要么要么P P
17、,要么,要么,要么,要么,要么要么要么要么P P,要么,要么,要么,要么,非非非非P P,非非非非 或或或或 所以,。所以,。所以,。所以,。所以,所以,所以,所以,P P。符号公式为:符号公式为:符号公式为:符号公式为:竖式:竖式:竖式:竖式:P P P P P P P P P P 或或或或 P P 横式:横式:横式:横式:(P P )P P)或者或者或者或者(P P )P P例如:甲弃学经商要么是由于家庭拮据,甲弃学经商要么是由于家庭拮据,甲弃学经商要么是由于家庭拮据,甲弃学经商要么是由于家庭拮据,要么是由于其它某种原因,要么是由于其它某种原因,要么是由于其它某种原因,要么是由于其它某种原
18、因,甲弃学经商不是由于家庭拮据,甲弃学经商不是由于家庭拮据,甲弃学经商不是由于家庭拮据,甲弃学经商不是由于家庭拮据,所以,甲弃学经商是由于其它某种原因所以,甲弃学经商是由于其它某种原因所以,甲弃学经商是由于其它某种原因所以,甲弃学经商是由于其它某种原因(2 2)肯定否定式:)肯定否定式:要么要么要么要么P P,要么,要么,要么,要么,要么要么要么要么P P,要么,要么,要么,要么,P P,或或或或 所以,非。所以,非。所以,非。所以,非。所以,非所以,非所以,非所以,非P P。符号公式为:符号公式为:符号公式为:符号公式为:竖式:竖式:竖式:竖式:P P P P P P P P P P 或或或
19、或 P P 横式:横式:横式:横式:(P P )P P)或者或者或者或者(P P )P P例如:“元晦元晦元晦元晦”要么是朱熹的字,要么是朱熹的号,要么是朱熹的字,要么是朱熹的号,要么是朱熹的字,要么是朱熹的号,要么是朱熹的字,要么是朱熹的号,“元晦元晦元晦元晦”是朱熹的字是朱熹的字是朱熹的字是朱熹的字 所以,元晦所以,元晦所以,元晦所以,元晦”不是朱熹的号不是朱熹的号不是朱熹的号不是朱熹的号2、相容的选言推理n n相容的选言推理,就是前提中有一个是相容的选言推理,就是前提中有一个是相容的选言判断的选言推理。相容的选言判断的选言推理。n n我们知道,相容的选言判断的特点,在我们知道,相容的选言
20、判断的特点,在于其选言支之间的关系是并存的,不互于其选言支之间的关系是并存的,不互相排斥的、可以同真的。因此,相容的相排斥的、可以同真的。因此,相容的选言推理就有两条规则:选言推理就有两条规则:(1 1 1 1)否否否否定定定定一一一一部部部部分分分分选选选选言言言言支支支支,就就就就能能能能肯肯肯肯定定定定另另另另一一一一部分选言支。部分选言支。部分选言支。部分选言支。(2 2 2 2)肯肯肯肯定定定定一一一一部部部部分分分分选选选选言言言言支支支支,不不不不能能能能否否否否定定定定另另另另一一一一部分选言支。部分选言支。部分选言支。部分选言支。根据规则,相容的选言推理只有一个有效的推理形式
21、:否定肯定式:否定肯定式:P P或者,或者,或者,或者,P P或者,或者,或者,或者,非非非非P P,非,非,非,非,或或或或 所以,。所以,。所以,。所以,。所以,所以,所以,所以,P P。符号公式为:符号公式为:符号公式为:符号公式为:竖式:竖式:竖式:竖式:P P P P P P P P P P 或或或或 P P 横式:横式:横式:横式:(P P)P P)或者或者或者或者(P P)P P例如:一个推理有错误或是由于前提不真实,或一个推理有错误或是由于前提不真实,或一个推理有错误或是由于前提不真实,或一个推理有错误或是由于前提不真实,或是由于推理形式不正确是由于推理形式不正确是由于推理形式不正确是由于推理形式不正确 这个推理有错误不是由于前提不真实这个推理有错误不是由于前提不真实这个推理有错误不是由于前提不真实这个推理有错误不是由于前提不真实 所以,这个推理有错误是由于推理形式所以,这个推理有错误是由于推理形式所以,这个推理有错误是由于推理形式所以,这个推理有错误是由于推理形式不正确不正确不正确不正确 根根据据推推理理规规则则,肯肯定定否否定定式式是是无无效效式。式。例如:例如:这这个个判判断断或或是是全全称称判判断断,或或是是肯肯定定判断;判断;这个判断是全称判断,这个判断是全称判断,所以,这个判断不是肯定判断。所以,这个判断不是肯定判断。
限制150内