《形式逻辑》

合集下载

逻辑学经典书籍

摘要：

1.逻辑学简介

2.逻辑学经典书籍的分类

3.代表性逻辑学经典书籍介绍

3.1《形式逻辑》

3.2《逻辑学导论》

3.3《逻辑思维》

3.4《数理逻辑》

3.5《论证逻辑》

4.阅读逻辑学经典书籍的意义

正文：

逻辑学是一门研究推理规律和思维规律的学科，它旨在帮助人们提高思维品质、培养良好的推理能力。逻辑学经典书籍是学习和研究逻辑学的基石，它们为我们提供了丰富的理论知识、方法和实例。下面，我们将对一些具有代表性的逻辑学经典书籍进行简要介绍。

1.逻辑学简介

逻辑学可以分为形式逻辑、数理逻辑、论证逻辑等多个分支。形式逻辑主要研究推理的形式，探讨概念、判断和推理的基本规律；数理逻辑则运用符号和数学方法研究逻辑结构；论证逻辑关注论证的构建、分析和评估。

2.逻辑学经典书籍的分类

逻辑学经典书籍可以分为以下几类：形式逻辑、逻辑学导论、逻辑思维、数理逻辑和论证逻辑。这些书籍在内容、深度和广度上各有侧重，适合不同层次的读者。

3.代表性逻辑学经典书籍介绍

3.1《形式逻辑》

《形式逻辑》是关于推理形式和规律的研究，是逻辑学的基础理论。本书通过阐述概念、判断和推理的基本概念，以及推理的基本规律，为读者打下扎实的逻辑学基础。

3.2《逻辑学导论》

《逻辑学导论》是一本引导读者进入逻辑学领域的入门书籍，它简要介绍了逻辑学的基本概念、历史发展和主要分支。本书适合初学者入门学习，帮助读者了解逻辑学的基本内容和研究方向。

3.3《逻辑思维》

《逻辑思维》旨在培养读者的逻辑思维能力，通过丰富的实例分析、练习和测试，使读者掌握逻辑思维的基本方法和技巧。本书适合希望提高逻辑思维能力的读者。

什么是形式逻辑

有时候，大家会描述一些说话方式或是念头“有逻辑”。说白了逻辑，就是逻辑思维的规律性，逻辑学便是有关逻辑思维规律性的理论。下面和小编一起来看什么是形式逻辑，希望有所帮助！

形式逻辑指的是传统式逻辑，范畴指演译逻辑，理论还包含梳理逻辑。形式逻辑的基础理论是由古希腊文化杰出的思想家亚里士多德最先开创的'。亚里士多德是现代文学家柏拉图的学员、亚力山大天尊的教师，于公元384年出生于北爱尔兰的一个皇室家中。18岁时，亚里士多德被送至古罗马的柏拉图学校学习培训，自此二十年间，亚里士多德一直住校园内里，直到教师柏拉图在前347年过世。亚里士多德的见识非常普遍，他在物理、形而上学、诗文和戏剧表演、歌曲、分子生物学、社会经济学、生物学、逻辑学、社会学及其伦理学等课程均有针对性的经典著作。在形式逻辑层面，亚里士多德做为创始人，将他的绝大多数理论载入了《形而上学》第四卷和《工具论》的相关一部分。

亚里士多德从存在论和逻辑2个层面明确提出和创建了他的逻辑逻辑思维规律性基础理论。在他的哲学著作《形而上学》中，他最先研究了矛盾律，而且将矛盾律当作是一切证实都必须的最基本的基本原理，因而是不用被证实也是不可以被证实的。

除基本定律以外，亚里士多德还开创了“三段论”。“三段论”是演绎推理的第一个逻辑管理体系，它第一次促使创造性思维足以流于形式，也促使形式逻辑足以变成一门单独的课程。亚里士多德在《前分析篇》中表明了三段论的基础观念，强调三段论是由前提和结果组成，而前提和结果又是由三个词项（即中项、大类、小项）组成。《后分析篇》的文中，亚里士多德列举了那样的事例：

《形式逻辑》原理教案

