逻辑学提纲详解.ppt

常见的有关逻辑的故事 1.自相矛盾（违反同一律） 2.给三个赶考秀才算命 3.主人请客（请四人，只来了三个人，等最后一个到来） 充分或必要条件推理 P→q 如果p，那么q（不矛盾律） 肯定前件，肯定后件；否定后件，才能否定前件。 只有p，才q（排中律） 否定前件，否定后件；肯定后件，才能肯定前件。 只要p，就q 充分必要条件，同一律 在充分条件判断中存在着联言判断 如果p，那么q，并且p，所以q. 简单判断中存在着复合判断 在必要条件判断中存在着选言判断 只有p，才q，并非p，所以非q. 选言判断和联言判断是充分条件简单判断的正逆方向演变结果 复合判断是简单判断的逻辑蕴含 简单判断是复合判断的演绎 二者互为因果 常见逻辑错误 将充分条件和必要条件简单判断的成立条件弄反了 如果p，那么q， P→q，会变成： 如果q，那么p， q→P 任意对调逻辑的原因和结果 *只有p，才q（排中律），p→q 不能通过承认q，来推理p的正确。即我们不能通过肯定结果来推理原因一定存在。避免无限循环上溯。 不能通过否定结果，来否定结果需要原因引起。这个规定可以避免否定选择判断的必要性。 常见逻辑错误：将充分条件的推理的不成立条件误为必要条件推理的不成立条件 这样的逻辑错误产生原因是人们分不清楚推理的前提和结果哪一个是决定性的、且不知道有几个因素是决定性的，在充分条件的推理中，只是肯定了一个决定性的因素会导致结果的发生，推理只肯定一个原因决定一个结果，但这个推理并不排斥多因导致同样一个结果发生的情况，即充分条件并没有把会导致结果发生的事件都列举完全了，而只是明确了若有前提条件的存在、结果必然会发生。 常见的逻辑错误2：将充分条件推理为真的条件当作必要条件推理为真的条件 必要条件推理为真的条件是强调现实中有一个确实可靠的条件作为逻辑思维的结果存在，这个结果虽然在必要条件推理形式的逻辑关系中是作为前提存在的，但实际上是它是逻辑推理中从假定前提产生的肯定结果，这个结果有在世界中存在的完全充分的条件，它是逻辑蕴含的真正结果。这个结果却没有真正达到逻辑的高峰，它只是逻辑的第二层次，所以只能用否定的方式存在，只能在肯定后件的时侯，它才有肯定的存在。 充分条件推理和必要条件推理结果为真的逻辑形式 充分条件推理结果为真的逻辑形式是：肯定前件，肯定后件；否定后件，否定前件。 必要条件推理结果为真的逻辑形式是：否定前件，否定后件；肯定后件，肯定前件。 常见例子：天气与出游计划； 如果明天下雨，出游计划就取消； 只有明天下雨，出游计划才取消。 必要条件推理为真的逻辑形式保证人们必然在诸多事件中选择一个并且肯定能够选择一个；充分条件推理为真的逻辑形式保证人们可能在诸多的原因选择一个作为开始的原因，并且必须选择其中一个作为开始的原因。 这些逻辑形式保证人们在空间事件中不会混杂诸事件，在时间事件中不会追溯至无穷无尽的事件，即时间上坚持矛盾律，在空间上坚持排中律，不管时间、空间，同一律是通用的，同一律保证人们能够在时间和空间里进行推理和演绎。 分析胖子和瘦子的对话逻辑 胖子对瘦子：我一看到你就知道世界上正在闹饥荒。 瘦子对胖子：我一看到你就知道世界上闹饥荒的原因。 这二人是否违背了逻辑思维规则？ 胖子的逻辑 如果世界上闹饥荒，世界上就会出现瘦子，你是瘦子并出现在我眼前，所以我说，世界上正在闹饥荒。 只有世界上闹饥荒，世界才会出现瘦子，现在你是瘦子并出现在我眼前，所以我说世界上正在闹饥荒。 只要世界上闹饥荒，世界就会出现瘦子，现在你是瘦子并出现在我眼前，所以我说世界上正在闹饥荒。 瘦子的逻辑 如果世界上闹饥荒，就说明一定有人贪婪占有他人的食物并吃得肥肥胖胖的，现在你吃得肥肥胖胖的，一定是你贪婪占有他人食物，从而导致世界上闹饥荒。 只有世界上闹饥荒，才能说明有人贪婪占有他人的食物并吃得肥肥胖胖的，现在你吃得肥肥胖胖的，一定是你贪婪占有他人食物，从而导致世界上闹饥荒。 只要世界上闹饥荒，就一定有人贪婪占有他人的食物并吃得肥肥胖胖的，现在你吃得肥肥胖胖的，这说明是你贪婪占有他人食物，从而导致世界上闹饥荒。 胖子和瘦子的逻辑都是二句话对，一句话错 这说明普通逻辑研究的是逻辑的形式，不是语句的内容。 从形式上，只有前提和推理过程都符合逻辑规则，结论才是正确的。 从内容上说，可能前提是正确的，但推理过程不正确也会导致结论不正确。如果此时，人们不能看出推理违背逻辑规则，就会被错误的结论所迷惑。 逻辑形式只是消极地防止人们思维混乱，它不是积极地引导人们去思维真理 真理是耶稣基督的话，真理让人得自由，逻辑只是让人不陷入混乱，却无法保证人不进入逻辑困境，逻辑史上的二难推理、悖论在人手中永远无解。 S,P,A,E,I,O S是subject，P是predicate SAP， 全称肯定命题，