慕课-澄悦科技

逻辑导论

课程类型：选修课

主讲教师：

课程来源：

建议学分：0.00分

课程编码：aymk000288

课程介绍

课程目录

教师团队

{1}--第一周逻辑是关于推理和论证的科学

s {1}--1.逻辑导论课程简介（14分钟）

s {2}--2.逻辑的研究对象：推理与论证-1 （11分钟）

s {2}--2.逻辑的研究对象：推理与论证-2 （18分钟）

s {3}--3.推理、推理形式及其有效性-1 （15分钟）

s {3}--3.推理、推理形式及其有效性-2 （16分钟）

s {3}--3.推理、推理形式及其有效性-3 （6分钟）

s {4}--4.论证的结构及其作用-1 （14分钟）

s {4}--4.论证的结构及其作用-2 （17分钟）

s {5}--5.同一律、矛盾律、排中律和二值原则-1 （17分钟）

s {5}--5.同一律、矛盾律、排中律和二值原则-2 （17分钟）

s {5}--5.同一律、矛盾律、排中律和二值原则-3 （11分钟）

s {5}--5.同一律、矛盾律、排中律和二值原则-4 （20分钟）

s {5}--5.同一律、矛盾律、排中律和二值原则-5 （10分钟）

s {6}--6.充足理由律（20分钟）

{2}--第二周命题逻辑（一）

s {1}--7.日常联结词与复合命题-1 （16分钟）

s {1}--7.日常联结词与复合命题-2 （10分钟）

s {2}--8.从日常联结词到真值联结词-1 （20分钟）

s {2}--8.从日常联结词到真值联结词-2 （20分钟）

s {2}--8.从日常联结词到真值联结词-3 （14分钟）

s {2}--8.从日常联结词到真值联结词-4 （23分钟）

s {3}--9.日常语言中复合命题的符号化（16分钟）

{3}--第三周命题逻辑（二）

s {1}--10.重言式及其判定方法-1 （15分钟）

s {1}--10.重言式及其判定方法-2 （14分钟）

s {1}--10.重言式及其判定方法-3 （20分钟）

s {1}--10.重言式及其判定方法-4 （20分钟）

s {2}--11.重言蕴涵式、重言等值式-1 （23分钟）

s {2}--11.重言蕴涵式、重言等值式-2 （23分钟）

{4}--第四周命题逻辑（三）

s {1}--12.命题逻辑的自然推演（15分钟）

s {2}--13.PN推演方法-1 （25分钟）

s {2}--13.PN推演方法-2 （19分钟）

s {2}--13.PN推演方法-3 （16分钟）

s {2}--13.PN推演方法-4 （19分钟）

s {3}--14.PN有前提推演（19分钟）

s {4}--15.PN推演总结（10分钟）

{5}--第五周词项逻辑（一）

s {1}--16.直言命题-1 （18分钟）

s {1}--16.直言命题-2 （11分钟）

s {1}--16.直言命题-3 （22分钟）

s {2}--17.直接推理-1 （20分钟）

s {2}--17.直接推理-2 （15分钟）

s {3}--18.三段论（12分钟）

{6}--第六周词项逻辑（二）

s {1}--19.三段论的规则-1 （17分钟）

s {1}--19.三段论的规则-2 （21分钟）

s {1}--19.三段论的规则-3 （17分钟）

s {2}--20.三段论的非标准形式（14分钟）

s {3}--21.直言命题的存在含义问题（15分钟）

s {4}--22.用文恩图判定三段论的有效性（28分钟）

{7}--第七周谓词逻辑（一）

s {1}--23.一阶语言-1 （23分钟）

s {1}--23.一阶语言-2 （17分钟）

s {2}--24.自然语言中性质命题的符号化（16分钟）

s {3}--25.自然语言中关系命题的符号化（21分钟）

s {4}--26.模型和赋值-1 （13分钟）

s {4}--26.模型和赋值-2 （17分钟）

s {5}--27.树形图方法判别有效式-1 （14分钟）

s {5}--27.树形图方法判别有效式-2 （16分钟）

s {5}--27.树形图方法判别有效式-3 （18分钟）

s {5}--27.树形图方法判别有效式-4 （17分钟）

{8}--第八周谓词逻辑（二）

s {1}--28.解释方法（13分钟）

s {2}--29.谓词逻辑的自然推演-1 （18分钟）

s {2}--29.谓词逻辑的自然推演-2 （20分钟）

s {3}--30.QN定理证明-1 （12分钟）

s {3}--30.QN定理证明-2 （13分钟）

s {3}--30.QN定理证明-3 （17分钟）

s {4}--31.QN有前提推演（20分钟）

s {5}--32.QN推演总结（11分钟）

{9}--第九周归纳逻辑

s {1}--33.归纳逻辑概述-1 （9分钟）

s {1}--33.归纳逻辑概述-2 （22分钟）

s {2}--34.求因果联系五法-1 （18分钟）

s {2}--34.求因果联系五法-2 （13分钟）

s {2}--34.求因果联系五法-3 （11分钟）

s {3}--35.类比推理、模拟、比较-1 （18分钟）

s {3}--35.类比推理、模拟、比较-2 （18分钟）

s {3}--35.类比推理、模拟、比较-3 （10分钟）

s {4}--36.假说演绎法-1 （14分钟）

s {4}--36.假说演绎法-2 （11分钟）

s {4}--36.假说演绎法-3 （18分钟）

s 9 {5}--37.休谟的归纳问题：归纳方法是合理的吗（30分钟）