一、教学目标

1. 让学生理解形式逻辑的基本概念和原理。

2. 培养学生运用形式逻辑思维和分析问题的能力。

3. 引导学生运用形式逻辑方法，提高论证和辨析能力。

二、教学内容

1. 形式逻辑的基本概念：概念、判断、推理。

2. 形式逻辑的基本规律：同一律、矛盾律、排中律、充足理由律。

3. 形式逻辑的基本方法：分类法、定义法、比较法、归纳法、演绎法。

三、教学重点与难点

1. 教学重点：形式逻辑的基本概念、基本规律和基本方法。

2. 教学难点：形式逻辑方法的运用和论证、辨析能力的培养。

四、教学过程

1. 导入：通过生活中的实例，引发学生对形式逻辑的思考，激发学习兴趣。

2. 基本概念：介绍概念、判断、推理的定义及特点。

3. 基本规律：讲解同一律、矛盾律、排中律、充足理由律的内涵和应用。

4. 基本方法：介绍分类法、定义法、比较法、归纳法、演绎法的原理及步骤。

5. 案例分析：分析实际案例，引导学生运用形式逻辑方法进行思考和分析。

6. 课堂讨论：组织学生进行讨论，分享各自对形式逻辑的理解和应用。

五、课后作业

1. 复习本节课所学的内容，整理笔记。

2. 选择一个生活中的实例，运用形式逻辑方法进行分析。

3. 查找相关资料，了解形式逻辑在学术研究和实际应用中的广泛性。

教学评价：通过课后作业的完成情况、课堂讨论的参与度以及学生对形式逻辑的应用能力，评价学生的学习效果。

六、教学策略与方法

1. 采用讲授法：明确形式逻辑的基本概念、基本规律和基本方法。

2. 案例分析法：分析实际案例，引导学生运用形式逻辑方法进行思考和分析。

关于逻辑学的经典书籍

逻辑学是研究推理和推论的科学，对于培养人们的思维能力、提高分析问题的能力具有重要意义。以下是关于逻辑学的经典书籍，希望对您有所帮助：

1. 《逻辑学导论》 - 作者：伊恩·霍夫斯塔德

这本书是一本经典的逻辑学入门教材，系统地介绍了逻辑学的基本概念、原则和方法，适合初学者阅读。

2. 《逻辑思维》 - 作者：丹尼尔·丹尼特

丹尼尔·丹尼特是一位著名的心理学家和逻辑学家，他在这本书中讲述了逻辑思维的重要性以及如何培养逻辑思维能力。

3. 《形式逻辑学》 - 作者：彼得·史密斯

这本书详细介绍了形式逻辑学的基本原理和方法，包括命题逻辑和谓词逻辑，是一本系统全面的教材。

4. 《逻辑学与哲学》 - 作者：威廉·沃伦·巴特勒

这本书将逻辑学与哲学相结合，探讨了逻辑学在哲学研究中的重要作用，对于理解逻辑学的哲学基础具有重要意义。

5. 《逻辑学与计算机科学基础》 - 作者：杰克·布雷斯顿

这本书介绍了逻辑学在计算机科学中的应用，包括逻辑电路、编程语言的语法和语义等方面。

6. 《逻辑学与法律思维》 - 作者：尤金·沃利斯

这本书探讨了逻辑学在法律思维中的应用，帮助读者理解法律条文的逻辑结构和推理过程。

7. 《逻辑学与科学研究方法》 - 作者：彼得·纳根

这本书介绍了逻辑学在科学研究中的应用，包括科学推理、实证方法和假设检验等方面。

8. 《逻辑学与语言学》 - 作者：迈克尔·莱斯利

这本书探讨了逻辑学在语言学中的应用，帮助读者理解语言的逻辑结构和推理方式。

9. 《逻辑学与人工智能》 - 作者：约翰·海登

《形式逻辑》练习题答案及逻辑知识(合集五篇)

《形式逻辑》练习题答案及逻辑知识（合集五篇）

《形式逻辑》练习题答案及逻辑知识

