北大逻辑学精品课(完整版)PPT课件.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
A Course in Logic; 莎士比亚在《威尼斯商人》里说,有一位品貌出众的富家姑娘叫鲍西霞,许多王孙公子为之倾倒,但她遵循已故父亲的遗嘱,必须猜匣为婚。鲍西霞身边有金、银、铅三只匣子,其中只有一只匣子里放着她的肖像,这三只匣上面各刻着一句话: 金匣子上刻的是“肖像不在此匣中”,银匣子上刻了“肖像在金匣中”,铅匣子上刻了“ 肖像不在此匣中”,这三句话只有一句是真话。谁能根据这些情况猜中肖像放在哪只匣子里,她就嫁给谁。 这里,如果谁能准确地运用排中思维,那他就是漂亮贤淑的鲍西霞的夫婿了。因为,金匣上刻的话就是说肖像不在金匣中,这与银匣上刻的“肖像在金匣中”正好构成矛盾关系,两者必有一真。为了确保只有一句真话,那么铅匣上的“肖像不在此匣中”必须是假话,由此可以判定鲍西霞的肖像就在铅匣中。 ;第一章 绪论;“逻辑” 的含义;思维;思维和语言;逻辑学的研究对象;(1)所有大学生都是学生。 (2)所有金属都是导电体。 (3)所有商品都是用来交换的劳动产品。 但这三个命题有共同的逻辑形式:所有S都是P (1)如果物体发热,那么物体就会膨胀。 (2)如果明天天气好,那么我就去郊游。 上面两个命题也有共同的逻辑形式:如果p,那么q;(1)所有公民都是遵纪守法的人,有的人是公民,所以,有的人是遵纪守法的人。 (2)所有科学都是有价值的,有的理论是科学,所以,有的理论是有价值的。 这两个推理的内容不同,但有相同的逻辑形式: 所有M是P,有S是M,所以,有S是P。 所以:不同的思维内容可以有相同的思维形式。逻辑学重点研究的是思维的逻辑形式,任何逻辑形式都由逻辑常项和逻辑变项组成。 逻辑常项:是指逻辑形式中不随思维内容变化而变化的部分。体现了逻辑形式的本质特征,是区分不同种类的逻辑形式的唯一依据。 逻辑变项:是指逻辑形式中可变的部分。 命题:(1)所有的 S 都是 P (2)如果 p ,那么 q ;推理 ;推理的有效性;逻辑的发展阶段;第一章 绪论;逻辑学的性质;逻辑学的作用;逻辑学的作用;逻辑学的分类;第一章 绪论;逻辑学的研究方法;逻辑学的学习???法;第一章 绪论;古希腊逻辑学;传统逻辑的发展;传统逻辑的发展——西方逻辑学早期状况;逻辑学的现代概况;逻辑学三项划时代的重大成果;本章小结;形式化方法 ;公理化方法;自然演绎方法;;第二章 命题逻辑;命题;命题和语句;命题和判断;命题的分类;命题分析的层次;逻辑语形学与逻辑语义学;第二章 命题逻辑;负命题;负命题;负命题;联言命题;;合取引入规则(∧+):从A和B可推出A∧B。图示如下: A B —— A∧B 合取消去规则(∧-):从A∧B可推出A,从A∧B可推出B。图示如下: A∧B A∧B —— —— A B 小张喜爱音乐,小张喜爱体育,所以,小张不但喜爱音乐,也喜爱体育。 根据∧+作出一个形式正确的推理,推理形式为:p,q├ p∧q 。 小张既有优点,也有缺点,所以,小张是有优点的。 根据∧_作出一个形式正确的推理,推理形式为:p∧q├ p。;选言命题;相容选言命题的形式:p或者q(p∨q) ∨的真值表: 相容选言命题的逻辑特征: 相容选言命题为真,则它的选言支至少有一个为真;反过来讲,当选言命题至少有一个选言支为真,选言命题一定为真。;∨的运算规律 ∧和∨的混合运算规律;用真值表检验德·摩根律: 从上真值表,可得:?(p∧q) = ?p∨?q 应用德·摩根律的实例: 并非这件衣服物美(而且)价廉?这件衣服或者物不美,或者价不廉。 并非小李或者喜欢音乐,或者喜欢体育?小李既不喜欢音乐,也不喜欢体育。;析取消去规则(∨- ) 从A∨B和?A可推出B;从A∨B和?B可推出A。 A∨B A∨B ?A ?B —— —— B A (只讨论有两个选言支的选言命题,下同) 析取消去规则的应用实例: 或者李某是嫌疑犯,或者王某是嫌疑犯(或者二者都是);李某不是嫌疑犯;所以,王某是嫌疑犯。 其推理形式为: p∨q, ?p├ q 肯定一个选言支,不能否定另一个选言支。下述推理形式均错误: A∨B ,A├ ?B; A∨B ,B ├ ?A ;析取引入规则(记为∨+ ): 从A可推出A∨B; 从B可推出A∨B。 A B

文档评论(0)

pandon + 关注
官方认证
内容提供者

该用户很懒,什么也没介绍

认证主体阳春市鑫淼网络科技有限公司
IP属地广东
统一社会信用代码/组织机构代码
91441781MA52GF540R

1亿VIP精品文档

相关文档