形式逻辑基本知识
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
7
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑的范围
Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、祈使、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑
奠定了基础。由此逻辑学发展进入黄金时代。
现代逻辑学已从单一学科逐步发展成为理论严密、分支众多、应 用
广泛的学科群，择其要者有数理逻辑、哲学逻辑、自然语言逻辑、概 率逻辑、人工智能逻辑、量子逻辑、价值逻辑以及逻辑学与计算 机 科学、认知科学的交叉研究。
联合国教科文组织把逻辑学与数学、天文学和天体物理学、地球科 学和空间科学、物理学、化学、生命科学并列为七大基础学科；
各种具体思维形式中所隐含的最一般的、共同的东西。
例如： ⑴所有的金属都是导电的。 ⑵所有的人都是会死的。 ⑶所有的犯罪行为都是有害社会的。
所有的S是P 再如： ⑴只有年满18岁，才有选举权。 ⑵该合同只有您亲自签字，才能生效。
只有p，才q
B
13
又如：
⑴ 所有的金属都是导电的， 水银是金属； 所以，水银也是导电的。
第九章 形式逻辑的基本规律
第十章 论证∶证明与反驳
B
2
第一章 绪论
“逻辑”最早可追溯到希腊词（λσγοε逻各斯）， 后英译为logos、其复数形式是logic。原为多义 词∶一般的规律和原则；说明、解释、论证；理 性、推理、抽象理论；尺度、关系、比率；价值 等等。古罗马的西塞罗正式使用“逻辑”一词表 示包括逻辑学和修辞学的科学。
普遍概念即以思维对象的类为反映对象的概念。如： “学校”、“汽车”、“国家” 、“交通大学”等。
单独概念即反映独一无二的思维对象的概念。如：
“上海交通大学”、“世界第一高峰”、“联合国”等。 单独概念通常用专有名词、摹状词来表达。
中国古代学者们将相同的科学称为“名辩之 学”。
古印度学者，特别是佛学将其称为“因明学” 。
B
3
一、逻辑学的发展简况
1. 西方
古希腊时期：亚里士多德，《工具论》，古典或传统的形式 逻辑；
麦加拉-斯多葛学派奠定了命题逻辑的基础。欧洲中世纪经院 逻辑学家们创立了推论的学说。文艺复兴时期的波尔-罗亚尔 修道院发表了《逻辑或思维的艺术》一书，将古典的演绎逻辑 体系化；
操作完成后，他把灯打开。此时，两个应聘者看到土耳其商人 头上戴的是一顶红帽子。两人开始无法回答。过一会儿，其中 一个人便喊道:“我戴的是黑帽子。”
请问∶这个人猜对了吗？为什么？
B
17
请解一道逻辑方面的选择题:
有甲、乙、丙、丁、戊五个人，每个人头上戴一顶白帽子或者
黑帽子，每个人只能看见别人头上帽子的颜色，而看不见自已头 上帽子的颜色。并且，一个人戴白帽子当且仅当他说真话，戴黑 帽子当且仅当他说假话。
形形式式逻逻辑辑
主讲主：讲黄：斐黄华斐华
sjtu_shjtfuh_@hsfihn@
B
1
目录
第一章 绪论
第二章 词项与概念
第三章 简单命题及其推理（上）
第四章 简单命题及其推理 ( 下 )
第五章 复合命题及其推理（上）
第六章 复合命题及其推理（下）
第七章 模态命题及其推理
第八章 归纳推理和类比推理
3.有助于提高我们的识别能力，识别谬误，揭 露诡辩。
B
16
爱因斯坦的逻辑题:土耳其商人的帽子
有一个土耳其商人，想雇佣一个十分聪明的经商助手，有两人 前来应聘。为测试两人中谁更聪明，将两个应聘者带进无窗的 黑房间。他打开电灯后说:“这张桌子上有两顶红色的、三顶黑 色的帽子。我关灯后，将它们的位置弄乱，然后每人摸一顶戴 在头上。余下两顶帽子，我把它们藏起来。开灯后，请你们尽 快说出自己头上戴的帽子是什么颜色。”
2生物应用
3认识论应用
a伍杰方式的发展 a问（答）逻辑
b控制论逻辑
b认识论逻辑（相信、知道、相干）
3社会科学应用
c假设逻辑（反事实的假设推理）
a规范逻辑 b价值逻辑 c法律应用
d信息和信息过程的逻辑 e归纳逻辑 4归纳逻辑 a证实和确证的逻辑
B b概率逻辑
9
2、中国
先秦时期:惠施、公孙龙、墨翟和后期墨家、荀况、韩非等学 者都研究过逻辑问题。其中，《墨经》对传统形式逻辑的所有 理论问题都进行了阐述:“以名举实，以辞抒意，以说出故”; 荀子提出“类、故、理”辩证逻辑推理体系。但往后二千多年 中湮没了，没有对中华民族的思维水平的提高起任何作用。
词项是思维的逻辑形式的最基本单位，是构成 命题的要素。 词项所表达的都是人们常说的概念。
B
19
一、概念与词项的概述
1. 什么是概念？ 概念是反映思维对象的特性或本质的思维形式。
2. 概念、语词和词项 概念和语词既有着密切联系，任何一个概念都要借
助语词来表达。用来表达概念的语词在逻辑学中叫做词 项；但又有区别，概念、语词、词项分别是认识论、语 言学、逻辑学所研究的对象。
B
10
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的纲要，
比较集中完整地讨论了逻
辑的基本内容。墨经》是
墨
墨家创
方面作出了重要贡献。他
们对“故”、“理”、
“类”古代逻辑的三个基
本范畴下了明确的定义，
并对“名”、“辞”、
“说”作了深入研究。论
述了“辟”（比喻）、
批判了形式 逻辑，研究 了辩证思维， 构造了辩证
揭示了思维的辩 逻辑的体系。
证矛盾。
B
6
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
17世纪开始，由于实验自然科学的兴起，归纳方法的研究被 引入逻辑学：培根、惠威尔、穆勒，《新工具》、《逻辑体 系》，建立了古典或传统的归纳逻辑；
17世纪末，德莱布尼茨提出了逻辑数学化的思想，《论组合 术》建立一种用符号表意的普遍语言及思维演算的设想，成为 数理逻辑的先驱。
19至20世纪初，布尔代数的创立将设想变为现实，再经德摩 根、弗雷格的努力，罗素与怀德海合著的《数学原理》出版标 志着现代形式逻辑--数理逻辑成为一门独立的科学。
明代:李之藻翻绎了葡萄牙人的逻辑学讲义--《名理探》。
晚清:王国维、严复翻译了《辩学启蒙》、《穆勒名学》等。
近代一开始，中国译者按先秦传统理解logic，将其译为“名 学” 、“辩学” 、“理则学” 、“论理学”等等。严复是将 其译为“逻辑”的第一人。
20世纪30年代，金岳霖先生师从罗素后归国后，编写了《逻 辑》作为大学教材。65年，金岳霖带领学生们编写了大学文 科逻辑学教材《形式逻辑》，但直至1979年才正式出版。
展。
B
11
二、逻辑学的研究对象和性质
1.逻辑学是以人们思维形式的结构及其基本规律 为研究对象的科学。
(1)思维 思维有广义和狭义两种理解。 逻辑学研究的是狭义的思维，即理性思维。 (2)思维形式 思维也有内容与形式之分。所谓思维形式即思 维内容的组成和表达方式:概念、判断、推理。
B
12
(3)思维形式的结构:思维形式组成要素的联系方式，
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 的一致性在本系统中 不能证明，更不能用 有穷方法证明。他的 这些工作正面或反面 地，或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
外延是指具有概念的内涵所反映的那些特性或本质 的一个个、一类类具体思维对象(事物或现象)。
内涵与外延是概念的最基本的逻辑性质和特征。
2. 内涵和外延的内在联系
内涵和外延之间存在着一种反变关系。
3.明确内涵和外延的意义。
提供衡量概念是否明确的尺度和方法；有助于有效 地展开论辩。
B
21
三、概念的种类
1. 普遍概念、单独概念和空概念
B
8
N.Rescher Topics in Philosophical Logic 逻辑分支一览表
A.基础逻辑
C.数学发展方面 E.哲学发展方面
1传统逻辑
1算术
1伦理应用
2经典现代逻辑 3非经典现代逻辑
B.元逻辑
1逻辑语法学
2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论
a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策 和决策的逻辑问题）
具有演绎必然性的归纳推理的 基础，关于逻辑概率的理论就 是归纳逻辑。它可给出假说的 相对于给定证据的确认度
B
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数的 概率逻辑
“侔”（附比）、“援”
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理的同 时，十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发
（类比）、“推”（间接
的归纳与演绎）四种形式 的推理(见后期墨家逻辑)。 这些思想，在中国古代逻 辑史上占有重要地位。
大英百科全书将逻辑学列为众学科之首。
B
5
西
西方逻辑 斯多葛学派于三段论之外，研究 学创始人。 了命题逻辑。
方
《工具论》
逻
6 篇奠定了
辑
逻辑的基础。 主要贡献是
《新工具》 针对亚氏的
对三段论的 系统研究。
演绎逻辑而 提出归纳和 诉诸自然和
经验的三表
法。
提出理想 语言和推 理是计算 的思想而 成为现代 逻辑的先 驱。
已知:甲说，我看见三顶白帽子一顶黑帽子；
乙说，我看见四顶黑帽子；
丙说，我看见一顶白帽子三顶黑帽子；
戊说，我看见四顶白帽子；
根据上述题干，下列陈述都是假的，除了:
A.甲和丙都戴白帽子；
B.乙和丙都戴黑帽子；
C.戊戴白帽子，但丁戴黑帽子；
D.丙戴黑帽子，但甲戴白帽子；
E.丙和丁都戴白帽子
B
18
第二章 词项与概念
⑵ 所有的人都是会死的，
苏格拉底是人； 所以，苏格拉底会死。
所有的M是P 所有的S是M 所有的S是P 思维的形式结构有两个组成部分∶一是逻辑常项， 如“所有的┅是┅” ；一是逻辑变项，如s、p、q、m┅。 逻辑常项决定思维的形式结构的类型
B
14
2.形式逻辑的性质
(1)工具性: 逻辑可比喻为“思维的语法” ；思维的逻辑形式的
2形而上学的逻辑应用 a存在性逻辑
2逻辑语义学
b时序逻辑（时态、变化、过程逻辑）
3逻辑语用学
D.科学发展方面 c部分与整体逻辑
a逻辑语言论和 自然语言逻辑
b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用 4逻辑语言学 a结构理论（形态学） b意义理论 C有效性理论
1ab量物物子理理论应或逻用因辑果模态理论def逻（构本辑唯造体名性学论逻与辑唯（实逻论辑之还争原意主义义下等的））本体论
并非所有的语词都是词项；同一概念可以用不同的 语词或词项来表达；一个语词也可以表达不同的概念。
3. 对概念的逻辑要求 概念要明确、用词要恰当。明确它的内涵与外延。
B
20
二、概念的内涵和外延(词项的含义和所指)
任何词项都有其含义(内涵)和所指(外延)
1. 何谓内涵和外延？
内涵是指反映在概念中的思维对象的特性或本质。
B
4
19世纪上半叶，德国哲学家康德《纯粹理性批判》，先验逻辑； 黑格尔《逻辑学》，辩证逻辑；马克思《资本论》，关于资本范畴的 辩证逻辑体系；列宁，《哲学笔记》，确立了辩证逻辑的基本理论和 原则；毛泽东《论持久战》，提供了辩证逻辑的又一范例。
20世纪30年代，哥德尔不完全性定理、塔尔斯基形式语言真理论、 图灵机及其应用理论三个划时代的成果，为现代逻辑学的蓬勃发展
正确性，乃是获得真实或可靠的结论的必要条件。 (2)全人类性:
思维的逻辑结构是各民族、各地域、各阶层的语言、 思想表述的“深层结构” ，是不同民族、地域、国家 的人们之间的文化思想能够交流的根基。
B
15
三、学习逻辑学的意义
1.有助于提高我们的推理能力，从已知去探求 未知；
2.有助于提高我们的表达能力，准确地表达思 想和严密地论证思想；
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑的范围
Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、祈使、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑
奠定了基础。由此逻辑学发展进入黄金时代。
现代逻辑学已从单一学科逐步发展成为理论严密、分支众多、应 用
广泛的学科群，择其要者有数理逻辑、哲学逻辑、自然语言逻辑、概 率逻辑、人工智能逻辑、量子逻辑、价值逻辑以及逻辑学与计算 机 科学、认知科学的交叉研究。
联合国教科文组织把逻辑学与数学、天文学和天体物理学、地球科 学和空间科学、物理学、化学、生命科学并列为七大基础学科；
各种具体思维形式中所隐含的最一般的、共同的东西。
例如： ⑴所有的金属都是导电的。 ⑵所有的人都是会死的。 ⑶所有的犯罪行为都是有害社会的。
所有的S是P 再如： ⑴只有年满18岁，才有选举权。 ⑵该合同只有您亲自签字，才能生效。
只有p，才q
B
13
又如：
⑴ 所有的金属都是导电的， 水银是金属； 所以，水银也是导电的。
第九章 形式逻辑的基本规律
第十章 论证∶证明与反驳
B
2
第一章 绪论
“逻辑”最早可追溯到希腊词（λσγοε逻各斯）， 后英译为logos、其复数形式是logic。原为多义 词∶一般的规律和原则；说明、解释、论证；理 性、推理、抽象理论；尺度、关系、比率；价值 等等。古罗马的西塞罗正式使用“逻辑”一词表 示包括逻辑学和修辞学的科学。
普遍概念即以思维对象的类为反映对象的概念。如： “学校”、“汽车”、“国家” 、“交通大学”等。
单独概念即反映独一无二的思维对象的概念。如：
“上海交通大学”、“世界第一高峰”、“联合国”等。 单独概念通常用专有名词、摹状词来表达。
中国古代学者们将相同的科学称为“名辩之 学”。
古印度学者，特别是佛学将其称为“因明学” 。
B
3
一、逻辑学的发展简况
1. 西方
古希腊时期：亚里士多德，《工具论》，古典或传统的形式 逻辑；
麦加拉-斯多葛学派奠定了命题逻辑的基础。欧洲中世纪经院 逻辑学家们创立了推论的学说。文艺复兴时期的波尔-罗亚尔 修道院发表了《逻辑或思维的艺术》一书，将古典的演绎逻辑 体系化；
操作完成后，他把灯打开。此时，两个应聘者看到土耳其商人 头上戴的是一顶红帽子。两人开始无法回答。过一会儿，其中 一个人便喊道:“我戴的是黑帽子。”
请问∶这个人猜对了吗？为什么？
B
17
请解一道逻辑方面的选择题:
有甲、乙、丙、丁、戊五个人，每个人头上戴一顶白帽子或者
黑帽子，每个人只能看见别人头上帽子的颜色，而看不见自已头 上帽子的颜色。并且，一个人戴白帽子当且仅当他说真话，戴黑 帽子当且仅当他说假话。
形形式式逻逻辑辑
主讲主：讲黄：斐黄华斐华
sjtu_shjtfuh_@hsfihn@
B
1
目录
第一章 绪论
第二章 词项与概念
第三章 简单命题及其推理（上）
第四章 简单命题及其推理 ( 下 )
第五章 复合命题及其推理（上）
第六章 复合命题及其推理（下）
第七章 模态命题及其推理
第八章 归纳推理和类比推理
3.有助于提高我们的识别能力，识别谬误，揭 露诡辩。
B
16
爱因斯坦的逻辑题:土耳其商人的帽子
有一个土耳其商人，想雇佣一个十分聪明的经商助手，有两人 前来应聘。为测试两人中谁更聪明，将两个应聘者带进无窗的 黑房间。他打开电灯后说:“这张桌子上有两顶红色的、三顶黑 色的帽子。我关灯后，将它们的位置弄乱，然后每人摸一顶戴 在头上。余下两顶帽子，我把它们藏起来。开灯后，请你们尽 快说出自己头上戴的帽子是什么颜色。”
2生物应用
3认识论应用
a伍杰方式的发展 a问（答）逻辑
b控制论逻辑
b认识论逻辑（相信、知道、相干）
3社会科学应用
c假设逻辑（反事实的假设推理）
a规范逻辑 b价值逻辑 c法律应用
d信息和信息过程的逻辑 e归纳逻辑 4归纳逻辑 a证实和确证的逻辑
B b概率逻辑
9
2、中国
先秦时期:惠施、公孙龙、墨翟和后期墨家、荀况、韩非等学 者都研究过逻辑问题。其中，《墨经》对传统形式逻辑的所有 理论问题都进行了阐述:“以名举实，以辞抒意，以说出故”; 荀子提出“类、故、理”辩证逻辑推理体系。但往后二千多年 中湮没了，没有对中华民族的思维水平的提高起任何作用。
词项是思维的逻辑形式的最基本单位，是构成 命题的要素。 词项所表达的都是人们常说的概念。
B
19
一、概念与词项的概述
1. 什么是概念？ 概念是反映思维对象的特性或本质的思维形式。
2. 概念、语词和词项 概念和语词既有着密切联系，任何一个概念都要借
助语词来表达。用来表达概念的语词在逻辑学中叫做词 项；但又有区别，概念、语词、词项分别是认识论、语 言学、逻辑学所研究的对象。
B
10
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的纲要，
比较集中完整地讨论了逻
辑的基本内容。墨经》是
墨
墨家创
方面作出了重要贡献。他
们对“故”、“理”、
“类”古代逻辑的三个基
本范畴下了明确的定义，
并对“名”、“辞”、
“说”作了深入研究。论
述了“辟”（比喻）、
批判了形式 逻辑，研究 了辩证思维， 构造了辩证
揭示了思维的辩 逻辑的体系。
证矛盾。
B
6
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
17世纪开始，由于实验自然科学的兴起，归纳方法的研究被 引入逻辑学：培根、惠威尔、穆勒，《新工具》、《逻辑体 系》，建立了古典或传统的归纳逻辑；
17世纪末，德莱布尼茨提出了逻辑数学化的思想，《论组合 术》建立一种用符号表意的普遍语言及思维演算的设想，成为 数理逻辑的先驱。
19至20世纪初，布尔代数的创立将设想变为现实，再经德摩 根、弗雷格的努力，罗素与怀德海合著的《数学原理》出版标 志着现代形式逻辑--数理逻辑成为一门独立的科学。
明代:李之藻翻绎了葡萄牙人的逻辑学讲义--《名理探》。
晚清:王国维、严复翻译了《辩学启蒙》、《穆勒名学》等。
近代一开始，中国译者按先秦传统理解logic，将其译为“名 学” 、“辩学” 、“理则学” 、“论理学”等等。严复是将 其译为“逻辑”的第一人。
20世纪30年代，金岳霖先生师从罗素后归国后，编写了《逻 辑》作为大学教材。65年，金岳霖带领学生们编写了大学文 科逻辑学教材《形式逻辑》，但直至1979年才正式出版。
展。
B
11
二、逻辑学的研究对象和性质
1.逻辑学是以人们思维形式的结构及其基本规律 为研究对象的科学。
(1)思维 思维有广义和狭义两种理解。 逻辑学研究的是狭义的思维，即理性思维。 (2)思维形式 思维也有内容与形式之分。所谓思维形式即思 维内容的组成和表达方式:概念、判断、推理。
B
12
(3)思维形式的结构:思维形式组成要素的联系方式，
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 的一致性在本系统中 不能证明，更不能用 有穷方法证明。他的 这些工作正面或反面 地，或是部分地解答 了20世纪以来数学基 础问题争论的最根本 或最重要的问题
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
外延是指具有概念的内涵所反映的那些特性或本质 的一个个、一类类具体思维对象(事物或现象)。
内涵与外延是概念的最基本的逻辑性质和特征。
2. 内涵和外延的内在联系
内涵和外延之间存在着一种反变关系。
3.明确内涵和外延的意义。
提供衡量概念是否明确的尺度和方法；有助于有效 地展开论辩。
B
21
三、概念的种类
1. 普遍概念、单独概念和空概念
B
8
N.Rescher Topics in Philosophical Logic 逻辑分支一览表
A.基础逻辑
C.数学发展方面 E.哲学发展方面
1传统逻辑
1算术
1伦理应用
2经典现代逻辑 3非经典现代逻辑
B.元逻辑
1逻辑语法学
2代数 3函数论 4证明论 5概率论逻辑 6集合论 7数学基础论
a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策 和决策的逻辑问题）
具有演绎必然性的归纳推理的 基础，关于逻辑概率的理论就 是归纳逻辑。它可给出假说的 相对于给定证据的确认度
B
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数的 概率逻辑
“侔”（附比）、“援”
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理的同 时，十分注重论证的“过”和反驳的 “过”。因明于唐代传入我国并得到发
（类比）、“推”（间接
的归纳与演绎）四种形式 的推理(见后期墨家逻辑)。 这些思想，在中国古代逻 辑史上占有重要地位。
大英百科全书将逻辑学列为众学科之首。
B
5
西
西方逻辑 斯多葛学派于三段论之外，研究 学创始人。 了命题逻辑。
方
《工具论》
逻
6 篇奠定了
辑
逻辑的基础。 主要贡献是
《新工具》 针对亚氏的
对三段论的 系统研究。
演绎逻辑而 提出归纳和 诉诸自然和
经验的三表
法。
提出理想 语言和推 理是计算 的思想而 成为现代 逻辑的先 驱。
已知:甲说，我看见三顶白帽子一顶黑帽子；
乙说，我看见四顶黑帽子；
丙说，我看见一顶白帽子三顶黑帽子；
戊说，我看见四顶白帽子；
根据上述题干，下列陈述都是假的，除了:
A.甲和丙都戴白帽子；
B.乙和丙都戴黑帽子；
C.戊戴白帽子，但丁戴黑帽子；
D.丙戴黑帽子，但甲戴白帽子；
E.丙和丁都戴白帽子
B
18
第二章 词项与概念
⑵ 所有的人都是会死的，
苏格拉底是人； 所以，苏格拉底会死。
所有的M是P 所有的S是M 所有的S是P 思维的形式结构有两个组成部分∶一是逻辑常项， 如“所有的┅是┅” ；一是逻辑变项，如s、p、q、m┅。 逻辑常项决定思维的形式结构的类型
B
14
2.形式逻辑的性质
(1)工具性: 逻辑可比喻为“思维的语法” ；思维的逻辑形式的
2形而上学的逻辑应用 a存在性逻辑
2逻辑语义学
b时序逻辑（时态、变化、过程逻辑）
3逻辑语用学
D.科学发展方面 c部分与整体逻辑
a逻辑语言论和 自然语言逻辑
b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用 4逻辑语言学 a结构理论（形态学） b意义理论 C有效性理论
1ab量物物子理理论应或逻用因辑果模态理论def逻（构本辑唯造体名性学论逻与辑唯（实逻论辑之还争原意主义义下等的））本体论
并非所有的语词都是词项；同一概念可以用不同的 语词或词项来表达；一个语词也可以表达不同的概念。
3. 对概念的逻辑要求 概念要明确、用词要恰当。明确它的内涵与外延。
B
20
二、概念的内涵和外延(词项的含义和所指)
任何词项都有其含义(内涵)和所指(外延)
1. 何谓内涵和外延？
内涵是指反映在概念中的思维对象的特性或本质。
B
4
19世纪上半叶，德国哲学家康德《纯粹理性批判》，先验逻辑； 黑格尔《逻辑学》，辩证逻辑；马克思《资本论》，关于资本范畴的 辩证逻辑体系；列宁，《哲学笔记》，确立了辩证逻辑的基本理论和 原则；毛泽东《论持久战》，提供了辩证逻辑的又一范例。
20世纪30年代，哥德尔不完全性定理、塔尔斯基形式语言真理论、 图灵机及其应用理论三个划时代的成果，为现代逻辑学的蓬勃发展
正确性，乃是获得真实或可靠的结论的必要条件。 (2)全人类性:
思维的逻辑结构是各民族、各地域、各阶层的语言、 思想表述的“深层结构” ，是不同民族、地域、国家 的人们之间的文化思想能够交流的根基。
B
15
三、学习逻辑学的意义
1.有助于提高我们的推理能力，从已知去探求 未知；
2.有助于提高我们的表达能力，准确地表达思 想和严密地论证思想；