逻辑学导论/逻辑及其分类
< 逻辑学导论
| ◄ | 逻辑学导论 逻辑及其分类 |
► | 无矛盾律 排中律 |
“逻辑，或称为推理、理则。逻辑是希腊语 λόγος 发展到近代西方语言相应词汇（英语logic，法语logique）的音译，最初的意思有词语、思想、概念、论点、推理之意。”－－《维基百科》
定义[编辑]
分类[编辑]
形式逻辑[编辑]
- 形式逻辑－－以一套规则来达成论证。
演译、归纳[编辑]
- 演译(Deductive)－－以原则推到事例。
- 如：知道有地心引力(原则)，所以推论出苹果会掉下来(事例)。
- 归纳(Induction)－－以事例推到原则。
- 如：看到的天鹅都是白的(事例)，所以推论出天鹅是白的(原则)。
直接推论、间接推论[编辑]
- 直接推论－－以两个命题推论。
- 如：所有人都会死；
- 所以，有些人会死。
- 间接推论－－以两个以上的命题推论。
- 如：所有人都会死；
- 因为我是人；
- 所以，我会死。
量项、联项[编辑]
量项[编辑]
- 全称：称呼某个事物对于所有事物。
- 如：所有的人都是哺乳动物。
- 特称：称呼某个事物对于特定事物。
- 如：有些哺乳动物有两只脚。
- 单称：称呼某个事物对于一个事物。
- 如：鸭嘴兽不是胎生动物。
联项[编辑]
- 肯定判断：称呼对象具有某属性。
- 如：所有的人都是哺乳动物。
- 否定判断：称呼对象不具有某属性。
- 如：鸭嘴兽不是胎生动物。
性质判断[编辑]
根据量项与联项的不同组合，可分成六种：
- 单称肯定
- 如：人是胎生动物。
- 单称否定
- 如：鸭嘴兽不是胎生动物。
- 特称肯定
- 有些哺乳动物有两只脚。
- 特称否定
- 有些哺乳动物没有两只脚。
- 全称肯定
- 如：所有的人都是哺乳动物。
- 全称否定
- 如：所有的鸭嘴兽不是胎生动物。
非形式逻辑[编辑]
非形式逻辑－－非以一套规则，而是以约定来达成论证。
谬误[编辑]
错误观点