清华大学慕课下载：逻辑学概论
类型：公开课
主讲人：陈为蓬，清华大学人文社会科学学院副教授，主要研究方向为自然语言的逻辑、戏曲。
主要贡献：《汉语中的文白异读简论》，国际言语文学（韩国）第四号，2001年12月
《公理化方法及其应用》，清华大学思想文化研究所集刊第二辑，清华大学出版社2002年3月
《作为世界文化遗产的中国昆曲艺术》，中国语文学（韩国）第39辑，2002年6月
《2004年公共管理硕士（MPA）专业学位联考考试指南》（逻辑部分），中国人民大学出版社2004年3月
《2004年会计硕士（MPAcc）专业学位联考考试大纲及考试指南》（逻辑部分），中国人民大学出版社2004年7月
《2004年会计硕士联考用书》（逻辑分册），中国人民大学出版社2004年7月
《2005年公共管理硕士（MPA）专业学位联考考试指南》（逻辑部分），中国人民大学出版社2005年5月
《2005年会计硕士（MPAcc）专业学位联考考试大纲及考试指南》（逻辑部分），中国人民大学出版社2005年6月
《2005年会计硕士联考用书》（逻辑分册），中国人民大学出版社2005年6月
《青春版〈牡丹亭〉印象》，第二届中国昆曲国际学术研讨会，2005年7月，苏州
《中国的历史文化名城》，第9届世界历史都市会议学术讨论会（全文收入会议论文集），2005年10月，韩国庆州
《走遍韩国》，收入《动感韩国》文集，韩国驻华大使馆文化新闻处，2005年12月
《关于我国历史文化名城的若干问题》，“转型中的中国——国内和国际的挑战”学术研讨会，2006年5月，香港浸会大学
《韩国的端午节和江陵端午祭》，中国非物质文化遗产保护 ? 余杭论坛，2006年5-6月，浙江余杭
《韩国非物质文化遗产保护所见》，中国非物质文化遗产保护论坛，2006年6月，北京
《2006年公共管理硕士（MPA）专业学位联考考试指南》（逻辑部分），中国人民大学出版社2006年6月
《2006年会计硕士（MPAcc）专业学位联考考试大纲及考试指南》（逻辑部分），中国人民大学出版社2006年6月
《2006年会计硕士联考用书》（逻辑分册），中国人民大学出版社2006年6月
《大学校园与昆曲——以清华和北大为例》，第三届中国昆曲国际学术研讨会，2006年7月，苏州
《韩国物质和非物质文化遗产保护所见》 [1] ，《中国非物质文化遗产》2006年第2辑，文化艺术出版社，2006年8月
学院介绍：清华大学（Tsinghua University）是国家“211工程”、“985工程”建设大学，是中国顶尖学府C9联盟，以及东亚研究型大学协会、环太平洋大学联盟、清华大学—剑桥大学—麻省理工学院低碳能源大学联盟等国际组织的重要成员。在百余年间，清华以其卓越的人才培养和学术贡献，取得了举世瞩目的成就，并赢得了社会的广泛赞誉。
课程介绍：“逻辑”是什么？大家都很熟悉却又似乎难以说清。作为一门学科，逻辑学研究的是什么? 本课程中给出了关于有效推理形式、判定与生成方式的基本方法。 作为面向非逻辑学专业学生的逻辑学概论课，本课程的着眼点不仅仅在于讲授逻辑学中的具体内容，而更致力于使学生了解逻辑学的基本思路、准则和方法。
课程列表：
【第1集】清华大学公开课：《逻辑学概论》逻辑和逻辑学1.1
【第2集】清华大学陈为蓬《逻辑学概论》课程：推理和推理形式1.2
【第3集】清华大学陈为蓬《逻辑学概论》课程：有效推理形式1.3
【第4集】清华大学陈为蓬《逻辑学概论》课程：逻辑学的特点1.4
【第5集】清华大学陈为蓬《逻辑学概论》课程：逻辑学的基本准则1.5
【第6集】清华大学陈为蓬《逻辑学概论》课程：逻辑学和其他学科的关系1.6
【第7集】清华大学陈为蓬《逻辑学概论》课程：关于本课程1.7
【第8集】清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（上）1.8
【第9集】清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑思想（中）2.2 译
【第10集】清华大学陈为蓬《逻辑学概论》课程：中国古代逻辑学思想（下）2.3 译
【第11集】清华大学陈为蓬《逻辑学概论》课程：印度古代逻辑2.4 译
【第12集】清华大学陈为蓬《逻辑学概论》课程：古希腊和中世纪逻辑2.5 译
【第13集】清华大学陈为蓬《逻辑学概论》课程：近代西方逻辑2.6 译
【第14集】清华大学陈为蓬《逻辑学概论》课程：数理逻辑的提出和实现2.7 译
【第15集】清华大学陈为蓬《逻辑学概论》课程：数理逻辑的发展2.8 译
【第16集】清华大学陈为蓬《逻辑学概论》课程：推理和命题3.1 译
【第17集】清华大学陈为蓬《逻辑学概论》课程：基本命题和复合命题3.2 译
【第18集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（1）3.3 译
【第19集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（2）3.4 译
【第20集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（3）3.5 译
【第21集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（4）3.6 译
【第22集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（5）3.7 译
【第23集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（6）3.8 译
【第24集】清华大学陈为蓬《逻辑学概论》课程：常用命题联结词及其基本推理形式（7）3.9 译
【第25集】清华大学陈为蓬《逻辑学概论》课程：重言式、矛盾式和可满足式4.1 译
【第26集】清华大学陈为蓬《逻辑学概论》课程：具体推理转换为推理形式4.2 译
【第27集】清华大学陈为蓬《逻辑学概论》课程：推理形式转换为复合命题形式4.3 译
【第28集】清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：真值表法4.4 译
【第29集】清华大学陈为蓬《逻辑学概论》课程：有效形式的判定：归谬赋值法4.5 译
【第30集】清华大学陈为蓬《逻辑学概论》课程：命题联结词：真值函数5.1 译
【第31集】清华大学陈为蓬《逻辑学概论》课程：析取范式5.2 译
【第32集】清华大学陈为蓬《逻辑学概论》课程：为复合命题形式作与之等值的析取范式5.3 译
【第33集】清华大学陈为蓬《逻辑学概论》课程：合取范式5.4 译
【第34集】清华大学陈为蓬《逻辑学概论》课程：范式存在定理5.5 译
【第35集】清华大学陈为蓬《逻辑学概论》课程：命题联结词的充足集5.6 译
【第36集】清华大学陈为蓬《逻辑学概论》课程：命题联结词的独元充足集5.7 译
【第37集】清华大学陈为蓬《逻辑学概论》课程：公理系统的构成6.1 译
【第38集】清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L6.2 译
【第39集】清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明6.3 译
【第40集】清华大学陈为蓬《逻辑学概论》课程：命题演算中公理系统L中的证明（续）6.4 译
【第41集】清华大学陈为蓬《逻辑学概论》课程：命题演算的公理系统L中的推演6.5 译
【第42集】清华大学陈为蓬《逻辑学概论》课程：公理系统出发点的延伸7.1 译
【第43集】清华大学陈为蓬《逻辑学概论》课程：公理系统的评价7.2 译
【第44集】清华大学陈为蓬《逻辑学概论》课程：公理系统的性质和评价及其意义7.3 译
【第45集】清华大学陈为蓬《逻辑学概论》课程：命题演算的自然演绎系统7.4 译
【第46集】清华大学陈为蓬《逻辑学概论》课程：命题演算中的自然演绎系统的证明和推理7.5 译
【第47集】清华大学陈为蓬《逻辑学概论》课程：基本命题的结构8.1 译
【第48集】清华大学陈为蓬《逻辑学概论》课程：词项的内涵和外延8.2 译
【第49集】清华大学陈为蓬《逻辑学概论》课程：词项的种类8.3 译
【第50集】清华大学陈为蓬《逻辑学概论》课程：词项间的关系8.4 译
【第51集】清华大学陈为蓬《逻辑学概论》课程：词项的定义8.5 译
【第52集】清华大学陈为蓬《逻辑学概论》课程：词项的划分8.6 译
【第53集】清华大学陈为蓬《逻辑学概论》课程：谓词的分类8.7 译
【第54集】清华大学陈为蓬《逻辑学概论》课程：量词8.8 译
【第55集】清华大学陈为蓬《逻辑学概论》课程：连词8.9 译
【第56集】清华大学陈为蓬《逻辑学概论》课程：基本命题的推理9.1 译
【第57集】清华大学陈为蓬《逻辑学概论》课程：传统逻辑对基本命题的分析9.2 译
【第58集】清华大学陈为蓬《逻辑学概论》课程：性质命题中主、谓词的周延9.3 译
【第59集】清华大学陈为蓬《逻辑学概论》课程：命题变形的推理9.4 译
【第60集】清华大学陈为蓬《逻辑学概论》课程：根据对当关系的推理9.5 译
【第61集】清华大学陈为蓬《逻辑学概论》课程：三段论9.6 译
【第62集】清华大学陈为蓬《逻辑学概论》课程：三段论的式与格9.7 译
【第63集】清华大学陈为蓬《逻辑学概论》课程：有效三段论的判定9.8 译
【第64集】清华大学陈为蓬《逻辑学概论》课程：性质命题10.1 译
【第65集】清华大学陈为蓬《逻辑学概论》课程：主词非空的预设10.2 译
【第66集】清华大学陈为蓬《逻辑学概论》课程：关系命题的结构10.3 译
【第67集】清华大学陈为蓬《逻辑学概论》课程：关系命题根据量词的推理10.4 译
【第68集】清华大学陈为蓬《逻辑学概论》课程：关系命题根据谓词性质的推理方法10.5 译
【第69集】清华大学陈为蓬《逻辑学概论》课程：谓词演算简介10.6 译
【第70集】清华大学陈为蓬《逻辑学概论》课程：非经典（非标准）逻辑11.1 译
【第71集】清华大学陈为蓬《逻辑学概论》课程：多值逻辑11.2 译
【第72集】清华大学陈为蓬《逻辑学概论》课程：模糊逻辑11.3 译
【第73集】清华大学陈为蓬《逻辑学概论》课程：模态逻辑11.4 译
【第74集】清华大学陈为蓬《逻辑学概论》课程：规范逻辑11.5 译
【第75集】清华大学陈为蓬《逻辑学概论》课程：时态逻辑11.6 译
【第76集】清华大学陈为蓬《逻辑学概论》课程：弗协调逻辑11.7 译
【第77集】清华大学陈为蓬《逻辑学概论》课程：演绎和规划12.1 译
【第78集】清华大学陈为蓬《逻辑学概论》课程：探求因果关系的逻辑方法12.2 译
【第79集】清华大学陈为蓬《逻辑学概论》课程：论证和反驳12.3 译
【第80集】清华大学陈为蓬《逻辑学概论》课程：悖论12.4 译
【第81集】清华大学陈为蓬《逻辑学概论》课程：本课程回顾12.5 译
