邓洪高的公开课三段论的模型答题.ppt

数理逻辑桐庐县职业技术学校 邓洪高 中国古代有一著名的逻辑学家—公孙龙（约公元前320--250年）提出的一个著名的逻辑问题。在著作《公孙龙子·白马论》中，他是这样描述的：“黑马是马，白马不是黑马，白马不是马。” 问1：公孙龙的描述是否为诡辩，他有没有说错？ 1. “白马非马”逻辑问题: 一天欧布里德对另一个人说：“你没有丢掉的东西，那你就有这种东西，对么？” 问2：当欧布里德说这一句话时，若你是那人会怎么回答？ 那个人回答说：“对的。”欧布里德就说：“你没有丢掉你头上的角吧？那你的头上就有角了。” 问3：欧布里德的话中，推理明显是错的，请用精简语言叙述错在哪？ 2.古希腊的诡辩家欧布里德的故事: 上述案例本质都是三段论知识，要清晰地解决它们，我们就要来学习三段论模型和三段论的推理规则这二部分知识，今天我们就来先学习三段论模型这一部分知识。 三段论模型 一、新知: 1、三段论概念: 由一个含有大前提、小前提和结论三部分命题构成的复合命题。 三个构成 大前提:是一个一般性原则 小前提:附属于大前提的特殊化命题 结论:由小前提引申出的特殊化符合一般性 原则的结论 如: A=B,B=C,则C=A; 2、三段论推理的数学依据和三个词项： 集合论观点 ⅰ）若集合M的元素都具有性质P (大前提) ⅱ） (小前提) ⅲ）S中元素也具有性质P （ 结论 ） 中项——出现在大前提和小前提中的M 大项——出现在大前提和结论中的P 小项——出现在小前提和结论中的S 二、前叙“白马非马”的解析 记马是集合A，白马是集合B,则： ⅰ） ⅱ） 故用集合论翻译为： ⑴ B中元素属于A →白马是马 ⑵ B不等同于A →白马不是马 明显地，因公孙龙知道“不等同于”和“不是”没人强迫要表达清楚，因此公孙龙在逻辑上没说错，这不是诡辩。而上面的两个结论是可以同时成立的。 三、实战应用 例1 指出如下三段论的大前提、小前提、结论，以及大项、小项和中项 （1）阔叶植物都是落叶的，葡萄树是阔叶 植物，所以葡萄树是落叶的. 解：（1）大前提：阔叶植物都是落叶的 小前提：葡萄树是阔叶植物 结论：葡萄树是落叶的. 大项——落叶的 中项——阔叶植物 小项——葡萄树. （2）二次函数是函数, 是二次函数， 是函数. （3）所有的自然数都是整数，零是自然数， 所以零是整数. 例2 完成下列推理过程，试将其恢复成完整的三段论，并指出该三段论的大前提、小前提、结论以及大项、中项和小项： 一次函数 y=3x+2的图像是 . 例3 指出下面对话所蕴含的第三段论： 儿子：妈妈，一个人会不会因为没有做过的事而受到惩罚呢？ 妈妈：当然不会。 儿子：挨骂呢？ 妈妈：当然也不该挨骂啊！ 儿子：那么谢天谢地。我今天没有做功课。 引问题：例3的三段论推理正确吗？为什么？ 1、请预习下节课：三段论的推理规则，再来回答。 2、应用互联网，查以下词项的含义； 主项、谓项、联项、量项、内涵和外延、周延 小结：本课重点是正确指出三段论的三个构成和三个词项 四、作业布置 指出下列三段论推理的大前提，小前提，结论，以及大项、中项、和小项。 （1）矩形的四个角都是 900，正方形是矩 形，所以正方形的四个角都是900 . （2）三角函数是周期函数，y=tanx 是三角函数，所以 y=tanx是周期函数. （3）奇数不能被2整除，133是奇数，133不能被2整除. （4）鸵鸟不会飞，鸵鸟是鸟，有的鸟不会飞。 谢 谢！