《形式逻辑》练习题、答案及逻辑知识道成编辑,2012.1.15.第一章、绪

论【堂上操练】

一、填空：

1．普通形式逻辑研究的对象是：

________________________________________。

2．在抽象思维、形象思维和灵感思维三者中，普通形式逻辑研究的思维属于_____________。

3．思维的逻辑形式又叫_______，指具有不同思维内容的思维形式所共同具有的__________。

4．思维的形式结构是________________________的符号系统。

5．思维形式结构中固定不变的部分叫___________，可以变化的部分叫__________。

二、指出下列命题的形式结构：1．这个学生是三好学生。2．马克思主义不是教条，而是行动的指南。3．这节课或者你来讲，或者我来讲。4．如果不努力学习，就很难取得好成绩。

三、指出下列形式结构中的逻辑常项和逻辑变项：

1．所有S是P

2．p← q

3．有S不是P

4．（p∧q）→r 【课后作业】

一、查阅词典，指出下列各句“逻辑”一词的含义： 1．正义终究战胜邪恶，这是社会发展的逻辑。2．“贫穷才是社会主义”，这是什么逻辑？

3．普及逻辑是提高中华民族文化素质的重要方面。4．要善于逻辑地思维和明确地表达思想。

5．虽说马克思没有留下“逻辑”（大写字母的），但他遗留下“资本论”的逻辑，应当充分地利用这种逻辑来解决当前的问题。6．任何脱离现实生活逻辑的文学作品都是没有生命力的。

形式逻辑学课件

词项是形式逻辑学中的基本概念，指具有确定内涵和外延的思维形态。根据内涵和外延是否明确，词项可以分为单独词项、普遍词项和空词项。
直言命题及其推理
总结词
命题形式与推理规则
详细描述
直言命题是表达事物性质或事物之间关系的命题，包括量项、主项、谓项和联项。直言命题的推理包括对当关系推理、换质推理、换位推理等。
归纳论证是从个别实例中概括出一般结论的推理方法。
演绎论证
演绎论证是从一般到个别的推理方法，它基于普遍接受的规则或原理来得出特定结论。
因果论证
因果论证是通过确定事件之间的因果关系来进行推理的方法。
非形式逻辑的应用领域
法律领域
非形式逻辑在法律领域中用于分析和评估证据、论点和判决。
商业领域
非形式逻辑在商业决策、市场分析和广告策划中用于评估信息和制定策略。
亚里士多德是古典形式逻辑的奠基人，他的逻辑理论至今仍有深远影响。
现代逻辑学
19世纪末至20世纪初，数理逻辑的兴起为形式逻辑学带来了新的发展机遇。
符号逻辑
随着符号逻辑的发展，形式逻辑学在数学、计算机科学等领域的应用越来越广泛。
02
命题逻辑
命题及其性质
总结词
理解命题的概念和性质是学习命题逻辑的基础。
详细描述
命题是具有真假意义的陈述句，分为简单命题和复合命题。简单命题包括直言命题和关系命题，复合命题则是由其他命题通过逻辑联结词组合而成。

《形式逻辑》

《形式逻辑》读书笔记（作者：Alex）（１～５章）

《形式逻辑》教材(中国⼈民⼤学出版社出版，1984年7⽉的版本)

第⼀章形式逻辑的对象和意义

说明：形式逻辑通常叫做“逻辑学”，简称“逻辑”。我们这⾥讲的是普通形式逻辑，不同于称为现代形式逻辑的数理逻辑和符号逻辑。

定义：形式逻辑是关于思维的逻辑形式及其规律的科学，同时也研究⼀些认识现实的简单的逻辑⽅法。

第⼀节形式逻辑的对象

形式逻辑研究的对象是：思维的逻辑形式及其规律。还研究⼀些简单的逻辑⽅式，如：定义、划分、探求因果联系的⽅法等。

什么是形式逻辑

什么是形式逻辑，我们如何理解形式逻辑

