清华大学公开课:逻辑学概论 (汉语中字)(陈为蓬)

清华大学公开课:逻辑学概论 (汉语中字)(陈为蓬)

  • 课程编号:1674
  • 课程共 81 集  分辨率:标清  & 高清
  • 课程格式:MP4  大小:1.54 G
  • 最近更新:2023年02月26日

清华大学慕课下载:逻辑学概论

类型:公开课

主讲人:陈为蓬,清华大学人文社会科学学院副教授,主要研究方向为自然语言的逻辑、戏曲。

主要贡献:《汉语中的文白异读简论》,国际言语文学(韩国)第四号,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 译

分享到 :
相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注