跳转到内容

逻辑学导论/逻辑及其分类

维基教科书,自由的教学读本
  逻辑学导论
逻辑及其分类
无矛盾律 排中律 

逻辑,或称为推理、理则。逻辑是希腊语 λόγος 发展到近代西方语言相应词汇(英语logic,法语logique)的音译,最初的意思有词语、思想、概念、论点、推理之意。”--《维基百科》

定义[编辑]

分类[编辑]

形式逻辑[编辑]

  1. 形式逻辑--以一套规则来达成论证。

演译、归纳[编辑]

  • 演译(Deductive)--以原则推到事例。
如:知道有地心引力(原则),所以推论出苹果会掉下来(事例)
  • 归纳(Induction)--以事例推到原则。
如:看到的天鹅都是白的(事例),所以推论出天鹅是白的(原则)

直接推论、间接推论[编辑]

  • 直接推论--以两个命题推论。
如:所有人都会死;
所以,有些人会死。
  • 间接推论--以两个以上的命题推论。
如:所有人都会死;
因为我是人;
所以,我会死。

量项、联项[编辑]

量项[编辑]
  • 全称:称呼某个事物对于所有事物。
如:所有的人都是哺乳动物。
  • 特称:称呼某个事物对于特定事物。
如:有些哺乳动物有两只脚。
  • 单称:称呼某个事物对于一个事物。
如:鸭嘴兽不是胎生动物。
联项[编辑]
  • 肯定判断:称呼对象具有某属性。
如:所有的人都是哺乳动物。
  • 否定判断:称呼对象不具有某属性。
如:鸭嘴兽不是胎生动物。
性质判断[编辑]

根据量项与联项的不同组合,可分成六种:

  • 单称肯定
如:人是胎生动物。
  • 单称否定
如:鸭嘴兽不是胎生动物。
  • 特称肯定
有些哺乳动物有两只脚。
  • 特称否定
有些哺乳动物没有两只脚。
  • 全称肯定
如:所有的人都是哺乳动物。
  • 全称否定
如:所有的鸭嘴兽不是胎生动物。

非形式逻辑[编辑]

非形式逻辑--非以一套规则,而是以约定来达成论证。

谬误[编辑]

错误观点