逻辑学提纲

2022-04-12 08:22:16   文档大全网     [ 字体: ] [ 阅读: ]

#文档大全网# 导语】以下是®文档大全网的小编为您整理的《逻辑学提纲》,欢迎阅读!
逻辑学,提纲
第一章 绪论:什么是逻辑学 1.1 “逻辑”一词的多义性

逻辑(logic)一词的语源:来自希腊语logos(逻各斯)——世界的可理解的规

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

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

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

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

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

铜是金属 企鹅是鸟

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

铜是导体 企鹅是卵生的

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

———————— C B

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

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

逻辑学的特点:抽象性,应用性,工具性。 逻辑学的基本准则:同一律,(不)矛盾律,排中律。 同一律:AA

(不)矛盾律:A不是非AA不能既是B又不是B 排中律:AB或不是B必居其一 传统逻辑和数理逻辑 1.4 逻辑学的产生和发展

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

说” 正名

子曰:必也正名乎!„„名不正则言不顺,言不顺则事不成,事不成则礼乐

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

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

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


白马非马 曰:“白马非马,可乎?”曰:“可。”曰:“何哉?”曰:“马者所以命形也。

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

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

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

墨家

前期墨家:墨家创始人墨翟(墨子,约公元前476-390)本人在世时所组

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

知识的内容:名知,实知,合知,为知。 提出比较完整的逻辑体系。 后期墨家逻辑(墨辩逻辑)

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

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

矛盾之说

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

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

印度古代逻辑

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

喻,合,结。论过。 佛教:因明

创始人:龙树(约2-3世纪间);陈那(约425-495《因明正理门论》《集

量论》;商羯罗主(5世纪)《因明入正理论 宗,因,喻。

因明的三支论式——宗:此山有火;因:因有烟故;喻:凡有烟均有火,如

厨房(同喻);凡无烟均无火,如湖(反喻) 因明的东传。

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

论》《因明入正理论

古希腊逻辑


亚里士多德(Aristoteles,公元前384-322《工具论》:范畴篇、解释篇、

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

培根(Francis Bacon1561-1626)《新工具》:发现(归纳),思想(演绎)

记忆,传递。归纳方法:三表法——出现表(具有表)不出现表(缺乏表)程度表(比较表)

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

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

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

辑代数,实现逻辑演算(命题演算) 德摩根De Morgan1806-1871)《形式逻辑》《论三段论Ⅲ和一般逻辑》《论

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

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

数理逻辑的内容:逻辑演算(命题演算、谓词演算);公理集合论,递归函数论,

证明论,模型论。

希尔伯特(Hilbert1862-1943)、哥德尔(Godel1906-1978)、图灵(Turing

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

经典逻辑(标准逻辑)的特征:二值,外延。 非经典逻辑(非标准逻辑):多值逻辑,模糊逻辑,模态逻辑,广义模态逻辑,

弗协调逻辑„„

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

逻辑学同其他学科的关系:哲学数学,语言学,计算机科学


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

相关推荐