自用，转载自： https://www.bilibili.com/video/BV1kX4y1c7Zi
台湾文化大学《逻辑学》
主播：公开课收集 播放：7508次最近更新: 2022-08-05
节目列表
正序 | 倒序
- 11.课程简介
- 22.Ⅰ：1.1.逻辑：道理、原理、logos
- 33.Ⅰ：1.2.逻辑的目标
- 44.Ⅰ：1.3.说话与推理
- 55.Ⅰ：1.4.推理的有效性
- 66.Ⅱ：2.1.论证结构
- 77.Ⅱ：2.2.论证的两个重要观念
- 88.Ⅱ：2.3.语词与命题
- 99.Ⅱ：2.4.命题的标准
- 1010.Ⅱ：2.5.论证形式
- 1111.Ⅱ：2.6.实例说明
- 1212.Ⅱ：2.7.充分条件和必要条件
- 1313.Ⅱ：2.8.有效论证的定义
- 1414.Ⅲ：3.1.日常语言的复杂性
- 1515.Ⅲ：3.2.歧义
- 1616.Ⅲ：3.3.含混性
- 1717.Ⅲ：3.4.开放性
- 1818.Ⅲ：3.5.形式语言的必要性
- 1919.Ⅲ：3.6.命题逻辑语言
- 2020.Ⅲ：3.7.句式结构树
- 2121.Ⅲ：3.8.关于句式的重要概念
- 2222.Ⅳ：4.1.语意学
- 2323.Ⅳ：4.2.古典逻辑语意学预设
- 2424.Ⅳ：4.3.连接词的语意
- 2525.Ⅳ：4.4.恒真句
- 2626.Ⅳ：4.5.矛盾句
- 2727.Ⅳ：4.6.偶真句
- 2828.Ⅳ：4.7.句式之间的关系
- 2929.Ⅳ：4.8.一群句式之间的关系
- 3030.Ⅴ：5.1.真值表法的结构、模型
- 3131.Ⅴ：5.2.真值表法演算步骤
- 3232.Ⅴ：5.3.无效论证和反例结构
- 3333.Ⅴ：5.4.无前提或无结论的论证
- 3434.Ⅴ：5.5.可决定性
- 3535.Ⅴ：5.6.简易真值表法
- 3636.Ⅵ：6.1.函映完备性
- 3737.Ⅵ：6.2.具备函映完备性的连接词集合
- 3838.Ⅵ：6.3.谢菲尔线
- 3939.Ⅵ：6.4.选言标准式DNF
- 4040.Ⅵ：6.5.连言标准式CNF
- 4141.Ⅵ：6.6.极端范例
- 4242.Ⅵ：6.7.等值句式的DNF与CNF
- 4343.Ⅵ：6.8.函映完备性的定理
- 4444.Ⅶ：7.1.语法蕴含关系
- 4545.Ⅶ：7.2.两种证明策略
- 4646.Ⅶ：7.3.真值树的结构
- 4747.Ⅶ：7.4.真值树的规则
- 4848.Ⅶ：7.5.真值树系统规则
- 4949.Ⅶ：7.6.有效论证实例
- 5050.Ⅶ：7.7.无效论证实例
- 5151.Ⅶ：7.8.一致性的证明
- 5252.Ⅷ：8.1.公理系统的结构
- 5353.Ⅷ：8.2.公理的取代句式
- 5454.Ⅷ：8.3.定理
- 5555.Ⅷ：8.4.论证的有效性
- 5656.Ⅸ：9.1.自然演绎法的特性与分类
- 5757.Ⅸ：9.2.树状自然演绎法规则
- 5858.Ⅸ：9.3.树状自然演绎法范例
- 5959.Ⅸ：9.4.线性自然演绎法等值规则
- 6060.Ⅸ：9.5.线性自然演绎法蕴含规则
- 6161.Ⅸ：9.6.线性自然演绎法范例
- 6262.Ⅹ：10.1.语词逻辑的起源
- 6363.Ⅹ：10.2.句型结构解析
- 6464.Ⅹ：10.3.三段论的论证结构
- 6565.Ⅹ：10.4.三段论的样态
- 6666.Ⅹ：10.5.三段论的有效性
- 6767.Ⅹ：10.6.三段论范例
- 6868.Ⅹ：10.7.文式图
- 6969.Ⅹ：10.8.文式图范例
- 7070.Ⅹ：10.9.作业讲解
- 7171.Ⅺ：11.1.述词逻辑的必要性
- 7272.Ⅺ：11.2.述词逻辑的新元素
- 7373.Ⅺ：11.3.述词逻辑语言
- 7474.Ⅺ：11.4.述词逻辑句式说明
- 7575.Ⅺ：11.5.一元述词的翻译
- 7676.Ⅺ：11.6.二元关系述词的重要性质
- 7777.Ⅻ：12.1.量词的翻译原则
- 7878.Ⅻ：12.2.二元述词的翻译
- 7979.Ⅻ：12.3.常用语词翻译
- 8080.Ⅻ：12.4.论域
- 8181.Ⅻ：12.5.量词与连接词
- 8282.Ⅻ：12.6.确定描述词
- 8383.XⅢ：13.1.推论规则
- 8484.XⅢ：13.2.推论规则说明
- 8585.XⅢ：13.3.有效论证实例说明
- 8686.XⅢ：13.4.无效论证实例说明
- 8787.XⅢ：13.5.不可决定性
- 8888.XⅢ：13.6.有效论证实例
- 8989.XⅢ：13.7.无效论证实例
- 9090.XIV：14.1.推论规则
- 9191.XIV：14.2.否定规则与个例规则
- 9292.XIV：14.3.通称规则
- 9393.XIV：14.4.存在预设
- 9494.XIV：14.5.自然演绎法实例一
- 9595.XIV：14.6.自然演绎法实例二
- 9696.XV：15.1.谬误的分类
- 9797.XV：15.2.形式谬误
- 9898.XV：15.3.不相干的谬误
- 9999.XV：15.4.误导的谬误
- 100100.XV：15.5.假定的谬误
相关专辑