形式逻辑是逻辑学中的一种重要分支，主要研究推理的形式和结构，而不关注具体的内容。形式逻辑涉及到命题、谓词、量词等概念，以及它们之间的逻辑关系，如合取、析取、条件、否定等。形式逻辑的基本原理是恒真律、排中律和矛盾律，它还包括一些推理规则和证明方法，如演绎法、归谬法、假设法等。

理解形式逻辑需要从以下几个方面进行深入探讨：

一、命题逻辑

命题逻辑是形式逻辑的一种，它涉及到命题、合取、析取、条件、否定等概念。命题是一个陈述句子，它可以是真或假，而且只有这两种可能性。合取是指多个命题同时成立，用“∧”表示；析取是指多个命题中至少有一个成立，用“∨”表示；条件是指一个命题成立会导致另一个命题成立，用“→”表示；否定是指一个命题不成立，用“¬”表示。命题逻辑通过对这些逻辑关系的分析，研究推理和论证的问题。

二、谓词逻辑

谓词逻辑是形式逻辑的另一种，它涉及到谓词、量词、变量等概念。谓词是一个描述性词语，它可以是真或假，而且可以应用于某些对象上。量词是指描述谓词所应用的对象数量的词语，如“所有”、“存在”等。变量是指可以代表任意对象的符号，它可以用来表示谓词中的参数。谓词逻辑通过对这些概念的分析，研究推理和论证的问题。

三、证明方法

形式逻辑中常用的证明方法包括演绎法、归谬法、假设法等。演绎法是指从一些已知的真命题出发，通过逻辑推理得出新的命题的方法。归谬法是指通过证明一个命题的否定来证明该命题的方法。假设法是指假设一个命题成立，然后通过逻辑推理来验证该命题是否成立的方法。这些证明方法都是基于形式逻辑的规则和原理，可以帮助人们更好地进行推理和论证。

形式逻辑体系启蒙教科书

以下是几本形式逻辑启蒙教科书的推荐：

1. 《形式逻辑》- 作者: 张家栋。这本教科书是中国大陆比较

常用的一本形式逻辑教材，内容系统全面，适合初学者。

2. 《形式逻辑的启示》- 作者: 赫尔曼·昆斯特。这本书从对一

阶逻辑的形式和语义讲述，并且涉及到模态逻辑、非经典逻辑等内容，是作为进阶学习形式逻辑的很好选择。

3. 《逻辑学导论》- 作者: 弗朗茨·卡费勒。这本书是一本较为

广泛应用的逻辑学导论教材，对形式逻辑的基本概念和演算方法进行了详细介绍。

4. 《逻辑感问题》- 作者: 切斯特顿·霍尔。这本书采用问答的

方式阐述了形式逻辑的基本原理和推理方法，非常适合初学者。

5. 《形式与意义》- 作者: 约瑟夫·霍奇金。这本书从形式逻辑

的角度探讨了语义学和信息论的问题，对于对逻辑与语义关系感兴趣的读者有很大帮助。

请注意，上述书籍都是从不同的角度对形式逻辑进行阐述的，因此您可以选择适合自己的一本进行学习。

什么是形式逻辑

形式逻辑是一种研究逻辑推理规则和推理形式的分支学科。它关

注的是逻辑结构以及逻辑推理的形式，而不仅仅关注具体的逻辑内容。形式逻辑在哲学、数学、认知科学等领域有广泛的应用。

形式逻辑研究的是逻辑形式的抽象推理规则。逻辑形式是指推理

过程中的结构和方式，与具体内容无关。形式逻辑所关注的是推理过

程中的有效性和正确性，这种推理可以独立于具体领域的语言、概念

和事实。

形式逻辑的起源可以追溯到古希腊。亚里士多德是形式逻辑的奠

基人，他在《篇章》中提出了分类学和明确的推理规则。形式逻辑经

过漫长的发展，衍生出了许多分支和体系，如谓词逻辑、命题逻辑、

模态逻辑等。

形式逻辑的研究方法主要是使用符号和符号系统进行推理和分析。符号在形式逻辑中代表逻辑结构和关系的抽象表示。通过对符号的组

合和转换，可以揭示给定前提下的推理过程和结论。形式逻辑的分析

