唐晓嘉-逻辑学导论

合集下载

唐晓嘉-逻辑学导论

唐晓嘉-逻辑学导论

《逻辑学导论》教学讲义唐晓嘉目录第一讲绪论第一节逻辑学的研究对象1.1 关于“逻辑”一词1.2 逻辑学是研究推理论证的学问1.3 演绎与归纳第二节形式化——逻辑学研究方法的特点2.1 命题、推理的形式与内容2.2 推理的有效性只同形式相关2.3 逻辑学研究的形式化特征第三节逻辑学理论的意义及其与相关学科的关系3.1 逻辑学理论的重要意义3.2 逻辑学与思维科学的关系3.3 逻辑学与语言学的关系第二讲词项第一节词项概述1.1 什么是词项1.2 词项的逻辑特征1.3 词项与语词、概念第二节词项的种类2.1 单独词项与普遍词项2.2集合词项与非集合词项2.3实词项与虚词项2.4正词项与负词项第三节词项之间的关系3.1 相容关系3.2 不相容关系第四节明确词项的逻辑方法4.1 概括与限制4.2 划分4.3 定义第三讲传统直言命题逻辑第一节命题概述1.1 什么是命题1.2 命题的逻辑特征1.3 命题与语句、判断第二节传统直言命题2.1 传统直言及其逻辑结构2.2 直言命题的分类2.3 直言命题的周延性2.4 A、E、I 、O之间对当关系2.5传统直言命题的文恩图解第三节直接推理3.1 直言命题推理概述3.2 对当关系推理3.3 变形推理第四节三段论4.1 什么是三段论4.2 三段论的规则4.3 三段论的格4.4 三段论的式4.5 非标准形式的三段论第四章复合命题与命题公式第一节复合命题概述1.1 复合命题及其逻辑结构1.2 复合命题的逻辑特征第二节复合命题的几种基本形式2.1 负命题2.2 联言命题2.3 选言命题2.4 条件命题2.5 等值命题第三节命题公式与真值函数3.1 命题公式3.2 命题公式与真值函数第四节命题公式之间的逻辑等值关系4.1 命题公式之间的逻辑等值4.2 几个重要的重言等值式4.3 命题公式的相互定义第五章命题逻辑第一节基本的有效推理式1.1 有效推理与无效推理1.2 基本的有效推理式第二节推理有效性的形式证明2.1 推理有效性与命题演算2.2 有效推理的形式证明2.3 基本推导规则与等值替换规则2.4条件证明规则2.5间接证明规则2.6证明重言式第三节无效推理的判定3.1 用真值表证明推理的无效性3.2 用归谬赋值法判定推理的有效与无效3.3 证明公式集合的协调性第六讲量化逻辑第一节简单命题的逻辑结构1.1 个体词和谓词和单称命题1.2 谓词模式、命题函数与量化命题1.3 量化命题公式1.4 量化命题公式的真假条件第二节量化命题的形式化2.1 A、E、I、O命题的形式化2.2 一般简单命题的形式化2.3 多重量化命题第三节量化推理规则3.1 全称例示规则(简记为US)3.2 存在概括规则(简记为EG)3.3 全称概括规则(UG)3.4 存在例示规则(ES)第四节无效量化推理的判定4.1 量化公式的真值函项展开式4.2 无效量化推理的判定第七讲规范逻辑初步第一节模态命题1.1模态词与模态命题1.2模态命题的逻辑性质第二节规范命题2.1规范命题概述2.2规范命题的逻辑形式2.3规范命题的逻辑特征第三节规范推理3.1规范对当关系推理3.2复合规范命题的推理第八讲逻辑思维的基本规则第一节同一律1.1 同一律内容和要求1.2 违反同一律要求产生的逻辑错误1.3 同一律的作用第二节矛盾律2.1 矛盾律内容和要求2.2 违反矛盾律要求产生的逻辑错误2.3 矛盾律的作用第三节排中律3.1 排中律内容和要求3.2 违反排中律要求产生的逻辑错误3.3 排中律的作用3.4 排中律与矛盾律的区别第一讲绪论在本讲中我们要讨论逻辑学的研究对象,逻辑学研究方法的特点,逻辑与一些相关科学的关系,以及逻辑学的学科性质及其重要应用价值。

逻辑学导论第一章

逻辑学导论第一章
普通高等教育“十五” 普通高等教育“十五”国家级规划教材
21世纪哲学系列教材 世纪哲学系列教材
陈波 著
教材:《逻辑学导论》(第二版),陈波 著,中国人民大学出版社,2006年。 参考书:《〈逻辑学导论〉(第二版)教 学辅导书》,陈波、刘社军、张力锋、吴 艳、武宏志编著,中国人民大学出版社, 2006年。
6
逻辑学作为一门科学的逻辑,是既古老又年轻的。
◦ 历史悠久,源远流长。它有三大源泉:古希腊的形式逻辑, 中国先秦的名辩逻辑,古印度的因明。 ◦ 朝气蓬勃,充满活力,已经或者正在发展成为一个庞大的 逻辑学科体系。
7
逻辑学是关于推理和论证的科学,它的主要任务是提 供识别有效的推理、论证与无效的推理、论证的标 准,并教会人们正确地进行推理和论证,识别、揭 露和反驳错误的推理和论证。
35
命题逻辑、词项逻辑 谓词逻辑 命题逻辑 词项逻辑和谓词逻辑 词项逻辑 谓词逻辑是现代演绎逻辑的 三种最基本的逻辑类型。 其中,以形式公理化方法表述的命题逻辑和谓词逻 辑,合称为“一阶逻辑”;由于它在现代逻辑体系 的基础地位,也常被称为“经典逻辑”。
36
除了以演绎推理为对象的演绎逻辑 演绎逻辑外,还有以归纳推理 演绎逻辑 为对象的归纳逻辑 归纳逻辑。把归纳推理中前提对结论的关系概 归纳逻辑 率化和演算化,由此形成的逻辑理论叫做“概率归纳逻 辑”,这是现代归纳逻辑的主要形态。 命题逻辑、词项逻辑 谓词逻辑 归纳逻辑,构成 命题逻辑 词项逻辑、谓词逻辑 词项逻辑 谓词逻辑以及归纳逻辑 归纳逻辑 本课程所要讲授的主要内容。
24
◦ 所有S都是P; ◦ 所有S都不是P; ◦ 有些S是P; ◦ 有些S不是P; ◦ a(或某个S)是P; ◦ a(或某个S)不是P。
25

唐晓嘉逻辑学导论

唐晓嘉逻辑学导论

