简明逻辑学第15讲(第五章模态判断)精品PPT课件
【逻辑】模态判断

【逻辑】模态判断假⾔命题(⼀)假⾔命题假⾔命题是断定事件之间的条件关系的复合命题。
1.事件p是事件q的充分条件是指:有p⼀定有q2.事件p是事件q的必要条件是指:⽆p⼀定⽆q如果您需要更多关于MBA⽅⾯的资料,请联系王灿⽼师:135****0544充分条件假⾔命题1.充分条件:事件p是事件q的充分条件是指:有p⼀定有q2.联结词:“如果……那么……”、“只要……就……”等3.p称为q的充分条件的⼀般形式:如果p,那么q (简记为:p?q)(其中p为前件,q为后件。
)例:如果笔试成绩200分以上,则获得奖学⾦。
以上为真,则1.笔试成绩不到200分能推出什么?2.获得了奖学⾦能推出什么?必要条件假⾔命题1.必要条件:事件p是事件q的必要条件是指:⽆p⼀定⽆q2.联结词:“只有…才”、“必须”,“不可或缺”、“除⾮…否则不…”等。
3. p称为q的必要条件的⼀般形式:只有p才q (简记为:p←q)(其中p为前件,q为后件。
1.如果P那么Q. 何时为假?2.如果P那么Q. 的等价命题是什么?3..如果P那么Q. 何时为假?的推理规则是什么?只有努⼒才能考上清华。
它的推理形式是怎样的?⼀.⽤“→”表⽰下⾯的命题的关系。
1.如果A,那么B.2.有A,就不会有B.3.只要B,就A.4.没有A,就没有B.5.所有A都是B6.只有B,才A.7.B是A 的基础。
8.要想A必须B.9.除⾮A,否则不B. 10.除⾮A,否则B.11. A, 除⾮B. 12.不B,就不A.1..美国射击选⼿埃蒙斯是赛场上的“倒霉蛋”。
在2004 年雅典奥运会男⼦步枪决赛中,他在领先对⼿3 环的情况下将最后⼀发⼦弹打在别⼈靶上,失去即将到⼿的奖牌。
然⽽,他却得到美丽的捷克姑娘卡特琳娜的安慰、最后赢得了爱情。
这真是应了⼀句俗语:如果赛场失意,那么情场得意。
如果这句俗语是真的,以下哪项陈述⼀定是假的?A.赛场和情场皆得意。
B.赛场和情场皆失意。
第五章 模态逻辑及关系逻辑

• b.小明佩服小凤。
2、关系的传递性
• 关系的传递性是讨论三个或三个以上不 同对象之间的关系,即在特定论域里,当a 对b具有R关系,且b对c也具有R关系时,a 对c是否也同样具有R关系。
• (1)传递关系:三个对象a、b、c,当a、b 具有R关系,且b对c具有R关系时,a对c具 有R关系,这就是传递关系。在这种关系中, 当aRb真,且bRc真时,则aRc必真。如:
• 二、真势模态命题的种类
• 1以分为肯定模态和否 定模态,肯定模态又可以分为必然肯定和可能肯定, 否定模态又可以分为必然否定和可能否定。
• 1)必然肯定模态命题:断定事物情况必然存在的命题。 • a.客观事物之间必然是有联系的。 • b.生物离开氧气必然活不成。 • 2)必然否定模态命题:断定事物情况必然不存在的命题。
之间的某种关系的命题。 • (1)小李与小王是同学。 • (2)有的学校与工厂相邻。 • (3)资本家剥削工人。
• 2、关系命题的构成 关系命题由关系者项、关系项和关系量
词三部分组成。 • 关系者项:表示一定关系承担者的概念。
例(1)中的“小李”和“小王”。关系者 项可以有两个,也可以有三个或三个以上。 在两项关系中,处于前面的关系项叫关系 者前项,处于后面的关系者项叫关系者后 项,如果是三项或三项以上关系,则可以 依次叫第一关系者项、第二关系者项……, 分别用小写字母a、b、c……表示。
• 关系项:表示关系者之间存在的关系的 概念,用大写字母“R”表示。关系项决定 关系命题的性质。例(1)中的“同学”, 例(2)中的“相邻”,例(3)中的“剥 削”就是关系项。
• 关系量词:表示关系者外延数量的概念, 它与性质命题的量词一样,分为单称、特 称和全称三种。
2024版《逻辑学》全套PPT课件

