网站大量收购独家精品文档,联系QQ:2885784924

逻辑学基础教程(第四版)全套教学课件.pptx

逻辑学基础教程(第四版)全套教学课件.pptx

  1. 1、本文档共116页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
《逻辑学基础教程》(第四版);《逻辑学》·课程导学;二、逻辑学的知识背景及其与其他学科关系;第一节 逻辑学的对象; 逻辑学是关于推理和论证的科学。具体地说,逻辑学是关于推理、论证及其规律、方法的学问。 因为推理和论证都要使用概念、判断,所以国内逻辑教科书一般把主要研究传统逻辑(又称普通逻辑)的部分,定义为:逻辑学是研究思维形式 (含概念、判断、推理)及其规律,和一些逻辑方法的科学。 根据上述分析,本课程主要讲授的逻辑知识内容包括:概念、判断和推理等思维形式,逻辑的基本规律,一些常用的逻辑方法和论证等。;二、推理、论证和思维形式分析;; 上述例子中思维形式的逻辑表示就是逻辑结构式,也叫逻 辑公式,是学习逻辑时必须要掌握的重点内容。 逻辑结构式通常由逻辑常项和逻辑变项两部分组成。 以上逻辑结构式中的“所有”、“都是”;“如果,那么”就是逻辑常项,它们是不同逻辑形式区分的标志,决定着 逻辑形式的不同类型和性质。 逻辑结构式中的S、P,Q等字母符号叫作逻辑变项,它们代表被抽象掉的思维内容。对于任一逻辑公式中的变项代入具体的思维内容,就可以还原为日常思维中的判断或推理。;三、逻辑规律;第二节 逻辑学的性质和作用;二、传统逻辑与现代逻辑(略);第三节 逻辑学的发展及其文化背景;⒉ 非对称关系:当aRb为真时,bRa真假不定,在这种关系下“R”表示非对称关系。 例如:“王华喜欢李梅”。 其中的“喜欢”就是非对称关系。“王华喜欢李梅”真, “李梅喜欢王华”则真假不定。类似的关系还有“认识”、 “批评”等。 ⒊ 反对称关系:当aRb为真时,bRa必假,在这种关系下” R“表示反对称关系。 例如:“A大于B” 其中的“大于”就是反对称关系。“A大于B”为真,则“B大于A”必假。类似的关系还有“战胜”、“侵略”等;㈡传递性关系 传递性关系是指存在于三个或三个以上关系项之间的关系(又称“多元关系”)。它所刻划的是在“aRb”真,且 “bRc”真的情况下, “aRc”如何。表示传递性关系的判断,被称为传递性关系判断。 传递性??系包括传递关系、非传递关系、反传递关系。 ⒈ 传递关系。 当aRb真,bRc真,则aRc必真。则“R”表示传递关 系。 例如: “a=b;b=c” 其中“=”是传递关系。当“a=b;b=c”为真时,“ a=c”必真。类似关系还有“大于”、“小于”、“是同乡”等。;⒉ 非传递关系:aRb真,bRc真,则aRc真假不定。 “R”表示的是非传递关系。 例如:“甲队战胜了乙队,乙队战胜了丙队”。 “战胜”为非传递关系。“甲队战胜乙队,乙队战胜丙队”为真,“甲队战胜丙队”则真假不定。 ⒊ 反传递关系:aRb真,bRc真,则aRc必假(即并非 aRc)。 “R”表示反传递关系。 例如: “a是b的4倍,b是c的4倍” 。 其中“4倍”是反传递关系。 “ a是b的4倍,b是c的4倍”为真,“a是c的4倍”必假。;三、关系推理;⒉ 反传递关系推理 其结构式为:aRb,bRc ;所以,a﹁Rc例如: a是b的4倍, b是c的4倍, 所以,a不是c是4倍。 非对称判断、非传递判断中的关系是不确定性关系,即它们是否对称,是否传递属不确定的,因此,以非对称判断、非传递判断做前提,不能推出有效结论。;第四节 三段论;㈡ 三段论的结构;“大前提”是包含着大项的前提,如上述推理中的 “所有著名大学都要参与国际竞争”。 “小前提”是包含着小项的前提,如上述推理中的 “南开大学是著名大学”。 “结论”是由两个前提推出的新判断,如上述推推理中的“南开大学要参与国际竞争”。 根据三段论结构的分析,前例推理可用公式表示为:所有的M都是P, S是M, 所以,S是P。;三、三段论规则;2.分解式 联言推理的分解式是根据联言推理规则2,即由前提 肯定联言判断,推出结论肯定其中任一联言支的联言推理。 例② 计算机不仅要有硬件,而且要有软件支持;所以,计算机要有软件支持。 组合式的一般逻辑形式为: p并且q 所以,p (或:所以,q) 该形式可用符号公式表示为: ( p ∧ q) → p 或者:( p ∧ q) → q (该公式表达的逻辑原理,可简称为“∧-”);3.否定否定式 联言推理的否定否定式是根据联言推理规则3,即由前提否定一个联言支,结论可推出否定包含该联言支的整个联言判断。 例③ 并非小王是运动员, 所以,并非小王和小李都是运动员。 否定否定式的一般逻辑形式为: 并非p 所以,并非(p并且q)该形式可用符号公式表示为: ┐p → ┐(p ∧ q) 或者: ┐q → ┐(p ∧ q) (其中,符号“ ┐”是逻辑否定符号,读作“并非”,它对紧随其后的命题变项或命题形式构成否定。);第二节 选言判断及其推理;选言判断由选言

文档评论(0)

151****7306 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档