传
逻辑
统
法国的亚诺德和尼柯尔《波尔-罗
逻
亚尔逻辑》
辑
英国的穆勒（Mill）《逻辑体系》
的
发兴 起 与
17世纪末德国哲学家莱布尼兹提出 把推理变成逻辑演算
英国逻辑学家布尔建立了“逻辑代 数”
德国哲学家弗雷格提出命题演算和 谓词演算的思想
罗素和怀德海《数学原理》中建立 了这两个演算系统，使数理逻辑成 为一个新学科
节
自然语言：如果天下雨，那么地上
逻 辑 与 语 言
湿。 人工语言：P→q 三、对象语言与元语言 对象语言就是作为讨论对象的语言。 元语言就用来讨论对象语言的语言。
第 五 节
逻为 辑什 学么
要 学 习
一、逻辑学的性质
工具性
二、学习逻辑学的意义
性
例1和例2的推理形式是：
所有M是P
三 个
所有S是M
所以，所有S是P
例3的推理形式是：
（有效）
例
所有P是M
子
所有S是M
的 推
所以，所有S是P
（无效）
推理形式的有效和结论的真实是两个不同 的概念。要保证演绎推理结论的真实必须
理
满足两个条件：
形
1、前提真实
式
2、形式有效
二
、
理 的 可 靠 性
例如：在“所有S都是P”中“所 有……都”、“是”是逻辑常项； “S”、“P”是逻辑变项。在“如果 p，那么q”中，“如果”、“那么” 是逻辑常项“p”、“q”是逻辑变项。
三
简 单 的 逻 辑 方 法
、 逻 辑 的 基 本 规 律
和
同一律、矛盾律、排中律
定义、划分；限制、概括；探求因 果联系的逻辑方法
传
统
古代印度的因明学
逻
辑
古代希腊的逻辑学
的
产
生
百家争鸣
古 代
孔子 正名 名家学派
惠施 龟长于蛇
中
公孙龙 白马非马
国
墨子 《墨经》
名
以名举实 （词项）
辩
以辞抒意 （命题）
学
以说出故 （推理）
或谓之牛，....或谓之非
牛， ....是不俱当。
古 代 印 度 因 明 学
三支式 宗：此山有火 因：此山有烟 喻：凡有烟处皆有火，如灶
如：所有学生都是认真学习的。 所有植物都是呼吸空气的。 所有金属都是导电的。
所有XX都是XX 所有S是P
一 、 思 逻维 辑内 形容 式与 思 维 的
又如：1、如果天下雨，那么地 上湿。
2、如果摩擦，那么就会
生热。
如果怎样，那么就怎样。
如果p，那么q
一 、 思 逻维 辑内 形容 式与 思 维 的
欢迎进入逻辑之门
教 材 及 参 考 书
《普通逻辑》《普通逻辑》编写组， 上海人民出版社1994年第4版， 2002年第34次印刷。
《逻辑学教程》何向东主编，高等 教育出版社，1999年第1版。
《逻辑学》 宋文坚主编，人民出版 社，1998年第1版。
课 程 内 容
第一章 引 论 第二章 复合命题及其推理 第三章 真值表的判定作用 第四章 简单命题的基本要素—概念 第五章 性质命题及其推理 第六章 关系命题及其推理 第七章 模态命题及其推理 第八章 归纳推理 第九章 类比推理 第十章 假 说 第十一章 逻辑的基本规律 第十二章 论证与反驳
第 三 节 与 可推 靠理 性的 有 效 性
逻辑学主要研究思维的逻辑形式， 即命题形式和推理形式。其中推理 形式又是重点。
推理分为两类：必然性推理和或然 性推理
必然性推理即演绎推理
或然性推理包括归纳推理和类比推 理
推理的有效性是指在一个演绎推理中，当
一
所有前提为真时，其结论必然为真。这样 的演绎推理形式就是有效的，否则就是无
唐僧 五明大论 声明 工巧明 医方明 因明 内明
亚里士多德的《工具论》
概念、范畴、定义、命题、推理、
古 证明 希 演绎系统 三段论 词项逻辑 腊 逻 《形而上学》矛盾律 排中律 辑 学
古希腊的斯多噶学派
命题逻辑 假言命题 选言命题 联
（
言命题
二
中世纪西班牙的彼得《逻辑大全》
）
17世纪英国的培根《新工具》归纳
美籍逻辑学家哥德尔证明了两条不 完全性定理，标志着数理逻辑发展 到一个新阶段
第 二 节 对逻 象辑 学 的 研 究
逻辑学的研究对象是： 思维的逻辑形式、逻辑 的基本规律和简单的逻 辑方法
一 、 思 逻维 辑内 形容 式与 思 维 的
思维内容：思维所反映的特定对象 及其属性
思维的逻辑形式：不同思维内容所 具有的共同的形式结构。
再如：1、所有动物都是会死的， 所有人都是动物；所以，所有 人都是会死的。
2、所有金属都是导电的，
所有的铜都是金属；所以，所
有的铜都是导电的
所有M是P
所有S是M
所以，所有S是P
二
、
逻
变 项
辑 常 项
与
逻
辑
逻辑常项是指逻辑形式中不变的部 分。它是区分不同种类的逻辑形式 的唯一依据。
逻辑变项是指逻辑形式中可变的部 分。
归 纳 推 理 和 类
比
推
在归纳推理和类比推理中，前 提与结论的联系是或然的。
逻辑学研究归纳推理和类比推 理时，主要是解决如何提高其 结论的可靠性程度的问题，即 寻求提高其结论可靠性程度的 逻辑方法。
一、逻辑形式与语言形式
逻辑形式：所有S都是P
第
语言形式：所有牛都是动物。
四 二、自然语言与人工语言
、
效的。
演
例1、所有金属都是导体，所有铁都是金
绎
属；所以，所有铁都是导体。（前提真， 形式有效，结论真）
推
例2、所有金属都是导体 ，所有塑料都是
理
金属，所以，所有的塑料都是导体。（前
的 有
提假，形式有效，结论假）
例3、所有金属都是导体，所有人体都是 导体； 所以，所有人体都是金属。（前
效
提真，形式无效，结论假）
第一章 引 论
第一节 传统逻辑与现代逻辑
一
释 “ 逻 辑 ”
()
一
λóyos(逻各斯) → Logic →逻辑
亚里士多德 彼得《逻辑大全》
逻 名学 辩学 论理学 理则学
辑 严复 穆勒名学 （Mill 逻辑
一
学体系）
词 章士钊 逻辑指要
的 由 来
()
希腊文中的λóyos是个多义词，指
二
思想，言辞，理性，规律性等等。
直到中世纪才指逻辑学
逻
辑
在现代汉语里,“逻辑”也是个多义
一
词。一般来说它有以下四种含义：
词
1、指客观实物发展的规律
的
2、指某种特殊的理论、观点或看 问题的方法。
含
3、人们思维的规律性
义
4、指一门科学，即逻辑学。
二 传统逻辑学的产生与发展
（
一
）
古代中国的名辩学