逻辑学第五章
- 格式:doc
- 大小:227.50 KB
- 文档页数:15
第五章复合命题地描画——正确地或错误地——现实,必须与现实具有共同的东西,这种形式就是逻辑形式,即现实的形式。
像弗雷格和罗素一样,我把命题看作是其中所包含的式的函数。
——[奥]维特根斯坦《逻辑哲学论》236主要内容•联言命题•选言命题•假言命题•负命题•真值形式与真值函项•真值表237一. 概述1、定义复合命题(compound proposition)是古典命题逻辑的基本概念,指本身包含其他命题的命题,以联结词联结简单命题而成。
例1.人是生而自由的,但却无往不在枷锁之中。
——《社会契约论》例2.仓廪实而知礼节,衣食足而知荣辱。
——《管子》例3.并不是我特别聪明,我只是比较执着于解决问题。
——爱因斯坦2、复合命题的逻辑特征(1)复合命题的基本单位是命题。
在复合命题中,原子命题成为“逻辑变项”,它们被称为“支命题”。
(2)支命题由逻辑联结词(“逻辑常项”)联结,不同的逻辑联结词具有不同的逻辑性质。
(3)复合命题的真假取决于支命题的真假组合和联结词的逻辑性质。
3、复合命题的种类联言命题选言命题假言命题负命题二. 联言命题1、定义联言命题(conjunctive proposition)指关于几种事物情况同时存在的复合命题。
例4.朱门酒肉臭,路有冻死骨。
——杜甫:《自京赴奉先县咏怀五百字》例5.李白和杜甫是唐朝人。
例6.空洞的理论是没有用的,不正确的,应该抛弃的。
2、逻辑形式p并且q,读作“p并且q”。
p∧q,读作“p合取q”。
5、常用联结词…并且…;…和…缺一不可;尽管(虽然)…但是…;既…又…;不但…而且…;除了…还…。
6、需要注意的问题逻辑学中的“并且”与日常用语中的“并且”不完全相同,后者不仅是对“并且”前后两命题的肯定,而且前后两命题在内容方面有联系,或递进,或转折,或并列,而在逻辑学意义上,这一点被抽象掉了。
不论p和q在内容上是否有相关性,只要p、q都为真,那么“p并且q”就为真。
例7.“1+1=2,并且,雪是白的”;例8.“量力而行,尽力而为”和“尽力而为,量力而行”。
第五章演绎推理(一)一、思考题1.01 什么是推理?什么是正确的推理?(或:正确的推理有哪两个条件?)1.02 什么是演绎推理的有效式?1.03 就演绎推理而言,推理形式为有效式是推理正确的充分条件还是必要条件抑或充要条件?前提真且推理形式有效是推理正确的充分条件还是必要条件抑或充要条件?前提真且推理形式有效是结论真的充分条件还是必要条件抑或充要条件?试论述之。
1.04 什么是换质法?换质法的规则是什么?1.05什么是换位法?换位法的规则是什么?1.06什么是三段论?什么是三段的格、式?1.07什么是三段论公理?1.08“大(小)项不当周延”的错误是什么?是违反什么规则引起的?1.09“中项两次不周延”的错误是什么?是违反什么规则引起的”?二、概念解释题2.01 蕴涵2.03换位法2.05 三段论的格2.07四概念错误2.09小项不当周延2.02换质法2.04三段论2.06三段论的式2.08大项不当周延2.10三段论公理三、以下列判断为前提进行直接推理,并写出推理形式。
3.Ol没有概念不是有外延的。
3.02一切困难都不是不能克服的。
3.03有的集合概念是单独概念。
3.04这个村有的人家不是外来户。
( 以上述判断为前提进行换质法推理 )3.05是绝缘体的金属是不存在的。
3.06有自由电子的物体都是导电的。
3.07有的工具学科是没有阶级性的。
( 以上述判断为前提进行换位法推理)四、下列直接推理是否正确?若不正确说明为什么;若正确,写出推理过程。
4.01 因为所有的疑问句都不是表达判断的,所以,有的表达判断的不是疑问句。
4.02 有的鸟不是非胎生的,因为,所有的鸟都不是胎生的。
4.03 凡上层建筑的东西都是有阶级性,所以,有的非上层建筑的东西不是有阶级性的。
4.04 凡不用于交换的劳动产品都不是商品,所以,凡用于交换的劳动产品都是商品。
4.05 凡无机物都不是生物,所以,有的生物是有机物。
4.06 有的水生动物不是鱼,所以,有的鱼不是非水生动物·4.07 有的工艺品不是出售的,所以,有的出售是非工艺品。
第五章演绎推理(一)一、思考题1.01 什么是推理?什么是正确的推理?(或:正确的推理有哪两个条件?)1.02 什么是演绎推理的有效式?1.03 就演绎推理而言,推理形式为有效式是推理正确的充分条件还是必要条件抑或充要条件?前提真且推理形式有效是推理正确的充分条件还是必要条件抑或充要条件?前提真且推理形式有效是结论真的充分条件还是必要条件抑或充要条件?试论述之。
1.04 什么是换质法?换质法的规则是什么?1.05什么是换位法?换位法的规则是什么?1.06什么是三段论?什么是三段的格、式?1.07什么是三段论公理?1.08“大(小)项不当周延”的错误是什么?是违反什么规则引起的?1.09“中项两次不周延”的错误是什么?是违反什么规则引起的”?二、概念解释题2.01 蕴涵2.03换位法2.05 三段论的格2.07四概念错误2.09小项不当周延2.02换质法2.04三段论2.06三段论的式2.08大项不当周延2.10三段论公理三、以下列判断为前提进行直接推理,并写出推理形式。
3.Ol没有概念不是有外延的。
3.02一切困难都不是不能克服的。
3.03有的集合概念是单独概念。
3.04这个村有的人家不是外来户。
( 以上述判断为前提进行换质法推理 )3.05是绝缘体的金属是不存在的。
3.06有自由电子的物体都是导电的。
3.07有的工具学科是没有阶级性的。
( 以上述判断为前提进行换位法推理)四、下列直接推理是否正确?若不正确说明为什么;若正确,写出推理过程。
4.01 因为所有的疑问句都不是表达判断的,所以,有的表达判断的不是疑问句。
4.02 有的鸟不是非胎生的,因为,所有的鸟都不是胎生的。
4.03 凡上层建筑的东西都是有阶级性,所以,有的非上层建筑的东西不是有阶级性的。
4.04 凡不用于交换的劳动产品都不是商品,所以,凡用于交换的劳动产品都是商品。
4.05 凡无机物都不是生物,所以,有的生物是有机物。
4.06 有的水生动物不是鱼,所以,有的鱼不是非水生动物·4.07 有的工艺品不是出售的,所以,有的出售是非工艺品。
4.08 没有哺乳动物是通过腮呼吸的,所以,凡是不通过腮呼吸的都是哺乳动物。
五、下列三段论是否正确?若不正确,说明为什么;若正确,写出其形式并指明其格式。
5.01 有的菌类植物是可以食用的,因为没有无毒的蘑菇不是菌类植物,而且没有无毒的蘑菇不是可以食用的。
5.02 法律是上层建筑,因为法律有阶级性,而上层建筑都是有阶级性的。
5.03 单独概念有很多种类,因为单独概念是概念,而概念是有很多种类的。
5.04 凡历史传记皆以记载史实为主旨,历史小说不是历史传记,所以,历史小说都是不以记载史实为主旨。
5.05 有的语词是不具有实在意义的语词,因为凡是具有实在意义的语词都是表达概念的,而有的语词不是表达概念的。
5.06 四川是人口众多的,因为四川是中国的,而中国是人口众多的。
5.07 有的金属是液体,因为金属都是导体,而有的导体是液体。
5.08 没有无机物是含碳的,塑料不是无机物,所以,塑料不是含碳的。
5.09 社会科学都是有阶级性的,社会科学都是研究人类和人类社会客观规律的科学,所以,凡是研究人类和人类社会客观规律的科学都是有阶级性的。
5.10 并非所有的大学教师都是有大专文凭的,有的教育工作者是大学教师,所以,有的教育工作者不是有大专文凭的。
六、下列推理是否正确?为什么?6.01所有的鱼都是水生动物,所以,一切水生动物都是鱼。
6.02有的树不是热带植物,所以,有的热带植物不是树。
6.03凡先进单位都是值得学习的,所以,有的非先进单位不是值得学习的。
6.04铁路遍布全国,宝成铁路是铁路,所以,宝成铁路是遍布全国的。
6.05马不是牛,而牛不是羊,所以,马不是羊。
6.06中国是社会主义国家,中国是属于第三世界的,所以社会主义国家是属于第三世界的。
6.07 一切教条主义者都是理论脱离实际的,左倾机会主义者是理论脱离实际的,所以,左倾机会主义者是教条主义者。
6.08 铁是导电的,木不是铁,所以,木不是导电的。
6.09 所有商品都是有交换价值的,所以,有的没有交换价值的不是商品。
6.10 有的金属是固体,所以,有的金属不是固体。
6.11 中子是基本粒子,中子是不带电的,所以,所有基本粒子都是不带电的。
6.12 语言不是有阶级性的,因为语言不是上层建筑,而上层建筑都是有阶级性的。
6.13 所有的金属都是非绝缘体,所以,所有的非金属都是绝缘体。
6.14 塑料都不是导体,导体都是含有自由电子的,所以,塑料都不是含有自由电子的。
6.15 所有的鲸都不是鱼,因为鲸是通过肺呼吸的,而鱼都不是通过肺呼吸的。
6.16 有的干部是非党员,所以,有的党员是非干部。
6.17 有的用于交换的劳动产品是商品,因为所有非商品都是不用于交换的劳动产品。
6.18凡正确的推理都是遵守逻辑规则的推理,所以,凡遵守逻辑规则的推理部不是不正确的推理。
6.19有的社会主义国家是第三世界国家,亚洲的大陆国家都是第三世界国家#所以,有的亚洲的大陆国家是社会主义国家。
6.20 并非有的爬行动物不是非哺乳动物,所以,有的哺乳动物不是爬行动物。
6.21植物都是含有纤维素的,水螅不是植物;所以,水螅不是含有纤维素的。
6.22有的大学生是非党员,所以,有的党员是非大学生。
6.23没有信神的人是真正的唯物主义者。
鲁迅是真正的唯物主义者,所以,鲁迅不是信神的人。
6.24 巴金的作品是具有独特风格的,因为,巴金是著名作家,而一切著名作家的作品都是具有独特风格的。
6.25没有真正的马克思主义者是怕争鸣的,所以,怕争鸣的都不是真正的马克思主义者。
6.26 有的有机物是非导体,因为有的导体是无机物。
6.27 一切真正受消费者欢迎的产品都不是这个厂的产品,因为质量低劣的产品不是真正受消费者欢迎的,而这个厂的产品并非都不是质量低劣的。
6.28一切不正确的理论都是对实践活动无指导意义的,所以,一切正确的理论都是对实践活动具有指导意义的。
6.29有的重工业企业是经济效益好的企业,所以,并非没有重工业企业是经济效益好的企业。
6.30没有自然现象是有阶级性的。
所以,凡没有阶级性的都是自然现象。
6.31长虹牌彩电是质量高的产品。
因为长虹牌彩电是受消费者欢迎的,而质量高的产品是受消费者欢迎的。
6.32导电体不都是金属,而金属不是塑料,所以,有的塑料不是导电体。
6.33有的教师不是作家,因此有的作家不是教师。
6.34 鸭嘴兽是哺乳动物,所以有的非鸭嘴兽是非哺乳动物。
6.35 所有科学理论都不是脱离实际的,因此,所有非科学理论都是脱离实际的。
6.36 有的非唯物主义者是信上帝的,因为有的不信上帝的人不是非唯物主义者。
6.37 并非所有主张改革的人都是马克思主主者,因为有的非马克思主义者是主张改革的。
6.38并非所有不善于于推理的人都是没有学过逻辑的,所以,有的善于推理的人不是学过逻辑的。
6.39 所有金属都是导电的,因为不导电的都是非金属。
6.40一切商品都是用来交换的劳动产品。
所以,凡是用来交换的劳动产品都是商品。
6.41 有的国营农场是经营有方的,所以有的国营农场不是经营有方的。
6.42 并非所有非蒙古马都是良种马,因为并非有的蒙古马不是良种马。
6.43 所有政工人员都是干部,而有的工人不是干部,所以,所有政工人员都不是工人。
6.44 所有非植物都不是具有光合作用的,因为凡植物都是具有光合作用的。
6.45 有的客机是非喷气式的,因为并不是所有客机都是喷气式的。
6.46 有的中国人是科学家,化学家是科学家,所以有的中国人是化学家。
6.47 北京是中国政治、经济的中心、天安门是北京的;所以天安门是中国政治经济的中心。
6.48有的大学教师不是河南人,所以有的河南人不是大学教师。
6.49并非一切真理都是重言式。
所以一切真理部不是重言式。
6.50有的非劳动者不是非知识分子,因为并非有的知识分子不是劳动者。
6.51 有的轻工业品是受消费者欢迎的,轻工业品不是劣质化肥,所以劣质化肥不是受消费者欢迎的。
6.52没有剥削者是善良的,资本家都是剥削耆,所以,资本家都不是善良的。
6.53没有自然科学是有阶级性的科学,所以,一切没有阶级性的科学都是自然科学。
6.54一切党政干部都要学习科学文化知识,有的人不是党政干部,所以,有的人不要学习科学文化知识。
6.55所有唯物主义者都不是信神的。
所以,所有不信神的人都是唯物主义者。
6.56海豚是哺乳动物,海豚是脊椎动物。
所以,凡哺乳动物都是脊椎动物。
6.57有的农民不是“万元户”,因为有的农民是“万元户”。
6.58有的学校不是先进的,因为学校都不是工厂,而有的工厂是先进的。
6. 59有的石油工人是象棋迷,因为石油工人都是劳动者,而有的劳动者是象棋迷。
6.60 没有商品不是有价值的,有的劳动产品不是商品,所以,有的劳动产品不是有价值的。
6.61黑猩猩不是能制造生产工具的,因为黑猩猩不是人,而人是能制造生产工具的。
6. 62 没有物种是不发生变异的,所以,有的要发生变异的是物种。
6.63 落后群众是公正的,因为落后群众是群众,而群众是公正的。
6.64没有非金属不是不受电磁作用影响的,所以,有的金属是要受电磁作用影响的。
6.65有的非金属不是有延展性的,因为一切都是有延展性的。
6.66一切教条主义者都是轻视实践的,左倾机会主义者是教条主义者,所以左倾机会主义者是轻视实践的。
6.67没有社会科学不是有阶级性的,逻辑学不是社会科学,所以,逻辑学不是有阶级性的。
6.68哲学是有阶级性的,伦理学是有阶级性的,所以,伦理学是哲学。
6.69没有概念不是有外延的。
所以,有的非概念是没有外延的。
6. 70 没有事物是永恒不灭的,所以,有的事物不是永恒不灭的。
6.71 一切判断都是具有真假的,所以,有的不具有真假的不是判断。
6.72 有不经过艰难曲折的是非新生事物,因为一切新生事物都是要经过艰难曲折。
6.73没有自己发光的星球不是恒星,没有自己发光的星球是行星,所以,行星不是恒星。
6.74松藩森林是遍布世界各地的自然资源,因为松藩森林是森林,而森林是遍布世界各地的自然资源。
6.75新生事物是不可战胜的,新生事物是符合客观规律的事物,所以,凡是符合客观规律的事物都是不可战胜的。
七、分析下列推理形式是否为有效式:7.01 SI P├PI S7.02 P ES├S EP 7.03 SEP├POS7.04 P A S├SIP 7. 05 SEP├SO P 7.08PE S├SIP 7.09 S E P├S O P 7.10 S E P├SIP 7.11 SEP ├PO S 7.12 S A P├SIP 7.13 SEP├P O S7.14 SA P├SIP 7.15 SEP ├S O P7.16 P AS ├S IP 7.17 SAP├P I S 7.18 PA S├SIP 7.19 SO P├P OS 7.20 S AP├SOP 7.21 P OS ├S OP 7.22 SA P├P AS 7.23 SA P├PA S 7.24 PA S├S AP 7.25 P AS ├S AP 7.26 SO P├P OS 7.27 SE P├SIP 7.28 PO S├S OP 7·29 P ES├SIP 7.30 SE P├PE S7.3l SAP ├S A P7.32 SAP ├P ES 7.33 SEP ├PA S7.34 S AP ├P E S7.35 S A P├SE P 7.36 S A P├P ES 7.37 ⌝SOP ├S OP 7.38 ⌝S IP ├PIS7.39 ⌝SA P├POS 7.40 S EP ├⌝PA S八、在下列括号中填入适当的逻辑常项符号:8.01 SEP ├S( )P 8.02 SEP ├S ( )P8.03 SEP ├P( )S 8.04 SEP ├P( )S8.05 SEP ├S ( )P 8.06 SEP ├S( )P 8.07 S( )P ├S OP 8.08 S( )P├P( )S 8.09 S ( ) P├S ( )P 8.10 S( )P ├P ( )S8.11 S( )P├P( )S 8.12 S( )P├P( )S九、分析解答下列问题:9.0l 以SAP为前提,能否推出:(1)SO P(2)P OS (3)S OP (4)PO S(5)SI P(6)P IS(7)S IP (8)PI S(9)SIP (10)PIS (11)S I P(12)P I S(13)SOP (14)POS (15)S O P (16)P O S9.02 以SAP为前提能否推出:(1)⌝SO P(2)⌝P OS (3)⌝S OP (4)⌝PO S(5)⌝SI P(6)⌝P IS(7)⌝S IP (8)⌝PI S(9)⌝SIP (10)⌝PIS (11)⌝S I P(12)⌝P I S(13)⌝SOP (14)⌝POS (15)⌝S O P(16)⌝P O S十、由下列前提能否得出结论?若不能得出结论,请说明理由;若能得出结论,写出结论及推理形式:10.Ol 黑猩猩不是人。