唐晓嘉逻辑学导论《逻辑学导论》教唐晓嘉目录第一讲绪论第一节逻辑学地研究对象1.1 关于“逻辑”一词1.2 逻辑学是研究推理论证地学问1.3 演绎与归纳第二节形式化——逻辑学研究法地特点2.1 命题、推理地形式与容2.2 推理地有效性只同形式相关2.3 逻辑学研究地形式化特征第三节逻辑学理论地意义及其与相关学科地关系3.1 逻辑学理论地重要意义3.2 逻辑学与思维科学地关系3.3 逻辑学与语言学地关系第二讲词项第一节词项概述1.1 什么是词项1.2 词项地逻辑特征1.3 词项与语词、概念第二节词项地种类2.1 单独词项与普遍词项2.2集合词项与非集合词项2.3实词项与虚词项2.4正词项与负词项第三节词项之间地关系3.1 相容关系3.2 不相容关系第四节明确词项地逻辑法4.1 概括与限制4.2 划分4.3 定义第三讲传统直言命题逻辑第一节命题概述1.1 什么是命题1.2 命题地逻辑特征1.3 命题与语句、判断第二节传统直言命题2.1 传统直言及其逻辑结构2.2 直言命题地分类2.3 直言命题地延性2.4 A、E、I 、O之间对当关系2.5传统直言命题地文恩图解第三节直接推理3.1 直言命题推理概述3.2 对当关系推理3.3 变形推理第四节三段论4.1 什么是三段论4.2 三段论地规则4.3 三段论地格4.4 三段论地式4.5 非标准形式地三段论第四章复合命题与命题公式第一节复合命题概述1.1 复合命题及其逻辑结构1.2 复合命题地逻辑特征第二节复合命题地几种基本形式2.1 负命题2.2 联言命题2.3 选言命题2.4 条件命题2.5 等值命题第三节命题公式与真值函数3.1 命题公式3.2 命题公式与真值函数第四节命题公式之间地逻辑等值关系4.1 命题公式之间地逻辑等值4.2 几个重要地重言等值式4.3 命题公式地相互定义第五章命题逻辑第一节基本地有效推理式1.1 有效推理与无效推理1.2 基本地有效推理式第二节推理有效性地形式证明2.1 推理有效性与命题演算2.2 有效推理地形式证明2.3 基本推导规则与等值替换规则2.4条件证明规则2.5间接证明规则2.6证明重言式第三节无效推理地判定3.1 用真值表证明推理地无效性3.2 用归谬赋值法判定推理地有效与无效3.3 证明公式集合地协调性第六讲量化逻辑第一节简单命题地逻辑结构1.1 个体词和谓词和单称命题1.2 谓词模式、命题函数与量化命题1.3 量化命题公式1.4 量化命题公式地真假条件第二节量化命题地形式化2.1 A、E、I、O命题地形式化2.2 一般简单命题地形式化2.3 多重量化命题第三节量化推理规则3.1 全称例示规则(简记为US)3.2 存在概括规则(简记为EG)3.3 全称概括规则(UG)3.4 存在例示规则(ES)第四节无效量化推理地判定4.1 量化公式地真值函项展开式4.2 无效量化推理地判定第七讲规逻辑初步第一节模态命题1.1模态词与模态命题1.2模态命题地逻辑性质第二节规命题2.1规命题概述2.2规命题地逻辑形式2.3规命题地逻辑特征第三节规推理3.1规对当关系推理3.2复合规命题地推理第八讲逻辑思维地基本规则第一节同一律1.1 同一律容和要求1.2 违反同一律要求产生地逻辑错误1.3 同一律地作用第二节矛盾律2.1 矛盾律容和要求2.2 违反矛盾律要求产生地逻辑错误2.3 矛盾律地作用第三节排中律3.1 排中律容和要求3.2 违反排中律要求产生地逻辑错误3.3 排中律地作用3.4 排中律与矛盾律地区别第一讲绪论在本讲中我们要讨论逻辑学地研究对象,逻辑学研究法地特点,逻辑与一些相关科学地关系,以及逻辑学地学科性质及其重要应用价值.通过本章学习使我们对逻辑学这门学科地研究容有一个基本概念.第一节逻辑学地研究对象1.1 关于“逻辑”这个词在汉语中“逻辑”是一个外来词,它是通过音译地法从西文引入汉语地.在拉丁文、英文和德文中它分别是“logica”、“logic”和“logik”.而西文中地这些词都来源于古希腊文地“λσγοζ”,它有语言、说明、比例、尺度等多种涵义.亚里士多德曾使用这个词来表示事物地定义或公式等.到了公元1世纪,学者们就用这个词来表示一门与论证辩论等多问题相关地学问,而亚里士多德地三段论被看作这一学问地核心容.“逻辑”是一个外来词,这并不意味在中国思想发展史中就没有研究相关理论地学问.春秋战国时期地著名学者公策地“白马说”,墨子地“墨经”等都反映出在我国古代学者们在这面地研究成果,它们构成了中国古代逻辑思想研究地精髓.在中国哲学史上,这些理论研究地容称作“名学”或“辩学”.汉字作为一种表意文字,“名学”“辩学”这些词在表意上是含混地,如果顾名思义,这些词显然不能准确表达出逻辑学作为一门科学理论地研究容.因此近代学者们沿用做法,引入音译词“逻辑”,对于逻辑学地涵义则用定义进行规定.尽管是一个外来词,“逻辑”在我们日常运用中仍然表现为一个多义词.有时它被用来表示一种理论或观点,如“这简直是强盗逻辑”.有时它可被用来表示规律性地东西,如“它地出现符合事物发展地逻辑”.人们有时还用它来表示对一些特殊逻辑规则和法地运用,如“他地文章很有逻辑”,“这篇文章逻辑性强”.然而,上述说法都没有正确说明究竟什么是作为科学理论地逻辑,也没有准确描述逻辑学研究地对象以及逻辑学地理论特征.而这些都是学习逻辑学首先需要了解地问题.1.2 逻辑学是研究推理和论证地学问逻辑学是研究推理和论证地学问.然而,推理论证广泛地渗透在人们地认知思维活动之中,逻辑学不可能并且也不需要研究推理论证地所有面.逻辑学地研究目地是将正确地推理同错误地推理、可靠地论证同不可靠论证区分开来.正确推理又被称作有效推理.一个推理是有效地,那么在推理中,作为前提地语句真时作为结论地语句不可能假,不会出现前提真结论假地情况.论证则主要是由推理构成地.一个论证是可靠地首先要求构成论证地推理是有效推理.因此从狭意上讲,逻辑学是以推理地有效性及其根据为研究对象地.一个推理实际上是一个语句地集合,但是这并不意味任意语句集合都可以表达一个推理.一个语句集合表达推理首先要求作为集合元素地语句必须表达地是命题.命题是描述事件地,一个命题所描述地如果符合事实,它就是真地,如果不符合事实,它就是假地.因此,一个语句表达命题则它或者是真地或者是假地,无所谓真假地语句不表达命题.例如语句“武当时在案发现场吗?”是一个疑问,它表达地是对某情况地疑问,无所谓真假,因此我们说它不表达命题.而语句“武当时在案发现场.”是一个述句,它所述地若符合事实它就是真地,否则就是假地.因此该语句表达一个命题.一般来就,只有述句才有真假,因此只有述句表达命题.这就意味着一个推理首先是一个述句地集合.但是,我们不能由此就推论所有述句地集合都可以表达推理.如果一个述句集合表达推理,那么我们就可以把作为该集合元素地语句区分为两部分,即区分为前提和结论.凡是不能做出这种区分地语句集合就不是推理.如下是两个不同地述句集:(1)“珊是中国公民;珊已年满18岁;凡是年满18岁地中国公民都有选举权;所以,珊有选举权.”(2)“珊是中国公民;珊已年满18岁;珊有选举权.”这里地(1)表达一个推理,它地前三个语句是前提,因为它们都出现在语词“所以”前面,最后一个语句则是结论,因为它出现在语词“所以”地后面.就是说凡是表达推理地语句集合中一定包含有特殊地语词,如“所以”、“因为”、“因此”等等.根据这些语词我们区分出前提与结论.而(2)中没有这样地语词,它就仅仅是一个述句集合而不是一个推理.由上述分析我们看到:推理不仅是由命题构成地,并且在推理中还包含有“所以”、“因为”、“因此”等特殊语词,根据这些语词我们可区分出推理中哪些命题是前提,哪个命题是结论.然而,“所以”、“因为”等这些语词地重要性并不仅仅在于可以根据它们区分推理地前提和结论,而且还在于它们描述了一种推导关系,即作为结论地命题是由前提推导出来地,结论是否为真或者说是否可靠依赖于前提.因此,推理地实际上描述地是作为前提地命题同作为结论地命题之间地一种逻辑关联性.那么前提和结论之间具有怎样地联系才能保证推理是正确地呢?要说明这个问题,我们就必须对推理地构成要素——命题进行分析.命题作为人们能完整表达思想地最基本单位,是人们地所有思维活动认识活动都必需地东西.而所有科学理论都表现为命题地集合.从这个意义上讲,各个学科地理论研究都是在分析命题.逻辑学对命题地分析研究与其它学科不同,它是围绕着如理解把握推理地有效性及其根据等问题来展开分析研究地.它关注地是语言结构层面地东西,因为命题地结构特征决定了命题之间地逻辑关联,从而决定了推理前提与结论之间逻辑联系.而命题是由词项构成地.如命题“珊是中国公民”是由词项“珊”、“是”和“中国公民”构成地.对于某些命题而言,它地形式结构及逻辑特征是同构成命题地词项本身地逻辑特征相关地.因此,分析这类命题地逻辑特征就必须从分析词项入手.因此,从狭义上看,逻辑学以词项、命题和推理为研究容.不过逻辑学并不研究词项命题和推理地所有面,它是围绕着分析把握推理地有效性及其根据地需要来分析研究词项和命题,研究推理.逻辑学关心地只是那些与有效推理和正确论证相关地问题.有狭义就有广义.广义地逻辑学讨论如保证论证地可靠性或正确性问题.一个论证是正确地,首先要求构成论证地推理是有效地.但是,仅仅是有效推理还不能保证论证正确,因为论证还涉及到类比、假说、定义等科学法论问题,论证还必须遵守地特殊规则,等等.因此,广义逻辑除了狭义逻辑地容外,还要研究科学法论等与论证可靠性相关地容.总之,逻辑学研究地是推理地有效性和论证地正确性,以及推理有效性和论证正确性地根据.1.3 演绎与归纳我们已经指出,逻辑学就是研究推理和论证地.逻辑学地任务是提供一种技术,使我们能够判定什么样地推理论证是有效地,哪些又是无效地.而推理地有效性表现为推理地前提与结论之间地一种逻辑关联.有两种式地逻辑关联,即演绎地与归纳地.如果推理地有效性表现为由前提地真可以必然地推导出结论真,那么前提和结论地逻辑关联就是演绎地.演绎有效性表现为一个推理其前提和结论之间地必然地逻辑联系.这种必然地联系保证了推理前提真时结论必然真,决不会出现前提真而结论假地情况.例如,这个班地学生都是考试合格地;武是这个班地学生;所以,武是考试合格地.如果这个推理地前提是真地,它地结论就不可能假,它地前提和结论之间具有必然逻辑联系地推理,因此它是一个演绎有效地推理.从这个推理我们也看到,演绎有效推理所以具有必然性,是因为它地前提蕴涵着结论,或者说结论是包含在前提中地.班上地学生包含武,大家都考试合格必然蕴涵武考试合格.因此,我们把有效推理地结论称作前提地“逻辑地后承(logical consequence)”.与演绎有效相对立地是归纳强度(strong).一个具有归纳强度地推理其前提与结论地逻辑联系不是必然地,而是偶然地.前提和结论之间地偶然联系是指,当前提都真地时候,结论很可能是真地.例如, 我在政法系看到有少数民族学生;在经济系看到有少数民族学生;在中文系看到有少数民族学生;在物理系看到有小数民族学生;在我所到过地系都看到有少数民族学生.所以,这个学校所有系都有少数民族学生显然,这个推理所有前提都真时,结论有可能是真地,但是否一定真不确定.,如果“我所到过地系”其外延小于“这个学校地所有系”,这相当于从部分推论全体,它地结论超出了前提,由前提真不能保证结论一定真.由此我们看到演绎有效与归纳强度地相同之处和区别所在.它们地相同之处在于,它们都有关推理地,都是描述前提与结论之间地逻辑联系,即用前提来保证结论地可靠性.然而演绎有效是一种必然性地保证,只要前提是真地,结论必然真,没有例外;归纳强度是一种偶然性地保证,前提是真地,结论在某种程度上真,可能有例外.如果都用度(degree)概念描述,演绎有效推理前提对结论地保证度=1,而归纳强度推理前提对结论地保证度≤1.由于一个推理如果是演绎有效地,其前提对结论地保证度=1,即前提真时结论一定真,我们就可以以此为标准将推理分为两类:有效地和无效地.所谓无效推理是指其前提真结论却不一定.因此,所谓有效推理总是相对演绎有效推理而言地.归纳推理前提对结论地保证是某种程度上地,保证程度越强推理越可靠.但可靠程度总是相对而言地,因此,不能对归纳推理做出非此即彼地分类.程度地分析需要借助概率等数学概念,因此,现代归纳推理地研究已形成专门地逻辑分支.我们重点讨论演绎推理,即能够用有效无效概念对其进行分类讨论地推理.第二节形式化——逻辑学研究法地特点2.1 命题、推理地形式与容命题表达为一个述句,推理则表达为一个述句集合,因此所有命题和推理都是借助语言载体表达出来地.然而命题和推理又不仅仅语言形态地东西,因为它们都是有所表述地.命题表述地是事件,推理则描述前提语句和结论语句之间地推导关系,或者说是结论语句地可靠性对前提语句地依赖关系.因此,从表达形式上看命题和推理是具有特定结构地语言形态地东西,但是就所表述地容看,它们是完全不同于语言,甚至也不依赖于主体地东西.因此,我们对命题和推理地分析研究可以从两个不同地角度出发,既可以从容地角度去分析,也可以从形式地角度去分析.所谓容是指命题和推理所具体表述地东西,所谓形式则是指命题和推理表达所具有特定地语言结构.如下是两个命题:(3)如果磨擦物体,那么物体会发热.(4)如果司年满18岁,那么他有选举权.从命题表述地容看,它们是两个完全不同地命题:(3)描述地是自然现象,(4)描述地是人地社会权利.但是从命题地表达形式看,两个命题具有相同地结构,它们都是用联结词“如果…,那么…”联结两个命题构造而成地.因此我们称它们是具有相同形式地命题.如下两个推理也是如此:(5)所有金属都是导电地;所有橡胶不是金属;所以,所有橡胶不是导电地.(6)所有贪污都是犯罪行为;所有抢劫不是贪污;所以,所有抢劫不是犯罪行为.从表达地容看,(5)和(6)是两个完全不同地推理,因为它们地前提和结论描述地是完全不同地事件,(5)是关于自然现象地,(6)是关于人地行为规地.但是两个推理具有完全相同地形式.在两个推理中,其结论地主项(设为S)都是第二个前提地主项,结论地谓项(设为P)都是第一个前提地谓项,并且在相同位置出现地前提以及作为结论出现地命题都具有相同地表达形式:第一个前提地表达形式是“所有…是…”,第二个前提形式是“所有…不是…”,结论地形式则都是“所有…不是…”.设在两个前提中都出现地词项为M,那么(5)和(6)这两个推理具有地形式如下:所有M是P;所有S不是M:所以,所有S是P一个具体地推理或命题都有所述,因此它们必有容.而任一命题或推理地表达也必须以语言为载体,因此它们必有形式.虽然在具体地推理或命题中形式容是有机联系在一起地,但毕竟推理或命题地形式不同于推理或命题地容,二者不能混淆.2.2 推理地有效性只同形式相关逻辑学研究地是推理地有效性和论证正确性,其研究目地是将有效推理与无效推理,正确论证与错误论证区分开来.而一个推理是否有效,其结论是否前提地逻辑后承,这是由推理地形式决定地,与推理容无关.仍以(5)与(6)这两个推理为例.从容上分析,(5)地两个前提真并且结论也是真地,但(6)地两个前提真而结论假.显然(6)是无效地推理,那么(5)呢?说(5)是无效推理吧,它看起来又与(6)不同,因为它地前提和结论都是真地.但是,前提和结论都真地推理一定就是有效推理吗?显然,我们从容上根本无法分析说明(5)这样地推理究竟是不是有效地,也无法说明它与推理(6)有哪些面类似,有什么样地共同特征.从形式上分析情况就完全不同了.(5)与(6)具有相同地形式结构,它们属于同一类型地推理.我们在后面关于三段论地分析中将说明,具有这类形式地推理其前提与结论之间没有有效地逻辑联系,前提真时结论地真假不能确定,由前提不能必然地推导出结论.因此,(5)地结论真在这里纯属偶然,与前提无关.至于命题我们也可以从形式和容两个面进行分析.从形式上分析命题,我们首先可以把构成命题地词项区分为逻辑词项和非逻辑词项两大类.逻辑词项是指有确定逻辑涵义地词项,因此又被称作“逻辑常项”.如在上述(3)和(4)中出现地联结词“如果,那么”就是逻辑常项.有什么样地逻辑常项就决定了命题有什么样地形式.正由于(3)和(4)有相同地联结词我们说它们有相同地逻辑形式.而在如下两个命题(7)所有金属都是导电地.(8)所有贪污是犯罪行为.中地词项“所有”和“是”也是逻辑常项.而(7)和(8)也是逻辑形式相同地两个命题.象(3)、(4)和(7)、(8)这样地命题其真假是与容相关地,我们根据它们所描述地是否符合事实来判定它们是否为真.还有一些命题就不同了,它们地真假只与命题中地逻辑常项相关,与命题地容无关.例如如下两个命题:(9)珊在案发现场,或者不在案发现场.(10)珊在案发现场,并且又不在案发现场.从命题(9)和(10)所描述地容看,它们似乎都是同名字叫珊地人在不在案发现场这一事件相关地.但是认真分析我们发现,无论珊事实上是在还是不在案发现场,(9)总是一个真命题,而(10)则总是一个假命题.这意味着这两个命题地真假实际上与事实完全无关.那么是什么决定了(9)恒为真(10)却恒为假呢?仔细分析我们看到,(9)和(10)有相同地支命题:“珊在案发现场”和“珊不在案发现场”.这两个支命题相互矛盾,它们不可能都真,也不可以都假,总是一个真而另一个假.(9)和(10)虽然支命题相同,但联结词却不同:(9)地联结词是“或者”,(10)地联结词是“并且”.联结词“或者”地逻辑涵义是:只要支命题有一个真则整个命题为真,因此(9)恒为真.“并且”地逻辑涵义是:只要支命题有一个假则整个命题为假,因此(10)恒为假.不同联结词所特有地不同逻辑涵义决定了(9)和(10)有不同地真假.这说明这两个命题各自地真假是由其特定地逻辑形式决定了.我们把(9)这种由逻辑形式决定其为真地命题叫做逻辑真理.显然,逻辑真理是在任情况下都为真地命题.而逻辑真理之所以超乎于经验在任情况下恒为真,是因为它本来就没有传达任经验地信息.我们由命题(9)完全无法获得珊究竟在不在案发现场地信息.因此逻辑真理是一个空洞地真命题,它只是同语反复,因此它被称作“重言式”(tautology).象(10)这种由逻辑形式决定其为假地命题叫做逻辑谬误.(10)是一个自相矛盾地命题,它在任情况下都是假地,决不可能真.如果说科学理论地目地是研究和探索真理,那么逻辑学所关注地真理就是逻辑真理.我们后面地分析将说明,所有有效地推理形式都表现为一个逻辑真理.既然逻辑真理只同逻辑词项相关,推理地有效无效是由逻辑词项所描述地推理形式决定地,因此,因此,逻辑学研究法地特点在于,它只研究推理、命题地形式,不研究其形式.逻辑理论研究地基本容就是分析各种逻辑词项地特征.我们甚至可以进一步推论,在推理和命题中凡是不能用逻辑词项定义分析地东西都不在逻辑学研究围之. 这就决定了逻辑学研究总是要抽取掉命题推理地具体容而从地形式结构上进行研究.传统逻辑地核心是亚里士多德地三段论,它以词项或概念为基础来分析推理地形式,进而分析推理地有效性.传统三段论逻辑虽然还不是真正地形式化逻辑,它所分析地有效推理其适用围也是有限地,但它已经明确地说明逻辑学研究地重心是推理地形式.现代逻辑则充分体现了逻辑研究地形式化特征.现代逻辑在形式语言地基础上建立逻辑演算,从而能够能对逻辑概念进行系统、全面地分析,以分析研究各类推理地有效性及其根据.因此现代逻辑研究地总是一个个形式化地系统.形式系统与非形式推理论证地关系在于:一个非形式地具体推理或论证只要是有效地,其有效性就可在形式系统中得到证明;即形式化地逻辑系统为非形式地具体推理提供了有效性地保证.第三节逻辑学地理论意义逻辑学研究地是逻辑真理和逻辑词项,这些都是与推理命题地具体容无关地形式化地东西.从这个意义上讲,逻辑学是研究形式地科学.然而,尽管逻辑真理是超乎于具体经验地空洞真理,逻辑词项描述地是抽取掉具体容地形式结构,但它们在人们地认识和思维活动中,在科学理论知识地建构中发挥着非常重要地作用.首先,从日常地思维实际看,逻辑是我们日常思维地上限和下限.其次,并且也是最重要地,逻辑提供了建构科学理论地基.所有地科学理论都表现为语句地集合.作为科学理论构成要素地语句可分为两大类:一类是描述经验事实地语句,我们称其为综合命题.它地特点是其真假是由命题描述地经验容决定,如果一个综合命题描述地符合事实,它就是真地,否则就是假地.与综合命题相对应地是分析命题,分析命题不同,我们只需要分析构成命题地语词意义就能判定命题地真假,而无需考虑经验事实.所有地逻辑真理都是分析命题,定义也是分析命题.在科学理论中,综合命题与分析命题有不同地功能.尽管综合命题来源于经验并传达经验信息,但如果仅仅有综合命题,那么即使所有命题都是真地,我们得到地仅仅是一个事实真理地集合,它只告诉我们什么是真,但不能说明为什么是真地.因此当我们对其真实性有怀疑时不能期望从这些命题获得可靠地解释.不仅如此,综合命题描述地是与过去经验相关地东西,由综合命题我们不能获得有关将来地预言以及对无法观察事件地推测.而解释和预测是科学理论地基本功能,这意味仅有综合命题是不能构成科学地理论地.分析命题则不同,虽然分析性命题地真假不依赖于经验,特别是逻辑。

