《逻辑学概论》(陈为蓬教授)读书笔记(一)
——清华大学人文学院 陈为蓬教授授课
目录:
第1讲 什么是逻辑学?
第2讲 逻辑学的产生与发展
第3讲 命题联结词及其基本推理形式
第4讲 复合命题的推理:有效推理形式的判定
第5讲 复合命题的推理:命题联结词的充足集
第6讲 命题演算:公理系统
第7讲 命题演算:公理系统,自然演绎系统
第8讲 基本命题的构成
第9讲 传统逻辑中基本命题的推理
第10讲 基本命题的推理
第11讲 非经典逻辑的初步
第12讲 余论
《逻辑学概论》(陈为蓬教授)读书笔记(一)
——清华大学人文学院 陈为蓬教授授课
目录:
第1讲 什么是逻辑学?
第2讲 逻辑学的产生与发展
第3讲 命题联结词及其基本推理形式
第4讲 复合命题的推理:有效推理形式的判定
第5讲 复合命题的推理:命题联结词的充足集
第6讲 命题演算:公理系统
第7讲 命题演算:公理系统,自然演绎系统
第8讲 基本命题的构成
第9讲 传统逻辑中基本命题的推理
第10讲 基本命题的推理
第11讲 非经典逻辑的初步
第12讲 余论