第五章逻辑学.ppt

（3）假言判断的负判断及其等值判断 ①充分条件假言判断只有当前件真，后件假时，它才是假的，其它情况下都是真的。 因此，与充分条件假言判断的负判断相等值的判断是一个相应的联言判断“p并且非q”。即：﹁（P→q）←→P∧﹁q。例如， 负判断“并非如果有了风，树就动”，等值于“有了风，但是树没有动”。 ②必要条件假言判断只有当前件假，后件真时，它才是假的。 因此，与必要条件假言判断的负判断相等值的判断是一个相应的联言判断“非p并且q”。即：﹁（P←q）←→﹁P∧q 例如：“并非只有下雨，粮食才能获得丰收。” “并非只有造成被害人死亡的后果，才能构成故意杀人罪”，等值于“虽然没有造成被害人死亡的后果，也能构成故意杀人罪”。 ③充分必要条件假言判断在前、后件同真或同假时，它才是真的。充分必要条件假言判断只有在前、后件一真一假的情况下，它才是假的。 因此，充分必要条件假言判断的负判断等值于一个相应的选言判断。即：﹁（P←→q）←→（P∧﹁q）∨（﹁P∧q）。 例如：“并非当且仅当被告人犯罪的证据充分、确实，才可以认定被告人有罪”，等值于“虽然被告人犯罪的证据充分、确实，但没有认定被告人有罪，或者虽然被告人犯罪的证据不充分、确实，但却认定被告人有罪。” “并非当且仅当你请我才去。” 第八节 真值表的判定 1．介绍 真值表最早是德国逻辑学家弗雷格1879年提出来的。而真值表作为一种命题演算的判定方法，则是由美国的逻辑学家皮尔斯创始的。后来，波兰逻辑学家卢卡西维茨和美国逻辑学家波斯特在二值真值表基础上，分别提出了三值和多值的逻辑真值表。但是其基本意义没变：一个是定义作用；一个是判定作用。 而判定的过程是一个完全机械的可靠程序。可以判定出“永真式”、“永假式”、“协调式”。 2．判定步骤 第一步：找出给定的复合判断中的支判断，列出它们的真值取值组合。n个支判断的真值组合为2n+1行。 第二步：根据复合判断的构成过程，由简到繁地列出各个组成部分，最后得出这个给定形式本身。 第三步：根据初始真值表，写出每个组成部分的真假值，最后得出给定形式的真值。 真值表的作用除了可以判定复合判断的逻辑真假值以外，还可以判定两个复合判断是否等值，也可以判定两个复合判断是否为矛盾关系或反对关系。 第九节 模态判断 我们以前所学的判断和推理有简单判断及其推理，复合判断及其推理，这是基于现实世界客观存在的两种情况及其在人们头脑中的反映。同时，客观世界一方面是复杂的，一方面又是运动的。 因此，就还有另一种情况，即事物存在的程度及其发展状况，这样就形成了另一种判断和推理：模态判断及其推理。 因此，判断和推理就有三种：实然、必然和或然。 一、什么是模态判断 “模态”一词是英文“modal”的音译，原意为“样式的”，“情态的”。模态逻辑是研究包含模态词“必然”、“可能”的模态判断及其推理的科学。 模态逻辑历史很悠久，早在两千多年前，亚里士多德就对模态判断做过许多讨论，研究了模态词和模态三段论，但在很长一段时间里模态逻辑的价值被忽略了，因而模态逻辑基本上没有得到发展。 直到本世纪初，美国逻辑学家Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究，这才使模态逻辑的发展进入了一个崭新的时期。 逻辑学中在两种意义上，即在狭义和广义上使用“模态”这个术语。一般认为，当“模态”这一术语被狭义的使用时，它只是指“必然的”、“可能的”这类模态词。因此，只有含有“必然的”、“可能的”这类模态词的判断被认作是狭义模态判断。 例如：“物体间存在着引力是必然的”、“（p∨﹃p）是必然的”。 也有一些逻辑学家对“模态”作广义的理解。广义的模态逻辑讨论的内容比狭义的模态逻辑要广泛得多。 广义模态词除了必然、可能之外，还包括必须（应该）、允许、禁止；知道、相信、可接受、可疑、可证；曾经、总是、将是；优先、中立等等。这些模态词分别是道义逻辑、认识逻辑、时态逻辑和价值逻辑的研究对象。 每一种模态都是现代逻辑中相应分支的研究对象。我们在这里只就其中主要的几种做一点简单的介绍。模态判断就是陈述事物情况的必然性或可能性的判断。 直言判断和关系判断只是关于事物情况存在或不存在的陈述。但有些事物情况的存在或不存在是必然的，有些事物情况的存在或不存在是可能的，陈述这种必然性或可能性的判断就是模态判断。模态判断反映人们对客观事物认识的程度。 例如：违反客观规律必然要受到客观规律的惩罚。 辩护人的意见可能是对的。 模态判断都含有“必然”或“可能”等模态词，不含有模态词的判