逻辑导论课件ppt
逻辑导论课件(逻辑基本规律)
A、李老师的推测成立。 B、王老师的推测成立。
C、赵老师的推测成立。
D、如果方宁考不上清华,则张老师的推测成立。 E、如果方宁考上了清华,则张老师的推测成立。
一、同一律
2、同一律对思维的要求
第二,同一律要求在同一思维过程中,保持论题自身的同一。 违反这一要求的逻辑错误,称为“转移论题”或“偷换论题”。
二、矛盾律
1、什么是矛盾律
!
在同一思维过程中,
相互否定的思想不可同真,其中必有一假。
二、矛盾律
1、什么是矛盾律
相互否定的思想:相互矛盾 相互反对
针对此人,这条法令该如何执行呢?
二、矛盾律
8、悖论
例如-4
作画的手
二、矛盾律
8、悖论
例如-5
上行和下行
二、矛盾律
8、悖论
例如-6
瀑布
二、矛盾律
8、悖论
例如-7
“扩展了的”说谎者悖论
下面这个句子是假的。
上面那个句子是真的。
二、矛盾律
8、悖论
例如-8
集合论悖论(罗素悖论)
“ 普通的 ”集合与 “ 自吞的”集合
麦加拉派的欧几里德斯的学生欧布利德改为: “我正在说的这句话是假话。” 这句话是真话还是假话?
二、矛盾律
8、悖论 理发师悖论 某个村子有个理发师,他给自己制定了一个规定:只 给那些不给自己理发的人理发。
例如-2
理发师能否给自己理发?
二、矛盾律
8、悖论 唐〃吉柯德悖论
例如-3
封地中央有条河,河上有座桥,桥的尽头有绞架。封地的主人制 定了一条法令:“谁要过桥,先得发誓声明过哪里去,去干什么。 如果说的是真话,就让他过去;如果撒谎,就判处死刑,在那里 的绞架上处决,决不饶恕。” 有个人发誓声明,他过桥没别的事,只求死在那座绞架上。
《逻辑学》全套PPT课件
03
判断与推理
判断的种类与性质
简单判断
01
指不包含其他判断的判断,如“S是P”或“S不是P”。
复合判断
02
指包含其他判断的判断,如联言判断、选言判断、假言判断等
。
判断的性质
03
包括真假值、模态(必然、可能等)、量(全称、特称等)。
推理的形式与规则
推理形式
指推理的结构或模式,如三段论、假言推理、归纳推理等。
归纳与演绎相互渗透
在思维过程中,归纳和演绎往往交替使用, 相互补充。
归纳与演绎的互补性
归纳长于创新,演绎长于论证,二者相互补 充,共同推动认识的发展。
06
现代逻辑学的发展与前沿问题
数理逻辑的产生与发展
弗雷格与数理逻辑的产生
弗雷格对逻辑学的贡献,以及他对数理逻辑 产生的影响。
罗素与怀特海的《数学原理》
03
影响推理可靠性与有效性的因素
包括前提的真实性、推理形式的正确性、逻辑规则的遵守情况等。为了
提高推理的可靠性与有效性,需要确保前提真实、形式正确,并严格遵
守逻辑规则。
04
逻辑规律与逻辑谬误
同一律、矛盾律、排中律
同一律
在同一思维过程中,每一思想必须保持自身同一性,不能随意变 更。
矛盾律
在同一思维过程中,两个互相矛盾或互相反对的思想不能同时为 真,其中必有一假。
根据随机事件出现的频率来估计其概 率,进而预测未来事件的结果。
类比法
根据两个或两类对象在某些属性上的 相似,推出它们在其他属性上也可能 相似的结论。
演绎逻辑的方法与应用
三段论
由包含三个不同概念的两个前提和一个结论组成的推理形式。
假言推理
逻辑导论课件(词项逻辑)
!
三、直言命题的直接推理
1、直言对当推理 、
分 析 ①
某县领导参加全县的乡计划生育干部会,临时被邀请上台讲话。由于事先没有做调查 研究,也不熟悉县里计划生育的具体情况,只能说些模棱两可、无关痛痒的话。他讲 道:"在我们县14个乡中,有的乡完成了计划生育指标;有的乡没有完成计划生育指标; 李家集乡就没有完成嘛。"在领导讲话时,县计划生育委员会主任手里捏了一把汗,因 为领导讲的三句话中有两句不符合实际,真后悔临时拉领导来讲话。
三、直言命题的直接推理
1、直言对当推理 、 (1)矛盾关系: )矛盾关系: 注意: 注意:
矛盾关系是不同真且不同假的关系 ¬(SAP ↔ SOP) (SAP∧¬SOP)∨(¬SAP∧SOP ) (SAP∨SOP)∧ ¬(SAP∧SOP )
!
三、直言命题的直接推理
1、直言对当推理 、 (2)差等关系: )差等关系: A—I: SAP →SIP ¬SIP →¬SAP E—O:SEP →SOP ¬SOP →¬SEP 注意: 注意:
目录
第三章 词项逻辑
关于词项推理的规律
一、词项 二、直言命题 三、直言命题的直接推理 四、三段论
例如 ①鸵鸟是鸟,所以,有的鸟是鸵鸟。 ②所有能被2整除的数都是偶数, 10是能被2整除的数, 所以,10是偶数。
一、词项
1、语词和词项 、
(1)词项是对语词的抽象,表达语词的逻辑内容 第一,词项是抽象掉了非逻辑含义的语词。 第二,词项是确定了含义的语词。
二、直言命题
2、形式结构 、
主项:一般用S表示。 谓项:一般用P表示。 联项: (1)肯定联项:是。 (2)否定联项:不是。 量项: (1)全称量项 (2)特称量项(存在量项) (3)单称量项
逻辑学课件(完整)
三段论及其推理
总结词
掌握三段论及其推理是逻辑学中的重提和结论构成的推理,前提 和结论之间存在必然联系。三段论可以分 为直言三段论、假言三段论和选言三段论 等类型。在三段论中,根据不同的逻辑规 则,可以推导出不同的结论。同时,三段 论还可以与其他推理方法结合使用,以推 导出更加复杂的结论。
详细描述
根据逻辑规则,命题的真假可以通过直接 判断其内容是否符合事实来确定。对于复 合命题,需要分析其内部结构和逻辑关系 ,然后根据逻辑规则进行真假判定。
命题的推理规则
总结词
掌握命题的推理规则是逻辑学中的重要内容。
详细描述
根据逻辑学原理,我们可以使用不同的推理规则来推导新的命题的真假。这些推理规则包括三段论、假言推理、 选言推理、归纳推理等。通过这些推理规则,我们可以从已知的命题推导出未知的命题,从而建立严密的逻辑关 系。
法律解释
逻辑学有助于理解和解释法律条 文,为法律解释提供了一种客观 和合理的基础。
辩论中的逻辑学应用
01
论证结构
反驳技巧
02
03
语言运用
逻辑学可以帮助辩论者构建清晰、 连贯的论证结构,使论点更有说 服力。
逻辑学提供了反驳技巧,帮助辩 论者有效地反驳对手的观点和论 据。
逻辑学强调语言的准确性和清晰 性,有助于辩论者更准确地表达 自己的观点。
总结词
理解直言命题及其推理是逻辑学的重要内容
详细描述
直言命题是表达主谓关系的命题,根据主谓项之间关系不同,直言命题可以分为全称命题、特称命题和单称 命题;根据主谓项之间关系是否具有传递性,直言命题可以分为必然命题和可能命题。推理是由一个或多个 命题推出另一个命题的思维过程,根据前提与结论之间关系不同,推理可以分为演绎推理、归纳推理和类比
逻辑学(完整)ppt课件
《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
和推理
是计算
的思想
批判了形式
而成为 现代逻 辑的先 驱。
揭示了思维的辩
逻辑,研究 了辩证思维, 构造了辩证 逻辑的体系。
证矛盾。
现代归纳逻辑的发展有两个方向 : “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创,流行于50~80年代初期的 贝叶斯运动。20世纪中叶以来,美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出,支持度可列为不同 的等级,不同等级的支持度, 就是证据给予假设不同等级 的必然性, 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言? 观 点 研究推理?
思维的逻辑形式
结论:逻辑学 是研究思维的 形式结构及其 规律的科学, 中心任务是研 究推理及其有 效性标准。或 者最简单的: 逻辑学是研究 推理的科学。
逻辑形式:具有不同内容的思维(命题和推理)所共同具有的形式或结构
所有团员都不是青年 所有商品都不是劳动产品
但它们有共同的逻辑形式
所有S不是P
与这些逻辑形式属于同类的还有
有的S是P
有的S不是P
如:有的人是团员
还有另外一类命题
p
有的人不是大学生 q
如果一个物体摩擦, 那么这个物体生热 如果你能办成这件事,那么我从4楼跳下去
按照操作定义,得出它们的逻辑形式是 其中替换内容的字母用了小写的p、q等
要么p要么q要么p要么q要么p要么q要么p要么q这商品品质好而且价格低小张学习好而且品德高尚qq或者p或者q或者p或者q或者p或者q或者p或者q或者老张是导演或者老张是演员他或者吃米饭或者吃面条并非p并非p并非p并非p并非人是由石头变来的并非人人有自知之明推理的逻辑形式推理由命题组成如果用相同的字母替换相同的具体内容就可得到推理的逻辑形式所有团员是青年所以有的青年是团员所有m是p所有s是m所以所有s是p所有s是p所以有的p是s不同类型的命题可组成不同类型的推理如果一个人患肺炎p那么他发烧q小张不发烧非q所以他未患肺炎非p如果p那么q所以非p要么你交钱p要么你交命q你交了钱p所以你不用交命非q要么p要么q所以非q以上均为演绎推理的逻辑形式还有归纳推理形式可参阅教科书p9任何一个逻辑形式都包括
逻辑学概论 ppt课件
逻 辑 学 的 研 究 对 象
逻辑学的研究对象是:思维的 逻辑形式、逻辑的基本规律和 简单的逻辑方法
三 、 思 逻维 辑内 形容 式与 思 维 的
思维内容:思维所反映的特定对象 及其属性 思维的逻辑形式:不同思维内容所 具有的共同的形式结构。 如:所有学生都是认真学习的。 所有植物都是呼吸空气的。 所有金属都是导电的。 所有XX都是XX 所有S是P
二 、 归 理 纳 的 推 可 理 靠 和 性 类 比 推
在归纳推理和类比推理中,前 提与结论的联系是或然的。 逻辑学研究归纳推理和类比推 理时,主要是解决如何提高其 结论的可靠性程度的问题,即 寻求提高其结论可靠性程度的 逻辑方法。
例 题 一
网络作家蔡智恒在其成名作 《第一次亲密接触》的开头写道: “如果我有一千万,我就能买一座房子。 我有一千万吗?没有。 所以我仍然没有房子。 如果我有翅膀,我就能飞。 我有翅膀吗?没有。 所以我也没办法飞。 如果把整个太平洋的水倒出,也浇不熄我对 你爱情的火焰。 整个大平洋的水能倒得出吗?不行。 所以我并不爱你。”
二 、 学 习 普 通 逻 辑 的 方 法
1.抓住中心,循序渐进 概念、判断是基础,推理是中心,再进 行论证。 2.勤思多练,注重理解 要学好普通逻辑,就要在理解和掌握基 本的逻辑概念和逻辑理论上下工夫。在理 解的基础上记住概念的定义,把握逻辑形 式的特征及表达公式和符号,以及它们的 规则。 3.结合实际,学会运用 联系专业把学和用结合起来。平时能自觉 地运用逻辑知识,遵守逻辑规律。做到概 念明确,判断恰当,推理准确,条理清楚, 结构严密。
《逻辑学导论》全套精品课件262
(《爱因斯坦文集》第一卷,商务印书馆,1976 年版)
2018/7/6
4
第一讲
引言
• 古时候有个国王,在他的王国里死刑只有两种, 一是砍头,二是绞刑。国王对死刑有个特殊规 定:执行死刑前让囚犯做一个陈述,如果他的 陈述是真的,那么他将被绞死;如果他的陈述 是假的,那么他将被砍头。有一天,一个囚犯 被带到法场,并照例给了他的陈述。国王左思 右想不知该如何处罚这个囚犯,最后只得放了 他。请问囚犯做了怎样的陈述能使国王放了他?
2018/7/6 3
1953年,爱因斯坦在给 J· E· 斯威策的一封复信中,谈到 西方科学的基础和中国古代的重大发明,他写道:
西方科学的发展是以两个伟大的成就为基础,那就是:
希腊哲学家发明形式逻辑体系(在欧几里得几何学中),以 及通过系统的实验发现有可能找出因果关系(在文艺复兴
期)。在我看来,中国的贤哲没有走上这两步,那是用不着
2018/7/6 15
女人到底懂不懂逻辑
——逻辑的多重含义 多 看“ 地 ?昨 方 ”天 不 的 符 “侦 合 不破 逻 好片 辑 看好 ? ,不 ” 很好
2018/7/6
•
么手 你 逻大 想 辑脚 买 ?乱 车 花买 钱房 ,, 这但 是又 什大
•
的洪 流 大 。暴 失 肆 发,砍 ,水伐 这土森 是流林 合失导 乎导致 逻致水 辑山土
名学经典—— 《荀子· 正名》。
2018/7/6 18
2018/7/6 6
解答:
• 令两扇门分别为X和Y,两个卫兵分别为A和B。 现在,囚犯向A提问:
“B是说真话的当且仅当X门后是美女,是不 是?”
若A回答“是”,则X门后不是美女;若A回答 “不是”,则X门后是美女。
逻辑导论课件
三、思维形式是逻辑学的研究对象
1、思维形式分析为常项和变项 例如
①如果水温在一个大气压下为摄氏零度,那么水就会结冰。 ②如果过度砍伐森林,那么就会破坏生态平衡。 ③如果某甲作案,那么他有作案时间。
它们共同的形式是:如果p,那么q
三、思维形式是逻辑学的研究对象
二、逻辑学的起源——源于理智的自我反思
邓析:设无穷之辞 操两可之说
洧(wei)水甚大,郑之富人有溺者,人得其死,富 人请赎之,其人求金甚多,以告邓析,邓析曰:“安 之!人必莫之卖矣。”得死者患之,以告邓析,邓析 又答之曰:“安之!此必无所更买矣。”
二、逻辑学的起源——源于理智的自我反思
邓析:设无穷之辞 操两可之说
又如
①有的教师是律师。 ②有的被告是无罪的。 ③有的乌鸦是白色的。
它们共同的形式是:有的S是P
三、思维形式是逻辑学的研究对象
2、思维形式具有规律性
有一类思维形式结构在任意代入下都表达真实的思想内容, 这称为逻辑规律。
例如“p或者非p”、“所有S是S”。
另一类思维形式结构在任意代入下都表达虚假的思想内容, 这称为逻辑矛盾。
逻辑导论
主讲:逻辑研究所 张鹰 E-mail: honghongzi@;
teacherzhangying@ password: Logic
目录
第一章 绪论 第二章 语言分析 第三章 逻辑推理:命题演算 第四章 逻辑推理:类演算与关系推理 第六章 逻辑推理:模态、规范逻辑 第七章 合情推理:归纳逻辑 第八章 逻辑基本规律 第九章 论证
子产治郑,而邓析务难之。与民之有狱者约,大狱一 衣,小狱襦裤。民之献衣襦裤而学讼者,不可胜数。 以非为是,以是为非,是非无度,可与不可日变。所 欲胜而胜,所欲罪而罪。郑国大乱,民口喧哗。子产 患之,于是杀邓析而戮之。民心乃服,是非乃定,法 律乃行。
逻辑学课件(完整)
逻辑学对于培养批判性思维、创新思维和独立思考能力具有重要作用。
逻辑学的基本概念
逻辑学:研究推理和论证的学科
推理:从已知事实推出未知事实的过 程
论证:通过推理来支持或反驳某个观 点的过程
逻辑连接词:用于连接命题或 语句的词语如“如果……那 么……”、“因为……所 以……”等
非:表示否定一个 命题
复合命题的真值表
复合命题:由简单命题通过逻辑连接词组合而成的命题
真值表:表示复合命题在不同情况下的真值情况
逻辑连接词:包括"与"、"或"、"非"等
真值表示例:如"p与q"的真值表当p和q均为真时p与q为真;当p和q均为假时p与q为假;其他 情况下p与q为假。
命题逻辑的基本推理规则
推理规则的正确性和可废止性
推理规则:逻辑学 中的基本规则用于 判断推理的有效性
正确性:推理规则 必须符合逻辑学的 基本原理和规律
可废止性:在某些 情况下推理规则可 以被废止例如在特 殊情况下或者当新 的逻辑规则出现时
推理规则的应用: 在逻辑学中推理规 则被广泛应用于各 种推理和论证中如 演绎推理、归纳推 理等
归纳推理的有效性和正确性
归纳推理的定 义:从特殊到 一般的推理过
程
归纳推理的有 效性:通过观 察和实验得出 结论但可能存
在例外
归纳推理的正 确性:需要满 足一定的条件 如样本的代表 性、实验的可
重复性等
归纳推理的应 用:在科学研 究、日常生活 等领域广泛应
用
归纳推理的应用领域和实例
商业领域:用于市场分析、 预测市场趋势
逻辑导论 ppt课件
Heraclitus(约前540年—前480年) 古希腊哲学家、爱非斯派的创始人
2、词义 (1)客观事物的规律 (2)某种具体的理论、观点等 (3)思维的规律 (4)逻辑学
苏格拉底 前468-399 柏拉图前427-347
1
亚里士多德 弗兰西斯培根
(前384-322 ) (1561-1626)
21事:(1)鸡三足(2)卵有毛(3)郢有天 下(4)犬可以为羊 (5)马有卵(6)丁子有 尾(7)火不热冰不寒(8)山出口(9)轮不 碾地(10)目不见(11)指不至,至不绝 (12)龟长于蛇(13)矩不方,规不可以为 圆(14)凿不围枘(15)飞鸟之影,未尝动 也(16)镞矢之疾,而有不行不止之时(17) 狗非犬(18)黄马,骊牛,三(19)白狗黑 (20)孤驹未尝有母(21)一尺之棰,日取 其半,万世不竭
言尽悖,辩无胜
荀子对名家的评价
《荀子》:不法先王,不是礼 义,而好治怪说,玩琦词,甚 察而不惠,辨而无用,多事而 寡功,不可以为治纲纪;然则 其持之有故,其言之成理,足 以欺惑愚众。是惠施、邓析也。
你正在参加赛跑,几经辛苦, 你终于超过第二位的健儿,你 现在是第几?
如果你跑呀跑,超过 最后一名,那你现在 是第几?
②如果过度砍伐森林,那么就会破坏生态平衡。 ③如果某甲作案,那么他有作案时间。
它们共同的形式是:如果p,那么q
又如:
①有的教师是律师。 ②有的被告人是无罪的。 ③有的人是自私的。
它们共同的形式是:有的S是P
2、思维形式具有规律性
有一类思维形式结构在任意 代入下都表达真实的思想内 容,这称为逻辑规律。 例如: “p或者非p”、“所有S是S”
享受逻辑训练的成果
二、逻辑学的起源
逻辑学全部ppt课件
逻辑学全部ppt课件CONTENTS •逻辑学概述•形式逻辑•辩证逻辑•数理逻辑初步•归纳逻辑与演绎逻辑•逻辑谬误与批判性思维逻辑学概述01逻辑学的定义与研究对象逻辑学的定义逻辑学是研究推理和论证的学科,旨在分析、评估和改进人们的思维方式和表达方法。
研究对象逻辑学的研究对象包括概念、命题、推理、论证等思维形式和规律。
起源于古希腊,代表人物有亚里士多德等,主要研究三段论等演绎推理方法。
19世纪末至20世纪初,数理逻辑得到快速发展,代表人物有弗雷格、罗素等,将数学方法应用于逻辑学研究。
随着计算机科学、人工智能等领域的发展,逻辑学在多个领域得到广泛应用,形成了多个分支学科。
古典逻辑学近现代逻辑学当代逻辑学逻辑学的发展历程03辩证思维方法在分析和评估论证过程中,运用辩证思维方法来揭示论证中的矛盾和问题,提出改进意见。
01形式化方法通过符号和公式来表示概念、命题和推理,运用形式化系统进行推导和证明。
02语义分析方法研究语言表达式与客观世界之间的关系,分析表达式的意义和真值条件。
逻辑学的研究方法形式逻辑02概念与范畴概念的定义与分类解释概念的含义,探讨概念的种类及其之间的关系。
范畴的划分与特性阐述范畴的概念,分析范畴的划分标准及其特性。
概念与范畴的关系探讨概念与范畴之间的联系与区别,以及它们在逻辑学中的地位和作用。
判断与推理判断的构成与种类分析判断的基本要素,介绍判断的种类及其逻辑特征。
推理的形式与规则阐述推理的含义,探讨推理的形式和规则,包括演绎推理和归纳推理等。
判断与推理的关系探讨判断与推理之间的联系与区别,以及它们在逻辑学中的地位和作用。
形式化方法形式化语言与符号系统介绍形式化语言的概念,阐述符号系统的构建原则和方法。
形式化证明与演算探讨形式化证明的方法和技巧,包括自然演绎、公理化方法等,以及形式化演算的基本规则和步骤。
形式化方法的应用阐述形式化方法在逻辑学、数学、计算机科学等领域的应用及其意义。
辩证逻辑03整体性辩证思维强调从整体上把握事物,注重事物之间的相互联系和相互作用。
逻辑导论课件全.ppt.Convertor
《逻辑导论》第一章绪论一、"逻辑"的含义1、"逻辑"的由来"逻辑"一词由英文"Logic"音译而来。
"Logic"源于古希腊语"λγο"(逻各斯),原意是言辞、思想、理性、秩序、尺度、规律等。
直到近代,才用来表示逻辑学这门学科。
2、"逻辑"的含义(1)客观事物的规律(2)某种理论、观点或主张(3)思维的形式规律或规则(4)逻辑学二、逻辑学的起源--源于思想的自我反思逻辑学是一门历史悠久的学科,至今已有两千多年的历史。
这门学科是由古希腊思想家亚里士多德(Aristotle 公元前384--322年)创立的。
公元前6世纪-4世纪是思想争论的时代。
逻辑学是为了满足这个时期的政治与法庭的辩论、数学的证明、伦理学和形而上学的论证等思想争论的需要发展起来的,是在这个时代的思想的自我反思基础之上发展而来的。
三、逻辑学的对象、问题、任务逻辑学以推论作为研究对象。
逻辑学的研究问题:推论的必然性即有效性问题。
逻辑学的研究任务:解决判定问题:研究有效推论的判定程序与方法。
解决推导问题:发现有效推论的规则与方法。
四、逻辑学的性质和作用在联合国教科文组织颁布的学科分类中,逻辑学被列为七大基础学科之一。
逻辑学是一门基础性学科。
逻辑学是一门工具性学科。
逻辑学是一门应用广泛性的学科。
逻辑学具有重要的理论意义和实践意义逻辑学是思想分析与批判的工具。
逻辑学是思想推论与论证的工具。
逻辑学在理论研究和社会实践中具有广泛的应用。
第二章命题逻辑关于命题联结词的规律一、命题命题:有所陈述的语句。
命题结构:命题可以分解为联结词和被联结的部分。
联结词称为逻辑常项,它起联结作用并反映被联结的部分之间的逻辑关系。
命题形式:命题结构或命题内在逻辑关系的表达式。
由变项和逻辑常项组成。
命题的真假:二、命题联结词与复合命题命题联结词:联结命题的联结词。
教学课件 逻辑学导论
逻辑学导论
(第三版)
第一章 什么是逻辑学?
“逻辑”的词源与词义 逻辑学的对象:推理和验证 命题分析和逻辑类型 推理形式及其有效性 逻辑基本规律
2
第一章 什么是逻辑学?
“逻辑”的词源与词义 逻辑学的对象:推理和验证 命题分析和逻辑类型 推理形式及其有效性 逻辑基本规律
3
“逻辑”的古希腊词源
[14] ((AB)C)(BC) [15] ((AB)A)A [16] (AB)(A∧CB) [17] (AB)(A∨CB∨C) [18] (AB)(A∧CB∧C) [19] (A(BC))(A∧BC) [20] (A∧BC)(A(BC)) [21] (AB)((CD)(A∧CB∧D)) [22] AA [23] (AB)(BA) [24] (AB)((BC)(AC) [25] (AB)((CD)((AC)(BD)))
p∧q p∨q pq pq
p
直言命题和词项逻辑
简单命题
量项
主项
联项
谓项
所有/有些 普遍词项S/ 是/不是
P
单称词项a
个体词、谓词和谓词逻辑
简单命题
联结词
简单命题
量词 个体词 谓词
全称量词/ 个体常项/ F/G/R/S 存在量词 个体变项
归纳逻辑
个别性例证
真
归纳推理
一般性原理
真/假
或然性推理
非形式逻辑
例如
联言命题
除了表示各个支命题同时为真外,还表示并列,承接,递进关系等
真值联结词
二元联结词 一元联结词
真值联结词 ∧ ∨
读作 合取 析取 蕴涵 等值 否定
意义 并且 或者 如果,则 当且仅当 并非
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(2)选言命题形式结构
p或者q,pq, 称为析取式。 p 、 q…… 称 为选言支、析 取支。
(3)选言命题逻辑性质和真值表
p
q
pq
+
+
+
+
+
+
+
选言命题练习
判断正误
①如果一个选言命题为真, 则其选言支均真。 ②如果一个选言命题为假, 则其选言支均假 。
排斥选言命题
要么p要么q; p或者q,二者不可兼得。
联言命题练习
判断正误
①如果一个联言命题为假, 则其联言支均假。
②如果一个联言命题为真, 则其联言支均真。
3、选言命题
(1)选言命题就是陈述几个 命题中至少有一个命题成 立的命题。一般由析取词联
结支命题而构成。
①明天或者是晴天或者是阴天。
②他或者得了气管炎,或者得了 肺炎。
③某甲和某乙至少有一个人是凶 手。
2、中国逻辑学起源、发展—名家
名家代表——邓析、 惠施、公孙龙
《吕氏春秋·离谓》: 言者,以谕意也。言意 相离,凶也。夫辞者, 意之表也。鉴其表而弃 其意,悖。
邓析: 政令不止,对策无穷; 刑鼎,竹刑;
私家传授法律知识,承揽诉讼
设无穷之辞 操两可之说
洧(wei)水甚大,郑之富人有 溺者,人得其死,富人请赎之, 其人求金甚多,以告邓析,邓析 曰:“安之!人必莫之卖矣。” 得死者患之,以告邓析,邓析又 答之曰:“安之!此必无所更买 矣。”
②如果过度砍伐森林,那么就会破坏生态平衡。 ③如果某甲作案,那么他有作案时间。
它们共同的形式是:如果p,那么q
又如:
①有的教师是律师。 ②有的被告人是无罪的。 ③有的人是自私的。
它们共同的形式是:有的S是P
2、思维形式具有规律性
有一类思维形式结构在任意 代入下都表达真实的思想内 容,这称为逻辑规律。 例如: “p或者非p”、“所有S是S”
一、“逻辑”的含义
1、“逻辑”名称的由来 来 源 于 古 希 腊 语 λόγος ( 逻 各斯) 原意是思想、言词、理性、 秩序、规律。
Heraclitus(约前540年—前480年) 古希腊哲学家、爱非斯派的创始人
2、词义 (1)客观事物的规律 (2)某种具体的理论、观点等 (3)思维的规律 (4)逻辑学
(4)负命题逻辑性质
下列命题是否负命题: ①并非证据都是不确实的。 ②证据都不是确实的。 ③证据都是不确实的。 ④证据不都是确实的。
辨析
2、联言命题
(1)联言命题就是陈述几个 命题都成立的命题。一般由 合取词联结若干支命题而构 成。
①法律是打击犯罪的武器并且法律是保 护人民的武器。
②鉴定结论和勘验笔录都是证据。
非练实不食,非醴泉不饮。于是鸱得腐鼠, 鹓过之,仰而视之曰:‘吓’!今子欲以 子之梁国而吓我邪?”
庄子与惠子游于濠梁之上。庄子曰: “儵鱼出游从容,是鱼之乐也?”惠 子曰:“子非鱼,安知鱼之乐?”庄 子曰:“子非我,安知我不知鱼之 乐?”惠子曰:“我非子,固不知子 矣;子固非鱼也,子之不知鱼之乐, 全矣。”庄子曰:“请循其本。子曰 ‘汝安知鱼乐’云者,既已知吾知之 而问我。我知之濠上也。”
逻辑导论
逻辑学研究所 徐海燕 xuhaiyan2006@
13691157507
目录
第一章 绪论 第二章 语言分析 第三章 命题演算 第四章 类演算与关系推理 第七章 归纳逻辑 第八章 逻辑基本规律 第九章 论证
第一章 绪论
一、“逻辑”的含义 二、逻辑学的起源 三、逻辑学的研究对象 四、逻辑学的性质
不能分析为复合命题的命题,称为简单命题。
联结词的逻辑含义
联结词是对命题真值关系的抽象: 真值联结词
五种基本的逻辑联结词
只反映命题真假关系的连词我 们称之为逻辑联结词,或者真 值联结词。
这五种联结词分别是:
并非,并且,或者, 如果…那么,当且仅当
分别用符号﹁、∧、∨、 →、↔表示。
命题联结词是复合命题形 式中不变的部分,即复合 命题中的常项部分,又称 为命题常项。
①并非所有证据都是确实的。 ②不是所有发光的都是金子。 ③并不是说一旦刮风就要下雨。
④说所有人都是自私的,这是错 误的。
⑤天气预报今天有雨,这是不 准确的。
(2)负命题形式结构
并非p ,p, 称为否定式。
(3)负命题真值表
+ +
p
p
_
_
①今天不是 阴天 ②今天是阴天
①今天不是阴天 ②今天并非是阴天 ③并非今天是阴天
从上述分析可以看出: 福尔摩斯的论证在逻辑上并没有错误,错误出在前提上。 一个逻辑上正确的论证可能有一个或多个假前提。
例如-3
所有的哺乳动物都是有死的, 所有的狗都是有死的, 所以,所有的狗都是哺乳动物。
从上述分析可以看出:
一个逻辑上不正确的论证可能其前提都是真的, 而且,它也可能有一个真的结论。
要么选择鱼,要么选择熊掌。 ①(pq) (pq) ② (pq) (pq) ③ (p↔q)
4、假言命题 (蕴涵件。 一般由蕴涵词联结支命题而 构成。
逻辑学是一门关于推理的科学, 它主要是研究推理形式的逻辑有效 性规律的科学。
斯多葛学派(The Stoicism)
如果我们有能够能够得出结论 的前提,那么结论隐含在前提 中,即使它未被明确地陈述出 来。
四、逻辑学的性质
1、 基础性
联合国教科文组织:数学、逻辑 学、天文学和天体物理学、地球 科学和空间科学、物理学、化学、 生命科学。
1、什么是联结词
语言中的连词表达联结词。 但连词并不等于联结词。
2、什么是复合命题
从语言学的角度来说,连词的作用是将一 些句子连接起来形成一个复合句。
从逻辑学的角度来说,将这种由联结词连 接一些命题所构成的新命题称为复合命题。
在复合命题中,由联结词所连接的那些命题称
为复合命题的支命题。
复合命题是由支命题和联结词所组成的。
21事:(1)鸡三足(2)卵有毛(3)郢有天 下(4)犬可以为羊 (5)马有卵(6)丁子有 尾(7)火不热冰不寒(8)山出口(9)轮不 碾地(10)目不见(11)指不至,至不绝 (12)龟长于蛇(13)矩不方,规不可以为 圆(14)凿不围枘(15)飞鸟之影,未尝动 也(16)镞矢之疾,而有不行不止之时(17) 狗非犬(18)黄马,骊牛,三(19)白狗黑 (20)孤驹未尝有母(21)一尺之棰,日取 其半,万世不竭
苏格拉底 前468-399 柏拉图前427-347
1
亚里士多德 弗兰西斯培根
(前384-322 ) (1561-1626)
邓析(郑 前545-501) 子产(郑 前?-前522)
庄子(宋 前369-286) 惠子(宋 前370- 318)
公孙龙(赵
前325-250)
白马非马 离坚白
墨子 (宋国人,前468—376)
如果小明是中国政法大学的学生那么小明参加 p→q 了彩虹拉拉队。
小明是中国政法大学的学生当且仅当小明参加 p↔q 了彩虹拉拉队。
?•是否每个复合命题都有一个 确定的命题形式?
•不同的命题是否可以有 相同的形式?
1、负命题
(1)负命题就是陈述某 个命题不成立的命题。 一般在某个命题前加上 否定词而构成。
城门失火,殃及池鱼 条件:城门失火, 结果:殃及池鱼。
3、推理形式及其有效 性的判定是逻辑学研 究的核心课题
推理和推理形式的区别
例如-1
(1) 某案件的嫌犯是甲或者乙, 经查证,确认并非甲, 所以,乙是嫌犯。 p或者q 非p 所以,q (有效式)
(2) 某案件的嫌犯是甲或者乙, 经查证,确认是甲, 所以,乙不是嫌犯。 p或者q
言尽悖,辩无胜
荀子对名家的评价
《荀子》:不法先王,不是礼 义,而好治怪说,玩琦词,甚 察而不惠,辨而无用,多事而 寡功,不可以为治纲纪;然则 其持之有故,其言之成理,足 以欺惑愚众。是惠施、邓析也。
你正在参加赛跑,几经辛苦, 你终于超过第二位的健儿,你 现在是第几?
如果你跑呀跑,超过 最后一名,那你现在 是第几?
1977年版《大英百科全书》将逻 辑学列为基础学科第一位。
四、逻辑学的性质
2、工具性
①推理的工具 ②表述思想、建构理论的工具。 ③思想分析与批判的工具。
第三章 命题演算
关于命题推理的规律 一、复合命题 二、重言式 三、复合命题推理的基本有效式 四、复合命题推理的其他有效式 五、自然推理系统
联结词与复合命题
享受逻辑训练的成果
二、逻辑学的起源
?
怎样才能在论证中克敌制胜,说服听众呢? --这就是论证是否成立的问题。
论证的成立基于两个方面:
1、前提是否真实—事实问题 2、前提与结论是否有必然联系—逻辑问题
三、逻辑学的研究对象——思维形式
1、思维形式分析为常项和变项 例如:
①如果水温在一个大气压下为摄氏零度,那么水 就会结冰。
前提正确、结论正确,不等于推理形式正确。 可以说,前提、结论是否正确,与推理形式是否
正确没有直接关系。
三、逻辑学的研究对象—思维形式
小结:
一个推理正确,是指这个推理 的结构正确。 一个推理的结构正确,是指具 有这一结构的任一推理,都不 会出现真前提和假结论。
三、逻辑学的研究对象——思维形式
4、定义
另一类思维形式结构在任意代 入下都表达虚假的思想内容, 这称为逻辑矛盾。
例如:
“p并且非p”、“有S不是S”
还有一类思维形式结构在有的代入 下表达真实的思想内容,在有的代 入下表达虚假的思想内容。
例如:
“所有S是P”、“如果p,那么q”
命题和推理的区别: 老马识途
这几匹马是老马 ———————— 这几匹马是识途的