导图社区 逻辑学
逻辑学思维导图，超星逻辑学熊明辉，章节测验答案，持续更新。感兴趣的小伙伴可以收藏一下~
社区模板帮助中心，点此进入>>
安全教育的重要性
个人日常活动安排思维导图
西游记主要人物性格分析
17种头脑风暴法
如何令自己更快乐
头脑风暴法四个原则
思维导图
第二职业规划书
记一篇有颜又有料的笔记-by babe
伯赞学习技巧
逻辑学
引论：走进逻辑学
逻辑学是什么
章节测验答案： 1、ABCD 2、D 3、A
定义：逻辑学(logics)是研究论证的分析与评价的科学。 从一般意义上讲，是关于推理(reasoning)或者论证(argument)的学问。
"logic"这个词的来源
翻译网站 http://translate.google.cn/
一般来说，逻辑形式是逻辑学的核心概念，演绎推理与归纳推理是逻辑学研究的两种最常见的推理类型，一致性定理、有效性定理、可靠性定理和完全性定理是逻辑系统的四大定理。
逻辑学类型的常见区分是演绎逻辑与归纳逻辑、形式逻辑与非形式逻辑，像亚里士多德逻辑、符号逻辑、命题逻辑、谓词逻辑、模态逻辑、哲学逻辑、论辩逻辑等都是逻辑学的经典案例。
逻辑学中有许多问题至今仍然存在争议，主要有“二值原则与排中律问题”、“严格蕴涵、实质蕴涵与逻辑蕴涵”、“逻辑是经验的吗”、“不一致性可以容忍吗”以及“逻辑真理可以拒斥吗”等。
四大数学流派：围绕数学的哲学基础问题进行不同探讨而形成的四大学派，主要指柏拉图主义、逻辑主义、形式主义和直觉主义四大学派。其形成主要在1900年到1930年。“四个代表”人物有哥德尔、罗素、希尔伯特、布劳威尔。
柏拉图主义：哥德尔主张数是抽象的，它必然存在一个对象(客体)，必然是人的心灵(人的心灵是独立的)。
形式主义：希尔伯特主张数学只不过是一个数学语言。
直觉主义：布劳威尔主张数学是对人的心灵的一种构造。数就像童话中的角色，它只不过是一个心灵的实体，如果没有任何心灵去想它的话，那么这个东西是不存在的（与柏拉图主义相反）
逻辑主义：罗素(学生)和怀特海(老师)，他们认为数学就是逻辑的扩充，因此他们认为，有些或者说所有的数学都可以被还原为逻辑。
逻辑与法律：普罗泰戈拉悖论
章节测验答案： 1、D 2、对 3、错
“法庭悖论”(又称普罗泰戈拉悖论、欧提勒士反二难)属于逻辑学中经典的二难推理的应用。（老师：普罗泰戈拉，学生：欧提勒士）
逻辑学研究的是形式推论系统和自然语言中的陈述结构和论证结构，其主题不仅包括有效性(validity)、谬误(fallacy)和悙论(paradox)，而且还包括概率推理以及涉及因果关系与时间的论证，而且今天也常常被用地指称论辩理论(argumentation theory)。
逻辑学是研究论证(argument)的科学，其主要任务是设定区分论证好坏的标准。论证表达了推论，而推论(inference)是一个从已确定断言(assertion)产生出新断言的过程。在逻辑学中，人们关注的是论证结构(structure ofargument)，也就是新产生的断言与原来确定断言之间的形式关系(formalrelations).
研究推论有效性包括研究有效性的各种可能定义及其断定有效性的使用条件。
逻辑学的功能和研究范围
章节测验答案： 1、ACD 2、B 3、对
逻辑学中规则只是一个副产品，而应用才是最主要的。
逻辑学的功能
在认识论中，它提供了一种知识扩充机制。
在认知心理学中，它研究人们实际如何推理的。
心智逻辑理论(mental logic)
心智模型理论(mental model)
在逻辑学中，逻辑学给推理提供了规则，它规定了人与其它智能生物智能机器或智能系统应当如何推理
逻辑学的研究范围
在古希腊，人们把论辩术分为逻辑学和修辞术两个部分。
亚里士多德认为：分析方法(analytic，演绎逻辑方法)、论辩方法(dialectic)和修辞方法(rhetoric)被视为日常论证评价的三种视角，它们相当于一个合唱的三个不同声部，缺少其中任何一个声部，都会失去“三重奏”之美。
逻辑学有广义与狭义之分
狭义逻辑学的对象是研究前提如何从形式上有效地必然推导出结论的科学。（即逻辑的有效性）
广义逻辑学观认为逻辑学的对象是研究如何把好的推理或论证与不好的推理或论证相区别开来的科学也就是认为逻辑学是关于推理或论证的科学。
马克思认为古代有三个伟大的思想家：(师徒三人) 苏格拉底(老师)、柏拉图(学生) 柏拉图(老师)、亚里士多德(学生)
逍遥学派(peripatetic school)是古希腊哲学家亚里士多德创立，又称亚里士多德学派。
公元前 335年亚里士多德在雅典的吕克昂(Lyceum)建立了一所学院，该处有一小树林和许多可供散步的林荫道，亚里士多德喜欢在这林荫道上和学生散步、讲课和讨论学问，所以被称为逍遥学派。 亚里士多德死后，该派由他的弟子继承下来。公元前 287年以前领导该派的是泰奥弗拉斯多(Theophrastus,前371-前287年)。 公元前287~前269年,该派由斯特拉图(strato,公元前4世纪?~前269年)领导。 继斯特拉图之后领导该派的是吕康(lyco,约公元前299~前225年)，但从这时起，改派已失去其重要地位。
什么是德奥弗拉斯特斯规则？
亚里士多德逻辑(term logic)，又叫词项逻辑，又叫直言命题逻辑。只限于单句，即直谓命题，直言命题。（因此得名“逻辑学之父”）
全称肯定命题：所有S都是P 全称否定命题：所有S都不是P 特称肯定命题：有些S是P。 特称否定命题：有些S不是P。
古希腊-斯多葛学派(斯多葛学派)，又称斯多葛命题逻辑，命题逻辑。 代表人物：芝诺(Zeno)、克里西波(Chrysippus) (克里西波的逻辑思想是什么？) (什么叫芝诺悖论？)
认识“非西方逻辑”
藏传佛教格鲁派(黄教)的创立者是(D)。 A、慧能 B、仓央嘉措 C、达赖喇嘛 D、宗喀巴 小乘佛教始于(A)。 A、印度 B、日本 C、西藏 D、斯里兰卡 (C)被誉为古印度的医学百科全书。 A、《摩诃婆罗多》 B、《薄伽梵歌》 C、《阇罗迦本集》 D、《吠陀经》 先秦时期是中国古代逻辑开始形成并发展昌盛的时期。(对)
希腊逻辑是西方逻辑的源头
印度逻辑
在印度，婆罗门教以及印度教中，最重要和最根本的经典《吠陀经》第10卷第129曲就包括根据不同逻辑分类的本体论思考，这些分类后来被从形式上改写为四个句子：“A”“非A”，“A并且非A”和“非A并且非非A”
《阇罗迦本集》的作者阇罗迦(公元120-162年)是古印度的另一位著名医生。《阇罗迦本集》是古印度最重要的医学著作之一，被誉为古印度的医学百科全书。虽然是一本医书，但实际上就是一部如何进行论证(病)的经典著作。
在印度，公元二世纪经院学派(又被称为“正理派”，Nyana)代表人物的足目·乔达摩(AksapadaGautama)所写的《正理经》是古印度经典逻辑学著作。正理派的革新一直从古时候延续到十八世纪早期，但这种革新被英国殖民统治中断了(所以研究佛教逻辑最好的地方在中国西藏)。
藏传佛教祖师爷(出生于西藏)：宗喀巴 (1357-1419)藏传佛教格鲁派(黄教)的创立者、佛教理论家。宗喀巴本名罗桑扎已(善慧称吉祥)，这是受沙弥戒时的名称。
(东汉)唐朝之前传入的都是小乘教法
四十二章经：佛教著作，包含大乘教法和小乘教法。
佛 陀：(乔达摩·悉达多，释加牟尼)，这是印度古就梵文Buddha的音译。
中国逻辑(中原逻辑)
先秦时期，这是中国古代逻辑开始形成并发展昌盛的时期。春秋战国在由奴隶制向封建制的转变过程中，论辩之风极盛，出现了“百家争鸣”的局面，各家都对名实关系、正名原则和论辩术进行了探讨或总结，涌现了一些着手研究名词概念和论辩术的思想家，经过名家、儒家、法家特别是墨家的总结，建立了比较完整的中国古代逻辑体系。
伊斯兰逻辑
波斯逻辑学家阿纳森纳(AbuAli Sina Balkhi即Avicenna，公元980-1037年)的逻辑系统引入了假言三段论、时间模态逻辑和归纳逻辑。虽然阿维森纳逻辑延续到十五世纪而且在文艺复兴时期对欧洲逻辑有着重要影响。 但遗憾的是，伊斯兰世界的情形与中国的情形差不多，伊斯兰世界的艾什尔里派(Asharite school)兴起限制了伊斯兰哲学中的逻辑原创性思想的发展。
论证
论证的关键概念
子主题
命题、陈述与语句
经验命题与必然命题
论证的含义与类型
论证的功能与要素
论证与解释
提前与结论的识别
论证评价的逻辑标准
论证评价的论辩标准与修辞标准
直言命题逻辑
什么是直言命题
文恩图和欧拉图
对当关系论证
直言命题运算论证
三段论概述
三段论的规则和重构
真值函项逻辑
复合命题论证：
否定论证
合取论证与析取论证
条件论证与二难论证
真值函项
真值表的结构
真值表检验
形式演绎
间接证明与简便证明
量化逻辑
论证有效证明
归谬法的其它应用
一般量化理论
归纳逻辑
归纳法与归纳强度
归纳概括
因果假设
数值概率
论证评价与谬误
论证的有效性
论证的进路
谬论的定义和分类
前提谬误
相干谬误
支持谬误
