逻辑学提纲

【#文档大全网# 导语】以下是®文档大全网的小编为您整理的《逻辑学提纲》，欢迎阅读！

第一章 绪论：什么是逻辑学 1.1 “逻辑”一词的多义性

逻辑（logic）一词的语源：来自希腊语logos（逻各斯）——世界的可理解的规

律；一般的原理和规则；语言、命题、说明、解释、论证；理性、理念、推理、推理能力；尺度、关系、比例、价值；„„

“逻辑”一词的不同含义：客观事物的规律性；某种理论、观点、行为方式；思

维的规律、规则；一门以研究推理为主的学科。 1.2 逻辑学的研究对象：推理形式

逻辑学：以推理形式为主要研究对象的学科。 推理：从已知条件（前提）得出结论的过程。 推理形式：推理的结构。 例如：

所有金属都是导体 所有鸟都是卵生的

铜是金属 企鹅是鸟

————————— —————————

铜是导体 企鹅是卵生的

以上这两个推理具有共同的推理形式： 所有 A 都是 B C 是 A

———————— C 是 B

有效推理形式：真前提通过有效推理形式只能得到真结论。即：通过有效推理形

式，从真前提不会得到假结论。 1.3 逻辑学的特点

逻辑学的特点：抽象性，应用性，工具性。 逻辑学的基本准则：同一律，（不）矛盾律，排中律。 同一律：A是A

（不）矛盾律：A不是非A，A不能既是B又不是B 排中律：A是B或不是B必居其一 传统逻辑和数理逻辑 1.4 逻辑学的产生和发展

世界三大逻辑传统：中国，印度，希腊。 中国古代逻辑 儒家：“正名”。名家：“白马非马”，“濠梁之辩”。墨家：墨辩。法家：“矛盾之

说”。 正名

子曰：必也正名乎！„„名不正则言不顺，言不顺则事不成，事不成则礼乐

不兴，„„ ——《论语·子路篇》

名家：先秦时期以思维的形式、规律和名实关系为研究对象的学术派别。亦称

辩者。以擅长论辩著称。注重分析名实关系。代表：尹文、惠施、公孙龙、后期墨家等。


白马非马 曰：“白马非马，可乎？”曰：“可。”曰：“何哉？”曰：“马者所以命形也。

白者所以命色也。命色者非命形也，故曰白马非马。”„„曰：“求马，黄、黑马皆可致。求白马，黄、黑马不可致。”„„ ——公孙龙子：《白马论》 濠梁之辩

庄子与惠子游于濠梁之上。庄子曰：“鲦鱼出游从容，是鱼之乐也。”惠子曰：

“子非鱼，安知鱼之乐？”庄子曰：“子非我，安知我不知鱼之乐？”惠子曰：“我非子，固不知子矣；子固非鱼也，子之不知鱼之乐，全矣。”庄子曰：“请循其本。子曰‘汝安知鱼乐’云者，既已知吾知之而问我，我知之濠上也。” ——《庄子·外篇·秋水第十七》

墨家

前期墨家：墨家创始人墨翟（墨子，约公元前476-前390）本人在世时所组

成的学派。后期墨家：墨翟去世后由其弟子所组成的学派。 《墨子》：《墨经》（《墨辩》） 《墨经》：经上、经下、经说上、经说下、大取、小取。 知识的来源：亲知，闻知，说知。

知识的内容：名知，实知，合知，为知。 提出比较完整的逻辑体系。 后期墨家逻辑（墨辩逻辑）：

夫辩者，将以明是非之分，审治乱之纪，明同异之处，察名实之理，处利

害，决嫌疑焉。 以名举实，以辞抒意，以说出故。 ——《墨经·小取》

矛盾之说

楚人有鬻盾与矛者，誉之曰：“吾盾之坚，物莫能陷也。”又誉其矛曰：“吾

矛之利，于物无不陷也。”或曰，“以子之矛陷子之盾何如？”其人弗能应也。不可陷之盾与无不陷之矛，不可同世而立。 ——《韩非子·难一》

印度古代逻辑

婆罗门：正理逻辑《正理经》。量论：现量，比量，喻量，言量。论式：宗，因，

喻，合，结。论过。 佛教：因明

创始人：龙树（约2-3世纪间）；陈那（约425-495）：《因明正理门论》、《集

量论》；商羯罗主（5世纪）：《因明入正理论》。 宗，因，喻。

因明的三支论式——宗：此山有火；因：因有烟故；喻：凡有烟均有火，如

厨房（同喻）；凡无烟均无火，如湖（反喻）。 因明的东传。

玄奘（约600-664）。提出“唯识比量”（“直唯识量”），翻译《因明正理门

论》、《因明入正理论》。

古希腊逻辑


亚里士多德（Aristoteles，公元前384-前322）。《工具论》：范畴篇、解释篇、

前分析篇、后分析篇、论辩篇、辨谬篇。三段论理论。 麦加拉—斯多阿学派逻辑：命题逻辑系统。 中世纪逻辑：建立经院逻辑体系。 近代西方逻辑：归纳逻辑

培根（Francis Bacon，1561-1626)：《新工具》：发现（归纳），思想（演绎），

记忆，传递。归纳方法：三表法——出现表（具有表），不出现表（缺乏表），程度表（比较表）。

密尔（John Stuart Mill，1806-1873)：求因果五法。 近代西方逻辑：辩证逻辑 康德（I.Kant,1724-1804）：《纯粹理性批判》，先验逻辑。 黑格尔（G.W.F.Hegel，1770-1831）：《逻辑学》，思想范畴的辩证发展。 数理逻辑的产生和发展

莱布尼茨（Leibniz,1646-1716)：《论组合的艺术》等。提出关于数理逻辑的思

想，设想建立：“普遍的符号语言”：思想的字母，思维的演算。 布尔（G.Boole,1815-1864)：《逻辑的数学分析》、《思维规律的研究》。建立逻

辑代数，实现逻辑演算（命题演算）。 德摩根（De Morgan，1806-1871)：《形式逻辑》、《论三段论Ⅲ和一般逻辑》、《论

三段论IV和关系逻辑》。创建关系逻辑。 弗雷格（G.Frege，1848-1925）：《概念语言》。引入量词，实现谓词演算。 罗素（B.Russell,1872-1970)和怀特海（A.N.Whitehead,1861-1947)：《数学原

理》(1910-1913)。建立完备的命题演算和谓词演算，从而完成逻辑演算。

数理逻辑的内容：逻辑演算（命题演算、谓词演算）；公理集合论，递归函数论，

证明论，模型论。

希尔伯特（Hilbert，1862-1943)、哥德尔(Godel，1906-1978)、图灵(Turing，

1912-1954)、塔尔斯基(Tarski,1902-1983)等人的贡献。 非经典逻辑（非标准逻辑）的出现

经典逻辑（标准逻辑）的特征：二值，外延。 非经典逻辑（非标准逻辑）：多值逻辑，模糊逻辑，模态逻辑，广义模态逻辑，

弗协调逻辑„„

1.5 逻辑学同其他学科的关系

逻辑学同其他学科的关系：哲学，数学，语言学，计算机科学。

本文来源：https://www.wddqxz.cn/2ae3fd00abea998fcc22bcd126fff705cc175c30.html