结果可以用符号和结构来表示，这种抽象化的表达方式使得推理过程

简洁且易于理解。

形式逻辑的研究内容包括逻辑连接词、命题、谓词、量词等。逻

辑连接词是指用于连接命题的词语，如“而且”、“或者”、“如果...那么...”等。命题是具有真值可判断的陈述句，可以用符号表示，如P、Q等。谓词是指可以作用于一个或多个个体，产生命题的语句，如“是红色的”、“是大的”等。量词则表示谓词所涉及个体的

范围和数量，如“对于每一个”、“存在一个”。

形式逻辑的推理规则主要包括假言推理、双重否定、构造演算等。假言推理是以假设的形式进行推理，根据前提和假设的逻辑关系得出

结论。双重否定则通过否定命题的否定形式，得出与原命题等价的结论。构造演算则是通过逻辑连接词的组合和转换推导出新的命题。

形式逻辑读书笔记

导语：金岳霖是把西方现代逻辑介绍到中国的主要人物，他把西方哲学与中国哲学相结合，建立了独特的哲学体系，《形式逻辑》是其著作之一。如下是店铺整理的几篇形式逻辑读书笔记，欢迎阅读与借鉴。

篇一：形式逻辑读书笔记

2003年，我曾经发誓再也不看逻辑书了。那时候，卓老师的一次持续5小时的逻辑课折腾得我想吐。（从下午2点到晚上7点多，我至今都很佩服卓老师，他可真能讲，他不仅口才好，他的脑瓜子也太厉害了。逻辑学是一门很扎实的课，是很伤脑经的学科，我一贯觉得。5个小时，太扎实了。但我又觉得逻辑，作为一门研究人的思维的学科，一定程度的逻辑训练是可以让人变聪明的。）到了今年，我专门买了金岳霖的《形式逻辑》，今天正式开始读，到目前为止都是很态度端正的。（由此可见——什么发誓之类的东西是无效的。世界在变，一切都会变。）（同时说明一下：金岳霖，好象就是那个一辈子逐林而居的痴情哲学家、逻辑学家。）

2010年3月的尾巴上，我打了四天针。每天坚持正常上班，上班之余的时候用至少两三甚至三四小时去诊所打针。手被那针头扎得青紫了，很疼。而且，那药水也很厉害，很疼，每次都咬得我手腕很痛，浑身不适。常常几近晕倒。我希望那药水更疼一点，让我更清醒一些。我其实一贯对疼都是非常敏感的，也是非常非常怕疼的人。这是我今年最特别的记忆。打针的时间，总是无聊。于是，就带了一本逻辑书在看。我已经很久没有看过逻辑书了。看得比较吃亏，似懂非懂。

我先看的是前言和补记，对这本书籍有所了解，知道这是一本已经过时了的逻辑书，但我仍然为慕金岳霖之名，决定好好读一读。然后决定先看看附录的《逻辑史资料》。在欧洲，有从亚里士多德到欧几里德，斯多阿派与伊壁鸠鲁派，波底乌斯、布里丹，培根和亚诺德、康德、穆勒、莱布尼兹与布尔等等一系列研究逻辑的先哲；至于中国，从公孙龙的白马非马、墨经中关于逻辑的论说、荀况的名辞辩之说、

《形式逻辑学》练习题与答案

《形式逻辑学》练习题及答案

第⼀部分概念

⼀、填空题

1.在⼀个正确的划分中，“母项”与“⼦项”在外延上具有属种关系，⽽“⼦项”与“⼦项”之间具有全

异关系。

2.从“属加种差”的定义的结构看，在定义“负判断是否定某⼀判断的判断”中，“否定某⼀判断的”是种差，“判断”是属。

⼆、单选题

1.“有的犯罪不是故意的”这⼀判断的主项“犯罪”是（B ）。

A、单独概念

B、普遍概念

C、集合概念

D、负概念

2.“位于”这句话中的“”与“”这两个词项外延之间具有( D )

A、真包含于关系

B、真包含关系

C、交叉关系