在论证中,故意将论题改变为另一个与原论题不相干的论 题。
自相矛盾
在同一思维过程中,对同一对象作出两个互相矛盾的判断。
常见逻辑谬误及其识别
循环论证
用来证明论题的论据本身的真实 性要依靠论题来证明的逻辑错误。
以偏概全
以部分情况推断整体情况,或以 个别事例推断一般规律的逻辑错 误。
诉诸权威
以权威人士的言论或观点作为论 证的依据,而不考虑其他因素的 逻辑错误。
正概念反映对象具有某种属性,负概念反映 对象不具有某种属性。
集合概念与非集合概念
集合概念反映的是一类对象的集合体,非集 合概念反映的则是类中的每一个对象。
概念间的关系
全同关系、真包含关系、真包含于关系、交 叉关系、全异关系。
范畴及其划分
范畴
指最高层次的概念,是对某一领域或某一类事物的最高概括。
范畴的划分
推理规则
指在进行推理时需要遵守的准则,如前提必须真实、推理形式必须 有效等。
常见的推理形式及其规则
包括演绎推理(从一般到特殊)、归纳推理(从特殊到一般)、类 比推理(从相似情况出发)等。
推理的可靠性与有效性
01
推理的可靠性
指推理所得结论的真实性程度,即结论是否可信。
02
推理的有效性
指推理形式是否符合逻辑规则,即形式是否正确。
03
判断与推理
判断的种类与性质
简单判断
01
指不包含其他判断的判断,如“S是P”或“S不是P”。
复合判断
02
指包含其他判断的判断,如联言判断、选言判断、假言判断等。
判断的性质
03
包括真假值、模态(必然、可能等)、量(全称、特称等)。
推理的形式与规则
简单的逻辑学PPT演示课件

归纳推理 所有的观点说明的是同一件事(有相同的主
题或者相同的内容) 他们全都能以相同的单一名词来描述(如理
由、步骤、问题) 最上面的方框通过观点中的共性而获得结论
波兰成为欧洲游客的主要 目的地
法国观光客选择华 沙,放弃莫斯科
德国游客成群结队 开车去克拉科夫
俄罗斯游客前往波 兰品尝伏特加酒
意大利游客喜欢波 兰的歌剧
7
逻辑学的语言
• 三段论 :若A B,C A,则C B
例:每一个参加奥运会的运动员都是专业运动员,马 龙参加了奥运会,所以马龙是专业运动员
B A C
8
金字塔原理
9
目录
• 一、概念 • 二、基本机构 • 三、用途 • 四、总结
10
一、概念
• 任何事情都可以归纳出一个 中心论点,而此中心论点可由三 至七个论据支持,这些一级论据 本身也可以是个论点,被二级的 三至七个论据支持,如此延伸, 状如金字塔。
流起来最有效。
25
பைடு நூலகம்
四、总结
基本结构 结论先行,以上统下,归类分组,逻辑递进; 先重要后次要,先总结后具体,先框架后细节, 先结论后原因,先结果后过程,先论点后论据。 具体做法 自上而下表达,自下而上思考,纵向总结概括, 横向归来分组。
26
27
• 抑郁症虽然还没有被完全理解,但是逐渐增多的证据支持一种观点, 既是抑郁症患者缺乏大脑神经递质——在大脑中能使脑细胞相互交流的 一种化学物质。很多科学家相信在抑郁症的形成和加重的过程中缺乏5羟色胺—一种神经递质可能起非常重要的因素。
• 百优解可以通过选择性增加大脑自身的5-羟色胺供给来纠正这种神经递 质的缺乏,从而安全有效控制抑郁症症状。一些其他抗抑郁症的药物除 了影响5-羟色胺之外还影响其它几种神经递质。由于百优解有选择性地 只影响5-羟色胺,所以它与其它药物相比所引起的副作用更少。百优解 能够有效控制抑郁症的症状,使广大抑郁症患者获得康复,从而提高生 活质量。
逻辑学第4-5章模态推理

