第六章模态命题及其推理
第六章 模态命题

7.制裁规范与行为规范不同。此处,行为规 范即第一性法律关系(第一性权利义务关 系),制裁规范即第二性法律关系(第二 性权利义务关系)。且主体有时有不同 (制裁规范是对行政、司法机关作出的指 示) 如:场内禁止吸烟,违者罚款50元。 前者是行为规范,后者是制裁规范。 制裁规范的主体是制裁执行者。
二、真值模态命题的特征及其分类 (一)必然命题:断定事物情况具有必然性的命题。 1.模态词通常为:必然、一定、必定、必将、总是等 2.分类: 2.1必然肯定命题:S必然是P==“S是P”是“必然”的 ==表示相等,=表示赋值 符号表达:□p 读作:必然p 2.2必然否定命题:S必然不是P==“S不是P”是“必然”的 必然不=“不”的必然≠不必然 符号表达:□~p 读作:必然非p
3.规范命题的完整结构:承受者(针对的人, 主体对象);假定;行为;执行方式(模 态词) 例如:课本p139,两个例子 4.规范命题的分类: 4.1个别规范(承受者为具体某人);一般 规范(承受者为一类人) 4.2具体规范(假定是一次有效的);抽象 规范(假定是多次有效的)
(二)或然命题: 1.模态词通常为:可能、也许、大概等 2分类: 2.1肯定或然命题:S可能是P==“S是P”是“可能” 的 符号表达:◇p 读作:可能p 2.2否定或然命题:S可能不是P==“S不是P”是“可 能”的 可能不=“不”的可能≠不可能 符号表达:◇~p 读作:可能非p
三、规范命题的组成 1. “某人具有特征(T),并且出现情况(W)”都归属于 行为规定,可以用X代替。 所以:(T∧W)→(m)C,可以简化为:(m)(X→C) 或(X→C)(m) 2. (X→C)可以进一步简化为A,即“某人具有特征 (T),并且出现情况(W),作出C行为”=A 3.模态词可以抽取: 所以“A”是必须(可以、禁止)的=“必须(可以、禁止) A” 4.所以,规范模态命题的基本组成为:行为规定(以A代 替)和执行方式(即规范模态词),即(m)A。 前者是变量,后者是常量。
逻辑学第三版答案第六章 模态命题及其推理

第六章模态命题及其推理一、指出下列命题各属何种模态命题,并用公式表示其命题形式。
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
第二节 模态推理
规范命题及其推理

