6第六章 模态命题及其推理
逻辑学第三版答案第六章 模态命题及其推理
第六章模态命题及其推理一、指出下列命题各属何种模态命题,并用公式表示其命题形式。
1.教与学脱节,势必造成教学质量下降。
答:必然肯定命题。
其逻辑式为:必然p(或“s 必然是p”)。
2.谎言必然不能长久骗人。
答:必然否定命题。
其逻辑式为:必然非p(或“s 必然不是p”)3.火车必然比摩托车大。
答:必然肯定命题。
其逻辑式为:必然p。
4.他可能估计不到这件事的严重后果。
答:可能否定命题。
其逻辑式为:可能非p(◇¬p)5、月球昼夜温差的巨大变化必定导致无生物存在。
答:必然肯定命题。
其逻辑式为:必然p(□p)6、有错必纠,有反必肃。
答:必须联言命题。
其逻辑式为:必须p 并且必须q(○p∧○q)7.任何人不得利用宗教活动煽动群众闹事。
答:禁止肯定命题. 其逻辑式为:禁止p(Fp).8.满十八岁者不准参加选举。
答:禁止肯定命题. 其逻辑式为:禁止p(Fp).9.能够坦白交待、态度诚恳者,可以从轻处理。
答:允许肯定命题. 其逻辑式为:允许p(Pp).10.不准任何人以任何借口搞分裂国家的活动。
答:禁止选言命题。
其逻辑式为: 禁止p.二、指出下列各组模态命题间的逻辑关系:1.⑴月球运行于太阳和地球之间必然发生日食。
⑵月球运行于太阳和地球之间可能不发生日食。
答:①必然p,②可能非p,二者是“不同真、不同假”的矛盾关系。
2.⑴世界事务必定不会受一、两个大国操纵。
⑵世界事务可能不会受一、两个大国操纵。
答:①必然非p,②可能非p,二者是“可同真,可同假”的从属关系。
即:“必然非p”真,“可能非p”必真;“必然非p”假,“可能非p”可真可假,“可能非p”真,“必然非p”可真可假,“可能非p”假,“必然非p”必假。
3.⑴这个荒岛一定有人上去过。
⑵这个荒岛一定没有人上去过。
答:①必然p,②必然非p,二者是“不同真,可同假”的反对关系。
即断定其中一个真,另一个必假;断定其中一个假,另一个可真可假。
4.⑴证人不可以充当证据鉴定人。
公共逻辑课课件 第六章模态逻辑
所有S不然是M 所有S可能是P
3,重叠模态词的归约规律 模态词在命题中是可以重叠出现的,是 这种运用太远离自然语言了。例如: “太阳系的必然毁灭是可能的”。 这样的语句似乎是没有意义的,但是现代 模态逻辑认为这类命题可以进行归约, 下列公式表示了重叠模态词的归约。
①, ②, ③, ④,
必然模态命题是反映思维必然具有或者不具
有某种属性的命题。这里的必然也是一种状 态,它与可通的可能世界相关。 “必然”是模态算子,用符号“ ”表示, 如果必然模态命题反映了在可通的可能世界 中思维对象具有某种属性,就是肯定的必然 模态。符号表示为:“ A”; 如果必然模态命题反映了在可能世界中思维 对象不具有某种属性,就是否定的必然模态。 符号表示为:“ A”。例如: ③,“常在河边走的人必然会弄湿自己的 鞋”。 ④,“急风暴雨的天气必然不会持久”。
可能A真,当且仅当A在至少一个可通的可能世界中真;
题,但是它可以用“必然”和“可能”来定义: “偶然A”真当且仅当“不必然A真并且可能A真”
二,模态命题的分类
1,依照模态词的分类 ----必然模态和可能模态
可能模态命题是反映思维对象可能具有或者不具有某种属性的
命题。这里的可能就是一种状态,它与某个可通的可能世界相 关。“可能”是模态算子,用符号“”表示, 如果可能模态命题反映了在可通的可能世界中思维对象具有某 种属性,就是肯定的可能模态。符号表示为:“A”; 如果可能模态命题反映了在可通的可能世界中思维对象不具有 某种属性,就是否定的可能模态命题。符号表示为:“A”。 例如: ①,“如果污染不加控制人们可能失去可饮用的淡水”。 ②,“他可能不是中国人。”
模态命题及其推理
• 解析: • “不可能所有的花都结果。” • 推出: “必然并非所有的花都结果; • 推出: “必然有的花不结果。
16
Company Logo
第二节 模态推理
• 一、什么是模态推理
模态推理:以模态命题为前提,并根据模态命题
的逻辑性质进行推演的推理。
• 【例】 • (1) 任何生物的生存都不可能不需要氧气, • 所以,任何生物的生存都必然需要氧气。 • (2)子女必须赡养父母,我们是子女,所以我们必须
12
Company Logo
第一节 模态命题
3. 四种命题之间的关系
• 规范模态命题不像其他命题那样是从事实中去确定
其真假的,而是根据这种命题的反映是否符合所在 社会的行为规范而确定其正确还是不正确。
• 四种规范命题之间的推演关系,概括起来,也具有
类似传统逻辑中A、E、I、O四种性质命题之间的 那种对当关系,因而,也可以借助于逻辑方阵来加 以表示和说明。
13
Company Logo
第一节 模态命题
Op
从 属 关 系
反对关系
矛矛 盾盾
关
关
系
系
O﹃p
从 属 关 系
Pp
下反对关系
P﹃p
14
Company Logo
□p
反对关系
矛矛
从
盾盾
属
关
系关
关
系
系
□﹃p
◇p
下反对关系
◇﹃p
15
Company Logo
[案例分析]
• 由“不可能所有的花都结果。”能得出什么
作案人。
21
Company Logo
第二节 模态推理
逻辑学第六章模态命题及其推理
三,模态命题之间的关系 同素材的简单模态命题"必然P" "必然非 " ,"可能 "与 必然非P 可能P 同素材的简单模态命题"必然 必然非 可能 与 可能非P 之间的关系 也可以用模态方阵来表示: 之间的关系, "可能非 "之间的关系,也可以用模态方阵来表示: 此图表明: 此图表明: 1."口P"与"口P "之间关系是反对关系.其中,一个真, 之间关系是反对关系. . 与 之间关系是反对关系 其中,一个真, 则另一个必假; 个假 另一个则真假不定. 个假, 则另一个必假; —个假,另一个则真假不定. 例如:"犯罪分子必然有作案时间"为真.那么"犯罪分子 例如: 犯罪分子必然有作案时间"为真.那么" 必然没有作案时间"为假.又如"犯罪分子作案后必然情绪反 必然没有作案时间"为假.又如" 常"为假,那么,"犯罪分子作案后必然不情绪反常"真假不定. 为假,那么, 犯罪分子作案后必然不情绪反常"真假不定. 2. "◇ 与"◇P"之间的关系是下反对关系.其个一 之间的关系是下反对关系. . "◇P"与"◇ 之间的关系是下反对关系 个假,另一个必真;一个真,另—个则真假不定. 个假,另一个必真;一个真, 个则真假不定. 个则真假不定 例如:"张某可能是杀人犯"为假,那么"张某可能不是杀 例如: 张某可能是杀人犯"为假,那么" 人犯"为真.又如"违法行为可能是犯罪行为"为真,那么"违 人犯"为真.又如"违法行为可能是犯罪行为"为真,那么" 法行为可能不是犯罪行为"就真假不定. 法行为可能不是犯罪行为"就真假不定.
规范命题及其推理
四、法律规范对当推理
1、矛盾关系对当推理 OP→ ~ P ~ p O ~ p→ ~ Pp ~ OP→P ~ p ~ O ~ p→Pp P ~ p→ ~ OP Pp→ ~ O ~ p ~ P ~ p→OP ~ Pp→O ~ p 例如: (1)并非子女必须随父姓,所以,子女可以不随父姓。 ~ OP→P ~ p (2)已婚夫妇不必须生育,所以,已婚夫妇允许不生育。 ~ OP→P ~ p (3)允许当事人在法庭上提出新的证据,所以,不禁止当事人在法庭上提出新的 证据。Pp→ ~ O ~ p (4)公安人员不允许对人犯刑讯逼供,所有,公安人员必须不对人犯刑讯逼供。 ~ Pp→O ~ p (5)这次考试必须在两个小时内交卷,所以,这次考试不允许在两个小时内不交 卷。OP→ ~ P ~ p
例如: (1)未经人民法院依法判决,对任何人都不 许确定为有罪,所以,未经人民法院依法判决, 对任何人都允许不确定为有罪。 ~ Pp→P ~ p (2)私营企业不允许不照章纳税,所以,私 营企业允许照章纳税。 ~ P ~ p→Pp
4、差等关系对当推理
OP→Pp ~ Pp→ ~ OP O ~ P→P ~ p ~ P ~ p→ ~ O ~ p (1)不允许有超越宪法和法律的特权,所以,不必须 有超越宪法和法律的特权。 ~ Pp→ ~ OP (2)知道案件情况的人都有作证的义务,所以,允许 知道案件情况的人作证。OP→Pp (3)青少年必须不抽烟,所以,允许青少年不抽烟。 O ~ P→P ~ p
(2)允许否定命题:
中华人民共和国公民在中华人民共和国 领域外犯本法规定之罪的,适用本法, 但是按本法规定的最高刑为三年一下有 期徒刑,可以不予追究。(《刑法》第7 条) 我们用符号“P”表示规范算子“允许”, 允许否定命题的逻辑形式是“P ~ p”, 读作“允许非p”。
(逻辑学课程课件)第六章模态逻辑
模态命题形式
四、模态命题形式
模态推理形式
逻辑学中所说的命题形式本质上是指命题的逻辑形式,即逻辑结构。同一个命题, 不同的逻辑决定它有不同的命题形式。例如,命题“所有商品是有价值的”。单从命 题逻辑来分析,其命题形式是“p”;如果从词项逻辑来分析,其命题形式就是“所有S 是 P”(S 为 主 项 , P 为 谓 项 ) ; 如 果 从 谓 词 逻 辑 来 分 析 , 其 命 题 形 式 就 是 “ x (SxPx)”(x为个体变项,S、P为谓词,为量词 )。
道义模态
广义模态
认知模态
模 态
狭义模态
时间模态 主观模态 客观模态
逻辑模态 非逻辑模态
三、模态命题及其特性
模态命题
命题是对事物情况的断定,如果这个断定中还含有模态 的内容,那么就是模态命题,否则就是非模态命题。
语言形式
内容
模 了上因这等能和模
态 模难素些。性人态
命 态以,非由、们命
题 命确因模于确认题
相应地,同一个模态命题,不同的逻辑决定它也有不同的命题形式。例如,模态 命题“如果物体受到摩擦,那么它必然发热”(甲)。如果从经典命题逻辑来分析, 其命题形式是“如果p,那么q”(乙);但是如果从模态逻辑来分析,其命题形式就应 该是“如果p,那么必然q”(丙)。这里,乙和丙都是模态命题甲的命题形式,但是对 模态逻辑来说有意义的是丙而不是乙,丙称为命题的模态形式。一般地,对于任意命 题,如果我们考虑到模态,并在有这部分内容时给出相应的形式表达,那么所得到的 命题形式都是命题的模态形式,由非模态命题得到的命题形式也可以看作是命题的模 态形式,即空模态形式。
语言中用来表达模态或模态概念的语词或符号称为模态词, 如 汉 语 中 的 “ 必 然 ” 、 “,符号“”、“”等。
法律逻辑学 第六章 模态命题
第六章模态命题药恩情一、模态命题的概念二、模态命题的种类一、模态命题重庆市的汽车都是靠右行驶的。
(性质命题)重庆市的汽车必须是靠右行驶。
(规范命题)重庆市的汽车可以是靠右行驶。
(规范命题)模态命题模态命题是一切包括可能、必然、必须、禁止等模态词的命题。
二、模态命题的种类(一)真值模态命题必然命题可能命题(二)规范模态命题必须命题允许命题(一)真值模态命题1.真值模态命题的概念2.真值模态命题的种类3.真值模态命题的对当关系1.真值模态命题的概念真值模态命题,是陈述事物情况的必然性或可能性的命题。
凡包含着“必然”、“可能”等词的命题,就叫真值模态命题。
由模态词和基础命题组成。
模态词:必然、可能。
真值模态命题例:事物必然是运动的。
??地球以外的天体可能存在生物。
今天一定有同学逃课。
今天可能要耽误吃饭。
2.真值模态命题的种类必然命题可能命题(或然命题)1.必然命题必然命题是陈述事物情况的必然性的命题。
必然命题分为必然肯定命题和必然否定命题。
必然肯定命题是陈述事物情况必然存在的命题。
表达式为必然p。
□p必然否定命题陈述事物情况必然不存在的命题。
表达式为必然不p。
□- p2.可能命题(或然命题)是陈述事物情况的可能性的命题。
分为可能肯定命题和可能否定命题。
可能肯定命题陈述事物情况可能存在的命题。
表达式可能p。
◇p可能否定命题是陈述事物情况可能不存在的命题。
表达式可能不p。
◇-- p符号其中:“必然”用□表示;“可能”用◇表示;而p表示基础判断:如即事物是运动的;必然p???或写成:□p地球以外的天体存在生物。
可能p???或写成:◇p3.真值模态命题的对当关系反对关系(张三一定是作案人)必然P 必然非P(张三一定不是作案人)差等关系差等关系(张三可能是作案人)可能P 可能非P(张三可能不是作案人)下反对关系反对关系必然P 与必然非P为反对关系,二者不可同真,可同假。
由一真可推出另一假。
下反对关系可能P与可能非P为下反对关系,二者不可同假,但可同真。
模态命题及其推理一模态命题1模态命题及其结构
⑶求同求异并用法 思路:考察两组事例,一组由被考察现象出现的若 干场合组成(称正事例组),一组由被考察现象不出 现的若干场合组成(称负事例组);如果在正事例中 有一个情况是共同的,这个情况在负事例组中都不出 现,那么这一情况就是被研究现象的原因。 ⑷共变法 思路:在其他情况都不变的条件下,如果一个情况 发生变化,另一被现象也随之发生相应程度的变化, 那么,前者就是后者的原因或部分原因。 ⑸剩余法 思路:如果某一复合现象由另一复合原因引起,把 其中确认有因果联系的部分减去,则剩余的部分也存 在因果联系。
满足上述要求的完全归纳推理其结论必然真。 完全归纳推理的运用有其局限性。 2.不完全归纳推理 不完全归纳推理即根据对某类思维对象部分个体 的考察,发现它们具有(或不具有)某种属性,从 而推出该类思维对象都具有(或不具有)该属性的 一般性知识的结论的推理。 不完全归纳推理结论的断定范围超出其前提的断 定范围,因而未必是真的。正因此,对不完全归纳 推理的作用,长期存在激烈争论。 不完全归纳推理因其推论的根据不同,又有两种 不同形式。
模态三段论有两种形式: ⑴纯模态三段论,即其前提全都是模态命题的推 理。它们或是由同一种模态命题构成,或是由不同 种的模态命题构成。具体说,有纯必然模态三段论、 纯可能模态三段论和必然可能模态三段论等。 当前提是由不同形式的模态命题组成时,推理的 结论应该同前提中那个确然程度较低的模态命题相 一致。 ⑵混合模态三段论,即其前提是由模态命题和性 质命题组成的模态推理。这种推理的结论应该与前 提中的模态命题相一致。
⑴演绎推理以归纳推理为基础; ⑵归纳推理以演绎推理为先导。
二、完全归纳推理和不完全归纳推理
根据前提是否考察了一类思维对象的全部个体,归 纳推理分为完全归纳推理和不完全归纳推理两种形式。 1.完全归纳推理 完全归纳推理即根据对某类思维对象所有个体的考 察,发现它们具有(或不具有)某种属性,从而推出 该类思维对象都具有(或不具有)该属性的一般性知 识的结论的推理。 对完全归纳推理的要求:前提所考察的应是某类思 维对象的所有个体,不能有遗漏;前提对每一思维对 象的考察所获信息都是真实可靠的。
Lg06模态逻辑讲解
逻辑分析:
原来,这位聪明的法国小伙子先吻了一下自己的手,然后打了纳粹军官一拳。这里,我们感兴趣的是其中所出现的判断“一定是他吻了这位老妇人或那位小伙子”,“可能是这个法国男子想吻这位姑娘”。第一个判断是断定他吻了这位老妇人或那位小伙子的必然性,而第二个判断则断定这个法国男子想吻这位姑娘的可能性。这种断定事物可能性与必然性的判断就是模态1)必然P与可能P之间、 必然非P与可能非P之间 是差等关系。 (2)特点是: 必然命题真则可能命题必真; 必然命题假则可能命题真假不定。
*
例1: □P 人固有一死。 ◇P 人可能会死。 即: □P→ ◇P 例2: □P 动物必然是四足的。 ◇P 动物可能是四足的。 即: ¬ □ P →?
*
第二节 模态命题的种类
一、基本模态命题的定义 基本模态命题也叫真实模态命题。它是反映事物情况存在的必然性和可能性的命题——必然命题和可能命题: 必然命题包括必然肯定命题和必然否定命题; 可能命题包括可能肯定命题和可能否定命题。
*
3、上反对关系 (上边线) (1) 必然P与必然非P之间是反对关系。 (□P) (□¬ P) (2) 特点是:二者不能同真,可以同假。 即:一真则另一必假; 一假则另一真假不定。
*
你知道是怎么回事吗?
老妇人想:“真是活该! 幸亏现在的姑娘们 学会了如何保护自己。”
*
少女寻思: “奇怪!他没有吻我, 一定是吻了这位 老妇人或 那位小伙子。”
*
纳粹军官也在纳闷: “怎么啦?我什么也没做, 可能是这个法国男子 想吻这位姑娘, 她失手打着了我。”
*
只有那位法国男子 对事情了解得一清二楚。 你知道是怎么回事吗?
*
(1) 必然p ↔并非可能非p 矛盾关系 (2)必然非p ↔并非可能p (3)可能p ↔并非必然非p (4)可能非p ↔并非必然p (5)必然p→可能p 差等关系 (6)必然非p→可能非p (7)并非可能p →并非必然p (8)并非可能非p →并非必然非p 反对关系 (9)必然p →并非必然非p (10)必然非p →并非必然p 下反对关系 (11)并非可能p →可能非p (12)并非可能非p →可能p
模态逻辑—模态命题和推理
二、规范命题的分类
必须型规范命题,也称为义务性规范或强制性规范命题.
允许型规范命题,也称为授权性规范命题 禁止型规范命题,(可不列为一种单独类型)
三、对当关系(指“规范”妥当或不妥当的关 系)
¬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. 有的错误必然不能避免。
06章 规范命题
必然否定命题:S必然不是P
或然肯定命题:S可能是P 或然否定命题:S可能不是P
□p □~p ◇p
差 等 关 系
反对关系
矛 矛 盾盾 关 系
□~p
差 等 关 系
关 系
◇p
下反对关系
◇~p
真值模态命题相互间的逻辑关系
例如:“醉酒的人犯罪,应当负刑事责任。” 整理后可表示为:“醉酒的人犯罪负刑事责任” 是“必须”的。 命题公式:
“A”是“必须”的; 或者“必须A”
四、规范命题的分类
(一) “必须”型规范命题(义务性、命令性、 强制性) “律师执业必须以事实为根据,以法律为准绳。”
“审判人员应当依法秉公办案。” “当事人对自己提出的主张,有责任提供证据。” “人民法院有义务保证被告人获得辩护。”
真值模态命题负命题的等值式
由上述逻辑关系可知:真值模态命题的负命题, 等值于被否定的模态命题的矛盾命题:
1、~□p 2、~□~p 3、~◇p
4、~◇~p
◇~p ◇p □~p □p
练习:P160第1—4题。
练习:
1、断定“并非学习成绩好的人必然品德好”,是否等
于断定“学习成绩好的人必然品德不好”? 分析:原命题形式是~□p,等值于◇~p,即“学习成 绩好的人可能品德不好”;□p与□~p 是反对关系。
第六章 规范命题
命题的分类
性质命题
简单命题 关系命题 联言命题 复合命题 命题 真值模态命题 模态命题 规范模态命题 选言命题 假言命题 负命题
非模态命题
第一节 模态命题与真值模态命题
一、模态命题概述 二、真值模态命题的特征及其分类 三、真值模态命题相互间的逻辑关系
第六章模态命题及其推理
练习:请列出下列模态推理的形式,并说明它 是否正确。 1.李明今年可能考上大学,所以,李明今年不必 然考上大学。 2.今年的物价不必然会涨,所以,今年的物价必 然不会涨。 3.患感冒的人不必然发烧,所以,患感冒的人可 能发烧。 4.北方人冬天到南方来对气候可能不适应,所以, 北方人冬天到南方来对气候不必然不适应。
• 第六章
• 第一节
模态命题及其推理
模态命题
• 一、什么是模态命题 • 二、模态命题的种类 • 三、模态命题之间的关系
• 第二节
模态推理
• 一、根据模态逻辑方阵进行的模态推理 • 二、模态三段论
• 第一节
模态命题
• 一、什么是模态命题
• 所谓模态,是指事物或认识的必然性和可能性的性质。 • 表达模态的语词或符号称为模态词。例如:“必然”、“可能” 等等。。 • 模态命题就是反映事物的可能性或必然性的命题。例如: • ①犯罪分子有可能逃跑。 • ②犯罪分子必然要受到法律的制裁。 • 这些都是模态命题。例①反映了犯罪分子逃跑的可能性, • ②反映了犯罪分子受到法律制裁的必然性。
• 三、模态命题之间的关系 • 同素材的简单模态命题“必然P” “必然非P ” 、“可能P ”与 “可能非P ”之间的关系,也可以用模态方阵来表示: • 此图表明: • 1.“口P”与“口﹃P ”之间关系是反对关系。其中,一个真, 则另一个必假; —个假,另一个则真假不定。 • 例如:“犯罪分子必然有作案时间”为真.那么“犯罪分子 • 必然没有作案时间”为假。又如“犯罪分子作案后必然情绪反 • 常”为假,那么,“犯罪分子作案后必然不情绪反常”真假不定。 • 2. “◇P”与“◇﹃P”之间的关系是下反对关系。其个一 • 个假,另一个必真;一个真,另—个则真假不定。 • 例如:“张某可能是杀人犯”为假,那么“张某可能不是杀 • 人犯”为真。又如“违法行为可能是犯罪行为”为真,那么“违 • 法行为可能不是犯罪行为”就真假不定。 •
(逻辑学课程课件)第六章模态逻辑
模态 模态词 叠置模态词
第一节 模态逻辑概述
一、模态与模态逻辑
英文modal的音译,源于拉丁词modalis,具有形态、样式等意 思。具体来说,模态是指客观事物或人们认识的存在和发展 的样式、情状、趋势等。模态在人们思维中的反映,表现为 一定的认识或观念,这就是模态概念。对于不同的模态会有 不同的模态概念,例如对必然性就有不同的看法和理解,如 逻辑的必然性和非逻辑的必然性,客观的必然性和主观的必 然性等,从而形成不同的必然性概念。
可能肯定命题
可能肯定命题是断定事物情况可能存在的命
题。例如,“长期大量吸烟可能致癌”。其 逻辑形式为:可能p。可能用符号“◇”表 示。所以可能肯定命题写为:◇ p。
可能否定命题
可能否定命题是断定事物情况可能不存在的
命题。例如,“强盗的儿子可能不是强 盗”。。其逻辑形式为:可能非p。所以可 能否定命题写为:◇ p。
都 题定此态模定识反
含 有 模 态 词 。
的 复 杂 性 。
其 真 假 , 带
导 致 了 在 直
命 题 所 没 有
态 命 题 增 加
性 。 不 确 定
的 必 然 性 、
映 了 客 观 事
来观的了性可物
模态词
命题联结词
模态词和命题联结词一样,都是由命题形成命 题的算子,但是,这两者之间有一重要区别:后者 是真值函项性的,而前者不是。这就是说,由各种 命题联结词联结原子命题所形成的复合命题的真值, 是由组成该命题的原子命题的真值所惟一决定的。 但是,含有模态词的命题的真值并不由其中的非模 态命题的真值所完全决定的。例如,根据“地球是圆 的”这个命题的真假,我们不能确定地推知“地球必 然是圆的”、“地球应该是圆的”等命题的真假。模态 词的这一性质叫做非真值函项性,或者叫做内涵性。 模态词的非真值函项性带来了模态命题的复杂性, 即模态命题的真假需要通过建立可能世界语义学才 能得到说明。
第6章 模态命题和规范命题 法律逻辑学 教学课件
3
根据真值模态命题断定的是事物情况的必 然性还是可能性,可将其分为如下两类:
必然命题
• 如:改革会遇到阻力,这是必然的;
•
任何高超的技术都不是一天能学会的
– 必然肯定命题:□ p
– 必然否定命题:□ p
6
或然命题(可能命题)
允许教师利用电教设备 授课。 已知: 允许p真。 据矛盾关系, 禁止p假; 据下反对关系,允许非p 可真可假; 据差等关系,必须p 可真可假。
25
刑法规范命题的一般特征和结构特点
刑法规范命题的一般特征
➢ 刑法规范命题具有明显的强制性 ➢ 在同一个国家的法律体系内,刑法规范命题与其他法
律规范命题之间具有关联性 1.刑法规范命题与其他法律规范命题之间,在逻辑结构
29
• 如:肝炎转化为肝癌是可能的。 本案作案人可能不是当地人。
– 可能肯定命题:◇p – 可能否定命题:◇ p
7
真值模态命题相互间的逻辑关系— —对当关系
□p
反对关系
□p
差
矛
等
矛
差 等
关
盾
盾
关
系
关
系
系
系
◇p
下反对关系
◇p
8
运用模态命题应注意的问题 ➢ 要善于区分事物模态和认识模态 ➢ 人们认识客观事物情况要有一个过程 ➢ 否定词在模态概念前后的位置不同,断
第6章 模态命题和规范命题
本章主要讲述内容
1 模态命题与真值模态命题
2 规范命题
3 规范命题相互间的逻辑关系
4 43
刑法规范命题的一般特征和结构特点
逻辑学[第六章模态命题及其推理] 山东大学期末考试知识点复习
第六章模态命题及其推理【内容提要】一、模态命题。
真值模态命题主要是指反映事物情况的可能性或必然性的命题,又分为必然肯定命题、必然否定命题、可能肯定命题、可能否定命题四种,要点是着重掌握四种真值模态命题之间的真假关系,做到正确地使用模态命题。
规范模态命题是含有“必须”(或“应当”)、“允许”、“禁止”这类涉及人的行为规范的模态词的模态命题,它又分为必须肯定命题、必须否定命题、允许肯定命题、允许否定命题、禁止肯定命题、禁止否定命题六种,要点是掌握它们之间的真假关系以及“必须”和“禁止”间的等值关系。
二、模态推理,分为真值模态推理和规范模态推理两种。
真值模态推理的要点是模态对当关系推理的有效形式,以及据“实然”、“必然”、“或然”之间的关系进行推演的模态推理。
规范模态推理的要点是规范对当关系推理以及据“必须”、“禁止”之间的等值关系进行推演的推理。
【重点】是。
这就是说,由各种命题联结词联结肢命题所形成的复合命题,其真值是由组成该命题的肢命题的真值所唯一决定的。
但是,含模态词的命题的真值并不由其中的非模态命题的真值所完全决定。
例如,从“地球是圆的”这个命题的真假,不能确定地推知“地球必然是圆的”、“地球应该是圆的”这些命题的真假,后面这些命题的真假与前一命题有关,但并不为它的真假所完全决定。
模态词的这一性质叫做非真值函项性,或者叫做内涵性。
二、规范模态命题之间的关系与真值模态命题之间关系的异同应当(义务)和允许之间的关系与必然和可能之间的关系是类似的,即:一命题是必然的当且仅当它的否定是不可能的;同样,一行为是义务的,当且仅当不做该行为是不允许的。
并且,从必然p推出可能p,从不可能p推出必然非p;同样,从应该p推出允许p,从不允许p推出应该非p。
但是,这种类似并不是完全的、绝对的,两者之间存在着差异。
例如,在真值模态概念那里从必然p可推出p,从p可推出可能p;而在规范模态概念那里,若从义务p推出p(应做的事情全都做了),从p推出允许p(做过的事情都是允许做的),却是违反常理的。
第六章 模态判断
第六章模态及其推理第一节模态判断一、什么是模态判断?模态判断,有广义和狭义之分,广义是指一切包含有模态词的判断,狭义的主要是指其中包含有“必然”和“可能”这类模态词的判断。
定义:模态判断是反映事物可能性或必然性的判断。
例如:1、社会必然不断进步。
2、明天可能不下雨这些都是模态判断。
例1反映了社会进步的必然性。
例2反映了“明天不下雨具有可能性”。
二、模态判断的种类根据判断所反映的是事物可能性还是必然性,可以把模态判断分为可能判断和必然判断。
1、可能判断。
反映事物情况可能性的判断是可能判断。
可能判断又分为两种:肯定可能判断和否定可能判断。
(1)肯定可能判断:是反映事物情况可能存在的判断。
例1、火星上可能有生命存在。
例2、今天可能下雨。
前者反映火星上存在生命具有可能性,后者反映今天下雨的具有可能性。
公式:“S可能是P”或“S是P是可能的”简化为:“可能P”或“◇P”(在这里,P表示判断,“◇”模态算子,表示“可能”)。
(2)否定可能判断:是反映事物情况可能不存在的判断。
例1、明天可能不下雨。
例2、他可能没有20岁。
前者反映“明天下雨”这种情况可能不存在,后者反映“他有20岁”这种情况可能不存在。
公式:“S可能不是P”或“S不是P是可能的”,也可简化为“可能┒P”(即可能非P“或”◇┒P)。
2、必然判断。
反映事物情况必然存在的判断是必然判断。
(1)肯定必然判断。
是反映事物情况必然存在的判断。
例如:a.生物必然进行新陈代谢。
b.我国的四个现代化必然能实现。
前者反映了“生物进行新陈代谢”的必然性,后者反映了,“我国实现四个现代化的必然性”。
公式:“S必然是P”或“S是P是必然的”简化为“必然P”,“或□P”,(“□”是模态算子,表示“必然”)。
(2)否定必然判断。
是反映事物情况必然不存在的判断,例:a.谎言是必然不能长久骗我的。
b. 客观规律不依人们意志为转移是必然的。
前者反映了“谎言能长久骗人”是必然不存的。
模态命题及其推理一模态命题1模态命题及其结构
⑴简单枚举归纳推理 简单枚举归纳推理由前提得出结论的依据,是在 考察过程没有遇到相反情况。 未遇反例只是从个别推出一般的必要条件,而非 充分条件,因而其结论是不甚可靠的。 提高简单枚举归纳推理结论可靠性的方法: Ⅰ.考察对象的数量应当足够多; Ⅱ.尽力在不同的条件下考察对象; Ⅲ.没有公认的考察结果与推出的结论相冲突。 不注意以上各点,可能出现“以偏概全”的逻辑 错误。
⑵科学归纳推理 科学归纳推理由前提得出结论的依据,是在未遇 反例的基础上,进一步考察某类思维对象之所以有 某种属性的原因。 科学归纳推理的特点是,不仅知其然,而且知其 所以然,因而其结论较之简单枚举归纳推理是更为 可靠的。 对科学归纳推理而言,其结论的可靠性,主要取 决于所考察的思维对象是否具有代表性或典型性, 而不在于考察对象数量的多少。
三、探求因果联系的逻辑方法
1.因果联系及其特点
因果联系是思维对象间的一种重要联系形式, 是指不同思维对象之间的引起和被引起关系。 因果联系的特点: ⑴时间上的前后相继性; ⑵性质上的必然性和确定性; ⑶某一特定时段内的共存性和共变性; ⑷表现形式上的复杂多样性。
2.探求因果联系的方法(穆勒五法) ⑴求同法 思路:在被研究现象出现的若干场合,如果只有 一个情况是相同的,其他情况都不同,那么这个唯 一共同的情况就是被研究现象的原因。 ⑵求异法 思路:如果被研究现象在一个场合出现,在另一 场合不出现,而在这两个场合中只有一个情况不同, 其他情况都相同,那么这个唯一不同的情况就是被 研究现象的原因。
二、模态推理
模态推理就是以模态命题为前提,并根据模态命题 的逻辑特点或相互关系进行的推理。例如: 违反法律必然受到法律的惩罚, 他违反了法律, 所以,他必将受到法律的惩罚。 模态推理有诸多不同形式,主要为: 1.根据对当关系进行的模态推理。 2.根据模态命题的负命题进行的模态等值推理。 3.模态三段论 模态三段论就是在三段论中引入模态词而进行的推 理。如上例。
06模态命题及推理
思考题
1.什么是广义的模态命题?什么是狭义的模态命题? 模态命题的基本特点是什么? 2.客观事物模态与主观认识模态有何区别?简单模 态命题与复合模态命题有何区别? 3.什么是模态推理?常用的模态推理有哪几种? 4.什么是规范命题?规范命题中的真假与性质命题 的真假有何不同? 5.简单规范命题包含哪些种类? 6.什么是规范逻辑方阵? 7.规范三段论推理要遵守哪些规则?
解析:答案是D。
本杰明:“除非所有的疾病都必然有确定的诱因,否则有些疾病可能难以 取防。” 富兰克林:“我不同意你的看法。” 以下哪项断定,能准确表达富兰克林的看法? A.有些疾病可能没有确定的诱因,但有些疾病可能加以预防。 B.所有的疾病都可能没有确定的诱因,但有些疾病可能加以预防。 C.有些疾病可能没有确定的诱因,但所有的疾病都必然可以预防。 D.有些疾病必然没有确定的诱因,但所有的疾病都可能加以预防。 E.所有的疾病都必然有确定的诱因,但有些疾病可能难以预防。
(2)必然否定命题。这是反映事物情况必然不存 在的命题。 例如: ①他必然不会来了。 ②客观规律必然不依人的意志为转移。 公式表示为:“S必然不是P”、“S是P不是必然 的”;也可简化为“必然非P”、“P不是必然的”、 “必然P”。 用符号表示为:口﹁P。
(3)可能肯定命题。这是反映事物情况可能 存在的命题。例如: ①甲班可能得到流动红旗。 ②明天下大雪是可能的。 公式表示为:“S可能是P”、“S是P是可能 的”;也可简化为“可能P”、“P是可能的”。 用符号表示为: ◇ 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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第五章模态命题及其推理第一节模态命题一、什么是模态命题?模态命题,有广义和狭义之分,广义是指一切包含有模态词的命题,狭义的主要是指其中包含有“必然”和“可能”这类模态词的命题。
定义:模态命题是反映事物可能性或必然性的命题。
例如:1、社会必然不断进步。
2、明天可能不下雨这些都是模态命题。
例1反映了社会进步的必然性。
例2反映了“明天不下雨具有可能性”。
二、模态命题的种类根据命题所反映的是事物可能性还是必然性,可以把模态命题分为可能命题和必然命题。
1、可能命题。
反映事物情况可能性的命题是可能命题。
可能命题又分为两种:肯定可能命题和否定可能命题。
(1)肯定可能命题:是反映事物情况可能存在的命题。
例1、火星上可能有生命存在。
例2、今天可能下雨。
前者反映火星上存在生命具有可能性,后者反映今天下雨的具有可能性。
公式:“S可能是P”或“S是P是可能的”简化为:“可能P”或“◇P”(在这里,P表示命题,“◇”模态算子,表示“可能”)。
(2)否定可能命题:是反映事物情况可能不存在的命题。
例1、明天可能不下雨。
例2、他可能没有20岁。
前者反映“明天下雨”这种情况可能不存在,后者反映“他有20岁”这种情况可能不存在。
公式:“S可能不是P”或“S不是P是可能的”,也可简化为“可能┒P”(即可能非P “或”◇┒P)。
2、必然命题。
反映事物情况必然存在的命题是必然命题。
(1)肯定必然命题。
是反映事物情况必然存在的命题。
例如:a.生物必然进行新陈代谢。
b.我国的四个现代化必然能实现。
前者反映了“生物进行新陈代谢”的必然性,后者反映了,“我国实现四个现代化的必然性”。
公式:“S必然是P”或“S是P是必然的”简化为“必然P”,“或□P”,(“□”是模态算子,表示“必然”)。
(2)否定必然命题。
是反映事物情况必然不存在的命题,例:a.谎言是必然不能长久骗我的。
b. 客观规律不依人们意志为转移是必然的。
前者反映了“谎言能长久骗人”是必然不存的。
后者反映了,客观规律依人们意志为转移这个情况是必然不存在的。
否定必然命题可用公式表示为“S必然不是P”或“S不是P是必然的,”也可以简化为“必然┒P”(即:必然非P)或□┒P。
三、模态命题之间的关系以上四种模态命题之间,也可以用逻辑方阵来表示出类似性质命题对当关系那样的一种真假关系。
如下图:P可能□P 可能□┒P1、必然P与必然□┒P之间的关系是反对关系。
(不能同真,可以同假)。
2、可能P与可能□┒P之间的关系是下反对关系。
(不能同假,可以同真)。
3、必然P与可能□┒P,必然□┒P与可能P之间的关系是矛盾关系。
(既不同真,也不同假)。
4、必然□P与可能P,必然□┒P与可能□┒P之间的关系是差等关系。
(既可同真也可同假;但不完全同真同假)。
第二节模态推理定义:模态推理是根据模态命题的性质和关系进行的推理。
它的前提中至少有一个模态命题,结论是模态命题。
例如:所有在历史产生的东西最终必然死亡。
资本主义制度是历史上产生的东西。
所以,资本主义制度最终必然死亡。
模态推理是一个极其复杂的问题,古往今来已经有许多模态逻辑系统,这里只介绍传统逻辑中的三种模态推理的基本形式。
一、对当模态推理对当模态推理就是根据模态逻辑方阵中的模态命题之间的对当关系进行的推理。
例如:(一)矛盾关系(1)必然P 事物必然运动。
不可能非P 所以,事物不可能不运动。
(2)不必然P 得癌不必然死。
可能非P 所以,得癌症可能不死。
(3)必然非P 谎言必然不能长期骗人。
不可能P 所以,谎言不可能长期骗人。
(4)不必然非P 某人的病不必然治不好。
可能P 所以,某人的病可能会治好。
同理也可以由可能P,可能非P的真假,推出必然非P与必然P的假真。
(二)反对关系(1)必然P 事物必然包含矛盾。
不必然P 所以,事物不必然不包含矛盾。
(2)必然非P 幸福必然不会从天降。
不必然P 所以,幸福不必然会从天降。
(三)、下反对关系(由假推真)(1)不可能P 明天不可能下雨。
可能非P 所以,明天可能不下雨。
(2)不可能非P 明天不可能不下雨。
可能P 所以,明天可能下雨。
(四)、差等关系(1)必然P 某人必然出色完成任务。
可能P 所以,某人可能出色完成任务。
(2)不可能P 明天不可能下雨。
不必然P 所以,明天不必然下雨。
同理,由“必然非P”真,推出“可能非P”真,由“可能非P”假推出“必然非P”假。
二、“必然”“实然”“可能”三种命题间的推演实然命题是在日常语言中不带模态词的命题,前面讲的性质命题都是实然命题。
为了与模态命题一致,我们用“P”表示实然肯定命题,“非P”表示实然否定命题。
例:老王必然在家老王在家老王可能在家从例中可以看出由“由必然到可能”口气越来越弱,“必然”的断定较“实然”的多,“实然”的断定较“可能”的多。
因此,可以由必然P真推出实然P真。
由实然P真推断可能P真。
反之则不能。
(1)必然P→P (2)P→可能P(3)必然非P→非P (4)非P→可能非P但可由可能P假,推出P假,由P假推出必然P假。
三、模态三段论模态三段论就是以模态命题为前提和结论的三段论。
也可以说,模态三段就是在三段论系统中引入模态词所构的三段论。
这里只介绍四种:1、必然模态三段论必然模态三段论是在三段论中引入必然这一模态词所构成的三段论。
以AAA式为例,它的形式为:所有有M必然是P所有的S必然是M所以,所有S必然是P例:一切绿色植物必然雪进行光合作用:海洋藻类必然是绿色植物:所以,海洋藻类必然要进行光合作用2、必然和可能模态三段论由必然和可能两种模态命题组成的三段论,其结论是可能模态命题,而不是必然模态命题。
其形式:M必然是P,S可能是M;所以,S可能是P例:灵长类动物必然有比较复杂的大脑,这些动物可能灵长类动物所以,这些动物可能有比较复杂的大脑3、必然和实然混合的模态三段论必然和实然混合的模态三段论,其结论是必然命题,如:所有M必然是P所有S是M所以,所有S必然是P这里小前提肯定了S包含于M中,而M又必然包含于P中,所以,S也必然包含于P中。
例如:所有哺乳动物必然用肺呼吸鲸是哺乳动物所以,鲸必然用肺呼吸4、可能和实然混合的模态三段论可能和实然结合的模态三段论,其结论是可能命题。
如:所有M可能是P所有S是M所以,所有S可能是P这里小前提肯定了S包含于M中,而M又可能包含于P,所以S也可能包含于P 中。
例如:凡与被害者有仇恨的人都可能是作案的凶手张某是与被害者有仇恨的人所以,张某可能是作案的凶手第三节规范命题一、什么是规范命题?规范命题是指含有“必须”(或“应该”)、“允许”、“禁止”这些规范模态词的命题。
例如:1、公民必须遵守宪法和法律。
2、允许开办私营企业。
这些都是规范命题。
前者表示公民遵守宪法和法律是必须的;后者表示开办私营企业是允许的。
二、规范命题的种类在现代规范逻辑中,作为逻辑常项的规范模态词有三个:(1)“必须”(用“O”表示)。
现代汉语中表示这一规范词的还有“应当”、“应该”、“有义务”等等。
(2)“允许”(用“P”表示)。
现代汉语中表示这一规范词的还有“可以”、“准予”等。
(3)“禁止”(用“F”表示)。
现代汉语中表示这一规范词的还有“不准”、“不得”等。
相应的规范命题也可以分为三种:必须规范命题、允许规范命题、禁止规范命题。
每一种又可分为“肯定的”或“否定的”。
这样规范命题就可分为6种。
1、必须肯定命题:必须p(Op)例:我们必须认真学习科学文化知识。
2、必须否定命题:必须非p(O¬p)例:一切公民的行为都必须不违反现行法律。
3、允许肯定命题:允许p (P p)例:允许一部分人先富起来。
4、允许否定命题:允许非p (P¬p)例:允许部分学生不参加植树。
5、禁止肯定命题:禁止p (Fp)例:禁止随地吐痰。
6、禁止否定命题:禁止非p (F¬p)例:禁止司机行车不带驾驶执照。
由于禁止p(Fp)同必须非p(O¬p)、禁止非p(F¬p)同必须p(Op)其陈述是相同的,因而,我们可以用“必须p”来表示“禁止非p”;“必须非p”表示“禁止p”。
这样一来,上述6种命题实际上可归结为以下四种命题:四种主要规范命题:1、必须p(Op)2、必须非p(O¬p)3、允许p(P p)4、允许非p (P¬p)三、四种主要规范命题之间的关系四种主要规范命题之间也具有类似A、E、I、O之间的真假关系,也可用逻辑方阵表示: Op O¬pPp P¬p第四节规范推理规范推理就是以规范命题作为前提和结论的推理。
一、根据规范逻辑方阵进行推演的规范推理。
几种主要的有效式:1、必须p→允许p2、必须非p→允许非p3、必须p→不允许非p4、必须非p→不允许p5、允许p→不必须非p6、允许非p→不必须p7、必须p→不必须非p 8、必须非p→不必须p二、根据“必须”与“禁止”之间的等值关系进行的推理有效式:1、必须p→禁止非p2、必须非p→禁止p3、禁止p→必须非p4、禁止非p→必须p三、规范三段论规范三段论就是在三段论中引入规范词的三段论。
其大前提是规范命题,小前提是性质命题,结论是规范命题。
常见的规范三段论有三种:1、必须规范三段论凡M必须是P凡S是M所以,凡S必须是P2、禁止规范三段论凡M禁止P凡S是M所以,凡S禁止P3、允许规范三段论凡M允许P凡S是M所以,凡S允许P。