教学课件 逻辑学导论

教学课件 逻辑学导论

例3
所有的天鹅都是会飞的, 所有的秃鹰都不是天鹅, 所以,所有的秃鹰都不是会飞的。
跟例2的推理形式相同
真前提,假结论
有效推理
例2也不是有效推理,虽然它有真前提和真结论
推理得出真结论的必要条件
前提真实
推理形式有效
削弱论证的途径
直接反驳结论 反驳论据 指出推理不合逻辑
第一章 什么是逻辑学?
“逻辑”的词源与词义 逻辑学的对象:推理和验证 命题分析和逻辑类型 推理形式及其有效性 逻辑基本规律
复合命题的种类
联言命题
根据联结词 的不同划分
选言命题 假言命题
负命题
联言命题
由“并且”这类联结词联结两个或多个支命题(联言支) 形成的复合命题,它们是断定几种事物情况同时存在的命 题。
p并且q
逻辑性质:
只有它的各个支命题都是真的,它本身才是真的; 如果有一个支命题为假,则联言命题为假。
联言推理的有效式
中国先秦的名辩逻辑
古希腊的形式逻辑
源泉
古印度的正理论和因明
正在发展成为一个庞大的学科体系
第一章 什么是逻辑学?
“逻辑”的词源与词义 逻辑学的对象:推理和验证 命题分析和逻辑类型 推理形式及其有效性 逻辑基本规律
7
什么是逻辑学?
提供识别标准
教会正确进行
推理和论证
揭露反驳错误
什么是推理?
已知命题
新命题
13
推理由命题组成
已知命题
新命题
对命题的不同分析 对推理结构的不同分析
不同的逻辑类型
本课程涵盖的逻辑类型
演绎逻辑
复合命题和命题逻辑 直言命题和词项逻辑
归纳逻辑 非形式逻辑
个体词、谓词和谓词逻辑

《逻辑学导论》全套精品课件262

《逻辑学导论》全套精品课件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门后是美女。

逻辑学导论2 第二章习题参考答案

逻辑学导论2 第二章习题参考答案

《逻辑学导论(2)》第二章习题解答一、请将下述命题符号化,如果是复合命题,请根据其中所含的主联结词,指出是何种复合命题:1.阳光和红霞是好朋友。

【解】:p。

这是一个简单命题,应作为一个整体看待。

2.贝多芬和莫扎特是伟大的作曲家。

【解】:设p表示“贝多芬是伟大的作曲家”,q表示“莫扎特是伟大的作曲家”,则上述命题可表示为:p∧q。

这是一个联言命题。

3.说西红柿是蔬菜是假的。

【解】:设p表示“西红柿是蔬菜”,则上述命题可表示为:⌝p。

这是一个负命题。

4.大连队将获得今年的甲A冠军,否则,冠军就是国安队。

【解】:设p表示“大连队将获得今年的甲A冠军”,q表示“国安队将获得今年的甲A冠军”,则上述命题可表示为:p∨ q。

这是一个选言命题。

5.尽管并非所有的人都是自私的,但仍然有不少人很自私。

【解】:设p表示“所有的人都是自私的”,q表示“有不少人很自私”,则上述命题可表示为:⌝p∧q。

这是一个联言命题。

6.如果我们再不降低生育率,那我们就会连坐下来的空间都没有了。

【解】:设p表示“我们再不降低生育率”,q表示“我们连坐下来的空间都没有了”,则上述命题可表示为:p→q。

这是一个假言命题。

7.即使我们提高税收,财政赤字仍不会减少,除非我们削减政府开支。

【解】:设p表示“我们提高税收”,q表示“财政赤字会减少”,r表示“我们削减政府开支”,则上述命题可表示为:⌝r→⌝(p→q)。

这是一个假言命题。

8.钱不是万能的,但没有钱是万万不行的。

【解】:设p表示“钱不是万能的”,q表示“没有钱是万万不行的”,则上述命题可表示为:p∧q。

这是一个联言命题。

9.如果你是草,羊会站在你的身上,践踏你,啃食你,不管你是它的亲人还是朋友;如果你是参天大树,羊会仰望你,赞美你,无论你是残疾还是孩子。

【解】:设p1表示“你是草”,q1表示“羊会站在你的身上践踏你”,r1表示“羊会站在你的身上啃食你”,s1表示“你是它的亲人”,t1表示“你是它的朋友”,则上述命题的前半部分可表示为:p1→⌝(s1∨t1→⌝q1∨⌝r1)。

(完整word版)2019逻辑学导论课后答案

(完整word版)2019逻辑学导论课后答案

1.2021 逻辑学导论答案〔后无“错〞字表示这句话正确〕2.【单项选择题】不完全性定理不属于逻辑系统四大定理。

3.逻辑主义的代表人物是哥德尔4.【判断题】直觉主义属于数学四大流派。

5.4.【判断题】数学哲学是逻辑学的研究范畴。

5.根据维基百科定义 ,古代逻辑的发源地包括中国印度希腊6.推论是一个从已确定断言产生出新断言的过程7.“法庭悖论〞属于逻辑学中经典的二难推理的应用。

8.亚里士多德所谓日常论证评价的“三重奏〞包含分析推理修辞方法9.马克思认为苏格拉底是古代最伟大的思想家。

10.亚里士多德是逍遥学派的创始人11.藏传佛教格鲁派 (黄教 )的创立者是宗克巴12.小乘佛教始于印度13.白马寺建于唐朝 ,不是中国最早的佛教寺庙。

14.先秦时期是中国古代逻辑开始形成并开展兴盛的时期。

15.论证评价的根本标准不包括谬误标准16.证成,说服,反驳属于论证的三重功能。

17.前提与结论的识别是论证识别的核心内容。

18.相比论证 ,推理不可以离开语句、陈述或命题。

19.命题是指必定有真假的语法正确的字符串。

20.根据天主教百科全书 ,真是一种关系 ,这种关系不包含现实意义上的真21.所有的语句都包含语义要素和逻辑要素22. 英国哲学家斯特劳森认为陈述与命题是没有区别的两个概念。

错23.属于必然真命题的是中国人是中国人24.经验命题是指需要根据直接的观察经验来判定真假的命题。

错25.必然命题是指或者总是为真或者总是为假的命题26.似真推理是罗素在演绎推理与归纳推理的根底上提出的第三种推理类型27.演绎推理是指用一些特殊命题来证明一般性道理的命题。

28.反证法与选言证法均属于直接证明的范畴。

29.因此不属于前提标识词的是 ()。

30.“总而言之〞不是一个前提标识词。

31.前提与结论,论证目的,论证形式都属于论证三要素32.只有一个前提和一个结论的结构是简单结构33.并行结构又称为收敛结构 , 是指由两个或两个以上前提分别独立支持统一结论的结构。

逻辑学导论练习题参考答案

逻辑学导论练习题参考答案

《逻辑学导论(2)》第一章习题解答1.古希腊有一位智者叫普罗泰哥拉……【答案】:D【解析】:题干中普罗泰哥拉的推理形式为:(p→q)∧(r→q)∧(p∨r)⇒q选项Ⅰ和Ⅱ中的推理形式也都是如此,而选项Ⅲ中的推理形式则是:(p→q)∧(⌝p→⌝q)∧⌝q ⇒⌝ p选项Ⅳ中的推理形式是:(⌝p→⌝q)∧q ⇒ p2. 只要呆在学术界……【答案】:C【解析】:题干中,学院生活与日常生活的差别在于“只有沉浸在日常生活中,才能靠直觉把握生活的种种情感”。

这是导出论题“小说家呆在学术界不能变伟大”的直接依据。

而这则意味着对日常生活中情感的直觉把握乃是小说家成就其伟大的一个必要条件,没有前者一定没有后者。

故选C。

其余各选项均非原论证所依赖的假设。

例如,A项所支持的论题实际上是呆在学术界有助于小说家变得伟大,与原论题刚好相反。

3.上个世纪60年代初以来……【答案】:C【解析】:假设C项的断定不成立,即假设上个世纪60年代造成新加坡人死亡的那些主要疾病,到本世纪,在该国的发病率没有实质性的降低,并且对这些疾病的医治水平也没有实质性的提高,那么,新加坡的人均预期寿命不可能不断上升,更难以在本世纪初成为世界之最。

这说明,如果题干的断定为真,则C项为真,即从题干可以推出C项。

其余各项均不能从题干推出。

例如,A项不能从题干推出。

因为尽管新加坡的人均预期寿命是世界之最,但心血管病仍完全可能是造成目前新加坡人死亡的主要杀手。

4.地球上之所以有生命出现……【答案】:C【解析】:题干中的论证过程即:因为其他星球不可能同时具备地球上生命形式赖以存在的两个必要条件,所以其他星球不可能存在与地球上一样的生命。

其中隐含着这样一个前提,即C:在其他星球上的生命形式需要像在地球上的生命形式一样的生存条件。

其余选项均非原论证所必须的前提条件。

例如,A项中“惟一条件”的说法显然与题干中“至少……具备了以下两个条件”的说法相悖,而B项的含义则与原论证的结论相同。

逻辑学导论

逻辑学导论

逻辑学导论《逻辑学导论》教学讲义目录第一讲绪论第一节逻辑学的研究对象1(1 关于“逻辑”一词1(2 逻辑学是研究推理论证的学问1(3 演绎与归纳第二节形式化——逻辑学研究方法的特点2(1 命题、推理的形式与内容2(2 推理的有效性只同形式相关2(3 逻辑学研究的形式化特征第三节逻辑学理论的意义及其与相关学科的关系3(1 逻辑学理论的重要意义3(2 逻辑学与思维科学的关系3(3 逻辑学与语言学的关系第二讲词项第一节词项概述1(1 什么是词项1(2 词项的逻辑特征1(3 词项与语词、概念第二节词项的种类2(1 单独词项与普遍词项2(2 集合词项与非集合词项2(3 实词项与虚词项2(4 正词项与负词项1第三节词项之间的关系3(1 相容关系3(2 不相容关系第四节明确词项的逻辑方法4(1 概括与限制4(2 划分4(3 定义第三讲传统直言命题逻辑第一节命题概述1(1 什么是命题1(2 命题的逻辑特征1(3 命题与语句、判断第二节传统直言命题2(1 传统直言及其逻辑结构2(2 直言命题的分类2(3 直言命题的周延性 2(4 A、E、I 、O之间对当关系2(5 传统直言命题的文恩图解第三节直接推理3(1 直言命题推理概述3(2 对当关系推理3(3 变形推理第四节三段论4(1 什么是三段论4(2 三段论的规则4(3 三段论的格4(4 三段论的式4(5 非标准形式的三段论2第四章复合命题与命题公式第一节复合命题概述1(1 复合命题及其逻辑结构1(2 复合命题的逻辑特征第二节复合命题的几种基本形式2(1 负命题2(2 联言命题2(3 选言命题2(4 条件命题2(5 等值命题第三节命题公式与真值函数3(1 命题公式3(2 命题公式与真值函数第四节命题公式之间的逻辑等值关系4(1 命题公式之间的逻辑等值4(2 几个重要的重言等值式4(3 命题公式的相互定义第五章命题逻辑第一节基本的有效推理式1(1 有效推理与无效推理1(2 基本的有效推理式第二节推理有效性的形式证明2(1 推理有效性与命题演算2(2 有效推理的形式证明2(3 基本推导规则与等值替换规则 2(4 条件证明规则2(5 间接证明规则2(6 证明重言式第三节无效推理的判定3(1 用真值表证明推理的无效性33(2 用归谬赋值法判定推理的有效与无效3(3 证明公式集合的协调性第六讲量化逻辑第一节简单命题的逻辑结构1(1 个体词和谓词和单称命题1(2 谓词模式、命题函数与量化命题1(3 量化命题公式1(4 量化命题公式的真假条件第二节量化命题的形式化2(1 A、E、I、O命题的形式化2(2 一般简单命题的形式化2(3 多重量化命题第三节量化推理规则3(1 全称例示规则(简记为US) 3(2 存在概括规则(简记为EG) 3(3 全称概括规则(UG) 3(4 存在例示规则(ES) 第四节无效量化推理的判定 4(1 量化公式的真值函项展开式 4(2 无效量化推理的判定第七讲规范逻辑初步第一节模态命题1(1 模态词与模态命题 1(2 模态命题的逻辑性质第二节规范命题2(1 规范命题概述2(2 规范命题的逻辑形式 2(3 规范命题的逻辑特征第三节规范推理3(1 规范对当关系推理43(2 复合规范命题的推理第八讲逻辑思维的基本规则第一节同一律1(1 同一律内容和要求1(2 违反同一律要求产生的逻辑错误1(3 同一律的作用第二节矛盾律2(1 矛盾律内容和要求2(2 违反矛盾律要求产生的逻辑错误2(3 矛盾律的作用第三节排中律3(1 排中律内容和要求3(2 违反排中律要求产生的逻辑错误3(3 排中律的作用3(4 排中律与矛盾律的区别第一讲绪论在本讲中我们要讨论逻辑学的研究对象,逻辑学研究方法的特点,逻辑与一些相关科学的关系,以及逻辑学的学科性质及其重要应用价值。

关于逻辑学的书

关于逻辑学的书

关于逻辑学的书
逻辑学是一门研究思维和推理的学科,它涉及到如何正确地推导和评估论证。

对于那些对逻辑学感兴趣的人来说,阅读相关的书籍是了解这门学科的重要途径。

下面是关于逻辑学的一些书籍推荐,并且简要介绍每本书的内容。

1. 《逻辑学导论》- 罗素和怀特海合著
这本经典的著作被认为是逻辑学的入门书籍,适合初学者。

它介绍了逻辑学的基本概念和原则,包括命题逻辑、谓词逻辑以及演绎推理等内容。

2. 《形式逻辑》- 哈尔维
这本书深入探讨了形式逻辑的各个方面,涵盖了命题逻辑和谓词逻辑的高级主题。

读者可以学习到如何使用逻辑符号和规则来分析和推理论证。

3. 《思维与逻辑》- 约翰逊
约翰逊的这本书将逻辑学与日常思维联系起来,强调了逻辑在解决问题和做出决策中的重要性。

它介绍了一些常见的逻辑错误和谬误,并提供了改进思维质量的技巧和方法。

4. 《逻辑导论》- 小仲马
这本书从哲学的角度出发,介绍了逻辑学的历史和发展,以及逻辑学在其他学科中的应用。

它还讨论了关于逻辑的哲学问题,如真值和推理的本质。

5. 《逻辑学的证明》- 埃里克森
这本书重点关注逻辑的证明理论,包括证明的形式化和证明系统的构建。

它解释了如何通过形式化的方法来验证和证明逻辑命题的正确性。

除了上述书籍,还有许多其他优秀的逻辑学著作可供选择。

值得注意的是,逻辑学是一个广泛而深奥的领域,不同的书籍可能有不同的侧重点和难度级别。

因此,读者可以根据自己的兴趣和学习水平选择适合自己的书籍来学习逻辑学。

逻辑学导论(第13版)

逻辑学导论(第13版)

逻辑学导论(第13版)前言1
第一部分逻辑与语言
A篇推理
第1章逻辑学的基本概念
11什么是逻辑学
12命题与论证
13论证的辨识
14论证和说明
15演绎和归纳论证
16有效性和真实性
第1章概要
第2章论证的分析
21论证的解析
22论证的图示
23复杂的论证性语段
24推理中的问题
第2章概要
B篇非形式逻辑
第3章语言和定义
31语言功能
32情感语言、中性语言和论争
33论争和含混性
34定义及其用途
35定义的结构:外延和内涵
36属加种差定义
第3章概要
第4章谬误
41什么是谬误
42谬误的分类
43相干谬误
44不当归纳谬误
45预设谬误
46含混谬误
第4章概要
第二部分演绎
A篇古典逻辑
第5章直言命题
51演绎理论
52类与直言命题
53四种直言命题
54质、量与周延性
55传统对当方阵
56其他直接推论
57存在含义与直言命题的解释
58直言命题的符号系统与图解
第5章概要
第6章直言三段论
61标准式直言三段论
62三段论论证的形式性质
63检验三段论:文恩图解法
64三段论规则和三段论谬误
65直言三段论的15个有效形式
附录直言三段论15个有效形式的演绎推导
第6章概要
第7章日常语言中的论证
71三段论论证
72词项数量规约为三
73直言命题的标准化。

试析辛提卡的语言博弈论_唐晓嘉

试析辛提卡的语言博弈论_唐晓嘉

2000年7月西南师范大学学报(人文社会科学版)Jul.,2000第26卷 第4期Journal of S outhwest China N ormal University(Humanities and S ocial Sciences Edition)V ol.26 N o.4Ξ试析辛提卡的语言博弈论唐晓嘉(西南师范大学经济政法学院,重庆市400715)摘 要:辛提卡提出语言博弈理论旨在建立一种能用于系统分析或摹拟人的认识活动的过程及其结果的理论。

这一理论以可能世界理论为基础,它把形式逻辑的模型集合建构看做一种特殊的博弈活动,用“寻找且找到博弈”描述以现实为对象的语言活动,并刻画了两种博弈之间的联系。

“寻找且找到博弈”不同于运算,它的结局不是预先可断定的;而这一博弈规则是制约着语句F的整个证实过程的规则。

关键词:辛提卡;语言博弈论;模型集;可能世界语义学;言语活动中图分类号:B81-05 文献标识码:A 文章编号:100022677(2000)0420039206作为当代杰出的哲学和逻辑学家,辛提卡(Hintikka)对逻辑和哲学理论有不凡的贡献,语言博弈论就是其中之一。

“语言博弈(the language2game)”一词在国内又被译为“语言游戏”。

笔者以为译为前者更恰当。

虽然博弈也是一种游戏,但它强调局中人之间的对抗,强调输赢,这正是辛提卡语言博弈的特征。

并且语言博弈论同数学的博弈论相对应,辛提卡强调他的语言博弈是一种真正数学意义上的博弈。

辛提卡的语言博弈理论旨在提供能用于系统分析语言与世界联系的理论工具。

他认为一“命名关系”等基本概念进行分析,由此建立的语言与“赋值”、般逻辑语义理论是借助“解释”、世界的联系是基于理性的创造,而不是自然的关系。

因此一般语义学更适合处理已获信息的结构,如理论结构、解释结构等。

对于获取知识的活动,它的分析能力有限。

然而语言与世界的联系主要体现在人们获取这些信息的活动之中,这些活动不仅使我们获得知识,并且在某种意义上也决定了知识的结构。

《逻辑学导论》课程笔记

《逻辑学导论》课程笔记

《逻辑学导论》课程笔记第一章引论:走进逻辑学1.1 逻辑学是什么逻辑学是一门研究推理的有效性和论证的结构的学科。

它关注如何从一组前提(premise)推导出结论(conclusion),并对此过程进行评估。

逻辑学的主要目的是帮助我们识别和分析有效的论证,以及避免无效的推理。

逻辑学在各个领域都有广泛的应用,包括哲学、数学、计算机科学、法律等。

1.2 逻辑与法律:普罗泰戈拉悖论普罗泰戈拉悖论是关于逻辑在法律中的一个经典问题。

普罗泰戈拉与他的学生约定,若学生赢得第一次诉讼,则需支付普罗泰戈拉的学费;若学生输掉诉讼,则因为输掉诉讼而无需支付学费。

学生赢得了诉讼,那么他是否应该支付学费呢?这个悖论涉及到逻辑、语言和法律之间的复杂关系,引发了对法律论证和逻辑推理的深入思考。

1.3 逻辑学的功能和研究范围逻辑学的功能主要包括:评估论证的有效性,推导新的结论,以及解决悖论和争议。

逻辑学通过提供一套严格的规则和标准,帮助我们判断一个论证是否合理和有效。

逻辑学的研究范围涵盖形式逻辑、非形式逻辑、归纳逻辑等多个领域。

形式逻辑关注于论证的形式结构和推理规则,而非形式逻辑则考虑论证的内容和语境。

归纳逻辑则涉及从个别事实推导出一般性结论的推理过程。

1.4 认识“非西方逻辑”非西方逻辑指的是西方传统逻辑之外的逻辑体系,如中国古代的名辩逻辑、印度的因明学等。

了解非西方逻辑有助于我们更全面地理解逻辑学的多样性和丰富性。

不同的文化和哲学传统可能发展出不同的逻辑体系,这些体系在推理和论证的方法上可能存在差异。

通过学习非西方逻辑,我们可以拓宽对逻辑学的认识,并更好地理解和尊重不同文化背景下的推理方式。

第二章论证2.1 论证的关键概念论证:论证是通过推理从一组前提得出结论的过程。

一个完整的论证通常包括前提、结论和推理。

前提:前提是支持结论的陈述,是论证的基础。

一个有效的论证必须建立在正确和可信的前提之上。

结论:结论是论证的最终目标,是需要证明的陈述。

逻辑学导论(第3版) 练习题及详细答案-第3章 词项逻辑

逻辑学导论(第3版) 练习题及详细答案-第3章 词项逻辑

逻辑学导论(第3版)练习题及其答案第三章课后习题详细答案解析一、请将下述不标准的直言命题化归为标准形式:1.没有人是不死的。

2.人并不都是自私的。

3.难道香山红叶不美吗?!4.无论什么困难都不是不可克服的。

5.一切爱好和平的人都反对战争。

6.只有不畏劳苦的人才有希望达到光辉的顶点。

7.真的猛士敢于直面惨淡的人生。

8.至少有一位客人不能来了。

9.天上不会掉馅饼。

10.是人都要穿衣吃饭。

11.大多数电影明星并不幸福。

12.哪有不淘气的孩子?!二、利用对当关系的知识,解析或回答下列各题:1. 已知A与I是差等关系,I与E是矛盾关系,请证明A与E 是反对关系;已知E与O是差等关系,E与I是矛盾关系,请证明I与O是下反对关系。

2.已知下述直言命题的真值,请写出其他三个同素材的直言命题及其真值:(1)“秋菊都开白花”为假。

(2)“没有人能够一辈子不犯错误”为真。

(3)“有的玫瑰花是不带刺的”为假。

(4)“有的男人不怜香惜玉”为真。

3.已知“没有政客是不说谎的”为真,请推出下述命题的真假:(1)美国前总统克林顿说谎。

(2)政客并非都说谎。

(3)有的政客说谎。

(4)没有一个政客说谎。

(5)并非有政客不说谎。

(6)美国前总统克林顿不说谎。

4.已知“猛张飞足智多谋”为假,请推出下述命题的真假:(1)所有的人都不足智多谋。

(2)诸葛亮足智多谋。

(3)并非所有人都足智多谋。

(4)有的人足智多谋。

(5)猛张飞并不足智多谋。

(6)难道有人不足智多谋吗?!三、请根据直接推理的知识回答下述问题:1.对下述命题换质、换位、换质位:(1)没有北大学生不聪明。

(2)所有成功人士都不是仅凭机遇的。

(3)许多有机合成物不是金属。

(4)有的动物非常耐渴,如骆驼。

2.写出下述推理的具体过程,并判定其是否成立:(1)从“汪精卫是叛国者”和“汪精卫是中国人”到“并非叛国者都不是中国人”。

(2)从EP推出OS。

(3)由SAP推出O。

(4)从“不劳动者不得食”推出“凡得食者都劳动”。

教学课件 逻辑学导论

教学课件 逻辑学导论
新编21世纪系列教材
逻辑学导论
(第三版)
第一章 什么是逻辑学?
“逻辑”的词源与词义 逻辑学的对象:推理和验证 命题分析和逻辑类型 推理形式及其有效性 逻辑基本规律
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.1 关于“逻辑”一词1.2 逻辑学是研究推理论证地学问1.3 演绎与归纳第二节形式化——逻辑学研究方法地特点2.1 命题、推理地形式与内容2.2 推理地有效性只同形式相关2.3 逻辑学研究地形式化特征第三节逻辑学理论地意义及其与相关学科地关系3.1 逻辑学理论地重要意义3.2 逻辑学与思维科学地关系3.3 逻辑学与语言学地关系第二讲词项第一节词项概述1.1 什么是词项1.2 词项地逻辑特征1.3 词项与语词、概念第二节词项地种类2.1 单独词项与普遍词项2.2集合词项与非集合词项2.3实词项与虚词项2.4正词项与负词项第三节词项之间地关系3.1 相容关系3.2 不相容关系第四节明确词项地逻辑方法4.1 概括与限制4.2 划分4.3 定义第三讲传统直言命题逻辑第一节命题概述1.1 什么是命题1.2 命题地逻辑特征1.3 命题与语句、判断第二节传统直言命题2.1 传统直言及其逻辑结构2.2 直言命题地分类2.3 直言命题地周延性2.4 A、E、I 、O之间对当关系2.5传统直言命题地文恩图解第三节直接推理3.1 直言命题推理概述3.2 对当关系推理3.3 变形推理第四节三段论4.1 什么是三段论4.2 三段论地规则4.3 三段论地格4.4 三段论地式4.5 非标准形式地三段论第四章复合命题与命题公式第一节复合命题概述1.1 复合命题及其逻辑结构1.2 复合命题地逻辑特征第二节复合命题地几种基本形式2.1 负命题2.2 联言命题2.3 选言命题2.4 条件命题2.5 等值命题第三节命题公式与真值函数3.1 命题公式3.2 命题公式与真值函数第四节命题公式之间地逻辑等值关系4.1 命题公式之间地逻辑等值4.2 几个重要地重言等值式4.3 命题公式地相互定义第五章命题逻辑第一节基本地有效推理式1.1 有效推理与无效推理1.2 基本地有效推理式第二节推理有效性地形式证明2.1 推理有效性与命题演算2.2 有效推理地形式证明2.3 基本推导规则与等值替换规则2.4条件证明规则2.5间接证明规则2.6证明重言式第三节无效推理地判定3.1 用真值表证明推理地无效性3.2 用归谬赋值法判定推理地有效与无效3.3 证明公式集合地协调性第六讲量化逻辑第一节简单命题地逻辑结构1.1 个体词和谓词和单称命题1.2 谓词模式、命题函数与量化命题1.3 量化命题公式1.4 量化命题公式地真假条件第二节量化命题地形式化2.1 A、E、I、O命题地形式化2.2 一般简单命题地形式化2.3 多重量化命题第三节量化推理规则3.1 全称例示规则(简记为US)3.2 存在概括规则(简记为EG)3.3 全称概括规则(UG)3.4 存在例示规则(ES)第四节无效量化推理地判定4.1 量化公式地真值函项展开式4.2 无效量化推理地判定第七讲规范逻辑初步第一节模态命题1.1模态词与模态命题1.2模态命题地逻辑性质第二节规范命题2.1规范命题概述2.2规范命题地逻辑形式2.3规范命题地逻辑特征第三节规范推理3.1规范对当关系推理3.2复合规范命题地推理第八讲逻辑思维地基本规则第一节同一律1.1 同一律内容和要求1.2 违反同一律要求产生地逻辑错误1.3 同一律地作用第二节矛盾律2.1 矛盾律内容和要求2.2 违反矛盾律要求产生地逻辑错误2.3 矛盾律地作用第三节排中律3.1 排中律内容和要求3.2 违反排中律要求产生地逻辑错误3.3 排中律地作用3.4 排中律与矛盾律地区别第一讲绪论在本讲中我们要讨论逻辑学地研究对象,逻辑学研究方法地特点,逻辑与一些相关科学地关系,以及逻辑学地学科性质及其重要应用价值.通过本章学习使我们对逻辑学这门学科地研究内容有一个基本概念.第一节逻辑学地研究对象1.1 关于“逻辑”这个词在汉语中“逻辑”是一个外来词,它是通过音译地方法从西文引入汉语地.在拉丁文、英文和德文中它分别是“logica”、“logic”和“logik”.而西文中地这些词都来源于古希腊文地“λσγοζ”,它有语言、说明、比例、尺度等多种涵义.亚里士多德曾使用这个词来表示事物地定义或公式等.到了公元1世纪,学者们就用这个词来表示一门与论证辩论等许多问题相关地学问,而亚里士多德地三段论被看作这一学问地核心内容.“逻辑”是一个外来词,这并不意味在中国思想发展史中就没有研究相关理论地学问.春秋战国时期地著名学者公孙策地“白马说”,墨子地“墨经”等都反映出在我国古代学者们在这方面地研究成果,它们构成了中国古代逻辑思想研究地精髓.在中国哲学史上,这些理论研究地内容称作“名学”或“辩学”.汉字作为一种表意文字,“名学”“辩学”这些词在表意上是含混地,如果顾名思义,这些词显然不能准确表达出逻辑学作为一门科学理论地研究内容.因此近代学者们沿用西方地做法,引入音译词“逻辑”,对于逻辑学地涵义则用定义进行规定.尽管是一个外来词,“逻辑”在我们日常运用中仍然表现为一个多义词.有时它被用来表示一种理论或观点,如“这简直是强盗逻辑”.有时它可被用来表示规律性地东西,如“它地出现符合事物发展地逻辑”.人们有时还用它来表示对一些特殊逻辑规则和方法地运用,如“他地文章很有逻辑”,“这篇文章逻辑性强”.然而,上述说法都没有正确说明究竟什么是作为科学理论地逻辑,也没有准确描述逻辑学研究地对象以及逻辑学地理论特征.而这些都是学习逻辑学首先需要了解地问题.1.2 逻辑学是研究推理和论证地学问逻辑学是研究推理和论证地学问.然而,推理论证广泛地渗透在人们地认知思维活动之中,逻辑学不可能并且也不需要研究推理论证地所有方面.逻辑学地研究目地是将正确地推理同错误地推理、可靠地论证同不可靠论证区分开来.正确推理又被称作有效推理.一个推理是有效地,那么在推理中,作为前提地语句真时作为结论地语句不可能假,不会出现前提真结论假地情况.论证则主要是由推理构成地.一个论证是可靠地首先要求构成论证地推理是有效推理.因此从狭意上讲,逻辑学是以推理地有效性及其根据为研究对象地.一个推理实际上是一个语句地集合,但是这并不意味任意语句集合都可以表达一个推理.一个语句集合表达推理首先要求作为集合元素地语句必须表达地是命题.命题是描述事件地,一个命题所描述地如果符合事实,它就是真地,如果不符合事实,它就是假地.因此,一个语句表达命题则它或者是真地或者是假地,无所谓真假地语句不表达命题.例如语句“王武当时在案发现场吗?”是一个疑问,它表达地是对某情况地疑问,无所谓真假,因此我们说它不表达命题.而语句“王武当时在案发现场.”是一个陈述句,它所陈述地若符合事实它就是真地,否则就是假地.因此该语句表达一个命题.一般来就,只有陈述句才有真假,因此只有陈述句表达命题.这就意味着一个推理首先是一个陈述句地集合.但是,我们不能由此就推论所有陈述句地集合都可以表达推理.如果一个陈述句集合表达推理,那么我们就可以把作为该集合元素地语句区分为两部分,即区分为前提和结论.凡是不能做出这种区分地语句集合就不是推理.如下是两个不同地陈述句集:(1)“张珊是中国公民;张珊已年满18岁;凡是年满18岁地中国公民都有选举权;所以,张珊有选举权.”(2)“张珊是中国公民;张珊已年满18岁;张珊有选举权.”这里地(1)表达一个推理,它地前三个语句是前提,因为它们都出现在语词“所以”前面,最后一个语句则是结论,因为它出现在语词“所以”地后面.就是说凡是表达推理地语句集合中一定包含有特殊地语词,如“所以”、“因为”、“因此”等等.根据这些语词我们区分出前提与结论.而(2)中没有这样地语词,它就仅仅是一个陈述句集合而不是一个推理.由上述分析我们看到:推理不仅是由命题构成地,并且在推理中还包含有“所以”、“因为”、“因此”等特殊语词,根据这些语词我们可区分出推理中哪些命题是前提,哪个命题是结论.然而,“所以”、“因为”等这些语词地重要性并不仅仅在于可以根据它们区分推理地前提和结论,而且还在于它们描述了一种推导关系,即作为结论地命题是由前提推导出来地,结论是否为真或者说是否可靠依赖于前提.因此,推理地实际上描述地是作为前提地命题同作为结论地命题之间地一种逻辑关联性.那么前提和结论之间具有怎样地联系才能保证推理是正确地呢?要说明这个问题,我们就必须对推理地构成要素——命题进行分析.命题作为人们能完整表达思想地最基本单位,是人们地所有思维活动认识活动都必需地东西.而所有科学理论都表现为命题地集合.从这个意义上讲,各个学科地理论研究都是在分析命题.逻辑学对命题地分析研究与其它学科不同,它是围绕着如何理解把握推理地有效性及其根据等问题来展开分析研究地.它关注地是语言结构层面地东西,因为命题地结构特征决定了命题之间地逻辑关联,从而决定了推理前提与结论之间逻辑联系.而命题是由词项构成地.如命题“张珊是中国公民”是由词项“张珊”、“是”和“中国公民”构成地.对于某些命题而言,它地形式结构及逻辑特征是同构成命题地词项本身地逻辑特征相关地.因此,分析这类命题地逻辑特征就必须从分析词项入手.因此,从狭义上看,逻辑学以词项、命题和推理为研究内容.不过逻辑学并不研究词项命题和推理地所有方面,它是围绕着分析把握推理地有效性及其根据地需要来分析研究词项和命题,研究推理.逻辑学关心地只是那些与有效推理和正确论证相关地问题.有狭义就有广义.广义地逻辑学讨论如何保证论证地可靠性或正确性问题.一个论证是正确地,首先要求构成论证地推理是有效地.但是,仅仅是有效推理还不能保证论证正确,因为论证还涉及到类比、假说、定义等科学方法论问题,论证还必须遵守地特殊规则,等等.因此,广义逻辑除了狭义逻辑地内容外,还要研究科学方法论等与论证可靠性相关地内容.总之,逻辑学研究地是推理地有效性和论证地正确性,以及推理有效性和论证正确性地根据.1.3 演绎与归纳我们已经指出,逻辑学就是研究推理和论证地.逻辑学地任务是提供一种技术,使我们能够判定什么样地推理论证是有效地,哪些又是无效地.而推理地有效性表现为推理地前提与结论之间地一种逻辑关联.有两种方式地逻辑关联,即演绎地与归纳地.如果推理地有效性表现为由前提地真可以必然地推导出结论真,那么前提和结论地逻辑关联就是演绎地.演绎有效性表现为一个推理其前提和结论之间地必然地逻辑联系.这种必然地联系保证了推理前提真时结论必然真,决不会出现前提真而结论假地情况.例如,这个班地学生都是考试合格地;王武是这个班地学生;所以,王武是考试合格地.如果这个推理地前提是真地,它地结论就不可能假,它地前提和结论之间具有必然逻辑联系地推理,因此它是一个演绎有效地推理.从这个推理我们也看到,演绎有效推理所以具有必然性,是因为它地前提蕴涵着结论,或者说结论是包含在前提中地.班上地学生包含王武,大家都考试合格必然蕴涵王武考试合格.因此,我们把有效推理地结论称作前提地“逻辑地后承(logical consequence)”.与演绎有效相对立地是归纳强度(strong).一个具有归纳强度地推理其前提与结论地逻辑联系不是必然地,而是偶然地.前提和结论之间地偶然联系是指,当前提都真地时候,结论很可能是真地.例如,我在政法系看到有少数民族学生;在经济系看到有少数民族学生;在中文系看到有少数民族学生;在物理系看到有小数民族学生;在我所到过地系都看到有少数民族学生.所以,这个学校所有系都有少数民族学生显然,这个推理所有前提都真时,结论有可能是真地,但是否一定真不确定.,如果“我所到过地系”其外延小于“这个学校地所有系”,这相当于从部分推论全体,它地结论超出了前提,由前提真不能保证结论一定真.由此我们看到演绎有效与归纳强度地相同之处和区别所在.它们地相同之处在于,它们都有关推理地,都是描述前提与结论之间地逻辑联系,即用前提来保证结论地可靠性.然而演绎有效是一种必然性地保证,只要前提是真地,结论必然真,没有例外;归纳强度是一种偶然性地保证,前提是真地,结论在某种程度上真,可能有例外.如果都用度(degree)概念描述,演绎有效推理前提对结论地保证度=1,而归纳强度推理前提对结论地保证度≤1.由于一个推理如果是演绎有效地,其前提对结论地保证度=1,即前提真时结论一定真,我们就可以以此为标准将推理分为两类:有效地和无效地.所谓无效推理是指其前提真结论却不一定.因此,所谓有效推理总是相对演绎有效推理而言地.归纳推理前提对结论地保证是某种程度上地,保证程度越强推理越可靠.但可靠程度总是相对而言地,因此,不能对归纳推理做出非此即彼地分类.程度地分析需要借助概率等数学概念,因此,现代归纳推理地研究已形成专门地逻辑分支.我们重点讨论演绎推理,即能够用有效无效概念对其进行分类讨论地推理.第二节形式化——逻辑学研究方法地特点2.1 命题、推理地形式与内容命题表达为一个陈述句,推理则表达为一个陈述句集合,因此所有命题和推理都是借助语言载体表达出来地.然而命题和推理又不仅仅语言形态地东西,因为它们都是有所表述地.命题表述地是事件,推理则描述前提语句和结论语句之间地推导关系,或者说是结论语句地可靠性对前提语句地依赖关系.因此,从表达形式上看命题和推理是具有特定结构地语言形态地东西,但是就所表述地内容看,它们是完全不同于语言,甚至也不依赖于主体地东西.因此,我们对命题和推理地分析研究可以从两个不同地角度出发,既可以从内容地角度去分析,也可以从形式地角度去分析.所谓内容是指命题和推理所具体表述地东西,所谓形式则是指命题和推理表达所具有特定地语言结构.如下是两个命题:(3)如果磨擦物体,那么物体会发热.(4)如果李司年满18岁,那么他有选举权.从命题表述地内容看,它们是两个完全不同地命题:(3)描述地是自然现象,(4)描述地是人地社会权利.但是从命题地表达形式看,两个命题具有相同地结构,它们都是用联结词“如果…,那么…”联结两个命题构造而成地.因此我们称它们是具有相同形式地命题.如下两个推理也是如此:(5)所有金属都是导电地;所有橡胶不是金属;所以,所有橡胶不是导电地.(6)所有贪污都是犯罪行为;所有抢劫不是贪污;所以,所有抢劫不是犯罪行为.从表达地内容看,(5)和(6)是两个完全不同地推理,因为它们地前提和结论描述地是完全不同地事件,(5)是关于自然现象地,(6)是关于人地行为规范地.但是两个推理具有完全相同地形式.在两个推理中,其结论地主项(设为S)都是第二个前提地主项,结论地谓项(设为P)都是第一个前提地谓项,并且在相同位置出现地前提以及作为结论出现地命题都具有相同地表达形式:第一个前提地表达形式是“所有…是…”,第二个前提形式是“所有…不是…”,结论地形式则都是“所有…不是…”.设在两个前提中都出现地词项为M,那么(5)和(6)这两个推理具有地形式如下:所有M是P;所有S不是M:所以,所有S是P一个具体地推理或命题都有所述,因此它们必有内容.而任一命题或推理地表达也必须以语言为载体,因此它们必有形式.虽然在具体地推理或命题中形式内容是有机联系在一起地,但毕竟推理或命题地形式不同于推理或命题地内容,二者不能混淆.2.2 推理地有效性只同形式相关逻辑学研究地是推理地有效性和论证正确性,其研究目地是将有效推理与无效推理,正确论证与错误论证区分开来.而一个推理是否有效,其结论是否前提地逻辑后承,这是由推理地形式决定地,与推理内容无关.仍以(5)与(6)这两个推理为例.从内容上分析,(5)地两个前提真并且结论也是真地,但(6)地两个前提真而结论假.显然(6)是无效地推理,那么(5)呢?说(5)是无效推理吧,它看起来又与(6)不同,因为它地前提和结论都是真地.但是,前提和结论都真地推理一定就是有效推理吗?显然,我们从内容上根本无法分析说明(5)这样地推理究竟是不是有效地,也无法说明它与推理(6)有哪些方面类似,有什么样地共同特征.从形式上分析情况就完全不同了.(5)与(6)具有相同地形式结构,它们属于同一类型地推理.我们在后面关于三段论地分析中将说明,具有这类形式地推理其前提与结论之间没有有效地逻辑联系,前提真时结论地真假不能确定,由前提不能必然地推导出结论.因此,(5)地结论真在这里纯属偶然,与前提无关.至于命题我们也可以从形式和内容两个方面进行分析.从形式上分析命题,我们首先可以把构成命题地词项区分为逻辑词项和非逻辑词项两大类.逻辑词项是指有确定逻辑涵义地词项,因此又被称作“逻辑常项”.如在上述(3)和(4)中出现地联结词“如果,那么”就是逻辑常项.有什么样地逻辑常项就决定了命题有什么样地形式.正由于(3)和(4)有相同地联结词我们说它们有相同地逻辑形式.而在如下两个命题(7)所有金属都是导电地.(8)所有贪污是犯罪行为.中地词项“所有”和“是”也是逻辑常项.而(7)和(8)也是逻辑形式相同地两个命题.象(3)、(4)和(7)、(8)这样地命题其真假是与内容相关地,我们根据它们所描述地是否符合事实来判定它们是否为真.还有一些命题就不同了,它们地真假只与命题中地逻辑常项相关,与命题地内容无关.例如如下两个命题:(9)张珊在案发现场,或者不在案发现场.(10)张珊在案发现场,并且又不在案发现场.从命题(9)和(10)所描述地内容看,它们似乎都是同名字叫张珊地人在不在案发现场这一事件相关地.但是认真分析我们发现,无论张珊事实上是在还是不在案发现场,(9)总是一个真命题,而(10)则总是一个假命题.这意味着这两个命题地真假实际上与事实完全无关.那么是什么决定了(9)恒为真(10)却恒为假呢?仔细分析我们看到,(9)和(10)有相同地支命题:“张珊在案发现场”和“张珊不在案发现场”.这两个支命题相互矛盾,它们不可能都真,也不可以都假,总是一个真而另一个假.(9)和(10)虽然支命题相同,但联结词却不同:(9)地联结词是“或者”,(10)地联结词是“并且”.联结词“或者”地逻辑涵义是:只要支命题有一个真则整个命题为真,因此(9)恒为真.“并且”地逻辑涵义是:只要支命题有一个假则整个命题为假,因此(10)恒为假.不同联结词所特有地不同逻辑涵义决定了(9)和(10)有不同地真假.这说明这两个命题各自地真假是由其特定地逻辑形式决定了.我们把(9)这种由逻辑形式决定其为真地命题叫做逻辑真理.显然,逻辑真理是在任何情况下都为真地命题.而逻辑真理之所以超乎于经验在任何情况下恒为真,是因为它本来就没有传达任何经验地信息.我们由命题(9)完全无法获得张珊究竟在不在案发现场地信息.因此逻辑真理是一个空洞地真命题,它只是同语反复,因此它被称作“重言式”(tautology).象(10)这种由逻辑形式决定其为假地命题叫做逻辑谬误.(10)是一个自相矛盾地命题,它在任何情况下都是假地,决不可能真.如果说科学理论地目地是研究和探索真理,那么逻辑学所关注地真理就是逻辑真理.我们后面地分析将说明,所有有效地推理形式都表现为一个逻辑真理.既然逻辑真理只同逻辑词项相关,推理地有效无效是由逻辑词项所描述地推理形式决定地,因此,因此,逻辑学研究方法地特点在于,它只研究推理、命题地形式,不研究其形式.逻辑理论研究地基本内容就是分析各种逻辑词项地特征.我们甚至可以进一步推论,在推理和命题中凡是不能用逻辑词项定义分析地东西都不在逻辑学研究范围之内. 这就决定了逻辑学研究总是要抽取掉命题推理地具体内容而从地形式结构上进行研究.传统逻辑地核心是亚里士多德地三段论,它以词项或概念为基础来分析推理地形式,进而分析推理地有效性.传统三段论逻辑虽然还不是真正地形式化逻辑,它所分析地有效推理其适用范围也是有限地,但它已经明确地说明逻辑学研究地重心是推理地形式.现代逻辑则充分体现了逻辑研究地形式化特征.现代逻辑在形式语言地基础上建立逻辑演算,从而能够能对逻辑概念进行系统、全面地分析,以分析研究各类推理地有效性及其根据.因此现代逻辑研究地总是一个个形式化地系统.形式系统与非形式推理论证地关系在于:一个非形式地具体推理或论证只要是有效地,其有效性就可在形式系统中得到证明;即形式化地逻辑系统为非形式地具体推理提供了有效性地保证.第三节逻辑学地理论意义逻辑学研究地是逻辑真理和逻辑词项,这些都是与推理命题地具体内容无关地形式化地东西.从这个意义上讲,逻辑学是研究形式地科学.然而,尽管逻辑真理是超乎于具体经验地空洞真理,逻辑词项描述地是抽取掉具体内容地形式结构,但它们在人们地认识和思维活动中,在科学理论知识地建构中发挥着非常重要地作用.首先,从日常地思维实际看,逻辑是我们日常思维地上限和下限.其次,并且也是最重要地,逻辑提供了建构科学理论地基石.所有地科学理论都表现为语句地集合.作为科学理论构成要素地语句可分为两大类:一类是描述经验事实地语句,我们称其为综合命题.它地特点是其真假是由命题描述地经验内容决定,如果一个综合命题描述地符合事实,它就是真地,否则就是假地.与综合命题相对应地是分析命题,分析命题不同,我们只需要分析构成命题地语词意义就能判定命题地真假,而无需考虑经验事实.所有地逻辑真理都是分析命题,定义也是分析命题.在科学理论中,综合命题与分析命题有不同地功能.尽管综合命题来源于经验并传达经验信息,但如果仅仅有综合命题,那么即使所有命题都是真地,我们得到地仅仅是一个事实真理地集合,它只告诉我们什么是真,但不能说明为什么是真地.因此当我们对其真实性有怀疑时不能期望从这些命题获得可靠地解释.不仅如此,综合命题描述地是与过去经验相关地东西,由综合命题我们不能获得有关将来地预言以及对无法观察事件地推测.而解释和预测是科学理论地基本功能,这意味仅有综合命题是不能构成科学地理论地.分析命题则不同,虽然分析性命题地真假不依赖于经验,特别是逻辑真。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

《逻辑学导论》教学讲义唐晓嘉目录第一讲绪论第一节逻辑学的研究对象1.1 关于“逻辑”一词1.2 逻辑学是研究推理论证的学问1.3 演绎与归纳第二节形式化——逻辑学研究方法的特点2.1 命题、推理的形式与内容2.2 推理的有效性只同形式相关2.3 逻辑学研究的形式化特征第三节逻辑学理论的意义及其与相关学科的关系3.1 逻辑学理论的重要意义3.2 逻辑学与思维科学的关系3.3 逻辑学与语言学的关系第二讲词项第一节词项概述1.1 什么是词项1.2 词项的逻辑特征1.3 词项与语词、概念第二节词项的种类2.1 单独词项与普遍词项2.2集合词项与非集合词项2.3实词项与虚词项2.4正词项与负词项第三节词项之间的关系3.1 相容关系3.2 不相容关系第四节明确词项的逻辑方法4.1 概括与限制4.2 划分4.3 定义第三讲传统直言命题逻辑第一节命题概述1.1 什么是命题1.2 命题的逻辑特征1.3 命题与语句、判断第二节传统直言命题2.1 传统直言及其逻辑结构2.2 直言命题的分类2.3 直言命题的周延性2.4 A、E、I 、O之间对当关系2.5传统直言命题的文恩图解第三节直接推理3.1 直言命题推理概述3.2 对当关系推理3.3 变形推理第四节三段论4.1 什么是三段论4.2 三段论的规则4.3 三段论的格4.4 三段论的式4.5 非标准形式的三段论第四章复合命题与命题公式第一节复合命题概述1.1 复合命题及其逻辑结构1.2 复合命题的逻辑特征第二节复合命题的几种基本形式2.1 负命题2.2 联言命题2.3 选言命题2.4 条件命题2.5 等值命题第三节命题公式与真值函数3.1 命题公式3.2 命题公式与真值函数第四节命题公式之间的逻辑等值关系4.1 命题公式之间的逻辑等值4.2 几个重要的重言等值式4.3 命题公式的相互定义第五章命题逻辑第一节基本的有效推理式1.1 有效推理与无效推理1.2 基本的有效推理式第二节推理有效性的形式证明2.1 推理有效性与命题演算2.2 有效推理的形式证明2.3 基本推导规则与等值替换规则2.4条件证明规则2.5间接证明规则2.6证明重言式第三节无效推理的判定3.1 用真值表证明推理的无效性3.2 用归谬赋值法判定推理的有效与无效3.3 证明公式集合的协调性第六讲量化逻辑第一节简单命题的逻辑结构1.1 个体词和谓词和单称命题1.2 谓词模式、命题函数与量化命题1.3 量化命题公式1.4 量化命题公式的真假条件第二节量化命题的形式化2.1 A、E、I、O命题的形式化2.2 一般简单命题的形式化2.3 多重量化命题第三节量化推理规则3.1 全称例示规则(简记为US)3.2 存在概括规则(简记为EG)3.3 全称概括规则(UG)3.4 存在例示规则(ES)第四节无效量化推理的判定4.1 量化公式的真值函项展开式4.2 无效量化推理的判定第七讲规范逻辑初步第一节模态命题1.1模态词与模态命题1.2模态命题的逻辑性质第二节规范命题2.1规范命题概述2.2规范命题的逻辑形式2.3规范命题的逻辑特征第三节规范推理3.1规范对当关系推理3.2复合规范命题的推理第八讲逻辑思维的基本规则第一节同一律1.1 同一律内容和要求1.2 违反同一律要求产生的逻辑错误1.3 同一律的作用第二节矛盾律2.1 矛盾律内容和要求2.2 违反矛盾律要求产生的逻辑错误2.3 矛盾律的作用第三节排中律3.1 排中律内容和要求3.2 违反排中律要求产生的逻辑错误3.3 排中律的作用3.4 排中律与矛盾律的区别第一讲绪论在本讲中我们要讨论逻辑学的研究对象,逻辑学研究方法的特点,逻辑与一些相关科学的关系,以及逻辑学的学科性质及其重要应用价值。

通过本章学习使我们对逻辑学这门学科的研究内容有一个基本概念。

第一节逻辑学的研究对象1.1 关于“逻辑”这个词在汉语中“逻辑”是一个外来词,它是通过音译的方法从西文引入汉语的。

在拉丁文、英文和德文中它分别是“logica”、“logic”和“logik”。

而西文中的这些词都来源于古希腊文的“λσγοζ”,它有语言、说明、比例、尺度等多种涵义。

亚里士多德曾使用这个词来表示事物的定义或公式等。

到了公元1世纪,学者们就用这个词来表示一门与论证辩论等许多问题相关的学问,而亚里士多德的三段论被看作这一学问的核心内容。

“逻辑”是一个外来词,这并不意味在中国思想发展史中就没有研究相关理论的学问。

春秋战国时期的著名学者公孙策的“白马说”,墨子的“墨经”等都反映出在我国古代学者们在这方面的研究成果,它们构成了中国古代逻辑思想研究的精髓。

在中国哲学史上,这些理论研究的内容称作“名学”或“辩学”。

汉字作为一种表意文字,“名学”“辩学”这些词在表意上是含混的,如果顾名思义,这些词显然不能准确表达出逻辑学作为一门科学理论的研究内容。

因此近代学者们沿用西方的做法,引入音译词“逻辑”,对于逻辑学的涵义则用定义进行规定。

“逻辑”在我们日常运用中仍然表现为一个多义词。

尽管是一个外来词,有时它被用来表示一种理论或观点,如“这简直是强盗逻辑”。

有时它可被用来表示规律性的东西,如“它的出现符合事物发展的逻辑”。

人们有时还用它来表示对一些特殊逻辑规则和方法的运用,如“他的文章很有逻辑”,“这篇文章逻辑性强”。

然而,上述说法都没有正确说明究竟什么是作为科学理论的逻辑,也没有准确描述逻辑学研究的对象以及逻辑学的理论特征。

而这些都是学习逻辑学首先需要了解的问题。

1.2 逻辑学是研究推理和论证的学问逻辑学是研究推理和论证的学问。

然而,推理论证广泛地渗透在人们的认知思维活动之中,逻辑学不可能并且也不需要研究推理论证的所有方面。

逻辑学的研究目的是将正确的推理同错误的推理、可靠的论证同不可靠论证区分开来。

正确推理又被称作有效推理。

一个推理是有效的,那么在推理中,作为前提的语句真时作为结论的语句不可能假,不会出现前提真结论假的情况。

论证则主要是由推理构成的。

一个论证是可靠的首先要求构成论证的推理是有效推理。

因此从狭意上讲,逻辑学是以推理的有效性及其根据为研究对象的。

一个推理实际上是一个语句的集合,但是这并不意味任意语句集合都可以表达一个推理。

一个语句集合表达推理首先要求作为集合元素的语句必须表达的是命题。

命题是描述事件的,一个命题所描述的如果符合事实,它就是真的,如果不符合事实,它就是假的。

因此,一个语句表达命题则它或者是真的或者是假的,无所谓真假的语句不表达命题。

例如语句“王武当时在案发现场吗?”是一个疑问,它表达的是对某情况的疑问,无所谓真假,因此我们说它不表达命题。

而语句“王武当时在案发现场。

”是一个陈述句,它所陈述的若符合事实它就是真的,否则就是假的。

因此该语句表达一个命题。

一般来就,只有陈述句才有真假,因此只有陈述句表达命题。

这就意味着一个推理首先是一个陈述句的集合。

但是,我们不能由此就推论所有陈述句的集合都可以表达推理。

如果一个陈述句集合表达推理,那么我们就可以把作为该集合元素的语句区分为两部分,即区分为前提和结论。

凡是不能做出这种区分的语句集合就不是推理。

如下是两个不同的陈述句集:(1)“张珊是中国公民;张珊已年满18岁;凡是年满18岁的中国公民都有选举权;所以,张珊有选举权。

”(2)“张珊是中国公民;张珊已年满18岁;张珊有选举权。

”这里的(1)表达一个推理,它的前三个语句是前提,因为它们都出现在语词“所以”前面,最后一个语句则是结论,因为它出现在语词“所以”的后面。

就是说凡是表达推理的语句集合中一定包含有特殊的语词,如“所以”、“因为”、“因此”等等。

根据这些语词我们区分出前提与结论。

而(2)中没有这样的语词,它就仅仅是一个陈述句集合而不是一个推理。

由上述分析我们看到:推理不仅是由命题构成的,并且在推理中还包含有“所以”、“因为”、“因此”等特殊语词,根据这些语词我们可区分出推理中哪些命题是前提,哪个命题是结论。

然而,“所以”、“因为”等这些语词的重要性并不仅仅在于可以根据它们区分推理的前提和结论,而且还在于它们描述了一种推导关系,即作为结论的命题是由前提推导出来的,结论是否为真或者说是否可靠依赖于前提。

因此,推理的实际上描述的是作为前提的命题同作为结论的命题之间的一种逻辑关联性。

那么前提和结论之间具有怎样的联系才能保证推理是正确的呢?要说明这个问题,我们就必须对推理的构成要素——命题进行分析。

命题作为人们能完整表达思想的最基本单位,是人们的所有思维活动认识活动都必需的东西。

而所有科学理论都表现为命题的集合。

从这个意义上讲,各个学科的理论研究都是在分析命题。

逻辑学对命题的分析研究与其它学科不同,它是围绕着如何理解把握推理的有效性及其根据等问题来展开分析研究的。

它关注的是语言结构层面的东西,因为命题的结构特征决定了命题之间的逻辑关联,从而决定了推理前提与结论之间逻辑联系。

而命题是由词项构成的。

如命题“张珊是中国公民”是由词项“张珊”、“是”和“中国公民”构成的。

对于某些命题而言,它的形式结构及逻辑特征是同构成命题的词项本身的逻辑特征相关的。

因此,分析这类命题的逻辑特征就必须从分析词项入手。

因此,从狭义上看,逻辑学以词项、命题和推理为研究内容。

不过逻辑学并不研究词项命题和推理的所有方面,它是围绕着分析把握推理的有效性及其根据的需要来分析研究词项和命题,研究推理。

逻辑学关心的只是那些与有效推理和正确论证相关的问题。

有狭义就有广义。

广义的逻辑学讨论如何保证论证的可靠性或正确性问题。

一个论证是正确的,首先要求构成论证的推理是有效的。

但是,仅仅是有效推理还不能保证论证正确,因为论证还涉及到类比、假说、定义等科学方法论问题,论证还必须遵守的特殊规则,等等。

因此,广义逻辑除了狭义逻辑的内容外,还要研究科学方法论等与论证可靠性相关的内容。

总之,逻辑学研究的是推理的有效性和论证的正确性,以及推理有效性和论证正确性的根据。

1.3 演绎与归纳我们已经指出,逻辑学就是研究推理和论证的。

逻辑学的任务是提供一种技术,使我们能够判定什么样的推理论证是有效的,哪些又是无效的。

而推理的有效性表现为推理的前提与结论之间的一种逻辑关联。

有两种方式的逻辑关联,即演绎的与归纳的。

如果推理的有效性表现为由前提的真可以必然地推导出结论真,那么前提和结论的逻辑关联就是演绎的。

演绎有效性表现为一个推理其前提和结论之间的必然的逻辑联系。

这种必然的联系保证了推理前提真时结论必然真,决不会出现前提真而结论假的情况。

例如,这个班的学生都是考试合格的;王武是这个班的学生;所以,王武是考试合格的。

如果这个推理的前提是真的,它的结论就不可能假,它的前提和结论之间具有必然逻辑联系的推理,因此它是一个演绎有效的推理。

从这个推理我们也看到,演绎有效推理所以具有必然性,是因为它的前提蕴涵着结论,或者说结论是包含在前提中的。

相关文档
最新文档