7形式逻辑-第七章 模态命题及其推理
逻辑学第七章.ppt
2021/3/2
23
下列推理属于何种推理?是否正确?为什么?
1.当事人在法庭上可以提出新的证据,所以,当事人在法庭 上也可以不提出新的证据。
2.最早印刷纸币的人可能是古代中国人,最早使用纸币必然 是最早印刷纸币的人,所以,最早使用纸币的人必然是古代中国人。
3.想出国留学必须学外语,我不想出国留学,所以,我不必 须学外语。
第七章 模态逻辑
教学重点与难点
模态命题及其种类 模态命题的真假与可能世界的理论 基本模态命题之间的对当关系 道义命题及其种类 模态命题推理、道义命题推理在法律中的应用
2021/3/2
1
谁打了纳粹军官
第二次世界大战德国占领法国期间,在法国巴黎一 家旅馆里,四个人同乘一部电梯。其中一位是穿军 装的纳粹军官,一名是当地的法国人,他是地下抵 抗组织的成员,第三位是个漂亮的少女,还有一位 是老妇人,他们相互都不认识。突然,电源发生故 障,电梯停住不动,电灯也熄灭了,电梯内漆黑一 团。这时传出一声接吻的声音,随后是拳打在脸上 的声音。过了一会儿,电灯亮了,纳粹军官的一只 眼睛下面出现了一块青紫的伤痕。
2021/3/2
3
逻辑分析:
原来,这位聪明的法国小伙子先吻了一下自己 的手,然后打了纳粹军官一拳。这里,我们感 兴趣的是其中所出现的判断“一定是他吻了这 位老妇人或那位小伙子”,“可能是这个法国 男子想吻这位姑娘”。第一个判断是断定他吻 了这位老妇人或那位小伙子的必然性,而第二 个判断则断定这个法国男子想吻这位姑娘的可 能性。这种断定事物可能性与必然性的判断就 是模态命题。
2021/3/2
7
模态的种类
(1)狭义模态和广义模态 (2)客观模态和主观模态 (3)逻辑模态和非逻辑模态 (4)命题的模态与事物的模态
公安部规划大学教材逻辑学教程经典教案第七章模态命题及其推理 (1)
第七章模态命题及其推理第一节模态命题一、什么是模态命题?模态命题,有广义和狭义之分,广义是指一切包含有模态词的命题,狭义的主要是指其中包含有“必然”和“可能”这类模态词的命题。
定义:模态命题是反映事物可能性或必然性的命题。
例如: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、必然肯定命题 必然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:明天可能不下雨。 • 这些都是模态命题。前者反映了共产主
义胜利具有必然性。后者反映了明天不 下雨具有可能性。
二、模态命题的种类
《形式逻辑》
形式逻辑教学大纲课程的性质目的和任务一、形式逻辑是研究思维的形式及其规律的科学。
是大学本(专)科各专业的专业基础课。
作为一门思维科学,它既有认识的作用,又有表达和论证思想的作用。
学习形式逻辑对于自觉地进行思维的逻辑训练,提高逻辑思维能力,增强逻辑论证的力量,具有重要意义。
二、本课程应坚持理论联系实际的学习原则和方法,要准确地理解和掌握形式逻辑的基本概念、逻辑规律和逻辑原理,同时,联系学习生活实际,自觉地运用学过的逻辑理论和知识去分析解决实际活动中碰到的各种逻辑问题。
通过学习本课程,提高逻辑思维能力。
三、就中文系而言,本课程应注意同现代汉语、古代汉语、写作等基础课程相联系,从形式逻辑的角度提高学生运用语言的能力。
四、本课程的一些内容比较抽象,教学中应注意重点突出、例证生动,在保证科学性的前提下加强趣味性。
教材一般都借用了数理逻辑的语言形式,应注意自然语言和形式语言的转换。
五、本课程讲授一学期,约32学时。
书面作业2次。
六、本大纲课程教学内容顺序依托华东师大《形式逻辑》教材内容顺序编排,教学重点为第二、三、四、五、六、十章,教师在完成大纲基本要求的前提下,根据课时多少及学生接受能力对教学内容可以适当调整。
由于选用教材不同,内容编排顺序以及个别内容、术语可能小异,教学中应作适当调整。
课程教学内容第一章形式逻辑的对象和意义第一节了解:形式逻辑的对象(思维形式及其规律)和性质(全民性、工具性)。
第二节理解:学习形式逻辑的意义和方法第二章概念第一节概念的概述一、了解:概念是通过揭示对象的特性或本质来反映对象的一种思维形式。
二、了解:概念与语词的关系第二节概念的内涵和外延一、了解:概念内涵、外延的定义二、掌握:概念内涵与外延的反变关系第三节概念的种类一、理解:单独概念和普遍概念二、理解:集合概念与非集合概念三、理解:正概念与负概念第四节概念外延间的关系一、理解:相容关系(全同、真包含、真包含于、交叉)二、理解:不相容关系(全异:矛盾、反对)第五节掌握:概念的限制和概括第六节掌握:定义及其规则第七节掌握:划分及其规则第三章简单命题及其推理(上)第一节了解:命题和推理的概述第二节性质命题一、了解:性质命题是断定事物具有(或不具有)某种性质的简单命题。
模态命题及其推理
2020/5/1
Jinlong
5
第一节 模态命题
2 模态命题的种类 对模态命题可以从它所包含的模态词或质两个不同的角度进 行分类。其基本形式有四种: 必然肯定模态命题,必然p 或□p,断定某件事情的发生是必 然的。如:冬天过后必然是春天。 必然否定模态命题,必然非p或□﹁p,断定某件事情的不发 生是必然的。如:谎言必然不能持久。 可能肯定模态命题,可能p或◇p,断定某件事情的发生是可 能的。如:长期大量吸烟可能致癌。 可能否定模态命题,可能非p或◇﹁p,断定某件事情的不发 生是可能的。如:火星可能没有生物。
2020/5/1
Jinlong
9
第一节 模态命题
答案:A 解析:题干中的条件(2)“张飞不必然考上”和(4)“并 非张飞可能没考上”之间具有矛盾关系,必然有一个是真的, 一个是假的。 “并非可能没考上”的意思就是“必然能够考上”。所以, 条件(1)“张飞和李柏至少有一人考上”和(3)“李柏确实 考上了”之间也必然有一真一假。 这里,若(3)是真的,则(1)也必然是真的。所以,(3) 不能是真的,必然是假的。即李柏没考上,张飞考上了。所以 正确答案是A。
2020/5/1
Jinlong
7
第一节 模态命题
学校为提高学生的素质,开设文理两类选修课。统计表明,
有学生选修了全部文科类选修课,也有学生选修了全部理科类
选修课。那么一下哪项是一定是真的( )?
A 有学生选修了全部的选修课。
B 每门选修课都有学生选修。
C 有一门选修课,选修它的学生不只一人。
止;知道、相信、可接受、可疑、可证;曾经、总是、将是、
优先、中立等等。这些模态词分别是道义逻辑、认识逻辑、时
态逻辑和价值逻辑的研究对象。
模态逻辑的推理规则和证明方法
模态逻辑的推理规则和证明方法模态逻辑是一种专门研究命题含有模态词的推理规则和证明方法的逻辑系统。
模态逻辑主要研究命题的可能性、必然性、推断和推理等问题,以及与经典逻辑的关系。
本文将介绍模态逻辑的基本概念和常用的推理规则和证明方法。
一、模态逻辑的基本概念1. 模态词模态词是指用于表示可能性、必然性、可能真或必然真等概念的词语,如“可能”,“必然”,“或许”等。
模态词可以分为“必然性”和“可能性”两大类别。
2. 推理规则推理规则是指用于进行命题推理的基本规则,它们描述了命题在逻辑上的相互关系和推导转换的合法性。
在模态逻辑中,常用的推理规则有必然推理规则、可能推理规则、非必然推理规则等。
3. 证明方法证明方法是指用于证明模态逻辑命题成立或推导出结论的方法。
常见的证明方法包括形式证明、条件证明、反证法等。
二、模态逻辑的推理规则1. 必然推理规则必然推理规则描述了命题在必然性逻辑上的推导关系。
其中包括必然条件推理规则和必然蕴含推理规则。
- 必然条件推理规则:如果P必然蕴含Q,且P成立,则可以推导出Q成立。
- 必然蕴含推理规则:如果P必然蕴含Q,且Q成立,则可以推导出P成立。
2. 可能推理规则可能推理规则描述了命题在可能性逻辑上的推导关系。
其中包括可能条件推理规则和可能蕴含推理规则。
- 可能条件推理规则:如果P可能蕴含Q,且P成立,则可以推导出Q可能成立。
- 可能蕴含推理规则:如果P可能蕴含Q,且Q成立,则可以推导出P可能成立。
3. 非必然推理规则非必然推理规则描述了命题在非必然性逻辑上的推导关系。
其中包括非必然条件推理规则和非必然蕴含推理规则。
- 非必然条件推理规则:如果P非必然蕴含Q,且P成立,则可以推导出Q可能成立。
- 非必然蕴含推理规则:如果P非必然蕴含Q,且Q成立,则可以推导出P可能成立。
三、模态逻辑的证明方法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 的含义就等值于“近日股市可能会上 涨”。
规范命题的种类
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】灵长目动物必然有发达的大脑 这个小动物可能是灵长目动物 所以,这个小动物可能有发达的大脑
模态命题推理
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
公式①如,“明晨必然结冰,所以明晨可能结冰”。公式②如,“明晨 必然不结冰,所以明晨可能不结冰”。公式③如,“明晨不可能结冰,所 以明晨不必然结冰”。公式④如,“明晨不可能不结冰,所以明晨不必然 不结冰”.
必须注意:上述推理没有考虑到实然判断,如果考虑到实然判断, 则应增加下列推理公式:
第二节模态推理
模态推理,就是以模态命题为前提或结论,并根据模态命题之间或 模态命题与其他判断之间的逻辑关系而进行推演的推理。
模态推理的种类较多,这里仅介绍较为简单的两种:
一、根据模态命题的对当关系而进行的模态推理
形式逻辑第七讲 模态命题及其推理
有人说:“最高明的骗子,可能在某个时 刻欺骗所有的人,也可能在所有的时刻欺 骗某些人,但不可能在所有的时刻欺骗所 有的人”。 如果上述断定为真,而且世界上总有 一些高明的骗子,那么下述哪项断定必定 是假的? A.张三可能在某个时刻受骗。 B.李四可能在任何时候都不受骗。 C.骗人的人也可能在某个时刻受骗。 D.不存在某一时刻所有的人都不会受 骗。 E.不存在某一时刻有人可能不受骗。 [解题分析]正确答案:E。
练习3 不可能所有的错误都能避免。 练习3:不可能所有的错误都能避免。 以下哪项最接近于上述断定的含义? 以下哪项最接近于上述断定的含义? 所有的错误必然都不能避免。 A. 所有的错误必然都不能避免。 所有的错误可能都不能避免。 B. 所有的错误可能都不能避免。 有的错误可能不能避免。 C. 有的错误可能不能避免。 有的错误必然不能避免。 D. 有的错误必然不能避免。
逻辑方阵图 □p 矛盾 差等
反对
□¬ p 矛盾 差等
◊p
下反对
◊¬ p
第二节 规范模态命题
一、规范模态命题的含义 规范模态命题是陈述人们的行为规范的命题。例如, 规范模态命题是陈述人们的行为规范的命题。例如, (1)公安机关逮捕人的时侯,必须出示逮捕证。 )公安机关逮捕人的时侯,必须出示逮捕证。 (2)有诉讼权力能力的人可以作为民事诉讼的当事人。 )有诉讼权力能力的人可以作为民事诉讼的当事人。 3)禁止用侮辱、诽谤等方式损害公民、法人的名誉。 (3)禁止用侮辱、诽谤等方式损害公民、法人的名誉。 都是规范模态命题。 都是规范模态命题。 规范模态命题也称道义命题、指令命题。 规范模态命题也称道义命题、指令命题。 模态词: “必须” 可用符号“ ”表示; 模态词:1.“必须” 可用符号“O”表示; 2. “允许” 可用符号“P”表示; 允许” 可用符号“ ”表示; 3. “禁止” 可用符号“F”表示。 禁止” 可用符号“ ”表示。
第七章模态命题及其推理教学文案
止;知道、相信、可接受、可疑、可证;曾经、总是、将是、
优先、中立等等。这些模态词分别是道义逻辑、认识逻辑、时
态逻辑和价值逻辑的研究对象。
包含有 “应当”、“允许”、“禁止” 等模态词的命题, 叫
做规范模态命题。
2020/6/29
Jinlong
2
第一节 模态命题
在模态命题中,可能、必然模态词的出现,常常有两种情况: 1)主项是一个命题,谓项是模态词 超额完成任务是可能的。 马克思主义战胜教条主义是必然的。 2)主项是一个概念,模态词是谓项的一部分 这部作品是可能畅销的。 正义事业是必然要胜利的。
3)根据模态命题的下反对关系的直接推理 ﹁◇p→◇﹁p; ﹁◇p→◇p。 (并非可能非p,推出可能p) 小王不可能不会游泳,所以,小王可能会游泳。
2020/6/29
Jinlong
12
第二节 命题推理
4)根据模态命题的差等关系的直接推理 □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
16.模态命题及其推理
– 反 对
□p
差
□p
差
–p –
– 等
矛
盾
等
p
– –
◇p
下 反 对
◇p
二、 模态推理
• 以模态命题为基础,根据模态命题的逻辑 性质进行的演绎推理。 • 1.根据对当关系(16式) • 2.根据必然、实然、或然的断定程度 • ①□p→p; ②p→◇p; • ③◇p→p; ④p→□p; • ⑤□p→p; ⑥p→◇p; • ⑦◇p→p; ⑧p→□p。 • 3. 模态三段论
⑵必然命题
• 断定事物情况必然性的命题。 • ①必然肯定命题:断定事物情况必然存在的 命题。 • 公式:S必然是P(S是P是必然的),符示: □p 。 • ②必然否定命题:断定事物情况必然不存在 的命题。 • 公式:S必然不是P(S不是P是必然的),符 示:□p或□ p 。
3.模态命题的对当关系(同一素材)
2.模态命题的种类
• 可能命题,必然命题 • ⑴可能命题:断定事物情况可能性的命题。 • ①可能肯定命题:断定事物情况可能存在 的命题。 • 公式:S可能是P(S是P是可能的),符示: ◇p。 • ②可能否定命题:断定事物情况可能不存 在的命题。 • 公式: S 可能不是 P(S 不是 P 是可能的), 符示:◇p或◇ p 。
模态命题及其推理
• • • • 一、 模态命题 1.什么是模态命题 ⑴事物的模态与认识的模态 事物的模态是事物本身存在的可能性 与必然性。 • 认识的模态:对事物是否存在某种情 况认识程度的断定。
⑵模态命题
• 广义的是两模态词的命题,即断定事物可能 性与必然性的命题。可以是简单的, 也可以是复合的。
第七章 模态命题及其推理
一、什么是模态命题
主观模态与客观模态 (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的观点或态度的语词如必然可能应该允许相信知道过去将来等等如
模态命题及其推理
模态命题及其推理一、模态命题(一)模态命题在逻辑中,“必然”、“可能”、“不可能”等叫做“模态词”,包含模态词的命题叫做“模态命题”。
模态词分为可能性和必然性两种,其中“可能”、“大概”、“也许”属于可能性模态词;而“一定”、“必定”、“必然”等属于模态词。
例如:明天可能会下雨。
海洋中一定有生物。
(二)模态命题分类根据模态词和命题性质的不同,可以将模态命题分为四类: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。
模态命题及其推理
凡S是M;
所以,凡S可能是P。
任何人都可能会犯错误的;
诸葛亮也是人; 所以,诸葛亮也可能会犯错误的。
E.可能模态三段论
即大、小前提及结论都由模态命题构成的模态三段论。推理形式 (第一格AAA式为例): 凡M可能是P; 凡S可能是M;
所以,凡S可能是P。
凡学习成绩优良者都可能获得奖学金;
小王可能是学习成绩优良者;
下反对关系
二、真值模态推理
1.什么是真值模态推理 真值模态推理,是以真值模态命题为前提,并根据真值模态命题 的逻辑性质迚行推演的推理。例如: 骄兵必败, 所以,骄兵丌可能丌败。
2.几种简单的真值模态推理
(1)根据模态逻辑方阵进行推演的模态推理
□p
反对关系 矛 盾 系 关 矛
□﹁p
差 等 关 系
必须p Op 教师必须为人师表 。 必须非p O﹁p 一切公民的言行必须丌违反社会 公共利益 。
类型
事项
定丿 表达式 公式 实例
禁止肯定命题
禁止否定命题
规定某种行为丌得实施的命题 规定某种行为丌得丌实施的命题 禁止p Fp 禁止体罚学生 禁止非p F﹁p 禁止丌遵守公共秩序
类型 事项
允许肯定命题
盾 关
系
差 等 关 系
◇p
下反对关系
◇﹁p
(2)模态三段论 所谓模态三段论,就是在三段论中引入模态词而构成的三段论。
所有的大科学家必然都具有求实精神, 李四光是大科学家, 所以,李四光必然具有求实精神。
A.必然模态三段论 是在三段论中的大、小前提和结论中都是必然模态命题的三段论。 推理形式(以三段论第一格AAA式为例): 所有的M必然是P; 所有的S必然是M;
第七章 模态命题及其推理
大学逻辑学第7章 模态逻辑
• 模态词的非真值函项性或内涵性:命题的 真值不能由非模态命题的真值来确定。它 的语义解释比非模态命题要复杂得多。
第二节 模态命题及其推理
1. 基本模态命题及其符号化
• 简单模态命题 – 定义:凡包含着“必然”、“可能”等词的命 题,就叫真性模态命题。由模态词和基础命题 组成。
– 但是,模态命题对当关系的合理性, 没有相应的简单方法得以证明。
4. 简单模态命题推理
• (1)对当关系推理 • 根据六边形对当关系图,可以得到一
系列直观上成立的模态命题推理形式。
• 根据矛盾关系的直接推理:8个
1. □p↔¬◇¬p
2. □¬p↔¬◇p
3. ◇p↔¬□¬p
4. ◇¬p↔¬□p
– 上述的公式是等值式,即每个公 式可以构成两个推理。两个实然 命题之间的矛盾关系,不构成模 态推理。
¬◇¬p→p(同6)
p→¬□¬p(同7)
• 根据反对关系直接的推理:2个
13.□p→¬□¬p 14.□¬p→¬□p
• 根据下反对关系的直接推理:2个
15.¬◇p→◇¬p 16.¬◇¬p→◇p
• 其中1、3、5、6、7是基本的,其 他的可以从这几个中变换出来。
• (2)必然、可能、偶然的相互定 义
• 非有效但可满足:
– p→□p(所有现实的,都是合理的[黑格尔语]) – ◇p→□p(可能的,就是必然的[默菲法则]) – ◇p→p(可能的,就是现实的) – □p→□(p∧q) – (◇p∨◇q)→◇(p∧q)
• 根据差等关系的直接推理:12个
5. □p→◇p
6. □p→p
பைடு நூலகம்
7. p→◇p
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
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,…表示命题。它的公式为:
⑷可能否定模态命题,可能非p或◇﹁p,断定某件事 情的不发生是可能的。如∶火星可能没有生物。
★模态命题的逻辑值并不完全取决于模态词所作用的 命题的逻辑值,即□p与◇p的真假,并不只是由p来决定。
3.同素材的模态命题间的真假关系
在同素材的四种模态命题之间也存在着真假上的相互
制约关系。这种关系与四种性质命题间的对当关系相 同,故又称模态命题的对当关系。
任何人都必然有优、缺点,
所以,任何人都不可能没有优、缺点
违反法律必然受到法律的惩罚, 他违反了法律, 所以,他必将受到法律的惩罚。
2.模态推理的种类
现代模态逻辑系统很多,模态推理的种类繁杂,因 此本课程很难笼统介绍,只对一些常见的模态模态推理。 a.根据模态命题的矛盾关系的直接推理 □p→﹁◇﹁p; ﹁□p→◇﹁p; ◇﹁p→﹁□p; ﹁◇﹁p→□p; □﹁p→﹁◇p; ﹁□p→◇p; ◇p→﹁□﹁p; ﹁◇p→□﹁p。 b.根据模态命题的反对关系的直接推理 ◇p→﹁□﹁p; □﹁p→﹁□p。 c.根据模态命题的下反对关系的直接推理 ﹁◇p→◇﹁p; ﹁◇p→◇p。
2.模态命题的种类
对模态命题可以从它所包含的模态词或质两个不同的 角度进行分类。其基本形式有四种:
⑴必然肯定模态命题,必然p或□p,断定某件事情的 发生是必然的。如∶冬天过后必然是春天。
⑵必然否定模态命题,必然非p或□﹁p,断定某件事 情的不发生是必然的。如∶谎言必然不能持久。
⑶可能肯定模态命题,可能p或◇p,断定某件事情的 发生是可能的。如∶长期大量吸烟可能致癌。
B.混合模态三段论,即其前提是由模态命题和性质命 题组成的模态推理。它们或是必然与实然相结合的模 态三段论;或是可能与实然相结合的模态三段论。
这种推理的结论一般应该与前提中的模态命题相一致, 有些可以例外。
4.模态命题的负命题及其等值命题
一个模态命题的负命题与被否定的模态命题的矛盾 命题在逻辑上是等值的。所以,总是可以从一个模态命 题的负命题推得一与它相等值的命题。例如:
﹁□p◇﹁p; ﹁□﹁p◇p; ﹁◇p□﹁p; ﹁◇﹁p□p。
二、模态推理
1.模态推理就是以模态命题为前提或结论,并根据模 态命题的逻辑特点或相互关系进行的推理。例如: