逻辑学规则归纳
- 格式:doc
- 大小:37.00 KB
- 文档页数:2
形式逻辑的推理规则和证明方法形式逻辑是一种研究命题、论证和推理关系的数学分支,它主要通过一系列的推理规则和证明方法来揭示命题之间的真值关系。
本文将从形式逻辑的基本概念、推理规则和证明方法三个方面进行阐述。
一、形式逻辑的基本概念形式逻辑是逻辑学的主要分支之一,它从逻辑思维的角度出发,研究了语言表达中命题之间的关系。
形式逻辑关注的是推理的形式结构,而不关心命题的具体内容。
在形式逻辑中,我们使用符号和符号之间的关系来表示和分析逻辑命题,以便更好地理解和运用逻辑学原理。
二、推理规则推理规则是形式逻辑中的基础,它是根据逻辑学原理总结归纳而来的。
形式逻辑中常用的推理规则有:1. 消去规则:如果A蕴含了B,而B又蕴含了C,则A蕴含了C。
2. 假言推论规则:如果A蕴含了B,而A成立,则可以推导出B成立。
3. 拒取规则:如果A和非A不可能同时成立,则可以推导出非A。
4. 析取三段论规则:如果A蕴含了B或C,而B和非C不可能同时成立,则可以推导出A蕴含了B。
5. 换言式规则:如果A等价于B,而A成立,则可以推导出B成立。
以上只是形式逻辑中常见的推理规则之一,实际上还有许多其他的推理规则。
推理规则在推理过程中起到了关键的作用,它们帮助我们在分析和评估命题之间的关系时更加准确和清晰。
三、证明方法证明方法是形式逻辑中用来验证命题真值的一种方式。
常用的证明方法有:1. 直接证明法:通过根据已知条件和推理规则,逐步推导出结论的真值。
2. 反证法:假设命题的逆命题为真,然后通过推理规则逐步推导出矛盾,从而得出命题为真的结论。
3. 归谬法:假设命题为真,然后通过推理规则逐步推导出矛盾,从而得出命题的逆命题为真的结论。
4. 数学归纳法:对于一系列断言,在满足初始条件和递推规则的情况下,逐步证明每个断言的真值。
以上只是形式逻辑中常见的证明方法之一,实际上还有许多其他的证明方法。
证明方法是形式逻辑中重要的工具,它们帮助我们验证逻辑命题的真假,提高逻辑推理的准确性和可靠性。
第一章绪言第一节“逻辑”的含义一、逻辑的词源1. 逻辑一词源出于希腊文的“逻各斯”(logos,复数形式是logoi)。
·古希腊的哲学家赫拉克利特据说有专论逻各斯的著作《逻各斯》。
·逻各斯的基本词义是言辞、秩序和规律。
言语是这一语词的原创义,然后在此基本词义基础上派生出理性、理想、推理论证等词义。
2. 逻各斯演变为“逻辑”一词·最先是由斯多葛学派使用;看作是由论辩术和修辞学两部分构成的理论。
·古罗马和欧洲中世纪的逻辑学家也在这种意义上来看待“逻辑”一词。
·其后,逻辑一词的含义就一直和推理与论辩的方法和原则相关。
3. 逻辑一词传入中国·严复开始,“按逻辑此翻名学。
其名义始于希腊,为逻各斯一根之转”.·严复翻译的时间大约在19世纪末;·再过十多年后,由章士钊正式在汉语中定名,作为讨论思维、讨论推理的规范和秩序的学问4. 为什么logic要翻译为逻辑?逻辑学是有点特殊的学科。
特殊在什么地方?学科名的特殊和学科内容的特殊。
中国历史上和逻辑对应的学科?逻辑究竟研究什么?二、什么是逻辑?1. 逻辑是一门和方法、原则、规范紧密相关的人文学科。
她探索和研究的是我们进行推理(reasoning,inference)时应该使用的方法、技巧、标准和原则。
逻辑是一门讲道理的学科。
逻辑总是和语言相关。
逻辑总是和论证证明推理相关。
p2 2. 三个方向的推理追寻历史:一个事件出现了,我们寻求其产生的原因,案件、历史、文物等,向后的推导。
确定目标:未来可能出现的事件,这是向前的推理。
演绎推理:没有时空条件的推理,数学和逻辑。
几何证明和数学计算。
第二节逻辑历史简述一、古典逻辑1. 古希腊哲学家亚里士多德公认为是逻辑学之父。
2. 亚里士多德创立逻辑学科的标志是他所撰写的逻辑专著,这些讨论逻辑问题的专著有《范畴篇》、《解释篇》、《分析前篇》、《分析后篇》、《论辩篇》和《辩谬篇》,这些篇章后来合编为《工具论》一书。
性质命题的逻辑规则及推理学习目的:掌握性质命题的逻辑规则及推理。
重点难点:1、性质命题词项的周延性2、性质命题真假的判定以及不同性质命题之间的对当关系3、性质命题的直接推理4、性质命题的隐含命题及揭示隐含命题的方法导入:有一位主人宴请客人,客人来后,主人却迟迟不请客人入席就座。
后来主人对大家说:“实在对不起,请大家再稍等片刻,因为该来的人还没有来。
”已来的这些客人一听,就纷纷离去。
主人看到大多数客人们都走了,非常吃惊,问没走的客人这是什么原因,客人告诉了他,主人听后说:“唉!不该走的人怎么都走了!”剩下的客人一听,也走了。
为什么这些客人纷纷离去?因为已来的客人想:该来的人都还没来,岂不是说我们来的人都是不该来的。
后来剩下的客人想:不该走的人都走了,岂不是说没走的人是该走的一、性质命题词项的周延性性质命题的词项周延性:是指一个性质命题的主项或谓项,在该命题中是否被断定了全部外延(也就是是否涉及某个词项的全部外延),如果在一个性质命题中断定了主项或谓项的全部外延,那么该词项是周延的;如果在一个性质命题中没有断定主项或谓项的全部外延,那么该词项是不周延的。
1、全称肯定命题(S A P)全称肯定命题的主项周延、谓项不周项。
所有S都是P,断定主项S的全部外延属于P的外延,P中至少有一部分外延是属于S 的外延。
主项S的全部外延都被断定了,谓项P中只有部分外延被断定,所以S周延,P不周延。
例如:所有犯罪行为是违法行为。
主项“犯罪行为”的全部外延被断定,主项周延。
谓项“违法行为”中至少有一部分是属于“犯罪行为”,“违法行为”的全部外延没有进行断定,谓项不周延。
2、全称否定命题(S E P)全称否定命题的主项周延、谓项周延。
所有S都不是P,断定了S的任何一个外延都排斥在P的外延之外,P的任何一个外延也都排斥在S的外延之外。
S和P的外延都被断定了。
例如:所有的人民团体都不是审判机关。
主项“人民团体”的外延被断定了,主项周延。
逻辑学重点知识点整理一、概念。
1. 概念的内涵与外延。
- 内涵:反映在概念中的对象的特有属性或本质属性。
例如,“商品”的内涵是用于交换的劳动产品。
- 外延:具有概念所反映的特有属性或本质属性的对象。
“商品”的外延包括超市里的食品、衣服、电器等各种用于交换的物品。
2. 概念的种类。
- 单独概念和普遍概念。
- 单独概念:反映独一无二的对象的概念,如“北京”“鲁迅”。
- 普遍概念:反映一个以上对象的概念,如“动物”“城市”。
- 集合概念和非集合概念。
- 集合概念:反映集合体的概念,如“森林”(森林是树木的集合体,不能说某一棵树是森林)。
- 非集合概念:反映非集合体的概念,如“树”。
- 正概念和负概念。
- 正概念:反映对象具有某种属性的概念,如“正义”。
- 负概念:反映对象不具有某种属性的概念,如“非正义”。
3. 概念间的关系。
- 全同关系:两个概念的外延完全重合,如“等边三角形”和“等角三角形”。
- 真包含关系:一个概念的部分外延与另一个概念的全部外延重合,如“动物”真包含“哺乳动物”。
- 真包含于关系:一个概念的全部外延与另一个概念的部分外延重合,如“哺乳动物”真包含于“动物”。
- 交叉关系:两个概念的外延有且只有一部分重合,如“学生”和“党员”。
- 全异关系:两个概念的外延没有任何重合部分,如“植物”和“动物”。
全异关系又可分为矛盾关系(如“正义”和“非正义”,二者外延之和等于属概念“行为的属性”的外延)和反对关系(如“黑色”和“白色”,二者外延之和小于属概念“颜色”的外延)。
二、命题(判断)1. 命题的种类。
- 简单命题。
- 直言命题(性质命题)- 全称肯定命题(SAP):所有S都是P,如“所有金属都是导电的”。
- 全称否定命题(SEP):所有S都不是P,如“所有宗教都不是科学”。
- 特称肯定命题(SIP):有的S是P,如“有的学生是党员”。
- 特称否定命题(SOP):有的S不是P,如“有的动物不是哺乳动物”。
逻辑学复习知识点前言:逻辑学:传统逻辑、现代逻辑;它是基础性.工具性的学科(更直接.更系统)第一章(绪论):第一节什么是逻辑学1.“逻辑”的含义:源于古希腊.原意:思想.言辞.理性.规律。
逻辑是一门学科.即逻辑学(思维科学)。
2.逻辑学的研究对象:研究思维的形式结构及其规律的科学。
逻辑学的研究目的:总结出人们正确运用各种思维形式的逻辑规律。
思维:感性认识(感觉.知觉.表象)和理性认识(概念.命题(判断).推理)思维的形式结构(思维的逻辑形式):包括逻辑常项和变项逻辑常项:不随思维具体内容变化而变化.是判定一种逻辑形式具体类型的唯一依据。
传统逻辑:自然语言(日常用语)现代逻辑:人工语言(符号语言:表意符号.公式.公式序列)思维形式结构的规律:逻辑规则:仅适用于某种思维形式。
逻辑思维的基本规律:普遍适用于各种类型的思维形式。
(传统逻辑定义)逻辑思维的基本规律包括:同一律.矛盾律.排中律.充足理由律。
表现方式:现代逻辑的基础部分:经典命题逻辑,经典谓词逻辑(表现方式:重言式(重言蕴涵式.重言等值式))第二节逻辑学的性质和作用1.逻辑学的性质:工具性.全人类性(没有民族性.阶级性)2.逻辑学的作用:联合国教科文组织1974年规定的七大基础学科:逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用:促成逻辑思维由自发向自觉转变;培养和提高人们认识事物、从事科学研究的能力;帮助识别、驳斥谬误和诡辩。
3.第三节逻辑简史逻辑学的历史:两千多年逻辑学的三大源头:古中国、古印度、古希腊。
西方逻辑:以古希腊逻辑为先河.在发展的历程中完整地经历了传统和现代两个形态。
(以此为例)传统逻辑的诞生与发展:传统逻辑:由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。
特点:借助自然语言.主要范围是常见日常思维类型。
亚里士多德:(公元前384-公元前322):古希腊著名学者.第一次全面、系统研究逻辑学主要问题.首创逻辑学这门科学。
逻辑学的基本原理与概念逻辑学是一门研究思维和推理规律的学科,它关注的是我们如何正确地思考和推理。
逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式,帮助我们更好地理解和分析问题。
一、命题逻辑命题逻辑是逻辑学的基础,它研究的是命题之间的关系。
命题是陈述性语句,可以被判断为真或假。
命题逻辑的基本原理包括“与”、“或”、“非”和“蕴涵”等。
其中,“与”表示两个命题同时为真时整个命题为真,“或”表示两个命题中至少有一个为真时整个命题为真,“非”表示命题的否定,“蕴涵”表示如果前提为真,则结论也为真。
命题逻辑的概念还包括真值表、逻辑联结词和命题公式等。
二、谓词逻辑谓词逻辑是命题逻辑的扩展,它研究的是命题中的对象和属性之间的关系。
谓词逻辑引入了量词和谓词,量词包括全称量词和存在量词,用来表示命题在某个范围内是否成立。
谓词表示对象的性质或关系,它可以是单个对象的属性,也可以是多个对象之间的关系。
谓词逻辑的基本原理包括量词的分配律、量词的对偶律和量词的去范围律等。
三、推理推理是逻辑学的核心内容,它研究的是从已知命题出发得出新的结论的方法和规则。
推理可以分为演绎推理和归纳推理两种。
演绎推理是从一般到个别的推理过程,它基于命题逻辑和谓词逻辑的规则,通过逻辑推理得出结论的正确性。
归纳推理是从个别到一般的推理过程,它通过观察和实验得出一般性的结论。
推理的基本原理包括假言推理、拒取式推理、假设演绎和归谬法等。
四、谬误谬误是逻辑学研究的一个重要内容,它指的是推理过程中的错误和伪命题。
谬误可以分为形式谬误和实质谬误两种。
形式谬误是指推理过程中违反了逻辑规则,导致结论不正确。
实质谬误是指推理过程中出现了事实错误或逻辑错误,导致结论不可靠。
谬误的常见类型包括偷换概念、诉诸个人攻击、虚假二选一和滥用类比等。
了解和识别谬误有助于我们避免在思考和推理过程中犯错。
总结起来,逻辑学的基本原理和概念为我们提供了一种清晰、准确和合理的思维方式。
三段论中各格具体规则的证明第一格规则: 1、小前提必就是肯定的;2、大前提必就是全称的。
M PS MS P1、小前提必就是肯定的假如小前提为否定命题,根据从两个否定的前提得不出必然的结论,大前提必为肯定命题,于就是结论必为否定命题。
这样,大项在前提中作为肯定命题扽谓项就是不周延的,而在结论中作为否定命题的谓项就是周延的。
根据前提中不周延的项在结论中也不得周延,假设不成立,所以小前提必就是肯定的。
2、大前提必就是全称的小前提必就是肯定的,因而作为小前提谓项的中项就是不周延的。
根据中项在两前提中至少周延一次,中项在大前提中必须就是周延的,要使其大前提中的中项周延,大前提必须就是全称的。
第二格规则: 1、两个前提中必须有一个就是否定命题;2、大前提必须为全称命题。
P MS MS P1、两个前提中必须有一个就是否定命题:由于中项在两个前提中都做谓项,根据三段论的基本规则“中项至少要周延一次”,而只有否定命题的谓项就是周延的,所以,前提中必须有否定命题。
但就是根据三段论基本规则“两个否定的前提不能推出结论”,故两个前提中必须有一个就是否定命题。
2、大前提必须为全称命题:三段论第二格的特殊规则中的第一条已经确定,即“两个前提中必须有一个就是否定命题”,那么,根据三段论的基本规则“前提中有一个就是否定的,结论必然就是否定的”。
在结论中,大项作否定命题的谓项,就是周延的。
根据三段论基本规则“在前提中不周延的项,在结论中也不得周延”,要保证大项在前提中周延,只有大前提为全称命题。
所以,大前提必须为全称命题第三格规则: 1、小前提必须肯定;2、结论须就是特称的;3、至少有一个前提就是全称的。
M PM SS P1、小前提必须肯定如果小前提否定,则大前提必须肯定(两个否定的前提推不出结论); 大前提肯定,则大项不周延(肯定判断的谓项不周延); 因为前提之一否定,所以结论否定; 结论否定,则大项在结论中周延; 大项在前提中不周延,而在结论中周延,违反“前提中不周延的项在结论中不得周延”的规定,所以,小前提必须肯定。
逻辑学常用图表和公式一、命题逻辑1. 命题命题是陈述语句,能够判断其真假,可以用P、Q、R等符号表示。
例如:P表示今天是晴天。
2. 求反命题、逆命题和对偶命题反命题:把命题中的主语和谓语都取反,如“P:今天是晴天”;则“非P:今天不是晴天”。
逆命题:将命题中的主语和谓语分别取反,如“P:今天是晴天”;则“Q:不是晴天就不是今天”。
对偶命题:对一命题中的“存在”、“全称”、“或”、“与”等词进行逆否,如“∀x P(x)”则对应的对偶命题为“∃x (~P(x)”。
3. 否命题否定某些命题可以得到一个新的命题,称为否命题。
例如“P:今天是晴天”;则“~P:今天不是晴天。
”4. 蕴含若P成立,则P蕴含Q;用符号表示为P——>Q。
(当P成立时,Q也必定成立。
)5. 充分必要条件若Q成立,则P充分必要;用符号表示为P《——Q。
(当Q成立时,P必定成立。
)6. 前提、结论和推理规则前提:一个论证中被认为是真实的命题。
结论:从前提推出来的结论。
推理规则:从前提出发,推得结论的规则。
包括假言三段论、假言推理、乘积原则等。
7. 假言三段论若P——>Q是真的,Q——>R也是真的,则P——>R也是真的。
例如:“若今天下雨,我就不去”,“若我不去,就不会迟到”,“所以如果今天下雨,我就不会迟到。
”8. 内容永真性和形式永真性内容永真性:一个公式无论描写何种情况,它的真值都为真,则称其具有内容永真性。
形式永真性:一个公式无论取什么命题作为变量,都为真,则称其具有形式永真性。
9. 逻辑等价式若P<——>Q是真的,则P和Q逻辑等价。
例如:“非(P& Q)<——>(~P V ~ Q)”。
10. 常见逻辑公式与(^)、或(V)、非(~)、蕴涵(——>)、等价(《——》)、全称量词(∀)、存在量词(∃)等。
二、谓词逻辑1. 谓词谓词是有个体变元的陈述语句,如“x>y”或“P(x,y)”。
逻辑学三段论中各格具体规则的证明逻辑学中的三段论是一种常见的推理形式,由两个前提和一个结论组成,具有以下形式:如果前提是:“所有A都是B”和“一些C是A”,那么结论便是:“一些C是B”。
为了证明逻辑学中三段论的各格具体规则,我们可以使用自证法,通过构造一个具体的三段论来证明。
下面我们将详细介绍每个格的规则以及相应的证明。
第一个格:综合格(Major Premise)综合格是指前提中的“所有A都是B”的部分,即前提中包含了一个普遍的陈述。
为了证明综合格的规则,我们可以使用一个具体例子来说明。
假设我们的前提是:所有狗都是动物。
现在我们来查看一个具体的案例:Tom是一只狗。
根据前提中的陈述,我们可以得出结论:Tom是一只动物。
通过这个例子的推理过程,我们可以看到,当前提为“所有A都是B”时,我们可以根据特定的案例“一些C是A”来得出结论“一些C是B”。
因此,综合格的规则是成立的。
第二个格:特殊格(Minor Premise)特殊格是指前提中的“一些C是A”的部分,即前提中包含了一个特殊的案例。
为了证明特殊格的规则,我们同样可以使用一个具体的例子。
假设我们的前提是:所有狗都是动物。
现在我们来查看一个具体的案例:Tom是一只狗。
根据前提中的陈述,我们可以得出结论:Tom是一只动物。
通过这个例子的推理过程,我们可以看到,当前提为“一些C是A”时,我们可以根据前提中的普遍陈述“所有A都是B”来得出结论“一些C是B”。
因此,特殊格的规则也是成立的。
第三个格:结论格(Conclusion)结论格是指逻辑推理的最终结论,它是综合格和特殊格推出的结果。
为了证明结论格的规则,我们同样可以使用一个具体的例子。
假设我们的前提是:所有狗都是动物。
现在我们来查看一个具体的案例:Tom是一只狗。
根据前提中的陈述,我们可以得出结论:Tom是一只动物。
通过这个例子的推理过程,我们可以看到,当我们将综合格“所有A 都是B”和特殊格“一些C是A”结合起来时,我们得出了结论格“一些C是B”。
逻辑学-三段论中各格具体规则的证明(自证参考)三段论是逻辑学基础中常用的常规推理模式,它由先前的前提得出结论而形成。
三段论的形式逐渐被认为是推理过程的基础,同时也是许多实际问题的重要解决手段。
但是,虽然三段论在实际中十分普遍和有用,但它还需要更加明确的证明和推示,以及更具体的规则来确保其有效性。
在三段论证明中,我们需要根据具体的规则,来对前提和结论进行分析和判断,以确保推理的正确性和有效性。
以下是三段论中各格具体规则的证明。
第一格:重言式A.充分性证明:对于三段论公式P1:A 为 B;P2:B 为 A;C:∴A 为 A。
A 为B 构成的前提 P1 含义为向量 B 的任何实例值都属于向量 A 的实例值。
类似地,B 为 A 构成的前提 P2 含义为向量 A 一定属于向量 B 的实例值。
结论 C:A 为 A的意义是向量 A 必须属于其自身实例值。
这种三段论公式的充分性证明可以通过反证法证明。
考虑如果 A 不等于 A,即A 不属于自身的实例值,则结论是假的。
但是,前提 P1 和 P2 只会是A既是B也是A。
由此导出的结论不是A既是B也不是B既是A,所以存矛盾。
反证法证明结论C一定是真实的,从而完整证明了第一格重言式的充分性。
对于任何谓词逻辑且至少包含一对常识常值,即使前提 P1 和 P2 与结论 C 的自由变量都是常值,重言式的形式也适用。
因此,必要性证明为显然的。
如果任何谓词逻辑都是如此,则任何三段论公式都将是此自证的特例。
第二格:真实前提对于该三段论公式,前提 P1 假定向量 A 是向量 B 的子集,前提 P2 又假定向量 C 是向量 A 的子集。
如果我们可以证明向量 C 也必须是向量 B 的子集,则结论C“C是B的子集”是真实的结论。
然而,假设向量 C 不是向量 B 的子集,则存在向量 b,使得 b 是 B 的子集子集,b 不是 C 的子集。
由于 A 是 B 的子集,且 C 是 A 的子集,则我们可以推论出向量 b 同时是 A 的子集与 C 的子集,这是矛盾的。
简述三段论的规则
三段论是一种逻辑推理方法,其基本形式为:前提1为所有A都是B,前提2为某个C是A,结论为该C是B。
三段论是逻辑学中的
基本概念,也是人们在日常生活中常用的一种思考方式。
三段论的规则包括三个方面:前提的真实性、前提之间的关系、结论的正确性。
一、前提的真实性
三段论的前提必须是真实的,不能是虚构的或者不确定的。
虚构的前提会导致结论错误,不确定的前提也会使得结论不可靠。
因此,在使用三段论时,必须确保前提的真实性,否则推理的结果将毫无意义。
二、前提之间的关系
三段论的前提必须是有逻辑关系的。
前提之间必须是互相独立而且没有重叠的。
否则,就会出现逻辑错误。
例如,如果前提1为“所有猫都会爬树”,前提2为“我的狗会爬树”,这两个前提之间就没有逻辑关系,无法构成三段论。
三、结论的正确性
三段论的结论必须是正确的。
结论必须是在前提的基础上得出的,而且必须是唯一的。
如果结论不正确,那么整个三段论就是无效的。
在使用三段论时,必须经过仔细的思考,确保结论的正确性。
总之,三段论是一种重要的逻辑推理方法,可以帮助人们更好地思考和分析问题。
在使用三段论时,必须遵守前提的真实性、前提之间的关系和结论的正确性这三个规则。
只有这样,才能确保三段论的
有效性和可靠性,从而得出正确的结论。
逻辑学复习知识点前言:逻辑学:传统逻辑、现代逻辑;它是基础性.工具性的学科(更直接.更系统)第一章(绪论):第一节什么是逻辑学1.“逻辑”的含义:源于古希腊.原意:思想.言辞.理性.规律。
逻辑是一门学科.即逻辑学(思维科学)。
2.逻辑学的研究对象:研究思维的形式结构及其规律的科学。
逻辑学的研究目的:总结出人们正确运用各种思维形式的逻辑规律。
思维:感性认识(感觉.知觉.表象)和理性认识(概念.命题(判断).推理)思维的形式结构(思维的逻辑形式):包括逻辑常项和变项逻辑常项:不随思维具体内容变化而变化.是判定一种逻辑形式具体类型的唯一依据。
传统逻辑:自然语言(日常用语)现代逻辑:人工语言(符号语言:表意符号.公式.公式序列)思维形式结构的规律:逻辑规则:仅适用于某种思维形式。
逻辑思维的基本规律:普遍适用于各种类型的思维形式。
(传统逻辑定义)逻辑思维的基本规律包括:同一律.矛盾律.排中律.充足理由律。
表现方式:现代逻辑的基础部分:经典命题逻辑,经典谓词逻辑(表现方式:重言式(重言蕴涵式.重言等值式))第二节逻辑学的性质和作用1.逻辑学的性质:工具性.全人类性(没有民族性.阶级性)2.逻辑学的作用:联合国教科文组织1974年规定的七大基础学科:逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用:促成逻辑思维由自发向自觉转变;培养和提高人们认识事物、从事科学研究的能力;帮助识别、驳斥谬误和诡辩。
3.第三节逻辑简史逻辑学的历史:两千多年逻辑学的三大源头:古中国、古印度、古希腊。
西方逻辑:以古希腊逻辑为先河.在发展的历程中完整地经历了传统和现代两个形态。
(以此为例)传统逻辑的诞生与发展:传统逻辑:由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。
特点:借助自然语言.主要范围是常见日常思维类型。
亚里士多德:(公元前384-公元前322):古希腊著名学者.第一次全面、系统研究逻辑学主要问题.首创逻辑学这门科学。
逻辑学公理逻辑学是研究思维规律的学科,其核心内容包括概念、判断、推理和思维规律等方面。
本文将介绍逻辑学公理,包括概念公理、判断公理、推理公理、思维规律公理、模态逻辑公理、时态逻辑公理和广义量词公理。
1.概念公理概念公理是关于概念的性质和关系的基本原理,包括概念的含义、外延和之间的关系。
以下是一些常见的概念公理:(1)概念的含义:概念的含义是概念所包括的对象的共同特征。
(2)概念的外延:一个概念的外延是指它所包括的所有对象的总和。
(3)概念之间的关系:概念之间存在种属、交叉和全异等关系。
举例:在“鸟”这个概念的外延中,包括鸵鸟、鸽子、喜鹊等对象。
2.判断公理判断公理是关于判断的性质和关系的基本原理,包括判断的含义、分类和之间的关系。
以下是一些常见的判断公理:(1)判断的含义:判断是对一个或多个概念进行肯定或否定。
(2)判断的分类:判断可以分为简单判断和复合判断,简单判断包括直言判断和否定判断,复合判断包括联言判断、选言判断和假言判断等。
(3)判断之间的关系:判断之间存在反对、下反对和矛盾等关系。
举例:直言判断“所有鸟都会飞”是简单判断,否定判断“并非所有鸟都会飞”也是简单判断。
3.推理公理推理公理是关于推理的性质和关系的基本原理,包括推理的含义、规则和模式。
以下是一些常见的推理公理:(1)推理的含义:推理是根据已知判断得出新判断的过程。
(2)推理的规则:推理应遵循逻辑规律,包括同一律、矛盾律和排中律等。
(3)推理的模式:推理的模式包括演绎推理、归纳推理和类比推理等。
举例:根据“所有鸟都会飞”这个已知判断,可以推断出“鸵鸟会飞”这个新判断,这是一个简单的演绎推理。
4.思维规律公理思维规律公理是关于思维规律的基本原理,包括同一律、矛盾律和排中律等。
以下是一些常见的思维规律公理:(1)同一律:思维必须保持同一性,即同一思维过程中使用的概念和判断必须是同一的。
(2)矛盾律:思维必须保持前后一致,即同一思维过程中使用的概念和判断不能相互矛盾。
三段论逻辑规则三段论逻辑规则是逻辑学中的重要概念之一,也是逻辑推理的一个基本形式。
三段论包含前提和结论两个部分,其中前提由两个陈述句组成,结论则为另一个单独的陈述句。
三段论逻辑规则可以用来判断一个论证是否正确,并且可以帮助我们更好地理解和掌握逻辑推理的方法。
一、三段论的基本形式三段论逻辑规则由前提和结论组成,通常表示为:“如果 A 是 B,B是 C,那么 A 是 C。
”以此形式写出的三段论被称为标准形式三段论。
例如:前提 1:所有人都会死。
前提 2:苏珊是个人。
结论:苏珊将会死亡。
在这个例子中,前提 1 表示了所有人都会死,前提 2 表示苏珊是一个人,结论表明苏珊将会死亡,由此可以看出,三段论的前提是自洽的,结论也是符合逻辑推理的。
二、三段论逻辑规则的应用三段论逻辑规则在我们日常生活中有很多应用场景,比如判断新闻报道的真实性、判定广告宣传的可信性以及解决各种生活中的问题。
我们可以用三段论逻辑规则来开展自己的思维,从而更好地理解和掌握各种问题的解决方案。
例如,当我们遇到“如何保持身体健康”的问题时,我们可以使用三段论逻辑规则来解决这个问题。
首先我们需要明确前提,例如:前提 1:健康饮食是保持身体健康的基础。
前提 2:适量运动可以增强身体的免疫机能。
结论:保持健康的生活方式可以使人们拥有更好的身体健康。
在这个例子中,我们明确了前提,并通过逻辑推理得出了结论,即保持健康的生活方式可以保持身体的健康。
对于这个问题,我们可以采取相应的措施,如控制饮食、加强体育锻炼等。
三、三段论逻辑规则的局限性尽管三段论逻辑规则可以用来判断一个论证是否正确,但这个规则也存在着一定的局限性。
它可能会受到相关证据的限制,从而导致结论的不准确。
例如:前提 1:所有人都会死。
前提 2:苏珊是一个人。
结论:苏珊将不会死亡。
这个结论看起来不合逻辑,但如果我们知道苏珊具有超长寿命,那么这个结论就变得更加可行。
因此,三段论逻辑规则只适用于情况比较简单的情况,当情况复杂或涉及多方面因素时,我们需要采取更灵活的方法来分析问题。
逻辑学中规则归纳
第二章概念
定义的规则:
1.定义项与被定义项在外延上必须全同
2.定义项不得直接或简介地包含被定义项
3.定义必须清楚明确
划分的规则:
1.划分所得各子项外延之和应等于母项的外延
2.划分所得各子项应当互相排斥
3.每次划分必须按同一标准进行
4.
第四章简单判断及其推理
三段论的规则
关系判断:
不能以非对称关系判断作为前提进行推理
不能以非传递关系判断作为前提进行推理
混合关系推理:
1.前提中的性质判断必须是肯定推理
2.前提中两个相同项(相当于中项)至少有一个项是周延的
3.在前提中不周延的项,在结论中也不得周延
4.前提中关系判断是肯定的,则结论中的关系判断也必须是肯定的
5.前提中的关系判断是否定的,则结论中的关系判断也必须是否定的
6.
真值判断
在逻辑演算中,先列出小括号中的逻辑式,再列出中括号中的逻辑形式
当且仅当所有联言肢为真时,联言判断为真;当;联言判断为真时,所有联言肢为真
全部选言肢中只要有一个为真,则相容选言判断为真;只有当全部选言肢为假时,相容选言判断才是假的
相容选言推理只有一个正确的推理形式,即否定肯定式
相容选言推理规则是:
1、否定一部分选言肢,就要肯定另一部分选言肢
2、肯定一部分选言肢,不能否定另一部分选言肢
不相容选言推理规则是:
1、否定一部分选言肢,就要肯定另一部分选言肢
2、肯定一部分选言肢,就要否定另一部分选言肢
选言肢穷尽是选言前提真的充分条件,却不是其必要条件
充分条件假言判断的逻辑性质:有之则必然,无之未必然
必要条件假言判断的逻辑性质:有之未必然,无之必不然
充分必要条件假言判断逻辑性质:有之则必然,无之必不然
由此可得充分条件假言推理推理规则:
肯定前件就要肯定后件(充分条件:有之则必然)
否定前件不能否定后件(充分条件:无之未必然)
否定后件就要否定前件(必要条件:无之必不然)
肯定后件不能肯定前件(必要条件:有之未必然)
必要条件假言判断和充分条件相似,只不过是位置换一下而已只要记住上面那四条:有之则无之则即可
重言式有:
充分条件假言推理的肯定前件式
充分条件假言推理的否定后件式
必要条件假言推理的否定前件式
必要条件假言推理的肯定后件式
相容选言推理的否定肯定式(否定其中一个得出肯定另一方个的结论)
联言推理的分解式
反三段论:三段论形式正确,结论不成立,一前提成立,可推出另一前提不成立。