④ 根据
律,若“如果A去,那么B去”为假,
则联言命题“
”为
真。
⑤根据
律,如果“A不去,但B去”为真,
则选言命题“
”
为假。
“金字塔不是地球人建造的”是可能 的
非p是可能的
Mp
三、真值模态命题的种类
基本
模态 命题
必然命题 可能命题
必然肯定命题 Lp 必然否定命题 Lp 可能肯定命题 Mp 可能否定命题 Mp
四、真值模态命题的真与假
Lp为真,当且仅当在所有可能世界中p都为真; Lp为假,当且仅当至少在一个可能世界中p为假 Mp为真,当且仅当至少在一个可能世界中p为真 Mp为假,当且仅当在所有可能世界中p都为假。
一、排中律的内容和要求
• 排中律的逻辑要求:
在同一思维过程中,对于两个 不能同假的命题不能同时予以否定。
矛
盾
关
不系
能
同
假
命 题
下 反
对
关
系
二、违反排中律要求的逻辑错误
• 违反排中律要求的逻辑错误:
模棱两可(应称“模棱两不可”)
三、排中律的作用和应注意的问题
• 排中律的主要作用在于保证思想的 明确性。
不同点
矛盾律
排中律
内容
互相否定的思想不能同真, 互相矛盾的思想不能同假,
必有一假
必有一真
要求
对不能同真命题不能同时 对不能同假命题不能同时
肯定
否定
适用范围
矛盾和反对
矛盾和下反对
错误表现
“两肯定”或 “一肯定一否定”
“两否定”
错误名称
“两可”
“两不可”
作用
由真推假(间接反驳的根 由假推真(间接证明的根
模态命题-Microsoft-PowerPoint-演示文稿

模态逻辑的范围
• 模态有广义和狭义的区分,模态逻辑相应 地也有广义和狭义之别。
• 狭义模态逻辑,也称真性模态逻辑,是关于必然性和可能 性的逻辑,或者说,是关于含有模态词“必然”、“可能” 的命题及其推理的逻辑科学。通常说的模态逻辑就是狭义 模态逻辑。
• 广义模态逻辑是关于各种广义模态词的逻辑,具体来说包 括道义逻辑、认知逻辑、时态逻辑等。我们这里仅限于介 绍模态逻辑和道义逻辑两个分支。而且,由于模态谓词逻 辑和道义谓词逻辑比较复杂,所以,我们的考察也仅限于 模态命题逻辑和道义命题逻辑。
基本模态命题推理公式的归约
上述16个推理形式中,(1)、(3)、(5)、(6)、(7) 可以被看成是最基本的,这些公式在现代模态 逻辑系统中都被当作特征公理或重要定理。 • 公式(2)和(4)可分别通过运用假言易位规则而 归结为(3)和(1); • 公式(8)、(9)、(10)可分别通过运用代入规则, 即用p代入p而归结为(5)、(6)、(7); • 公式(11)和(12)可分别通过运用假言易位规则 而归结为(5)和(8); • 公式(13)和(14)可分别通过运用等值置换规则, 即分别运用(3)和(4)两个等值式对(13)和(14)进 行置换而归结为(5)和(8); • 公式(15)和(16)可分别通过运用等值置换规则, 即分别运用(1)和(2)两个等值式对(15)和(16)进 行置换而归结为(8)和(5)。
• 必然命题和可能命题都有肯定和否定的情况。
基本模态命题
基本模态命题
必然命题 可能命题
必然肯定命题 必然否定命题 可能肯定命题 可能否定命题
必然肯定命题
定义 必然肯定命题是断定事物情况必然存在
的命题。如, “生物体必然要进行新陈代谢”。
逻辑形式:必然p “必然”可以用符号“□”来表示。所
浙江大学逻辑与语言课程 第五章

5.5 模态推理2
• • • • • • • • 3、以下反对关系为依据的模态推理 (7)并非可能p,可以推出:可能非p。 (8)并非可能非p,可以推出:可能p。 4、以差待关系为依据的模态推理 (9)必然p,可以推出:可能p。 (10)必然非p,可以推出:可能非p。 (11)并非可能p,可以推出:并非必然p。 (12)并非可能非p,可以推出:并非必然非p。
5.5 模态推理1
• • • • • • • • 1、以矛盾关系为依据的模态推理 (1)必然p与不可能不p,可以互推。 (2)必然非p与不可能p,可以互推。 (3)并非必然p与可能非p,可以互推。 (4)并非必然非p与可能p,可以互推。 2、以反对关系为依据的模态推理 (5)必然p,可以推出:并非必然非p。 (6)必然非p,可以推出:并非必然p。
• 3、古希腊柏拉图学院的门口竖着一块牌子:“不懂几何 者禁入。”这天,来了一群人,他们都是懂几何的人。 • 如果牌子上的话得到准确的理解和严格的执行,那么以下 诸断定中,只有一项是真的。这一真的断定是( )。 • A:他们一定会被允许进入 • B:他们一定不会被充许进入 • C:他们可能不会被充许进入 • D:他们不可能被充许进入 • E:他们不可能不被充许进入
5.1.2 模态的分类(续)
• 2、逻辑模态和非逻辑模态 • 逻辑模态是指逻辑上的必然性和可能性等这类性 质。 • 非逻辑模态又有物理的、生物的和哲学的模态等 等之分。 • 3、狭义模态和广义模态 • 狭义模态仅指必然性和可能性等这种最基本的模 态性。 • 广义模态还包括时间模态、道义模态和认知模态 等。
第五章 练习题3
• 4、一份犯罪调研报告揭示,某市近三年来的严重刑事犯 罪案件百分之六十皆为已记录在案的350名惯犯所为。报 告同时揭示,严重刑事案件的半数以上作案者同时是吸毒 者。 • 如果上述断定都是真的,并且考虑到事实上一个惯犯可能 多起作案,那么,下述哪项断定是真的?请说明理由。 • A:350惯犯中一定有吸毒者。 • B:350名惯犯中可能没有吸毒者。 • C:吸毒者多数在350名惯犯中。 • D:350名惯犯多数是吸毒者。 • E:吸毒是造成严重刑事犯罪的主要原因。
第五章 模态逻辑

(2)□SEP├┤◇SIP
例如:所有的动物必然不是植物├┤不可能有的动物是植物
(3)□SIP├┤◇SEP
例如:有的大学生必然是党员├┤不可能所有的大学生都不是 党员
(4)□SOP├┤◇SAP
例如:有的青年必然不是干部├┤不可能所有的青年都是干部
模态算子:通常用人工语言符号“□”和“◇”来分别表 示必然性和可能性,这些人工符号在模态推理中被称为模 态算子。
2014年6月10日星期二 3
模态的分类
模态按照不同的标准,可分为从物的模态和从言的模 态;或客观模态和主观模态;或狭义模态和广义模态。 从物的模态:关于事物本身的模态。例如:9必然大于7。 从言的模态:关于命题的模态。例如:“9大于7”是必然的。 客观模态:客观存在的必然性和可能性等性质。例如:飞机
(1)患阑尾炎但肚子不痛是不能的,所以患阑尾炎则肚子痛是必然的。
(2)如果小张是党员干部,那么他必然是党员;小张是党员干部。所以,他 必然是党员。
其推理形式分别为: (1′)◇(p∨q)→□(P→q) (2′)(P→□q)∧P→□q
模态逻辑学是关于模态形式及其规律的逻辑学,目的在于得到有效的 模态推理形式。
2014年6月10日星期二 25
自然推理系统TN的语法推出关系
T4:◇(A∧B)├◇A∧◇B 证明: (1)◇(A∧B) A (2)A∧B H1(→+的假设) (3)A (2),∧- (4)A∧B→A (2) —(3),→+(消去H1) (5)□(A∧B→A) (4),□+ (6)□(A→(A∧B) ) (5),R.P. (7)□A→□(A∧B) (6),□M (8)□(A∧B) →□A (7), R.P. (9)◇(A∧B)→◇A (8),D◇ (10)◇A (1),(9),→- (11)A∧B H2 (12)B (11),∧-
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
① 新制度必然代替旧制度。
② 人类社会由低级形态向高级形态发展是必然的。
2020/10/11
17
第一节 模态判断
一、什么是模态判断 二、模态判断的种类
1、必然肯定判断: 2、必然否定判断:
S 必然不是P 或 必然非p
□p
① 人的正确思想必然不会从天上掉下来。
② 阶级不会自行消亡是必然的。
2020/10/11
18
第一节 模态判断
二、模态判断的种类
1、必然肯定判断: 2、必然否定判断: 3、可能肯定判断:
S 可能是P 或 可能p ◇p
① 这个案件可能是图财害命。
② 可能第一位证人作了伪征。
2020/10/11
19
第一节 模态判断
二、模态判断的种类
1、必然肯定判断: 2、必然否定判断: 3、可能肯定判断: 4、可能否定判断:
辨认那紧闭的命运之门,然后举起手来咚咚咚地把它
敲响。
2020/10/11
8
课堂练习
41.关于选派出国人员,甲、乙、丙三人的意见分 别是:
甲:如果不选派小方,那么不选派小王。 乙:如果不选派小王,那么选派小方。 丙:要么选小方要么选小王。
以下诸项中,同时满足甲、乙、丙三人意见的方案 是:
A.选派小方,不选小王。 B.选派小王,不选小方。 C.两人都选派。 D.两人都不选派。 E.不存在这样的方案。
0
0
0
1
1
1
2020/10/11
4
判断间的真假值关系
可同真 的关系
判断间的 真假关系
等值关系
可同假关系
差等关系
单向同真关系 单向同假关系
偶等关系
不可同假的关系(下反对)
不可同真 可同假的关系(反对)
的关系
不可同假的关系(矛盾)
第四章 复合判断
复合判断的种类
联言、选言、假言、负判断 基本复合判断、多重复合判断 多重复合判断的主联结词 (实例分析)
2020/10/11
9
课堂练习
【解】:设p表示选派小方,q表示选派小王,则三个 人的意见可分别表示为:
甲:p →q 乙:q → p 丙:p ∨ q
p q p q p →q q → p 11 10 01 00
p∨q
2020/10/11
10
课堂练习
【解】:设p表示选派小方,q表示选派小王,则三个 人的意见可分别表示为:
模态判断——泛指一切含有模态词的判断。
模态词——表达事物情况存在的必然性、可能 性及其他模态属性的词项。
模态词一般包括必然、可能、也许、应当、允 许、禁止、相信、知道等。
2020/10/11
13
第一节 模态判断
一、什么是模态判断
1、定义: 模态判断(狭义)——指断定事物情况存在
的必然性、可能性的判断。 例如:
甲:p →q 乙:q → p 丙:p ∨ q
p q p q p →q q → p
1100
1
1
1001
1
1
0110
0
1
0011
1
0
p∨q 0 1 1 0
2020/10/11
11
第五章 模态判断
第一节 模态判断 第二节 规范判断 第三节 负判断 第四节 判断间的关系
2020/10/11
12
第一节 模态判断
22
第一节 模态判断
一、什么是模态判断
二、模态判断的种类
三、模态判断对当关系
四、模态判断的负判断
1、定义:模态判断的负判断——否定某个模态 判断的判断。
① 并非事物可能不发生变化。
② 并非这次中毒事件必然会发生。
2020/10/11
23
第一节 模态判断
四、模态判断的负判断
1、定义: 2、结构:
◇p 或 □p 3、逻辑性质:
2020/10/11
6
《即 使》 吴建勋
➢
即使横在我面前的是一条没有渡口的江河,只要
能穿过晨雾眺望一下对岸的风光,我就不会感到沮丧。
➢
即使前行的路上没有旅伴,只要有小草、山花相
伴,我就不会感到孤寂。
➢
即使山道多么陡峭,我也要不停地攀登;即使累
倒在半山腰到达不了峰顶,总要比在山脚下看得更远。
➢
即使土壤多么贫瘠,我也要播下种子,并且用心
□p ◇p ◇p□p
□p◇p ◇ p□p
2020/10/11
第五章 模态判断
(共一讲)
第四章 复合判断(复习)
第一节 复合判断的概述 第二节 联言判断 第三节 选言判断 第四节 假言判断 第五节 负判断 第六节 多重复合判断
20பைடு நூலகம்0/10/11
2
判断的种类
简单判断 判断
复合判断
性质判断 关系判断 联言判断 选言判断
假言判断
负 判断
全称判断 特称判断 单称判断
全称肯定判断
全称否定判断 特称肯定判断
特称否定判断 单称肯定判断
单称否定判断
相容选言判断
不相容选言判断 充分条件假言判断 必要条件假言判断 充分必要条件假言判断
复合判断间的真值关系
p q p p∧q p∨q p∨q p→q p←q pq
11 0
1
1
0
1
1
1
10 0
0
1
1
0
1
0
01 1
0
1
1
1
0
0
00 1
① 金属受热必然膨胀。 ② 火星上可能有生物。 ③ 国家必然是阶级社会的产物。 ④ 执法者可能知法犯法。
2020/10/11
14
第一节 模态判断
一、什么是模态判断
1、定义: 2、结构:(模态词 + 原判断) 3、语言表达:常用的模态词及其位置
二、模态判断的种类
分类一: 必然性模态判断 可能性模态判断
血和汗水去浇灌,我相信我不会一无所获。
2020/10/11
7
《即 使》 吴建勋
➢
即使我不能获得掌声和鲜花,我也要潇洒地走上
舞台,让更多的人熟悉我的声音。
➢
即使春日没有太阳,我也要站在沙滩上放飞我幽
囚了一冬的思绪。
➢
即使明天大雨滂沱,我也要去郊外的田野上漫游,
让青春的风帆鼓荡起绿色的情思。
➢
即使通向成功的道路上没有灯光,我也要摸索着
S 可能不是P 或 可能非p
①犯罪分子不受刑罚处罚是可能的。
②法庭可能还没有作出判决。
◇p
2020/10/11
20
第一节 模态判断
一、什么是模态判断 二、模态判断的种类 三、模态判断对当关系
2020/10/11
21
第一节 模态判断
一、什么是模态判断 二、模态判断的种类 三、模态判断对当关系
2020/10/11
2020/10/11
15
第一节 模态判断
一、什么是模态判断
1、定义: 2、结构:(模态词 + 原判断) 3、语言表达:常用的模态词及其位置
二、模态判断的种类
分类一:简单模态判断、复合模态判断
① 执法者可能执法犯法。
② 处理过轻可能不利于他认识和改正错误。
2020/10/11
16
第一节 模态判断
一、什么是模态判断 二、模态判断的种类