逻辑学 第八章.ppt

第八章 共产主义必然胜利 ——模态命题及其推理 第一节 模态命题 对比分析： “天鹅是白色的。” “天鹅可能是白色的。” “天鹅必然是白色的。” 一、什么是模态命题 所谓模态命题，广义地是指一切包含有模态词（如“可能”、“必然”、“必须”、“允许”、“禁止”等等）的命题。狭义的是指其中包含有“必然”、和“可能”这类模态词的命题。这样，模态命题就是反映事物可能性或必然性的命题。 模态命题可以是简单命题，也可以是复合命题。例如： （在学习科学技术的过程中）入门是可能的，精通也是可能的。 理论研究一旦获得重大突破，就会给生产和技术带来巨大的进步，这是必然的。 二、模态命题的种类 分析思考： “今天可能下雨” “今天可能不下雨” “今天必然下雨” “今天必然不下雨” 根据命题所反映的是事物的可能性还是必然性，可以把模态命题分为可能命题和必然命题。 1.可能命题。反映事物情况可能性的命题。 可能命题又分为两种： 可能肯定命题和可能否定命题。 可能肯定命题，是反映事物情况可能存在的命题。 用公式表示：S可能是P或S是P是可能的。 符号表示：可能p 或 ◇p 可能否定命题，是反映事物情况可能不存在的命题。 用公式表示：S可能不是P 或 S不是P是可能的。 符号表示：可能﹁p或◇﹁p。 2.必然命题。反映事物情况必然性的命题是必然命题。 必然命题可分为两种： 必然肯定命题和必然否定命题。 必然肯定命题，是反映事物情况必然存在的命题。 公式表示：S必然是P 或 S是P是必然的 符号表示：必然P 或 □p。 必然否定命题，是反映事物情况必然不存在的命题。 公式表示：S必然不是P 或 S不是P是必然的。 符号表示：必然﹁p 或 □﹁p 三、模态命题之间的关系 分析判断真假： “这朵花必然是红色的”真，则： “这朵花必然不是红色的” “这朵花可能是红色的” “这朵花可能不是红色的” “这朵花是红色的” 以上四种模态命题之间，也可以用逻辑方阵来表示出它们类似性质命题对当关系的那样一种真假关系。如下页图： 必然p与必然﹁p之间的关系是反对关系。其中，一个真，另一个必假；一个假，另一个真假不定。 可能p与可能﹁p之间的关系是下反对关系。其中，一个假，另一个必真；一个真，另一个则真假不定。 必然p与可能﹁p、必然﹁p与可能p之间的关系是矛盾关系。其中，一个真，另一个必假；一个假，另一个必真。 必然p与可能p、必然﹁p与可能﹁p之间的关系是差等关系。 课堂练习 指出下列命题各属何种模态命题 1.R星系中必定没有低级生物。 2.他可能估计不到严重的后果。 3.李烨或许有可能获得三级跳远冠军。 4.被告可能不是有罪的。 5.大象必然比蚂蚁大。 6.花一天时间就掌握一门科学是必然做不到的。 下面有四组模态命题，已知每一组的第一个命题为真，请指出其他三个命题的真假。 1.朱红必然不能取得100米决赛的冠军。 朱红必然取得100米决赛的冠军。 朱红可能取得100米决赛的冠军。 朱红可能不会取得100米决赛的冠军。 2.青年画家作品展览可能在武汉举行。 青年画家作品展览必然在武汉举行。 青年画家作品展览必然不在武汉举行。 青年画家作品展览可能不在武汉举行。 3.市第一百货商店今天可能没有彩电出售。 市第一百货商店今天必然有彩电出售。 市第一百货商店今天必然没有彩电出售。 市第一百货商店今天可能有彩电出售。 4.这个动物园可能有熊猫。 这个动物园必然有熊猫。 这个动物园必然没有熊猫。 这个动物园可能没有熊猫。 填空题 1.模态逻辑是研究______的逻辑科学。 2.通常将含有____、____这类模态词的命题称为狭义模态命题或真值模态命题。 3.按照模态词的不同，真值模态命题可分为两类，即_____命题和______命题。 4.____命题就是反映事物情况必然性的命题。根据它反映的是事物必然具有还是必然不具有某种情况，它又可以分为_____命题和_____命题。 5. “命题p是必然的”为真，当且仅当_____。 “命题p是可能的”为真，当且仅当_____。 6.不包含模态词的命题通常叫做_____命题或_____命题。 单项选择题 1. “必然p”与“不可能p”之间具有（ ）关系。 A 矛盾关系 B 差等关系 C 反对关系 D 下反对关系 2. “可能p”与“不可能非p”之间具有（ ）关系 A 反对关系 B 差等关系 C 矛盾关系 D 下反对关系 3. “不必然不p”与”可能非p”之间具有（ ）关系。 A 矛盾关系 B 差等关系 C