文档介绍：逻辑学导论 An Introduction to Logic
主讲人:熊明辉教授
中山大学逻辑与认知研究所
熊明辉
1
中山大学逻辑与认知研究所
熊明辉
2
中山大学逻辑与认知研究所
二、西方逻辑之路
三、中国逻辑之路
一、逻辑是什么
四、二十世纪的逻辑
五、二十一世纪展望
第1章逻辑学简史
熊明辉
3
中山大学逻辑与认知研究所
Logic
德语:Logik
法语:Logique
日语:論理学
意大利语:Logica
葡萄牙语:Lógica
荷兰语:Logica
拉丁语:Logica
希腊语: λογική(logike), fem. of λογικός(logikos)。其含义是理性(reason)、智力的(intellectual )、论辩的(dialectical/argumentative)。
λογικός这个希腊语又来源于另一个希腊语λόγος(logos ),其含义是word(语词)、thought(思想)、idea(观念)、argument(论证)、 account(说明)、reason(推理) 或原则(principle) 。
一、逻辑是什么
逻辑学是研究有效证明和有效推论原则的科学。
valid
demonstration
Inference
Wikipedia(维基百科)
http://en.
逻辑学是研究论证的科学。其主要任务是建立区分好论证与坏论证的标准。
Argument
Good argument
Bad argument
SEP
≠
全称否定命题
Stanford
Encyclopedia
of Phylosophy
=
Edward N. Zalta
/
熊明辉
4
中山大学逻辑与认知研究所
二、逻辑是什么
Logic
逻辑
一、逻辑是什么
Demonstration证明
Argument
论证
Inference
推论
reasoning
推理
Wikipedia
维基百科
传统逻辑教科书
推论
推理
论证
推理(或推论或论证)是一个命题的序列,其中被其它所有命题支持着,被支持的命题被称为结论,其余命题被称为前提。
前提
结论
支持
判断
proposition
proposition
Judgment
Sentence
Statement
conclusion
Premise
熊明辉
5
中山大学逻辑与认知研究所
一、逻辑是什么
经典
逻辑
前提
结论
支持
演绎支持:前提均真而结论为假是不可能的。即演绎有效性。
归纳支持:前提均真而结论为真是可能的,即归纳强度。
Deductively support
True
False
Validity
Inductively support
Inductive strength
演绎逻辑
传统(形式)逻辑:亚里士多德逻辑、斯多葛逻辑
归纳逻辑
现代(形式)逻辑:数理逻辑(Mathematical Logic)或符号逻辑(Symbolic Logic)
古典归纳逻辑:培根的三表法、弥尔五法等
现代归纳逻辑:概率逻辑
两种
逻辑
熊明辉
6
中山大学逻辑与认知研究所
二、西方逻辑之路
Aristotle(Aristotélēs, 前384 –前322年) ,与 Plato(前423-前348年)、Socrates(前469-前399年)一起是西方哲学上三位标志性人物,被称为逻辑学之父。
柏拉图(Plato,前423-前348年)
苏格拉底( Socrates(前469-前399年)
anon
Categories(范畴篇)
On Interpretation (解释篇)
Prior Analytics(前分析篇)
Posterior Analytics(后分析篇)
Topics(论辩篇或论题篇)
On Sophistical Refutations(辨谬篇)
弗朗西斯·培根(Francis Bacon,1561-1626年),英国哲学家、政治家和作家。
三表法:具有表、差异表和程度表
弥尔五法:求同法、求异法、求同求异并用法、差异法和剩余法
弥尔(John Stuart Mill,1806 –1873年), 英国哲学家、政治经济学家,逻辑学代表作:《逻辑体系:推理与归纳》(A System of Logic, Ratiocinative and Inductive ,1843年)。
弗雷格(Gottlob Frege,1848-1925年),德国数学家、哲学家和逻辑学家,他创造