四、法律规范对当推理
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 ——模态命题¾A.这个荒岛可能有人去过。
¾B.这个荒岛可能没人去过。
¾C.这个荒岛一定有人去过。
¾D.这个荒岛一定没有人去过。
案例2——模态命题¾A.禁止在公共场所吸烟。
¾B.保管人不得将保管物转交第三人保管,但当事人另有约定的除外。
¾C.学生不准不请假而长期离校。
¾D.禁止公务员不按规章制度办公事。
案例3——模态命题¾小王知道老舍是《茶馆》的作者。
¾小李相信这个人杀害了那个摊主。
¾老王断定这台电脑中了病毒。
案例4——模态推理¾人不可能拉着头发把自己提到空中。
¾所以,人不能拉着头发把自己提到空中。
案例5 ——模态推理(1)老舍是《茶馆》的作者,舒舍予就是老舍,所以,舒舍予是《茶馆》的作者。
(2)小王知道老舍是《茶馆》的作者,舒舍予就是老舍,所以,小王知道舒舍予是《茶馆》的作者。
案例6 ——模态推理¾2006年德国世界杯决赛加时赛下半时,无数球迷就目睹了这么惊人的一幕:法国队的齐达内用头撞倒了意大利队的中后卫马特拉齐。
对于这种行为,当值主裁判埃利松多立即“照章办事”,毫不含糊地用红牌把齐达内罚下场去。
¾这个“照章办事”中的推理过程是:¾故意撞人且情节恶劣的运动员应该判罚下场,¾齐达内故意撞人且情节恶劣,¾所以,齐达内应该判罚下场。
案例7 ——模态推理超市不送发票行吗?¾我是江苏的消费者。
不久前,我在某超市购买了一台冰箱。
付清全款后,我要求超市开发票,他们说发票由送货公司送货时一并送到。
可送货公司到我家送货,我索要发票时,送货公司却说他们只负责送货,没有拿到超市的发票。
我只好再打电话到超市,要求他们把发票送到我家。
不料,超市态度生硬地拒绝了我的要求,并强调他们不管送发票,要我亲自去取。
请问,超市的做法合理吗?案例9 ——模态推理律师解答:¾《中华人民共和国消费者权益保护法》规定:经营者提供商品或者服务应当按照国家的规定或者商业惯例,向消费者出具购货凭证或者服务单据。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
练习:请列出下列模态推理的形式,并说明它 是否正确。 1.李明今年可能考上大学,所以,李明今年不必 然考上大学。 2.今年的物价不必然会涨,所以,今年的物价必 然不会涨。 3.患感冒的人不必然发烧,所以,患感冒的人可 能发烧。 4.北方人冬天到南方来对气候可能不适应,所以, 北方人冬天到南方来对气候不必然不适应。
• 第六章
• 第一节
模态命题及其推理
模态命题
• 一、什么是模态命题 • 二、模态命题的种类 • 三、模态命题之间的关系
• 第二节
模态推理
• 一、根据模态逻辑方阵进行的模态推理 • 二、模态三段论
• 第一节
模态命题
• 一、什么是模态命题
• 所谓模态,是指事物或认识的必然性和可能性的性质。 • 表达模态的语词或符号称为模态词。例如:“必然”、“可能” 等等。。 • 模态命题就是反映事物的可能性或必然性的命题。例如: • ①犯罪分子有可能逃跑。 • ②犯罪分子必然要受到法律的制裁。 • 这些都是模态命题。例①反映了犯罪分子逃跑的可能性, • ②反映了犯罪分子受到法律制裁的必然性。
• 三、模态命题之间的关系 • 同素材的简单模态命题“必然P” “必然非P ” 、“可能P ”与 “可能非P ”之间的关系,也可以用模态方阵来表示: • 此图表明: • 1.“口P”与“口﹃P ”之间关系是反对关系。其中,一个真, 则另一个必假; —个假,另一个则真假不定。 • 例如:“犯罪分子必然有作案时间”为真.那么“犯罪分子 • 必然没有作案时间”为假。又如“犯罪分子作案后必然情绪反 • 常”为假,那么,“犯罪分子作案后必然不情绪反常”真假不定。 • 2. “◇P”与“◇﹃P”之间的关系是下反对关系。其个一 • 个假,另一个必真;一个真,另—个则真假不定。 • 例如:“张某可能是杀人犯”为假,那么“张某可能不是杀 • 人犯”为真。又如“违法行为可能是犯罪行为”为真,那么“违 • 法行为可能不是犯罪行为”就真假不定。 •
• 二、模态命题的种类
• 1.可能命题。也叫或然命题,是反映事物情况可能性的命题。 可能命题又分为两种:可能肯定命题和可能否定命题。 可能肯定命题是反映事物情况可能存在的命题。例如:
• ①今天可能下雨。 • ②潜逃的罪犯可能拒捕。 • 例①反映了今天下雨的可能性存在,例②则反映了罪犯拒捕的可能性存在。 其逻辑形式是: • 可能“P”或“◇P” • 在这里,“P ” 表示非模态命题,“◇”是表示可能模态词符号。 可能否定命题是反映事物情况可能不存在的命题。例如: • ①今天可能不下雨。 • ②被害人不认识犯罪嫌疑人是可能的。 • 例①反映下雨这种情况可能不存在,例②则反映被害人认识犯罪嫌疑人这种 情况可能不存在。 其逻辑形式是: • “可能非P或“◇﹃P”
• 3. “口P”与“◇﹃P” 、 “口﹃P ”与“◇P”之间的 关系是矛盾关系。其中,一个真,另一个必假; —个假,
另一个必真。 • 以“口P”与“◇﹃P ”为例: “犯罪分子必然有作案时间” 为真,那么,“犯罪分子可能没有作案时间”为假;“溺死必 然是自杀”为假,那么“溺死可能不是自杀” 就为真。 • 4. “口P”与“◇P”, “口﹃P ”与“◇﹃P”之间的 关系是差等关系。以“口P”与“◇P”为例,其中,“口P” 真, “◇P”必真;“口P”假, “◇P”则真假不定; “◇P” 假,则“口P”必假; “◇P”真,则“口P”真假不定。 “口﹃ P ”与“◇P”之间的真假关系同上。 • 例如:“罪犯必然畏罪潜逃”为真,那么,“罪犯可能畏罪 潜逃”也为真。反之,“犯罪分子必然有前科”为假,那么, “犯罪分子可能有前科”就真假不定。如果“罪犯可能自杀” 为真,那 • 么,“罪犯必然自杀”则真假不定;如果“他可能自杀”为假, 那么,“他必然自杀”也为假。
• (二)必然可能三段沦 • 由必然和可能两种模态命题组成的三段论,其 结论是可能模态命题,而不是必然模态命题。 其逻辑形式为: • M必然是P, • S可能是M, • 所以, S可能是P • 这表明,M与P之间的联系虽然是必然的,但是, S与M的联系却是可能有的,所以,结论中S与P 的联系也是可能的。例如: • 灵长类动物必然有比较复杂的大脑, • 这个动物可能是ห้องสมุดไป่ตู้长类动物, • 所以,这个动物可能有比较复杂的大脑。
• (三)必然直言三段论 • 在必然直言三段论中,两个前提—个是必然 命题,一个是直言命题,其结论是必然命题。 其逻辑形式是: • 所有的M必然是P , • 所有的S是M, • 所以,所有S必然是P • 这表明,小前提肯定了S包含于M 中,而M又 必然包含于P中,所以,S也必然包含于P中。 例如: • 所有故意杀人犯必然有杀人动机, • 张某是故意杀人犯, • 所以,张某必然有杀人动机。 •
• 2.必然命题。反映事物情况必然性的命题是必然命题;必然命 题也可以分为两种:必然肯定命题和必然否定命题。 • 必然肯定命题是反映事物情况必然存在的命题。例如: • ①我国的统一大业必然实现。 • ②故意杀人必然有作案的动机。 • 其逻辑形式是: • “必然P”或“口P” • “口”是表示“必然”模态词的符号。 • 必然模态否定命题是反映事物情况必然不存在的命题。例如: • ①客观规律不以人们意志为转移是必然的。 • ②我国人民生活达到小康的日子必然不会太长了。 • 例①反映了客观规律依人们的意志为转移这个情况的必然不存在。 例②则反映夕了我国人民生活达到小康的日子会太长久这个情况 必然不存在。 其逻辑形式是: • “必然非P”或“口﹃P”
• (四)可能直言三段论 • 在可能直言三段论中,两个前提中—个是可能 命题,另一个是直言命题,其结论是可能命题。 其逻辑形式是: • 所有的M可能是P, • 所有的S是M, • 所以,所有的S可能是P。 • 这表明,小前提肯定了S包含于 M中,而M又可 能包含于P中,所以,S也可能包含于P中。例如: • 凡是与被害人有仇恨的人都可能是作案的凶手, • 王某是与被害人有仇恨的人, • 所以,王某可能是作案的凶手。 •
③ ﹃ ◇ P→ ﹃口P 例如:犯罪分子不可能逃跑,所以,犯罪分子不必然逃跑。
④﹃ ◇ ﹃ P→ ﹃口﹃ P 例如:张某不可能不是凶手,所以,张某不必然不 是凶手。 4.根据矛盾关系的模态推理 • ①口P←→ ﹃◇ ﹃ P • 例如:犯罪行为必然是危害社会的行为,所以,犯罪 行为不可能不是危害社会的行为。 • ②﹃口P ←→ ◇ ﹃ P • 例如:患感冒的人不必然发烧,所以,患感冒的人可 能不发烧。 • ③ ◇P ←→ ﹃口﹃ P • 例如:某人可能犯盗窃罪,所以,某人不必然不犯盗 窃罪。 • ④◇ ﹃ P ←→ ﹃口P • 例如:遵纪守法可能不会犯错误,所以,遵纪守法不 必然会犯错误。
2.根据下反对关系的模态推理 • ①﹃◇P→ ◇﹃P • 例如:明天不可能下雨,所以,明天可能不下雨。 • ② ﹃◇ ﹃ P→ ◇P • 例如:明天不可能不天晴,所以,明天可能天晴。 3 .根据差等关系的模态推理 • ①口P→ ◇P • 例如:犯罪行为必然受到法律制裁,所以,犯罪行为可 能受到法律制裁。 ②口﹃ P→ ◇ ﹃ P • 例如:人必然不会十全十美,所以,人可能不会十全十 美。
• • • • •
模态命题可是简单命题,也可以是复合命题。 例如: ①社会主义可能首先在一个国家取得胜利。 ②共产主义必然胜利。 这些都是简单模态命题。它们都是反映事物的一种可能 性或必然性。再如: • ①在学习的过程中入门是可能的,精通也是可能的。 • ②理论研究一旦获得重大突破,就会给生产和技术带 来巨大的进步,这是必然的。 • 这两个模态命题属于复合命题。例①反映了在学习科学 技术的过程中,“入门”和“精通”两种可能性的同时 存在,例②反映了“理论研究获得重大突破”与“会给 生产和技术带来重大的进步”之间充分条件关系的必然 存在。
• 二、模态三段论 • 模态三段论就是以模态命题为前提或结论的三段论,也 可以说,模态三段论就是在三段论中引入模态词所构成 的三段论。下面以三段论的AAA式为例,介绍其中比 较简单的几种: • (一)必然三段论 • 必然三段论是在三段论中引入“必然”这一模态词所 构成的三段论。其逻辑形式是: • 所有的M必然是P, • 所有的S必然是M , • 所以,所有的S必然是P。 • 这表明,M必然包含在P中, S必然包含在M中,则S必 然包含在P中。这个推理前提蕴涵结论,是有效的。例 如: • 一切绿色植物必然要进行光合作用, • 海洋里的藻类必然是绿色植物, • 所以,海洋里的藻类必然能进行光合作用。
第二节 模态推理
• • •
• • •
• • •
一、根据模态逻辑方阵进行的模态推理 在前面,我们已经介绍过同素材的简单模态 命题之间的对当关系,并用逻辑方阵表示出来。 据此,可构成如下一系列简单的模态推理。 1.根据反对关系的模态推理 ①口P→﹃口﹃P 例如:新生事物必然能战胜腐朽事物,所以, 新生事物不必 然不能战胜腐朽事物。 ②口﹃P → ﹃口P 例如:幸福必然不会从天降,所以,幸福不 必然会从天降。