清华大学公开课:陈为蓬《逻辑学概论》
本课程共113集 翻译完 欢迎学习
课程列表
【第1集】清华大学公开课:《逻辑学概论》逻辑和逻辑学1.1 译
【第2集】清华大学陈为蓬《逻辑学概论》课程:推理和推理形式1.2 译
【第3集】清华大学陈为蓬《逻辑学概论》课程:有效推理形式1.3(上) 译
【第4集】清华大学陈为蓬《逻辑学概论》课程:有效推理形式1.3(下) 译
【第5集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的特点1.4(上) 译
【第6集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的特点1.4(下) 译
【第7集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的基本准则1.5(上) 译
【第8集】清华大学陈为蓬《逻辑学概论》课程:逻辑学的基本准则1.5(下) 译
【第9集】清华大学陈为蓬《逻辑学概论》课程:逻辑学和其他学科的关系1.6(上) 译
【第10集】清华大学陈为蓬《逻辑学概论》课程:逻辑学和其他学科的关系1.6(下) 译
【第11集】清华大学陈为蓬《逻辑学概论》课程:关于本课程1.7(上) 译
【第12集】清华大学陈为蓬《逻辑学概论》课程:关于本课程1.7(下) 译
【第13集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(上)1.8(上) 译
【第14集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(上)1.8(下) 译
【第15集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(中)2.2(上) 译
【第16集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑思想(中)2.2(下) 译
【第17集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑学思想(下)2.3(上) 译
【第18集】清华大学陈为蓬《逻辑学概论》课程:中国古代逻辑学思想(下)2.3(下) 译
【第19集】清华大学陈为蓬《逻辑学概论》课程:印度古代逻辑2.4(上) 译
【第20集】清华大学陈为蓬《逻辑学概论》课程:印度古代逻辑2.4(下) 译
【第21集】清华大学陈为蓬《逻辑学概论》课程:古希腊和中世纪逻辑2.5 译
【第22集】清华大学陈为蓬《逻辑学概论》课程:近代西方逻辑2.6(上) 译
【第23集】清华大学陈为蓬《逻辑学概论》课程:近代西方逻辑2.6(下) 译
【第24集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的提出和实现2.7(上) 译
【第25集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的提出和实现2.7(下) 译
【第26集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的发展2.8(上) 译
【第27集】清华大学陈为蓬《逻辑学概论》课程:数理逻辑的发展2.8(下) 译
【第28集】清华大学陈为蓬《逻辑学概论》课程:推理和命题3.1 译
【第29集】清华大学陈为蓬《逻辑学概论》课程:基本命题和复合命题3.2(上) 译
【第30集】清华大学陈为蓬《逻辑学概论》课程:基本命题和复合命题3.2(下) 译
【第31集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(1)3.3(上) 译
【第32集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(1)3.3(下) 译
【第33集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(2)3.4(上) 译
【第34集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(2)3.4(下) 译
【第35集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(3)3.5 译
【第36集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(4)3.6 译
【第37集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(5)3.7(上) 译
【第38集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(5)3.7(下) 译
【第39集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(6)3.8 译
【第40集】清华大学陈为蓬《逻辑学概论》课程:常用命题联结词及其基本推理形式(7)3.9 译
【第41集】清华大学陈为蓬《逻辑学概论》课程:重言式、矛盾式和可满足式4.1(上) 译
【第42集】清华大学陈为蓬《逻辑学概论》课程:重言式、矛盾式和可满足式4.1(下) 译
【第43集】清华大学陈为蓬《逻辑学概论》课程:具体推理转换为推理形式4.2 译
【第44集】清华大学陈为蓬《逻辑学概论》课程:推理形式转换为复合命题形式4.3 译
【第45集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:真值表法4.4(上) 译
【第46集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:真值表法4.4(下) 译
【第47集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:归谬赋值法4.5(上) 译
【第48集】清华大学陈为蓬《逻辑学概论》课程:有效形式的判定:归谬赋值法4.5(下) 译
【第49集】清华大学陈为蓬《逻辑学概论》课程:命题联结词:真值函数5.1(上) 译
【第50集】清华大学陈为蓬《逻辑学概论》课程:命题联结词:真值函数5.1(下) 译
【第51集】清华大学陈为蓬《逻辑学概论》课程:析取范式5.2(上) 译
【第52集】清华大学陈为蓬《逻辑学概论》课程:析取范式5.2(下) 译
【第53集】清华大学陈为蓬《逻辑学概论》课程:为复合命题形式作与之等值的析取范式5.3 译
【第54集】清华大学陈为蓬《逻辑学概论》课程:合取范式5.4(上) 译
【第55集】清华大学陈为蓬《逻辑学概论》课程:合取范式5.4(下) 译
【第56集】清华大学陈为蓬《逻辑学概论》课程:范式存在定理5.5 译
【第57集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的充足集5.6(上) 译
【第58集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的充足集5.6(下) 译
【第59集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的独元充足集5.7(上) 译
【第60集】清华大学陈为蓬《逻辑学概论》课程:命题联结词的独元充足集5.7(下) 译
【第61集】清华大学陈为蓬《逻辑学概论》课程:公理系统的构成6.1(上) 译
【第62集】清华大学陈为蓬《逻辑学概论》课程:公理系统的构成6.1(下) 译
【第63集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L6.2(上) 译
【第64集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L6.2(下) 译
【第65集】清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明6.3(上) 译
【第66集】清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明6.3(下) 译
【第67集】清华大学陈为蓬《逻辑学概论》课程:命题演算中公理系统L中的证明(续)6.4 译
【第68集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L中的推演6.5(上) 译
【第69集】清华大学陈为蓬《逻辑学概论》课程:命题演算的公理系统L中的推演6.5(下) 译
【第70集】清华大学陈为蓬《逻辑学概论》课程:公理系统出发点的延伸7.1(上) 译
【第71集】清华大学陈为蓬《逻辑学概论》课程:公理系统出发点的延伸7.1(下) 译
【第72集】清华大学陈为蓬《逻辑学概论》课程:公理系统的评价7.2(上) 译
【第73集】清华大学陈为蓬《逻辑学概论》课程:公理系统的评价7.2(下) 译
【第74集】清华大学陈为蓬《逻辑学概论》课程:公理系统的性质和评价及其意义7.3(上) 译
【第75集】清华大学陈为蓬《逻辑学概论》课程:公理系统的性质和评价及其意义7.3(下) 译
【第76集】清华大学陈为蓬《逻辑学概论》课程:命题演算的自然演绎系统7.4(上) 译
【第77集】清华大学陈为蓬《逻辑学概论》课程:命题演算的自然演绎系统7.4(下) 译
【第78集】清华大学陈为蓬《逻辑学概论》课程:命题演算中的自然演绎系统的证明和推理7.5(上) 译
【第79集】清华大学陈为蓬《逻辑学概论》课程:命题演算中的自然演绎系统的证明和推理7.5(下) 译
【第80集】清华大学陈为蓬《逻辑学概论》课程:基本命题的结构8.1 译
【第81集】清华大学陈为蓬《逻辑学概论》课程:词项的内涵和外延8.2 译
【第82集】清华大学陈为蓬《逻辑学概论》课程:词项的种类8.3 译
【第83集】清华大学陈为蓬《逻辑学概论》课程:词项间的关系8.4(上) 译
【第84集】清华大学陈为蓬《逻辑学概论》课程:词项间的关系8.4(下) 译
【第85集】清华大学陈为蓬《逻辑学概论》课程:词项的定义8.5(上) 译
【第86集】清华大学陈为蓬《逻辑学概论》课程:词项的定义8.5(下) 译
【第87集】清华大学陈为蓬《逻辑学概论》课程:词项的划分8.6(上) 译
【第88集】清华大学陈为蓬《逻辑学概论》课程:词项的划分8.6(下) 译
【第89集】清华大学陈为蓬《逻辑学概论》课程:谓词的分类8.7 译
【第90集】清华大学陈为蓬《逻辑学概论》课程:量词8.8(上) 译
【第91集】清华大学陈为蓬《逻辑学概论》课程:量词8.8(下) 译
【第92集】清华大学陈为蓬《逻辑学概论》课程:连词8.9 译
【第93集】清华大学陈为蓬《逻辑学概论》课程:基本命题的推理9.1 译
【第94集】清华大学陈为蓬《逻辑学概论》课程:传统逻辑对基本命题的分析9.2 译
【第95集】清华大学陈为蓬《逻辑学概论》课程:性质命题中主、谓词的周延9.3 译
【第96集】清华大学陈为蓬《逻辑学概论》课程:命题变形的推理9.4(上) 译
【第97集】清华大学陈为蓬《逻辑学概论》课程:命题变形的推理9.4(下) 译
【第98集】清华大学陈为蓬《逻辑学概论》课程:根据对当关系的推理9.5 译
【第99集】清华大学陈为蓬《逻辑学概论》课程:三段论9.6(上) 译
【第100集】清华大学陈为蓬《逻辑学概论》课程:三段论9.6(下) 译
【第101集】清华大学陈为蓬《逻辑学概论》课程:三段论的式与格9.7(上) 译
【第102集】清华大学陈为蓬《逻辑学概论》课程:三段论的式与格9.7(下) 译
【第103集】清华大学陈为蓬《逻辑学概论》课程:有效三段论的判定9.8(上) 译
【第104集】清华大学陈为蓬《逻辑学概论》课程:有效三段论的判定9.8(中) 译
【第105集】清华大学陈为蓬《逻辑学概论》课程:有效三段论的判定9.8(下) 译
【第106集】清华大学陈为蓬《逻辑学概论》课程:性质命题10.1(上) 译
【第107集】清华大学陈为蓬《逻辑学概论》课程:性质命题10.1(下) 译
【第108集】清华大学陈为蓬《逻辑学概论》课程:主词非空的预设10.2(上) 译
【第109集】清华大学陈为蓬《逻辑学概论》课程:主词非空的预设10.2(下) 译
【第110集】清华大学陈为蓬《逻辑学概论》课程:关系命题的结构10.3 译
【第111集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据量词的推理10.4(上) 译
【第112集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据量词的推理10.4(下) 译
【第113集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据谓词性质的推理方法10.5(上) 译
【第114集】清华大学陈为蓬《逻辑学概论》课程:关系命题根据谓词性质的推理方法10.5(下) 译
【第115集】清华大学陈为蓬《逻辑学概论》课程:谓词演算简介10.6(上) 译
【第116集】清华大学陈为蓬《逻辑学概论》课程:谓词演算简介10.6(下) 译
【第117集】清华大学陈为蓬《逻辑学概论》课程:非经典(非标准)逻辑11.1 译
【第118集】清华大学陈为蓬《逻辑学概论》课程:多值逻辑11.2(上) 译
【第119集】清华大学陈为蓬《逻辑学概论》课程:多值逻辑11.2(下) 译
【第120集】清华大学陈为蓬《逻辑学概论》课程:模糊逻辑11.3(上) 译
【第121集】清华大学陈为蓬《逻辑学概论》课程:模糊逻辑11.3(下) 译
【第122集】清华大学陈为蓬《逻辑学概论》课程:模态逻辑11.4(上) 译
【第123集】清华大学陈为蓬《逻辑学概论》课程:模态逻辑11.4(下) 译
【第124集】清华大学陈为蓬《逻辑学概论》课程:规范逻辑11.5(上) 译
【第125集】清华大学陈为蓬《逻辑学概论》课程:规范逻辑11.5(下) 译
【第126集】清华大学陈为蓬《逻辑学概论》课程:时态逻辑11.6(上) 译
【第127集】清华大学陈为蓬《逻辑学概论》课程:时态逻辑11.6(下) 译
【第128集】清华大学陈为蓬《逻辑学概论》课程:弗协调逻辑11.7(上) 译
【第129集】清华大学陈为蓬《逻辑学概论》课程:弗协调逻辑11.7(下) 译
【第130集】清华大学陈为蓬《逻辑学概论》课程:演绎和规划12.1(上) 译
【第131集】清华大学陈为蓬《逻辑学概论》课程:演绎和规划12.1(下) 译
【第132集】清华大学陈为蓬《逻辑学概论》课程:探求因果关系的逻辑方法12.2(上) 译
【第133集】清华大学陈为蓬《逻辑学概论》课程:探求因果关系的逻辑方法12.2(下) 译
【第134集】清华大学陈为蓬《逻辑学概论》课程:论证和反驳12.3(上) 译
【第135集】清华大学陈为蓬《逻辑学概论》课程:论证和反驳12.3(下) 译
【第136集】清华大学陈为蓬《逻辑学概论》课程:悖论12.4(上) 译
【第137集】清华大学陈为蓬《逻辑学概论》课程:悖论12.4(下) 译
【第138集】清华大学陈为蓬《逻辑学概论》课程:本课程回顾12.5(上) 译
【第139集】清华大学陈为蓬《逻辑学概论》课程:本课程回顾12.5(下) 译
查看全部课程
相关推荐