模态命题推理
7形式逻辑-第七章 模态命题及其推理
d.根据模态命题的差等关系的直接推理
□p→◇p; ﹁◇p→﹁□p;
□﹁p→◇﹁p; ﹁◇﹁p→﹁□﹁p。
⑵根据“实然”和“必然”、“可能”的关系进行推 演的模态推理。
□p→p;p→◇p;□﹁p→﹁p;﹁p→◇﹁p。 ⑶模态三段论
模态三段论就是在三段论中引入模态词而进行的 推理。
模态三段论推理要遵循“结论从弱”的原则∶从较 强前提可以推出较弱的结论,但不能由较弱前提可以 推出较强的结论。(必然命题最强,实然命题次之, 可能命题最弱)
模态三段论又有两种形式: A.纯模态三段论,即其前提全都是模态命题的模态推 理。它们或是由同一种模态命题构成,或是由不同种 的模态命题构成。具体地说有纯必然模态三段论、纯 可能模态三段论和必然与可能结合的模态三段论等。 当前提是由不同种的模态命题组成时,推理的结论应 该同前提中那个确然程度较低的模态命题相一致。
根据对当关系,同样可以由一个模态命题的真或假, 来确定与其同素材的另外几个模态命题的真或假。
必然p
必然非p
可能p
可能非p
□p、□﹁p、◇p、◇﹁p之间在真假值上有以下四 种关系情况∶
⑴反对关系∶ □p与□﹁p
⑵矛盾关系∶ □p与◇﹁p;□﹁p与◇p
⑶差等关系∶ □p与◇p;□﹁p与◇﹁p ⑷下反对关系∶ ◇p与◇﹁p
第七章 模态命题及其推理
一、模态命题
1.狭义模态命题及其结构
模态命题就是断定思维对象不同确然程度的命题。
模态命题在结构上的特点是:它总是包含有“可能” 或“必然”之类的模态词。
例如:今天晚上他一定不会来。
这部小说可能畅销。
我们主要讨论逻辑上的“必然”和“可能”两种模 态,即真值模态命题及其推理。所以真值模态命题又 称断定思维对象之可能性或必然性的命题。在现代逻 辑中,用“□”表示“必然”,用符号“◇”表示 “可能”,用p,q,r,…表示命题。它的公式为:
逻辑学课件第七章模态命题及其推理
二、模态命题的种类
• 所以,模态命题共有四种: • 1、必然肯定命题 必然p • 2、必然否定命题 必然非p • 3、可能肯定命题 可能p • 4、可能否定命题 可能非p
□p
□¬p
◇p
◇¬p
三、模态命题之间的关系
• 以上四种模态命题之间,也可用逻辑方阵表示 它们之间的真假关系。
该”)、“允许”、“禁止”这些规范 模态词的命题。
• 例如:1、公民必须遵守宪法和法律。
•
2、允许开办私营企业。
• 这些都是规范命题。前者表示公民遵守 宪法和法律是必须的;后者表示开办私
营企业是允许的。
二、规范命题的种类
• 在现代规范逻辑中,作为逻辑常项的规 范模态词有三个:
• (1)“必须”(用“O”表示)。现代汉 语中表示这一规范词的还有“应当”、 “应该”、“有义务”等等。
二、根据“必须”与“禁止” 之间的等值关系进行的推理
• 有效式:
• 1、必须p →禁止非p • 2、必须非p →禁止p • 3、禁止p →必须非p • 4、禁止非p →必须p
三、规范三段论
• 规范三段论就是在三段论中引入规范词 的三段论。其大前提是规范命题,小前
提是性质命题,结论是规范命题。
• 常见的规范三段论有三种:
第七章 模态命题及其推理
第一节 模态命题
• 一、什么是模态命题? • 模态命题是反映事物可能性或必然性
的命题。 • 例1:共产主义必然胜利。 • 例2:明天可能不下雨。 • 这些都是模态命题。前者反映了共产主
义胜利具有必然性。后者反映了明天不 下雨具有可能性。
二、模态命题的种类
逻辑学第六章模态命题及其推理
三,模态命题之间的关系 同素材的简单模态命题"必然P" "必然非 " ,"可能 "与 必然非P 可能P 同素材的简单模态命题"必然 必然非 可能 与 可能非P 之间的关系 也可以用模态方阵来表示: 之间的关系, "可能非 "之间的关系,也可以用模态方阵来表示: 此图表明: 此图表明: 1."口P"与"口P "之间关系是反对关系.其中,一个真, 之间关系是反对关系. . 与 之间关系是反对关系 其中,一个真, 则另一个必假; 个假 另一个则真假不定. 个假, 则另一个必假; —个假,另一个则真假不定. 例如:"犯罪分子必然有作案时间"为真.那么"犯罪分子 例如: 犯罪分子必然有作案时间"为真.那么" 必然没有作案时间"为假.又如"犯罪分子作案后必然情绪反 必然没有作案时间"为假.又如" 常"为假,那么,"犯罪分子作案后必然不情绪反常"真假不定. 为假,那么, 犯罪分子作案后必然不情绪反常"真假不定. 2. "◇ 与"◇P"之间的关系是下反对关系.其个一 之间的关系是下反对关系. . "◇P"与"◇ 之间的关系是下反对关系 个假,另一个必真;一个真,另—个则真假不定. 个假,另一个必真;一个真, 个则真假不定. 个则真假不定 例如:"张某可能是杀人犯"为假,那么"张某可能不是杀 例如: 张某可能是杀人犯"为假,那么" 人犯"为真.又如"违法行为可能是犯罪行为"为真,那么"违 人犯"为真.又如"违法行为可能是犯罪行为"为真,那么" 法行为可能不是犯罪行为"就真假不定. 法行为可能不是犯罪行为"就真假不定.
模态命题及其推理一模态命题1模态命题及其结构
⑶求同求异并用法 思路:考察两组事例,一组由被考察现象出现的若 干场合组成(称正事例组),一组由被考察现象不出 现的若干场合组成(称负事例组);如果在正事例中 有一个情况是共同的,这个情况在负事例组中都不出 现,那么这一情况就是被研究现象的原因。 ⑷共变法 思路:在其他情况都不变的条件下,如果一个情况 发生变化,另一被现象也随之发生相应程度的变化, 那么,前者就是后者的原因或部分原因。 ⑸剩余法 思路:如果某一复合现象由另一复合原因引起,把 其中确认有因果联系的部分减去,则剩余的部分也存 在因果联系。
满足上述要求的完全归纳推理其结论必然真。 完全归纳推理的运用有其局限性。 2.不完全归纳推理 不完全归纳推理即根据对某类思维对象部分个体 的考察,发现它们具有(或不具有)某种属性,从 而推出该类思维对象都具有(或不具有)该属性的 一般性知识的结论的推理。 不完全归纳推理结论的断定范围超出其前提的断 定范围,因而未必是真的。正因此,对不完全归纳 推理的作用,长期存在激烈争论。 不完全归纳推理因其推论的根据不同,又有两种 不同形式。
模态三段论有两种形式: ⑴纯模态三段论,即其前提全都是模态命题的推 理。它们或是由同一种模态命题构成,或是由不同 种的模态命题构成。具体说,有纯必然模态三段论、 纯可能模态三段论和必然可能模态三段论等。 当前提是由不同形式的模态命题组成时,推理的 结论应该同前提中那个确然程度较低的模态命题相 一致。 ⑵混合模态三段论,即其前提是由模态命题和性 质命题组成的模态推理。这种推理的结论应该与前 提中的模态命题相一致。
⑴演绎推理以归纳推理为基础; ⑵归纳推理以演绎推理为先导。
二、完全归纳推理和不完全归纳推理
根据前提是否考察了一类思维对象的全部个体,归 纳推理分为完全归纳推理和不完全归纳推理两种形式。 1.完全归纳推理 完全归纳推理即根据对某类思维对象所有个体的考 察,发现它们具有(或不具有)某种属性,从而推出 该类思维对象都具有(或不具有)该属性的一般性知 识的结论的推理。 对完全归纳推理的要求:前提所考察的应是某类思 维对象的所有个体,不能有遗漏;前提对每一思维对 象的考察所获信息都是真实可靠的。
逻辑基本知识—模态命题及其推理
在逻辑中,“必然”、“可能”、“不可能”等叫做“模态词”,包含模态词的命题叫做“模态命题”。
“必然p”、“不可能p”(必然⾮p)、“可能p”和“可能⾮p”之间的真假关系,类似于直⾔命题A、E、I、O之间的真假关系。
根据四种模态命题之间的逻辑关系(真假关系),便可构成⼀系列简单的模态命题的直接推理。
Ⅰ、根据模态命题⽭盾关系的直接推理1.必然p,推出并⾮可能⾮p;2.并⾮必然p,推出可能⾮p;3.可能⾮p,推出并⾮必然p;4.并⾮可能⾮p,推出必然p;5.必然⾮p,推出并⾮可能p;6.并⾮必然⾮p,推出可能p;7.可能p,推出并⾮必然⾮p;8.并⾮可能p,推出必然⾮p;上述1式,可举例如下:正义必然战胜邪恶,所以,并⾮正义可能不能战胜邪恶(即:正义不可能不能战胜邪恶)。
上述3式,可举例如下:⽕星上可能没有⽣物,所以,并⾮⽕星上必然有⽣物(即⽕星上不必然有⽣物)。
Ⅱ、根据模态命题反对关系的直接推理1.必然p,推出并⾮必然⾮p。
例如:蔑视辩证法是必然要受到惩罚的,所以,蔑视辩证法并⾮必然不受到惩罚的。
2.必然⾮p,推出并⾮必然p。
例如:侵略战争必然是⾮正义战争,所以,侵略战争并⾮必然是正义战争。
Ⅲ、根据模态命题下反对关系的直接推理1.并⾮可能p,推出可能⾮p。
例如:某君不可能吸烟,所以,某君可能不吸烟。
2.并⾮可能⾮p,推出可能p。
例如:⼩王不可能不会游泳,所以,⼩王可能会游泳。
Ⅳ、根据模态命题差等关系的直接推理1.必然p,推出可能p;例如:甲队必然得冠军,所以,甲队可能得冠军。
2.并⾮可能p,推出并⾮必然p;例如⼄队不可能得冠军,所以,⼄队不必然得冠军。
3.必然⾮p,推出可能⾮p;4.并⾮可能⾮p,推出并⾮必然⾮p。
■最近⼀段时期,有关要发⽣地震的传⾔很多。
⼀天傍晚,⼩明问在院⾥乘凉的爷爷:“爷爷,他们都说明天要地震了。
”爷爷说:“根据我的观察,明天不必然地震”。
⼩明说,“那您的意思是明天肯定不会地震了。
模态命题及其推理
模态命题种类
• • • • • • • • • • • • 1.必然命题 必然命题 必然命题是反映事物情况的必然性的命题。 必然命题是反映事物情况的必然性的命题。 必然肯定命题的形式是: 必然肯定命题的形式是: S必然 。可简化为:必然 。计为:□P 必然P。可简化为:必然P。计为: 必然 必然否定命题的形式是: 必然否定命题的形式是: S必然 。可简化为:必然非 。计为:□┐P 必然P。可简化为:必然非P。计为: 必然 2.可能命题 可能命题 可能命题是反映事物情况的可能性的命题。 可能命题是反映事物情况的可能性的命题。它是人们对客观事物 的认识在不十分清楚的情况下作出的反映。 的认识在不十分清楚的情况下作出的反映。 可能肯定命题的形式是: 可能肯定命题的形式是: S可能 。可简化为:可能 。计为:◇P 可能P。可简化为:可能P。计为: 可能 可能否定命题的形式是: 可能否定命题的形式是: S可能不 。可简化为:可能非 。计为:◇┐P 可能不P。可简化为:可能非P。计为: 可能不
O┐p
规范命题间关系
差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系
Op
Pp
差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系 差等关系
下反对关系
反对关系
P┐p
必然模态三段论
• • • • • 以AAA式为例, 其推理形式是: 凡M必然是P; 凡S是M; 所以,凡S必然是P。
【答案】D。 答案】 。
• 解析:此题为模态命题,模态词是“可 能”,而A、B和C模态词都是“必然”, 肯定不对。而D中,“不必然”就等值于 “可能不”,“不”和“不”相抵消,D 的含义就等值于“近日股市可能会上 涨”。
规范命题的种类
五、模态命题及其推理
当p在所有可能世界中都真时,“必然p” 就是真的,否则就是假的。
当p在所有可能世界中都假时,“必 然非p”就是真的,否则就是假的。
当p至少在一个可能世界中为真时, “可能p”就是真的,否则就是假的。
当p至少在一个可能世界中为假时, “可能非p”就是真的,否则就是假的。
类型
p在所有 可能世界 为真时
4.混合式模态三段论 混合式模态三段论就是两个前提一为真
值模态命题一为性质命题的模态三段论。 例如:
正义的事业必然要胜利, 社会主义事业是正义的事业, 所以,社会主义事业必然要胜利。
➢ “罪犯必然无犯罪时间”(□p)为假; ➢ “罪犯可能有犯罪时间”(◇p)为真; ➢ “罪犯可能无犯罪时间”(◇p)为假。 • (2)“并非明天必然下雪”(□p)等值于“明
天可能不下雪”(◇p) • (3)“并非他必然不被当选”(□p)等值于
“他可能被当选”(◇p)
三、混合模态直接推理
混合模态直接推理就是由一个真值模态命题和 实然命题(也叫非模态命题,即不含模态词的命 题)组成的演绎推理。实然命题的真值介于必然 命题和可能命题之间。
必然(非)P----(非)P ----可能(非)P 在这个序列中,前真后必真,前假后
可真可假;后假前必假,后真前可真可假。
四、真值模态三段论
1.必然模态三段论 必然模态三段论就是大小前提都是必然
命题的模态三段论。例如: 凡客观规律必然不以人的意志为转移, 教育规律必然是客观规律, 所以,教育规律必然不以人的意志为转
第一节 模态命题
一、什么是真值模态命题 从广义上讲,模态命题是指含有任意模态词
(如:必然、可能、应当、禁止)的命题。它包 括真值模态命题和规范命题。
真值模态命题是含有“必然”“可能”这两种 模态词的命题,即断定事物可能性和必然性的命 题。这类命题中的模态词表达了真假强度。例如:
模态逻辑—模态命题和推理
二、规范命题的分类
必须型规范命题,也称为义务性规范或强制性规范命题.
允许型规范命题,也称为授权性规范命题 禁止型规范命题,(可不列为一种单独类型)
三、对当关系(指“规范”妥当或不妥当的关 系)
¬OA ↔ P ¬A ¬ P¬A ↔ OA
¬P A ↔ O¬ A ¬O¬ A ↔P A
OA →P A
O¬ A→P¬A
在逻辑上把包含模态词“可能”、“必然”等命题叫做模态命题。 模态命题分为四类: 必然命题;必然p;□p。 必然非命题;必然﹁p;□﹁p。 可能命题;可能p; ◇p。 可能非命题。可能﹁p; ◇﹁p。
真值模态对当推理是根据真值模态命题对当关系 所进行的演绎推理。
例如,根据 ¬ ◊ p ↔ □¬p 有
下面那句话与王见明说的意思相似?
A.这次考试老师不可能不出那种难题。 B.这次考试老师必定不出那种难题了。 C.这次考试老师可能不出那种难题了。 D.这次考试老师不可能出那种难题了。 E.这次考试老师不一定不出那种难题。
(二)复合真值模态命题推理 复合真值模态命题推理是根据复合真值模态命题 之间的等值关系或蕴含关系而进行的演绎推理。 例如,根据 □(pΛq) ↔ □pΛ□q 便有 甲胜诉而乙败诉,这是必然的; 所以,甲必然胜诉,而乙必然败诉。
练习2:在市场预测中,专家说:明年电脑不降 价是不可能的。
以下哪项和专家说的同真?
A.明年电脑一定降价。 B.明年电脑可能降价。 C.不可能预测明年电脑是否降价。 D.明年电脑可能不降价。 E.明年电脑一定不降价。
练习3:不可能所有的错误都能避免。 以下哪项最接近于上述断定的含义?
A. 所有的错误必然都不能避免。 B. 所有的错误可能都不能避免。 C. 有的错误可能不能避免。 D. 有的错误必然不能避免。
第六章模态命题及其推理
练习:请列出下列模态推理的形式,并说明它 是否正确。 1.李明今年可能考上大学,所以,李明今年不必 然考上大学。 2.今年的物价不必然会涨,所以,今年的物价必 然不会涨。 3.患感冒的人不必然发烧,所以,患感冒的人可 能发烧。 4.北方人冬天到南方来对气候可能不适应,所以, 北方人冬天到南方来对气候不必然不适应。
• 第六章
• 第一节
模态命题及其推理
模态命题
• 一、什么是模态命题 • 二、模态命题的种类 • 三、模态命题之间的关系
• 第二节
模态推理
• 一、根据模态逻辑方阵进行的模态推理 • 二、模态三段论
• 第一节
模态命题
• 一、什么是模态命题
• 所谓模态,是指事物或认识的必然性和可能性的性质。 • 表达模态的语词或符号称为模态词。例如:“必然”、“可能” 等等。。 • 模态命题就是反映事物的可能性或必然性的命题。例如: • ①犯罪分子有可能逃跑。 • ②犯罪分子必然要受到法律的制裁。 • 这些都是模态命题。例①反映了犯罪分子逃跑的可能性, • ②反映了犯罪分子受到法律制裁的必然性。
• 三、模态命题之间的关系 • 同素材的简单模态命题“必然P” “必然非P ” 、“可能P ”与 “可能非P ”之间的关系,也可以用模态方阵来表示: • 此图表明: • 1.“口P”与“口﹃P ”之间关系是反对关系。其中,一个真, 则另一个必假; —个假,另一个则真假不定。 • 例如:“犯罪分子必然有作案时间”为真.那么“犯罪分子 • 必然没有作案时间”为假。又如“犯罪分子作案后必然情绪反 • 常”为假,那么,“犯罪分子作案后必然不情绪反常”真假不定。 • 2. “◇P”与“◇﹃P”之间的关系是下反对关系。其个一 • 个假,另一个必真;一个真,另—个则真假不定。 • 例如:“张某可能是杀人犯”为假,那么“张某可能不是杀 • 人犯”为真。又如“违法行为可能是犯罪行为”为真,那么“违 • 法行为可能不是犯罪行为”就真假不定。 •
模态命题推理
3.美国前总统林肯说过:“最高明的骗子,可能在某个时刻欺骗所 有的人,也可能在所有时刻欺骗某些人,但不可能在所有时刻欺骗所有 的人。”
如果林肯的上述断定是真的,那么下述哪项断定是假的?
A肯可能在某个时刻受骗;
1况卜P
2P卜源
3□—P厂P
4—P卜◊—P
5—P厂况
6―瞬卜—P
„„
必须注意,上述两大类型的模态推理,都属于直接推理,其所有的 推理公式都是普遍有效式,但是它们都是以预设P真且P的量项不变为 前提的。
二、模态三段论(从略)
A.可能所有的花都不结果。
B.可能有的花不结果。
C.可能有的花结果。
D.必然所有的花都不结果。
E.必然有的花不结果。(是)
2.“原先预报的明年北方地区的持续干旱不一定出现。”以下哪项的 含义与上述断定最为接近?
人.明年北方地区的持续干旱可能不出现。(是)
8.明年北方地区的持续干旱可能出现。
。明年北方地区的持续干旱一定不出现。
4—◊ —P厂□—P
公式①如,“明晨必然结冰,所以明晨可能结冰”。公式②如,“明晨 必然不结冰,所以明晨可能不结冰”。公式③如,“明晨不可能结冰,所 以明晨不必然结冰”。公式④如,“明晨不可能不结冰,所以明晨不必然 不结冰”.
必须注意:上述推理没有考虑到实然判断,如果考虑到实然判断, 则应增加下列推理公式:
第二节模态推理
模态推理,就是以模态命题为前提或结论,并根据模态命题之间或 模态命题与其他判断之间的逻辑关系而进行推演的推理。
模态推理的种类较多,这里仅介绍较为简单的两种:
一、根据模态命题的对当关系而进行的模态推理
第三讲模态命题及其推理
第三讲模态命题与其推理第一节模态命题无论是直言命题,还是复言命题,都是表达明确判断的句子.然而在现实情况中这样并不能解决所有的问题,有时会出现谈论事件发生可能性的情况例如:今天早上堵车. 表达的是一种判断,是直言命题.但是,今天早上堵车的可能性有多大呢?是有可能会堵车呢?还是一定会堵车?为了探讨这种可能性,就要引入我们模态命题这一部分的学习一、什么是模态命题模态命题就是陈述事物情况的必然性或可能性的命题.直言命题和关系命题只是关于事物情况存在或不存在的陈述.但有些事物情况的存在或不存在是必然的,有些事物情况的存在或不存在是可能的,陈述这种必然性或可能性的命题就是模态命题.模态命题反映人们对客观事物认识的程度.例如:违反客观规律必然要受到客观规律的惩罚.辩护人的意见可能是对的.模态命题都含有"必然〞或"可能〞等模态词.必然:一定、肯定、必须、必定等.可能:大概、也许等.不含有模态词的命题是非模态命题.人们使用模态命题一般是出于两种情况:1、用模态命题来反映事物本身确实存在的某种可能性或必然性.如例〔1〕;2、我们有时对事物是否确实存在某种情况,一时还不十分清楚、确定,因而只好用可能命题来表示自己对事物情况断定的不确定的性质.如例〔2〕.另外,模态词在一个模态命题中所处的位置,不是固定不变的.模态命题是在非模态命题的基础上,加上模态词而构成的.模态词可以加在命题的中间,也可以加在命题的前面或后面.如例〔2〕也可表述为:"可能辩护人的意见是对的〞.注意:辨别模态命题和非模态命题的关键就是看这个命题中是否包括模态词,如果包括模态词就是模态命题.二、模态命题的种类既然是命题,就是表示某种判断,所以,根据模态词和判断词的不同,模态命题大致可以分为四种:必然P<P是非模态命题>,必然非P,可能P,可能非P.模态命题「可能肯定命题〔可能p〕可能命题V-可能否定命题〔可能非P〕「必然肯定命题<必然p>必然命题Wj必然否定命题<必然非p>1、可能命题可能命题就是陈述事物情况的可能性的命题.在自然语言中,通常用"可能〞、"或许〞、"也许〞、"大概〞等语词作为它的模态词.可能命题又分为两种:(1)可能肯定命题可能肯定命题就是陈述事物情况可能存在的命题.例如:飞碟可能是天外之物.可能肯定命题的形式是:可能P.现代逻辑一般用符号〃◊〃表示〃可能〃,这样,〃可能p〃又可以写作:〃◊»〃.(2)可能否定命题可能否定命题就是陈述事物情况可能不存在的命题.例如:明天可能不下雨.可能否定命题的形式是:可能非P.可用符号表示为:2、必然命题必然命题就是陈述事物情况的必然性的命题.在自然语言中,通常用〃必然〃、〃必定〃、〃一定〃等语词作为它的模态词.必然命题又分为两种:(1)必然肯定命题必然肯定命题就是陈述事物情况必然存在的命题.例如:事物之间必然有联系.必然肯定命题的形式为:必然p•可用符号表示为:口卩(2)必然否定命题必然否定命题就是陈述事物情况必然不存在的命题.例如:客观规律必然不依人们的意志为转移.必然否定命题的形式是:必然非p.可用符号表示为:□Fp第二节模态命题的推理一、什么是模态命题的推理模态命题的推理,就是以模态判断为前提的推理,即可以从一个模态命题为真,推出其他的模态命题的真假•例如:明天必然会下雨明天可能下雨二、模态推理的种类1反对关系推理具有上反对关系的两个命题至少有一假,可以同假,不能同真•因此,可以从一个模态命题为真,推出与其具有上反对关系的另一个模态命题必定为假.模态命题间的反对关系是指口卩与口円卩之间不同真,可同假的真假关系•所以,可以由真推假•根据反对关系进行模态推理有两个有效式:①必然P,所以,并非必然非卩.〔口卩一円口円卩〕例如:新生事物必然能战胜腐朽事物,所以,新生事物不必然不能战胜腐朽事物.②必然非p,所以,并非必然p.(□^p^^Qp)例如:晚上十点半以前必然不关灯,所以,晚上十点半以前不必然关灯.2下反对关系推理具有下反对关系的两个命题至少有一真,可以同真,不能同假•因此,可以从一个模态命题为假推出与其具有下反对关系的另一个模态命题必定为真.模态命题间的下反对关系是指dp与之间不同假,可同真的真假关系•所以,可以由假推真•根据下反对关系进行模态推理有两个有效式:①不可能p,所以,可能非p^(^Op^O^p)例如:人不可能总是情绪饱满的,所以,人可能不总是情绪饱满的.②不可能非p,所以可能p^l^O^pfOp〕例如:他不可能不认识作案人,所以,他可能认识作案人.3从属关系推理(1〕、模态命题间的推出关系模态命题间的从属关系是指Qp与Op之间、Q^p与O^p之间可同真,可同假的真假关系•即由必然p真可推知可能p真;由可能p假推知必然p假所以,根据从属关系进行模态推理,有以下四个有效式:①必然p,所以,可能p.(QpfOp〕例如:旧体制必然要被新体制取代,所以,旧体制可能要被新体制取代.②必然非p,所以,可能非p.(Q^pfO^p)例如:他明天必然不到学校来,所以,他明天可能不到学校来.③不可能p,所以,不必然p.(^Opf^Qp)例如:某人不可能是凶手,所以,某人不必然是凶手.□p □^p④ 不可能非p,所以,不必然非p.(^◊^p^^^^p)例如:水不可能不往低处流,所以,水不必然不往低处流.〔2〕、与非模态命题之间的推出关系必然是Pf 是Pf 可能是P("是"只是表示某一事物存在这一状态〕例如:地球必然是圆的f 地球是圆的f 地球可能是圆的必然非Pf 非Pf 可能非P例如:钓鱼岛必然不是日本的f 钓鱼岛不是日本的f 钓鱼岛可能不是日本的〔4〕矛盾关系推理模态命题间的矛盾关系是指口卩与^Fp 之间、□-p 与dp 之间不同真,不同假的真假关系.由其中一个真,可以推知另一个假;由其中一个假,可以推知另一个真.有以下八个有效式:① 必然p,所以,不可能非p.(□pfF^Fp)例如:新生事物必然要代替旧事物,所以,新生事物不可能不代替旧事物.② 不必然p,所以,可能非p.(-□pf^Fp)例如:明天不必然降温,所以,明天可能不降温.③ 可能p,所以,不必然非p.(◊pfF^Fp)例如:太阳系可能有第十颗行星,所以,太阳系不必然没有第十颗行星.④ 不可能p,所以,必然非p.(-◊pf^Fp)例如:价值规律不可能以人的意志为转移,所以,价值规律必然不以人的意志为转移.将以上四种矛盾关系对当推理的前提和结论对调,可形成另外四种同样的有效推理.这里就不一一罗列.新推出的四种推理之所以有效,是由于具有矛盾关系的两个判断,任一方与其对方的否定,都是等值的,所以可以互推.三、模态命题之间的关系以上四种模态命题之间,也可以用逻辑方阵来表示出它们类似性质命题对当关系的那样一种真假关系.如下图:此图表明:〔□□p 与口円卩之间的关系是反对关系•其中,一个真,另一个必假;一个假,反对关从属关系从属关系另一个则真假不定.二者可以同假但不可同真.〔2〕Op与◊『》之间的关系是下反对关系.其中,一个假,另一个必真;一个真,另一个则真假不定.二者可以同真但不可同假.〔3〕口卩与之间的关系是矛盾关系•其中,一个真,另一个必假;一个假,另一个必真.二者既不可同真又不可同假.〔4〕口『卩与Op之间的关系也是矛盾关系.其中,一个真,另一个必假;一个假,另一个必真.二者既不可同真又不可同假.⑸口卩与Op之间的关系是差等关系•其中,口p真,则Op必真;Op假,则口卩必假;口卩假,Op则真假不定;Op真,则口卩真假不定;<6>□^p与O^p之间的关系也是差等关系.口円卩真,则O^p必真;O^p假,则口円必假;口円假,则O^p真假不定;O^p真,则口円卩真假不定;其中,由〔3〕、〔4〕,我们可得⑺円口卩—O^p—□p⑻円口円卩—Op^Op—□^p根据上面的关系,一方面,我们可以由一个模态命题的真或假,推知其他三个模态命题的真假情况.例如,已知"今天可能有风〞为真,可推知"今天可能无风〞真假不定,"今天必然无风〞假,"今天必然有风〞真假不定.又如,"火星上必然有生命〞为假,可推知"火星上必然无生命〞真假不定,"火星上可能有生命〞真假不定,"火星上可能无生命〞为真.另一方面,我们可以由一个模态命题的负命题确定与其等值的模态命题.例如,"并非他必然来〞等值于"他可能来〞,"并非他必然不来〞等值于"他可能来〞.例1:最近一段时期,有关发生地震的传言很多.一天傍晚,小明问在院子里乘凉的爷爷:〃爷爷,他们都说明天要地震了.〃爷爷说:〃根据我的观察,明天不必然地震.〃小明说:〃那您的意思是明天肯定不会地震了.〃爷爷说:〃不对•〃小明陷入了迷惑.以下哪句话与爷爷的话最接近?〔〕A.明天必然不地震B.明天可能地震C.明天可能不地震D.明天不可能地震E.明天不可能不地震例2:从〃多门之屋生风,多嘴之人生祸〃出发,必然能推出〔.A.多门之屋可能生风,多嘴之人可能生祸B.多门之屋必然生风,多嘴之人必然生祸C.多门之屋可能不生风,多嘴之人可能不生祸D.多门之屋必然不生风,多嘴之人必然不生祸E.多门之屋不可能不生风,多嘴之人不可能不生祸例3:小王、小李、小X准备去爬山•天气预报说,今天可能下雨•围绕天气预报,三个人争论起来.小王说:〃今天可能下雨,那并不排斥今天也可能不下雨,我们还是去爬山吧•〃小李说:〃今天可能下雨,那就表明今天要下雨,我们还是不去爬山了.〃小X说:〃今天可能下雨,只是表明今天下雨不具有必然性,去不去爬山由你们决定.〃对天气预报的理解,三个人中〔〕A.小王和小X正确,小李不正确.B.小王正确,小李和小X不正确.C.不李正确,小王和小X不正确.D.小X正确,小王和小李不正确.E.小李和小X正确,小王不正确.例4:人都不可能不犯错误,不一定所有人都会犯严重错误.由此可以推出<>.A.人都可能会犯错误,但有的人可能不犯严重错误B.人都可能会犯错误,但所有的人都可能不犯严重错误C.人都一定会犯错误,但有的人可能不犯严重错误D.人都一定会犯错误,但所有的人都可能不犯严重错误E.人都可能会犯错误,但有的人一定不犯严重错误例5:美国前总统林肯说过:〃最高明的骗子,可能在某个时刻欺骗所有的人,也可能在所有的时刻欺骗某些人,但不可能在所有的时刻欺骗所有的人•〃如果上述断定是真的,那么下述哪项断定必定是假的?A.人可能在任何时刻都不受骗B.骗子也可能在某个时刻受骗C.不存在某一时刻有人可能不受骗D.不存在某一时刻所有的人都必然不受骗E.不存在某个时刻,所有人不受骗例6:在宏达杯足球联赛前,四个球迷有如下预测:甲:红队必然不能夺冠•乙:红队可能夺冠•丙:如果蓝队夺冠,那么黄队是第三名•丁:冠军是蓝队如果四人的断定中只有一个断定为假,可推出以下哪项结论?A.冠军是红队.B.甲的断定为假.C.乙的断定为真.D.黄队是第三名.E.丁的断定为假例7:这次新机种试飞只是一次例行试验,既不能算成功,也不能算不成功.以下哪项对于题干的评价最为恰当?A.题干的陈述没有漏洞.B.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:这次关于物价问题的社会调查结•果,既不能说完全反映了民意,也不能说一点也没有反映民意.C.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:这次考前辅导,既不能说完全成功,也不能说彻底失败.D.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:人有特异功能,既不是被事实证明的科学结论,也不是纯属欺诈的伪科学结论.E.题干的陈述有漏洞,这一漏洞也出现在后面的陈述中:在即将举行的大学生辩论赛中,我不认为我校代表队一定能进入前四名,我也不认为我校代表队可能进不了前四名.第三节负模态命题推理一、负模态命题一般推理负模态命题一般推理,就是说当一个模态命题为假时,看能推出什么样的结论•从上面的分析可以看出,当一个模态命题为假时,这个模态命题的矛盾命题就是真的•具体来说,有以下情况:并非必然P=可能非P并非必然非P=可能P并非可能卩=必然非P并非可能非P=必然P〃必然〃变为〃可能〃,〃P〃变为〃非P〃;〃可能〃变为〃必然〃,〃非P〃变为〃P〃二、负模态命题直言推理负模态命题直言推理,是模态词嵌套在直言命题中的一种推理.并非必然所有S都是P二可能有的S不是P并非必然所有S都不是P二可能有的S是P并非必然有的S是P二可能所有S都不是P并非必然有的S不是P二可能所有S都是P并非可能所有S都是P二必然有的S不是P并非可能所有S都不是P二必然有的S是P并非可能有的S是P二必然所有S都不是P并非可能有的S不是P二必然所有S都是P三、负模态命题复合推理负模态命题复合推理,就是模态词嵌套在复合命题上的一种推理.并非必然<p且q>=可能〈非p或非q>并非必然<p或q>=可能〈非p且非q>并非可能<P且q>=必然〈非p或非q>并非可能<p或q>=必然〈非p且非q>并非必然〈如果p,那么q>二可能<p且非q>例1:不可能所有的错误都能避免.以下哪项最接近于上述断定的含义?A.可能所有的错误都不能避免.B.可能有的错误不能避免.C.可能有的错误能避免.D.必然所有的错误都不能避免.E.必然有的错误不能避免例2:不可能宏大公司和亚鹏公司都没有中标.以下哪项最为准确地表达上述断定?◊A.宏大公司和亚鹏公司可能都中标B.宏大公司和亚鹏公司至少有一个可能中标C.宏大公司和亚鹏公司必然都中标D.宏大公司和亚鹏公司至少有一个必然中标E.如果宏大公司中标,那么亚鹏公司不可能中标第四节朴素推理一、知识概述朴素推理,实际上也是必然性推理的一种•往往题目会给出各种条件比如人物、地点、时间和数据等,要求考生根据相互联系的各种条件进行适当的推理,回答相关的问题•但是该类型的题不需要运用专门的逻辑知识,主要考查的是一种思维能力.如何快速的解答此类型的题,可以运用代入法、排除法、假设法、找突破口法、排序法和图表法等例1:某次认知能力测试,X强得了118分,蒋明的得分比王丽高,X华和X强得分之和大于蒋明和王丽的得分之和,X强的得分比周梅高;此次测试120分以上为优秀,五人之中有两人没有达到优秀.以下哪项由高到低的得分排列符合题干的信息?A.X华、王丽、周梅、蒋明、X强B.X华、蒋明、王丽、X强、周梅C.X华、蒋明、X强、王丽、周梅D.蒋明、X华、王丽、X强、周梅E.蒋明、王丽、X华、X强、周梅例2:某市为了减少交通堵塞,采取如下限行措施:周一到周五的工作日,非商用车按尾号0、5、1、6、2、7、3、8、4、9分五组顺序分别限行一天,双休日和法定假日不限行•对违反规定者要罚款•关于该市居民出行的以下描述中,除哪项外,都可能不违反限行规定?A.赵一开着一辆尾数为1的商用车.每天都在路上跑B.钱二有两台私家车,尾号不相同,每天都开车C.X三与邻居共有三台私家车,尾号都不相同.他们合作每天有两台车开D.李四X三与邻居共有三台私家车,尾号都不相同,他们合作每天有四台车开E.王五与邻居共有六台私家车,尾号都不相同.他们合作每天有五台车开例3:某登山旅游小组成员互相帮助,建立了深厚的友谊.后加入的李佳已经获得的其他成员多次救助,但是她尚未救助过任何人,救助过李佳的人均曾被王玥救助过,赵欣救助过小组的所有成员,王玥救助过的人也曾被陈蕃救助过.根据以上陈述,可以得出以下哪项结论?A、陈蕃救助过赵欣.B、王玥救助过李佳.C、王玥救助过陈蕃.D、陈蕃救助过李佳.E、王玥没有救助过李.。
模态命题及其推理一模态命题1模态命题及其结构
⑴简单枚举归纳推理 简单枚举归纳推理由前提得出结论的依据,是在 考察过程没有遇到相反情况。 未遇反例只是从个别推出一般的必要条件,而非 充分条件,因而其结论是不甚可靠的。 提高简单枚举归纳推理结论可靠性的方法: Ⅰ.考察对象的数量应当足够多; Ⅱ.尽力在不同的条件下考察对象; Ⅲ.没有公认的考察结果与推出的结论相冲突。 不注意以上各点,可能出现“以偏概全”的逻辑 错误。
⑵科学归纳推理 科学归纳推理由前提得出结论的依据,是在未遇 反例的基础上,进一步考察某类思维对象之所以有 某种属性的原因。 科学归纳推理的特点是,不仅知其然,而且知其 所以然,因而其结论较之简单枚举归纳推理是更为 可靠的。 对科学归纳推理而言,其结论的可靠性,主要取 决于所考察的思维对象是否具有代表性或典型性, 而不在于考察对象数量的多少。
三、探求因果联系的逻辑方法
1.因果联系及其特点
因果联系是思维对象间的一种重要联系形式, 是指不同思维对象之间的引起和被引起关系。 因果联系的特点: ⑴时间上的前后相继性; ⑵性质上的必然性和确定性; ⑶某一特定时段内的共存性和共变性; ⑷表现形式上的复杂多样性。
2.探求因果联系的方法(穆勒五法) ⑴求同法 思路:在被研究现象出现的若干场合,如果只有 一个情况是相同的,其他情况都不同,那么这个唯 一共同的情况就是被研究现象的原因。 ⑵求异法 思路:如果被研究现象在一个场合出现,在另一 场合不出现,而在这两个场合中只有一个情况不同, 其他情况都相同,那么这个唯一不同的情况就是被 研究现象的原因。
二、模态推理
模态推理就是以模态命题为前提,并根据模态命题 的逻辑特点或相互关系进行的推理。例如: 违反法律必然受到法律的惩罚, 他违反了法律, 所以,他必将受到法律的惩罚。 模态推理有诸多不同形式,主要为: 1.根据对当关系进行的模态推理。 2.根据模态命题的负命题进行的模态等值推理。 3.模态三段论 模态三段论就是在三段论中引入模态词而进行的推 理。如上例。
逻辑-4模态命题及其推理
并非必然p——可能非p。
2不必然不——可能。
并非必然非p——可能p。
3不可能——必然不。
并非可能p——必然非p。
4不可能不——必然。
并非可能非p——必然p。
把必然和可能互换,肯定和否定互换。
去掉负命题联结词并非或不后,可能变必然,必然变成可能。
模态推理。
1根据矛盾关系来推理。
必要P与可能非P矛盾,可能P与必然非P矛盾。
必有一真,必有一假。只要知道其中一个值,便可推出另外一个。
2根据反对关系来推理。
必然P与必然非P,两者至少一假。其中一个为真,另外一个则为假。
公式:必然p-不必然非P。必然非p-不必然P。
3根据下反对关系来推理。
模态命题。
必然肯定、必然否定。
可能肯定、可能否定。
关系:矛盾,反对,下反对,从属。
矛盾:必要P与可能非P矛盾,可能P与必然非P矛盾。
反对:必然P与必然非P,二者至少一假。
下反对:可能P与可能非P,二者至少一真。
从属:必要P-可能P,必然非P-可能非P。可能P为假-必然P为假,可能非P为假-必然非P为假。
可能P与可能非P,二者至少一真。其中一个为假,另外一个则为真。
不可能p-可能非P。不可能非p-可能P。
4根据从属关系来推理。
公式:1必然P-可能P.
2必然非P-可能非P。
3不可能P-不必然P。
4不可能非P-不必然非P。
模态与非模态的推理。
如果必然p真,则p真,则可能p为真。
必然P-P-可能P。
如果必然非p真,则非p真,则可能非p真。
必然非p-非p-可能非p。
第七章 模态推理
③规范对当关系
Op 差 等 Pp 反对 矛盾 O ¬p (禁止p) 差 等 P¬p
下反对
二、模态对当关系推理
矛盾关系推理:12个有效式 反对关系推理:6个有效式 下反对关系推理:6个有效式 差等关系推理: 12个有效式
习题
1.甲:明天必然下雨。 乙:明天可能不下雨。 第二天果然下雨。 甲:我说对了,你错了。 乙:你没有说对,我也没有说错。 谁对谁错,为什么? 2.下列推理形式中有效的是( )。 (1) M¬p┣ ┫¬Lp (2) p┣ ┫ L¬p (3) LP┣ ┫ P (4) ¬p┣ Mp (5) Lp ┣ ¬p
4.模态对当关系
反对
Lp 差 等 Mp
矛盾
L¬p 差 等 M¬p
下反对
5.模态六角对当关系
Lp
反对
L¬p
p
矛盾
¬p
Mp
下反对
M¬p模Biblioteka 六角对当关系1.矛盾关系:Lp与M¬p、L¬p与Mp、p与¬p 2.反对关系:Lp与L¬p、Lp与¬p、L¬p与p 3.下反对关系:Mp与M¬p、p与M¬p、 ¬p与Mp 4.差等关系:Lp与Mp、Lp与p、p与Mp L¬p与M¬p、L¬p与¬p、¬p与M¬p
第七章
模态推理
一、模态命题 1.定义 2.模态命题种类 ①必然模态命题 模态算子:必然、必定、一定…… 命题形式:Lp(□p)、L¬p(□ ¬p) ②可能模态命题 模态算子:可能、或许、…… • 命题形式:Mp(◊p)、M¬p(◊ ¬p) p是实然命题
3.模态命题中的模态词和否定词
①模态词在命题的前面、中间和后面一视同仁。如: 必然犯罪要受惩罚。 犯罪必然要受惩罚。 Lp 犯罪要受惩罚是必然的。 ②在模态词前面的否定词是否定整个模态命题。 今天不可能下雨。 ¬ Mp ③在模态词后面的否定词是否定整个实然命题命题。 如: 今天可能不下雨。 M¬p 今天不必然不下雨 ¬ L¬ p
模态命题及其推理
模态命题及其推理一、模态命题(一)模态命题在逻辑中,“必然”、“可能”、“不可能”等叫做“模态词”,包含模态词的命题叫做“模态命题”。
模态词分为可能性和必然性两种,其中“可能”、“大概”、“也许”属于可能性模态词;而“一定”、“必定”、“必然”等属于模态词。
例如:明天可能会下雨。
海洋中一定有生物。
(二)模态命题分类根据模态词和命题性质的不同,可以将模态命题分为四类:1.必然肯定模态命题。
即必然P例如:这句话必然是真的。
2.必然否定模态命题。
即必然非P例如:他今天肯定不会来3.可能肯定模态命题。
即可能P例如:这个目标是可能实现的。
4.可能否定模态命题。
即可能非P例如:她可能完不成任务。
(三)模态命题对当关系“必然p”、“必然非p”、“可能p”和“可能非p”之间的真假关系,类似于直言命题A、E、I、O之间的真假关系,也可用一个对当逻辑方阵来表示:二、模态推理根据四种模态命题之间的逻辑关系(真假关系),便可构成一系列简单的模态命题的直接推理。
(一)根据模态命题矛盾关系的直接推理1.必然p,推出并非可能非p;2.并非必然p,推出可能非p;3.可能非p,推出并非必然p;4.并非可能非p,推出必然p;5.必然非p,推出并非可能p;6.并非必然非p,推出可能p;7.可能p,推出并非必然非p;8.并非可能p,推出必然非p;上述1式,可举例如下:正义必然战胜邪恶,所以,并非正义可能不能战胜邪恶(即:正义不可能不能战胜邪恶)。
上述3式,可举例如下:火星上可能没有生物,所以,并非火星上必然有生物(即火星上不必然有生物)。
(二)根据模态命题反对关系的直接推理1.必然p,推出并非必然非p。
例如:蔑视辩证法是必然要受到惩罚的,所以,蔑视辩证法并非必然不受到惩罚的。
2.必然非p,推出并非必然p。
例如:侵略战争必然是非正义战争,所以,侵略战争并非必然是正义战争。
(三)根据模态命题下反对关系的直接推理1.并非可能p,推出可能非p。
第七章 模态命题及其推理
一、什么是模态命题
主观模态与客观模态 (1)在标准大气压下,水在100℃时必然沸腾。 (2)A:明天开会老张会来吗?
B:他可能不会来。 逻辑学上,一般将主观模态都处理为客观模态。 事物模态与命题模态 (3)正义事业是必然会胜利的。
(4)小张考上大学是可能的。 一般的,将事物模态都处理为命题模态。
二、模态命题的种类
模态命题分为可能(◇)模态和必然( □) 模态
实然命题可以是肯定的,也可以是否定的,因 此,模态命题主要有以下四种: 可能肯定命题: 可能p ◇p 可能否定命题: 可能非p ◇p 必然肯定命题: 必然p □ p 必然否定命题: 必然非p □p
三、模态命题之间的关系
模态命题的真值定义:
□p真,iff,p在所有的可能世界(w)中为真。 ◇p真, iff,p在至少一个可能世界中为真。
模态对当关系
□ p 反对关系
□p
差 等 关 系
矛
盾盾 关关
矛
差 等 关 系
系
系
◇p 下反对关系
◇p
第二节 模态推理
模态对当关系推理 必然、实然和或然之间的推理
一、模态对当关系推理
根据矛盾关系的推理:
小李可能去杭州,所以,小李不必然去杭州。
苏州人不必然会讲普通话,所以,苏州人可能 会讲普通话。
卢老师可能不住在二楼,所以,卢老师不可能 住在二楼。
今年元旦不可能下雪,所以,今年元旦不下雪 是必然的。
第三节 规范命题
规范命题是含有“必须”(O)、 “允许”(P)、“禁止”(F)的 命题 Fp Op Fp Pp
表示说话人对句子所表达的命题或命题所描述的情境situation的观点或态度的语词如必然可能应该允许相信知道过去将来等等如
7第七章 模态命题及其推理
(狭义上的)模态命题:反映事物必然性或可能性的 命题。
——必然命题:反映事物必然性情况的命题 ——可能命题:反映事物可能性情况的命题 【例1】共产主义必然胜利。 【例2】社会主义可能首先在一个国家取得胜利。
二、模态命题的种类及模态命题 之间的关系
1、可能肯定命题:反映事物情况可能存在的命题。 【例1】今天可能下雨。 【例2】3x大于5x是可能的。 公式:“S可能是P”或“S是P是可能的”,可简化为:
“必然p”或“□p”,其中“□”表示“必然”模态 词。
4、必然否定命题:反映事物情况必然不存在的命题。 【例1】客观规律必然不以人的意志为转移。 【例2】反动势力必然不会自动退出历史舞台。 公式:“S必然不是P”,可简化为“必然p”或“□
p”。
模态逻辑方阵
□p反对Biblioteka □p矛矛差
等
盾
差
盾
等
◇p
下反对
所以,火星上不必然有生物
2、根据模态命题反对关系的直接推理:根据模态命题 必然p与必然非p之间的反对关系而进行的直接推理。 有效形式:□p→□p;□p→□p 【例1】蔑视辩证法是必然要受到惩罚的
所以,蔑视辩证法并非是必然不受到惩罚的 【例2】谎言必然是不能持久的
所以,谎言并非必然是能持久的
3、根据模态命题下反对关系的直接推理:根据模态命题可 能p与可能非p之间的下反对关系而进行的直接推理。 有效形式:◇p→◇p;◇p→◇p 【例1】某君不可能吸烟
所以,乙队不必然得冠军
三、模态三段论
模态三段论:在三段论系统中引入模态词构成的三段论。 【例1】所有的大科学家必然都具有求实精神
李四光是大科学家 所以,李四光必然具有求实精神 【例2】灵长目动物必然有发达的大脑 这个小动物可能是灵长目动物 所以,这个小动物可能有发达的大脑
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(一) 必然肯定模态命题
必然肯定模态命题,就是对事物情况的必然性作了肯定性断定的判断。
例如:⑤“夺项王天下者必沛公也。
”(《史记·项羽本纪》)必然肯定模态命题的逻辑形式是:
□P( "□”读作“必然”;P系变项,代表判断)
(二) 必然否定模态命题
必然否定模态命题,就是对事物情况的必然性作了否定性断定的判断。
例如:
⑥客观规律必然不依人的意志为转移。
必然否定模态命题的逻辑形式是:
□乛P
(三) 可能肯定模态命题
可能肯定模态命题,又叫“或然肯定模态命题”,就是对事物情况的可能性作了肯定性断定的判断。
例如:
⑦对地震作出准确预报是可能的。
可能肯定模态命题的逻辑形式是:
◇P( "◇”读作“可能”)
(四) 可能否定模态命题
可能否定模态命题,又叫“或然否定模态命题”,就是对事物情况的可能性作了否定性断定的判断。
例如:
⑧明天可能不下雨。
可能否定模态命题的逻辑形式是:
◇乛P
必须注意:
与对性质判断中的特称量项“有的”理解类似,形式逻辑在理解模态词“可能”时也取其宽泛义,把“可能”解释为“至少可能,也许必然”,即“可能”与“必然”是相容的。
三、狭义上的简单模态命题之间的真假关系
上述同素材的□P、□乛P、◇P、◇乛P这四种模态命题之间,具有类似A、E、I、O性质判断对当关系的那样一种真假制约关系。
这种真假制约关系也可用逻辑方阵来表示:
第2/5页“弟子不必不如师(可能如师乛□乛P←→◇P),师不必贤于弟子(可能不贤于弟子乛□P←→◇乛P)”(韩愈《师说》)
根据模态命题的矛盾关系可写出下列等值式:
①□P←→乛◇乛P(如,“今年必然完成生产任务”等值于“今年不可能不完成生产任务”. )
②◇乛P←→乛□P(如,“今年可能完成不了生产任务”等值于“今年不必然完成生产任务”. )
③□乛P←→乛◇P(如,“今年必然完成不了生产任务”等值于“今年不可能完成生产任务”. )
④◇P←→乛□乛P(如,“今年可能完成生产任务”等值于“不必然今年完成不了生产任务”. )
由此可见,“必然不”与“不必然”是不同的,“可能不”与“不可能”也是不同的。
课堂练习:
1.“不可能所有的花都结果。
”以下哪项的含义与上述断定最为接近?
A.可能所有的花都不结果。
B.可能有的花不结果。
C.可能有的花结果。
D.必然所有的花都不结果。
E.必然有的花不结果。
(是)
2.“原先预报的明年北方地区的持续干旱不一定出现。
”以下哪项的含义与上述断定最为接近?
A.明年北方地区的持续干旱可能不出现。
(是)
B.明年北方地区的持续干旱可能出现。
C.明年北方地区的持续干旱一定不出现。
D.明年北方地区的持续干旱出现的可能性比不出现大。
(接近于B)E.明年北方地区的持续干旱不可能出现。
(同C)
3.美国前总统林肯说过:“最高明的骗子,可能在某个时刻欺骗所有的人,也可能在所有时刻欺骗某些人,但不可能在所有时刻欺骗所有的人。
”
如果林肯的上述断定是真的,那么下述哪项断定是假的?
A肯可能在某个时刻受骗;
B.林肯可能在任何时候都不受骗;
C.骗子也可能在某个时刻受骗;
D.不存在某个时刻所有的人都必然不受骗;
E.不存在某一时刻有人可能不受骗。
解析:选项A和C都可以从“骗子可能在某个时刻欺骗所有的人”推出。
因为选项A、C分别等值于“骗子可能在某个时刻欺骗林肯”、“骗子也可能在某个时刻欺骗骗子”,而林肯也好,骗子也好,他们都是“所有的人”中的一个。
选项B可以从“不可能在所有时刻欺骗所有的人”推出。
设“所有的人都不受骗”为p,则“有的人受骗”为¬p。
这样,选项
第3/5页D可改写为“并非某个时刻必然p”,改写为“所有时刻并非必然p”,改写为“所有时刻可能¬p”(因为¬□p←→◇¬p)。
也就是,选项D等于说“在所有时刻可能有人受骗。
”这句话可以从题干中“也可能在所有时刻欺骗某些人”中推出。
设“有的人不受骗”为p,则“所有的人都受骗”为¬p。
这样,选项E可改写为“并非在某一时刻可能p”,改写为“所有时刻并非可能p”,改写为“所有时刻必然¬p”(因为¬◇p←→□¬p)。
也就是,选项E等于说“在所有时刻必然所有的人都受骗”。
这句话与题干所说的“不可能在所有时刻欺骗所有的人“具有反对关系。
因此,选项E是假的。
结论:选项E 为假。
第二节模态推理
模态推理,就是以模态命题为前提或结论,并根据模态命题之间或模态命题与其他判断之间的逻辑关系而进行推演的推理。
模态推理的种类较多,这里仅介绍较为简单的两种:
一、根据模态命题的对当关系而进行的模态推理
(一) 根据矛盾关系所进行的模态推理
矛盾关系存在于□P与◇乛P、□乛P 与◇P之间。
根据前述矛盾关系的特性,可得如下推理公式:
①□P├乛◇乛P
②乛□P├◇乛P
③□乛P├乛◇P
④乛□乛P├◇P
⑤◇P├乛□乛P
⑥乛◇P├□乛P
⑦◇乛P├乛□P
⑧乛◇乛P├□P
这里,仅就公式①⑤各举一例,余者请读者自举其例。
公式①如:“正义事业必然得人心,所以正义事业不可能不得人心。
”公式⑤如:“这个地区可能会地震,所以这个地区不必然不会地震。
"
(二) 根据反对关系所进行的模态推理
反对关系存在于□P与□乛P之间。
根据前述反对关系的特性,可得如下推理公式:
①□P├乛□乛P
第4/5页
②□乛P├乛□P
举例子的话,公式①如,“新生事物必然发展壮大,所以并非新生事物必然不发展壮大”. 公式②如,“他必然达不到目的,所以他不必然达到目的”.
(三) 根据下反对关系所进行的模态推理
下反对关系存在于◇P与◇乛P之间。
根据前述下反对关系的特性,可得如下推理公式:
①乛◇P├◇乛P
②乛◇乛P├◇P
公式①如,“她不可能获奖,所以她可能不获奖”。
公式②如,“此药不可能治不好他的病,所以此药可能治好他的病”.
(四) 根据差等关系所进行的模态推理
差等关系存在于□P与◇P之间和□乛P与◇乛P之间。
根据前述差等关系的特性,可得如下推理公式:
①□P├◇P
②□乛P├◇乛P
③乛◇P├乛□P
④乛◇乛P├乛□乛P
公式①如,“明晨必然结冰,所以明晨可能结冰”。
公式②如,“明晨必然不结冰,所以明晨可能不结冰”。
公式③如,“明晨不可能结冰,所以明晨不必然结冰”。
公式④如,“明晨不可能不结冰,所以明晨不必然不结冰”.
必须注意:上述推理没有考虑到实然判断,如果考虑到实然判断,则应增加下列推理公式:
①□P├P
②P├◇P
③□乛P├乛P
④乛P├◇乛P
⑤乛P├乛□P
⑥乛◇P├乛P
……
必须注意,上述两大类型的模态推理,都属于直接推理,其所有的推理公式都是普遍有效式,但是它们都是以预设P真且P的量项不变为前提的。
二、模态三段论(从略)。