D、全异关系

3.下列各句属于逻辑划分的是（B）

A、选⾔判断分为选⾔肢和选⾔联结项

B、命题分为简单命题和复合命题

C、直⾔命题分为主项和谓项

D、论证分为的论题、论据和论证⽅式

4.“中国⼈民解放军是祖国的万⾥长城”作为定义，则（A）

A、犯了“以⽐喻代定义”的逻辑错误

B、犯了“定义过窄”的逻辑错误

C、犯了“定义过宽”的逻辑错误

D、遵守了各项定义规则，没有逻辑错误。

5.下列对概念的概括中，正确的是（B ）

A、把“律师”概括为“先进律师”

B、把“刑法”概括为“法律”

C、把“中级⼈民法院”概括为“⾼级⼈民法院”

D、把“判断”概括为“推理”。

6.下列概念间的关系中，属于不相容关系的是（D ）

A、交叉关系

B、全同关系

C、真包含关系

D、全异关系

7.在“中华民族是⼀个伟⼤、勇敢、勤劳的民族”这句话中，“中华民族”是（ C ）。

A、⾮集合概念、正概念

B、⾮集合概念、正概念

C、集合概念、正概念

D、集合概念、负概念

形式逻辑相关书籍

形式逻辑，又称为命题逻辑或命题演算，是逻辑学的一个重要分支。它研究的对象是复合命题，即一种由命题联结词连接的简单命题所组成的复合命题，如“如果A，则B”或“不是A并且是B”。形式逻辑通过使用符号和规则来分析和推理命题之间的逻辑关系，从而达到理解和评估推理过程的目的。

以下是一些与形式逻辑相关的书籍及其参考内容。

1.《数理逻辑基础》(Foundations of Mathematical Logic) - 斯莫尔森 (Jean-Yves Girard)

这本书从数学的角度详细介绍了形式逻辑的基本概念、语法和语义。它解释了形式逻辑的公理系统、推理规则和模型论，并讨论了关于逻辑推理的一些基本定理和公理的证明。

2.《形式逻辑导论》(An Introduction to Formal Logic) - 彭斯(Peter Smith)

这本书是形式逻辑的入门级教材，它介绍了形式逻辑的基本概念、符号化和推理规则。它涵盖了命题逻辑和一阶逻辑，并以清晰且易于理解的方式呈现了这些概念和规则。

3.《逻辑推理导论》(Introduction to Logic and Critical Thinking) - 高夫曼 (Merrilee H. Salmon)

这本书介绍了形式逻辑和批判性思维的基本概念。它探讨了推

理的不同形式，如直接推理、推导和归纳，以及如何使用逻辑规则来评估论证的有效性。

4.《形式逻辑及其应用》(Formal Logic and its Applications) - 布拉恰 (Richard L. Epstein)

逻辑学经典书籍

摘要：

1.逻辑学简介

2.逻辑学经典书籍概述

3.《形式逻辑》

4.《西方哲学史》

5.《逻辑学导论》

6.《逻辑与思考》

7.总结与建议

正文：

逻辑学是一门研究推理规律和思维方法的学科，对于提升思维品质、培养批判性思维具有重要意义。本文将向您介绍几本逻辑学经典书籍，帮助您更好地学习和理解逻辑学。

1.逻辑学简介

逻辑学是哲学的一个重要分支，主要研究推理和论证的基本规律，以及逻辑思维的基本方法。逻辑学可以分为形式逻辑、实质逻辑和辩证逻辑等不同分支。形式逻辑主要研究推理的形式结构，实质逻辑关注推理的内容和实质，辩证逻辑则强调对矛盾和问题的分析与解决。

2.逻辑学经典书籍概述

以下五本书是逻辑学领域的经典之作，各具特点，为读者提供了丰富的学习资源。

3.《形式逻辑》

《形式逻辑》是金岳霖所著的一本关于形式逻辑的专著。该书系统地介绍了形式逻辑的基本概念、命题逻辑和谓词逻辑的基本规律，以及推理的基本方法。书中提供了丰富的例题和习题，适合初学者深入学习。

