普通逻辑学第一讲 概 述

现代逻辑体系
• 一、基本逻辑 • 1．标准逻辑：命题逻辑、量词逻辑（谓词逻辑、关系逻 辑）、数学逻辑（模型论、集合论、递归论、证明论） • 2．非标准逻辑：多值逻辑、模态逻辑、模糊逻辑、直觉 主义逻辑和相干逻辑。 • 二、元逻辑 • 1．逻辑语法学 2．逻辑语义学 3．逻辑语用学 • 三、应用逻辑 • 1．认知逻辑 2．问题逻辑 3．规范逻辑 4．时态逻辑 5．量子逻辑 6．电路分析逻辑
三、逻辑与语言
• 1、逻辑和语言有着密不可分的关系 、
1.1 思维形式的存在和表达离不开语言 • 1.2 逻辑形式和语言形式并非一一对应
• 2、自然语言和人工语言 、 • 3、对象语言和元语言 、
四、学习逻辑的重要意义
• 首先，逻辑学是联合国教科文组织公布的七大基础学科 首先， 之一。 之一 • 其次，逻辑是一门工具性学科。 其次，逻辑是一门工具性学科。 • 1、逻辑具有知识创新功能，能够提供给人们认识事物、 、逻辑具有知识创新功能，能够提供给人们认识事物、 探求新知识的工具。 探求新知识的工具。 • 2、逻辑有助于人们严密地表述和论证思想观点。 、逻辑有助于人们严密地表述和论证思想观点。 • 3、它有助于揭露谬误，驳斥诡辩。 、它有助于揭露谬误，驳斥诡辩。 • 4、它是民主的基石。 、它是民主的基石。 • 5、它有助于表达感情，并且非常委婉有力。 、它有助于表达感情，并且非常委婉有力
第一讲 概 述
• 一、逻辑学的历史发展 逻辑学的历史发展
• 1、逻辑是什么 • 2、逻辑的产生和发展
• 二、普通逻辑研究的对象 • 三、逻辑与语言 • 四、逻辑的功能与作用
1、 “逻辑”是什么 逻辑” 逻辑
•
• • • • •
1.1 逻辑的词源： 词源上可追溯到希腊词“逻各斯”(logos，复数 逻辑的词源： 词源上可追溯到希腊词“逻各斯” ，复数logoi)
• 2.1.2 名学的经典《荀子·正名》
2.2印度古代逻辑“因明学”的产生 印度古代逻辑“因明学” 印度古代逻辑
• 古印度宗教发达，派别林立，盛行论辩之风。 古印度宗教发达，派别林立，盛行论辩之风。
• 如果“雅辞赡美、妙辩敏捷”则“驭乘宝象，导从如林”；如果 如果“雅辞赡美、妙辩敏捷” 驭乘宝象，导从如林” 辞锋挫锐，理寡而辞繁” 面涂污泥，弃之荒野。 “辞锋挫锐，理寡而辞繁”则“面涂污泥，弃之荒野。”
二、普通逻辑的研究对象
• 1、国内外关于逻辑研究对象的不同看法 、
• 恩格斯：逻辑是关于思维过程本身的规律的学说 • 美国《哲学百科全书》：逻辑研究各种推理的有效性 • 英国《哲学辞典》：逻辑的中心议题是有效的推理、它的系统化及 相 关概念的研究 • 金岳霖：以思维形式及其规律为主要研究对象的科学，同时涉及简 单的逻辑方法 • 人民大学哲学系：研究思维的形式结构及其规律的科学 • 王路：研究推理的有效性、研究必然地得出 • 诸葛殷同：逻辑是主要研究推理形式和证明形式的科学
同样的逻辑结构；（2）同样的命题形式可能有不同的逻 辑结构。譬如，“天不变，道不变。”
推理的逻辑形式：
逻辑主要研究思维的逻辑形式
• 简要之，逻辑主要研究思维的逻辑形式及其规律。具有 简要之，逻辑主要研究思维的逻辑形式及其规律。 不同内容的概念、判断、 不同内容的概念、判断、推理等思维形式可能有着一定 的共同的结构。 的共同的结构。这些结构由构成这种结构形式的要素及 其相互关系构成。 其相互关系构成。逻辑主要研究这些构成要素之间的形 式关系。譬如，（ ，（p→ ）这种结构形式， 式关系。譬如，（ →q）这种结构形式，就是一种逻辑 形式，它由p和 及表达它们俩者之间 充分条件” 及表达它们俩者之间“ 形式，它由 和q及表达它们俩者之间“充分条件”这种 关系的“ 构成。 关系的“→”构成。 • 逻辑学就要研究 是q的“充分条件”这种情况下，p和q 逻辑学就要研究p是 的 充分条件”这种情况下， 和 之间的真假联系。 之间的真假联系。
• •
1.2 “逻辑” 的主要含义有 (1)客观事物的规律 (2)某种理论、观点 逻辑” 客观事物的规律; 某种理论 观点;(3)思维 某种理论、 逻辑 的主要含义有: 客观事物的规律 思维 的规律、规则; 逻辑学或逻辑知识. 的规律、规则 (4)逻辑学或逻辑知识 逻辑学或逻辑知识 1.3 “logic”在中国的翻译：李之藻《名理探》； 1896年《辩学启蒙》；严复 在中国的翻译： 在中国的翻译 李之藻《名理探》 年 辩学启蒙》 严复1905年《穆勒 年
论和方法论四部分内容
• 康德：首次提出逻辑是关于一般思维之单纯形式的科学。 • 穆勒： 19世纪的“穆勒五法”
古典形式逻辑的现代发展
• • • • 1、莱布尼茨：思维演算、人工语言 2、布尔：逻辑代数 3、皮尔斯：关系逻辑 4、弗雷格：形式化语言取代日常语言；建立了历史上第一个严格 的谓词演算系统 • 5、罗素：建立了四个演算系统（命题、谓词、类、关系），标志 着数理逻辑的正式诞生 • 6、哥德尔：对逻辑系统自身的一致性和完备性研究 • 7、集合论、模型论、证明论、递归论的诞生
教科文组织规定的七大基础学科
1. 数学：包括代数学、统计学、拓扑学、几何学等等； 2. 逻辑学：包括逻辑的应用、演绎逻辑、归纳逻辑和方法论等； 3. 天文学和天体物理学； 4. 地球科学和空间科学：包括大气物理学、大地测量、水文学、海 洋学、土地学和空间科学； • 5. 物理学：包括声学、电磁学、电子学、核物理学； • 6. 化学：包括分析化学、有机化学、无机化学、物理化学、核化学 等； • 7. 生命科学：包括动物学、自然人类学、生物化学生物数学、生态 学、遗传学、生物测量学等。 • • • •
2、逻辑的历史发展
• • • • 2.1 中国古代逻辑的产生 2.2 古代印度逻辑的产生 2.3 古希腊逻辑的诞生和发展 2.4 古典形式逻辑的现代发展
2.1 中国古代逻辑“名辩学”的产 中古代逻辑“名辩学” 生• 2.1.1 辩学的经典－－《墨经》：《经》上、
下，《经说》上、下，《大取》、《小取》共六篇 • 研究了何谓“辩”：“辩者，争彼也，辩胜，当也。” • 讨论了“名”、“辞”、“说”等思维形式
1.1.1亚里士多德：用“逻各斯”指议论和论证；但用“分析”或“分析学”指他关于推理的理论。 亚里士多德： 亚里士多德 逻各斯”指议论和论证；但用“分析” 分析学”指他关于推理的理论。 1.1.2斯多葛学派：用“逻各斯”指论辩术和修辞学。 斯多葛学派： 逻各斯”指论辩术和修辞学。 斯多葛学派 1.1.3逍遥学派和古罗马西塞罗：用论辩术（dialectica）表示包括逻辑和修辞的科学。 逍遥学派和古罗马西塞罗： 逍遥学派和古罗马西塞罗 用论辩术（ ）表示包括逻辑和修辞的科学。 1.1.4欧洲中世纪的逻辑学家有时候用“logica”,有时候用“dialectica”表示逻辑。 欧洲中世纪的逻辑学家有时候用“ 有时候用“ 表示逻辑。 欧洲中世纪的逻辑学家有时候用 有时候用 表示逻辑 1.1.5近代，西方才通用“logic”或“logique”等表示逻辑这门科学。 近代， 等表示逻辑这门科学。 近代 西方才通用“ 或 等表示逻辑这门科学
名学》 的中译名还有论理学、 名学》。 “logic”的中译名还有论理学、理则学等。严复是把它音译为“逻辑”的第一人。 的中译名还有论理学 理则学等。严复是把它音译为“逻辑”的第一人。
1.4 “逻辑”在中文中的主要含义
• • • • 1.4.1 客观事物的一般规律 1.4.2 某种理论或对某问题的观点、看法 1.4.3 思维的规律或法则 1.4.4 作为一门学问的逻辑学
著《因明正理门论》、其弟子商羯罗主的注解性著作《因明入正理 因明正理门论》 其弟子商羯罗主的注解性著作《 把五支改为“ 三支， 论》。把五支改为“宗、因、喻”三支，与三段论推理形式基本一 致。
2.3 古典逻辑的产生和发展
• • • • • 亚里士多德： 亚里士多德 以三段论为核心的词项逻辑 斯多葛学派： 斯多葛学派 命题逻辑 中世纪及文艺复兴： 中世纪及文艺复兴 语言的指称、词项的性质、推论学说 培根：16世纪归纳逻辑，三表法 17世纪的《波尔 罗亚尔逻辑》：概念论、命题论、推理 世纪的《 罗亚尔逻辑》 世纪的 波尔·罗亚尔逻辑
2、普通逻辑的研究对象
• 普通逻辑的主要研究对象是思维的形式结 构及其规律。 • 普通逻辑研究的核心内容是有效的推理 • “普通逻辑”并不是一个逻辑分支
3、逻辑形式
• 概念的逻辑形式：复合概念有逻辑结构。譬如，“非
党员”、“青年教师”、“哲人科学家”等
• 命题的逻辑形式：（1）具有不同内容的不同命题有
• 2.2.1 《正理经》：宗、因、喻、合、结五支。 正理经》 结五支。 • 2.2.2 因明学，即佛教逻辑。基本经典是公元 世纪陈那 因明学，即佛教逻辑。基本经典是公元6世纪陈那 • 2.2.3 因明的含义：“因”表示推理的根据，而“明”指理 因明的含义： 表示推理的根据，
论或学说。 因明”就是关于推理的学说。 论或学说。“因明”就是关于推理的学说。