清华大学
清华大学公开课:陈为蓬《逻辑学概论》清华大学公开课:陈为蓬《逻辑学概论》
本课程共81集 未翻译完 欢迎学习
讲师:陈为蓬
课程介绍:陈为蓬,清华大学人文社会科学学院副教授,主要研究方向为自然语言的逻辑。该课程中给出了关于有效推理形式、判定与生成方式的基本方法。 作为面向非逻辑学专业学生的逻辑学概论课,本课程的着眼点不仅仅在于讲授逻辑学中的具体内容,而更致力于使学生了解逻辑学的基本思路、准则和方法。
课程列表
【第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 译
查看全部课程
相关推荐