文档介绍：《逻辑学导论》教学讲义
唐晓嘉
目录
第一讲绪论
第一节 逻辑学的研究对象
关于“逻辑”一词
逻辑学是研究推理论证的学问
演绎与归纳
第二节 形式化——逻辑学研究方法的特点
命题、推理的形式与内容
推理的有效性只同形式相关
逻辑学研究的形式化特征
第三节 逻辑学理论的意义及其与相关学科的关系
逻辑学理论的重要意义
逻辑学与思维科学的关系
逻辑学与语言学的关系
第二讲词项
第一节 词项概述
什么是词项
词项的逻辑特征
词项与语词、概念
第二节 词项的种类
单独词项与普遍词项
集合词项与非集合词项
实词项与虚词项
正词项与负词项
第三节 词项之间的关系
相容关系
不相容关系
第四节 明确词项的逻辑方法
概括与限制
划分
定义
第三讲传统直言命题逻辑
第一节 命题概述
什么是命题
命题的逻辑特征
命题与语句、判断
第二节 传统直言命题
传统直言及其逻辑结构
直言命题的分类
直言命题的周延性
A、E、I 、O之间对当关系
传统直言命题的文恩图解
第三节 直接推理
直言命题推理概述
对当关系推理
变形推理
第四节 三段论
什么是三段论
三段论的规则
三段论的格
三段论的式
非标准形式的三段论
第四章 复合命题与命题公式
第一节 复合命题概述
复合命题及其逻辑结构
复合命题的逻辑特征
第二节 复合命题的几种基本形式
负命题
联言命题
选言命题
条件命题
等值命题
第三节 命题公式与真值函数
命题公式
命题公式与真值函数
第四节 命题公式之间的逻辑等值关系
命题公式之间的逻辑等值
几个重要的重言等值式
命题公式的相互定义
第五章 命题逻辑
第一节 基本的有效推理式
有效推理与无效推理
基本的有效推理式
第二节 推理有效性的形式证明
推理有效性与命题演算
有效推理的形式证明
基本推导规则与等值替换规则
条件证明规则
间接证明规则
证明重言式
第三节 无效推理的判定
用真值表证明推理的无效性
用归谬赋值法判定推理的有效与无效
证明公式集合的协调性
第六讲量化逻辑
第一节简单命题的逻辑结构
个体词和谓词和单称命题
谓词模式、命题函数与量化命题
量化命题公式
量化命题公式的真假条件
第二节量化命题的形式化
A、E、I、O命题的形式化
一般简单命题的形式化
多重量化命题
第三节量化推理规则
全称例示规则(简记为US)
存在概括规则(简记为EG)
全称概括规则(UG)
存在例示规则(ES)
第四节无效量化推理的判定
量化公式的真值函项展开式
无效量化推理的判定
第七讲规范逻辑初步
第一节模态命题
模态词与模态命题
模态命题的逻辑性质
第二节规范命题
规范命题概述
规范命题的逻辑形式
规范命题的逻辑特征
第三节规范推理
规范对当关系推理
复合规范命题的推理
第八讲逻辑思维的基本规则
第一节同一律
同一律内容和要求
违反同一律要求产生的逻辑错误
同一律的作用
第二节矛盾律
矛盾律内容和要求
违反矛盾律要求产生的逻辑错误
矛盾律的作用
第三节排中律
排中律内容和要求
违反排中律要求产生的逻辑错误
排中律的作用
排中律与矛盾律的区别
第一讲绪论
在本讲中我们要讨论逻辑学的研究对象,逻辑学研究方法的特点,逻辑与一些相关科学的关系,以及逻辑学的学科性质及其重要应用价值。通过本章学****使我们对逻辑学这门学科的研究内容有一个基本概念。
第一节逻辑学的研究对象
关于“逻辑”这个词
在汉语中“逻辑”是一个外来词,它是通过音译的方法从西文引入汉语的。在拉丁文、英文和德文中它