图解逻辑学(全彩图解典藏版)

作者简介

内容简介

复合模态推理 以复合判断为前提推出结论的推理就是复合判断 推理。那么，复合模态推理就是在复合判断推理中引 入模态词而构成的模态推理。这就要求，在进行复合 模态推理时，不但要遵循模态推理的有关规则，还要 遵循复合判断推理的有关规则。复合判断推理包括联 言推理、选言推理和假言推理等，那么复合模态推理 也可以分为联言模态推理、选言模态推理和假言模态 推理等。 联言模态推理 联言模态推理就是在联言推理中引入模态词，并 根据联言推理和模态推理的性质进行推演的复合模态 推理。因为模态词包括“必然”和“可能”两种，联 言模态推理也可以分为两种形式来讨论。 1.在联言推理中引入模态词“必然” 这种形式是在联言推理中引入模态词“必然”而 构成的联言模态推理。根据联言推理和模态推理的逻 辑性质可知，断定一个联言判断所表示的事物情况“ 必然”存在就是断定该联言判断的所有联言肢所表示 的事物情况“必然”存在。这是因为，断定一个联言 判断为真，则断定其所有联言肢为真。因此，“必然 （p并且q）”可以推出“必然p并且必然q”。比如： （1）柳永和苏东坡必然都是宋朝人， 所以，柳永必然是宋朝人并且苏东坡必然是宋朝 人。 （2）小花必然是一个温柔并且善良的女孩子， 所以，小花必然是一个温柔的女孩子并且小花必 然是一个善良的女孩子。这两个推理都是联言模态推 理。其推理形式可以表示为： 必然（p并且q）→必然p并且必然q，即必然（p ∧q）→必然p∧必然q。 反之，断定一个联言判断的所有联言肢所表示的 事物情况“必然”存在就是断定该联言判断所表示的 事物情况“必然”存在。这是因为，当且仅当所有联 言肢都为真时，联言判断才为真。因此，“必然p并 且必然q”可以推出“必然（p并且q）”。比如：“ 柳永必然是宋朝人并且苏东坡必然是宋朝人”就可以 推出“柳永和苏东坡必然都是宋朝人”。其推理形式 可以表示为： 必然p并且必然q→必然（p并且q），即必然p∧ 必然q→必然（p∧q）。 由此可知，“必然（p并且q）”和“必然p并且 必然q”具有等值关系，即必然（p∧q）←→必然p∧ 必然q。 2.在联言推理中引入模态词“可能” 这种形式是在联言推理中引入模态词“可能”而 构成的联言模态推理。根据联言推理和模态推理的逻 辑性质可知，断定联言判断所表示的事物情况“可能 ”存在就是断定该联言判断的所有联言肢所表示的事 物情况“可能”存在。这是因为，断定一个联言判断