C004 4.5.3 树形图方法判别有效式 скачать в хорошем качестве

C004 4.5.3 树形图方法判别有效式

《逻辑导论》，北京大学。陈波，中国人民大学哲学博士，北京大学哲学系教授，博士生导师。2018年，当选为国际哲学学院院士。 播放列表   • C004 1.1 逻辑导论课程简介   第一章 逻辑是研究推理和论证的科学 1.1 逻辑导论课程简介 1.2 逻辑的研究对象：推理与论证 1.3 推理、推理形式及其有效性 1.4 论证的结构及其作用 1.5 同一律、矛盾律、排中律和二值原则 1.6 充足理由律 第二章 命题逻辑 2.1 日常联结词与复合命题 2.2 从日常联结词到真值联结词 2.3 日常语言中复合命题的符号化 2.4 重言式及其判定方法 2.5 重言蕴涵式、重言等值式 2.6 命题逻辑的自然推演 2.7 PN推演方法 2.8 PN有前提推演 2.9 PN推演总结 第三章 词项逻辑 3.1 直言命题 3.2 直接推理 3.3 三段论 3.4 三段论的规则 3.5 三段论的非标准形式 3.6 直言命题的存在含义问题 3.7 用文恩图判定三段论的有效性 第四章 谓词逻辑 4.1 一阶语言 4.2 自然语言中性质命题的符号化 4.3 自然语言中关系命题的符号化 4.4 模型和赋值 4.5 树形图方法判别有效式 4.6 解释方法 4.7 谓词逻辑的自然推演 4.8 QN定理证明 4.9 QN有前提推演 4.10 QN推演总结 第五章 归纳逻辑 5.1 归纳逻辑概述 5.2 求因果联系五法 5.3 类比推理、模拟、比较 5.4 假说演绎法 5.5 休谟的归纳问题：归纳方法是合理的吗