4.《西方哲学史》

《西方哲学史》是英国哲学家罗素的一部著作，该书对西方哲学史进行了全面梳理。在逻辑学部分，罗素详细介绍了从古希腊到现代的逻辑学发展历程，以及各位哲学家的逻辑思想。这本书对于了解逻辑学历史具有重要参考价值。

5.《逻辑学导论》

《逻辑学导论》是一本面向初学者的逻辑学入门书籍，作者用通俗易懂的语言讲解了逻辑学的基本概念、命题逻辑和谓词逻辑的基本规律，以及逻辑论证的基本方法。书中提供了丰富的实例和练习题，有助于读者掌握逻辑学的基本知识。

6.《逻辑与思考》

《形式逻辑(第六版)》简单命题及其推理

▪ 如果A是真的，则I也是真的。如果A是假的，则I真假不定。如果I是假的，
则A也是假的。如果I是真的，则A真假不定。
【例2】“所有同学都不是追星族”与“有些同学不是追星族”。
▪ 如果E是真的，则O是真的。如果E是假的，则O真假不定。如果O是假的，
则E是假的。如果O是真的，则E真假不定。
➢ 特点：可以同真，但不可同假；若已知一个为假，则另一个必真；
➢具有必然性，是必然性推理；
▪ 性质命题是一种简单命题（即本身不包含其它命题的命
题），它是断定事物具有（或不具有）某种性质的命题。
也称为直言命题、性质判断。
【例1】一切文艺作品都是有倾向性的。
【例2】有些国家不是社会主义国家。
▪ 主项：命题所断定对象，用“S”表示。
▪ 谓项：命题对象具有或不具有的某种性质，用“P”表示。
➢必然性推理：能够保证前提真而结论真的推理，包括
演绎推理和完全归纳推理
➢或然性推理：前提真而结论假有可能的推理，例如不
完全归纳推理和类比推理
➢从一般到个别的推理；
➢结论所断定的知识范围没有超出前提所断定的知识范围。
➢能够保证从真实前提必然推出真实结论；
➢前提真而结论假不可能；
➢前提蕴涵结论的推理；
▪ 周延：如果在一个命题中，它的主项（或谓项）的全部
外延被作了断定，那么，这个命题的主项（或谓项）就

《形式逻辑(第六版)》类比推理与假说

【例】据科学史上的记载，光波概念的提出者，荷兰物理学家、数学家赫尔斯坦·惠更斯曾将光和声这两类现象进行比较，发现它们具有一系列相同的性质：如直线传播、有反射和干扰等。又已知声是由一种周期运动所引起的、呈波动的状态，由此作出类比推理，光也可能有呈波动状态的属性，从而提出了光波这一科学概念。
1、通过观察，占有
事实材料
2、运用有关科学知识分析，提出假说：作出引起现象发生的原因假定
3、从假定原因推论出其应有结果
4、验证
5、根据验证结果作出最后的结论：假说成立或被推翻，另立假说
第一步，通过问诊了解病情、病史以及生活环境；结合叩诊、听诊来掌握事实情况。
第二步，结合医学知识和临床经验，提出假说：病人可能患有肺结核。
➢假设的提出：发现香榧树分雄、雌两种，凡是离雄榧树近的雌榧树结实就多，离得远些的雌榧树结实就少或不结实。
➢通过实验证实：在长期不结实的榧树林里选500根雌榧开花的枝条，进行人工授粉，另外选500根枝条让它们自然授粉，最后在一贯结实较多的雌榧树上选了10根开花的枝条，用玻璃纸套起来不予授粉。实验的结果是：人工授粉的有1063个胚珠发育，自然授粉的只有52个，而隔离不授粉的则一个胚珠发育的也没有。
➢避免机械类比的逻辑错误：缺乏相关性
【例】基督教论证“存在造ຫໍສະໝຸດ Baidu主”：钟表和宇宙一样，是由许多部分构成的和谐整体，钟表有创造者——钟表匠，因此，宇宙也有一个创造者——上帝。运用了类比推理。