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

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

邏輯,或稱為推理、理則。邏輯是希臘語 λόγος 發展到近代西方語言相應詞匯(英語logic,法語logique)的音譯,最初的意思有詞語、思想、概念、論點、推理之意。」--《維基百科》

定義[编辑]

分類[编辑]

形式邏輯[编辑]

  1. 形式邏輯--以一套規則來達成論證。

演譯、歸納[编辑]

  • 演譯(Deductive)--以原則推到事例。
如:知道有地心引力(原則),所以推論出蘋果會掉下來(事例)
  • 歸納(Induction)--以事例推到原則。
如:看到的天鵝都是白的(事例),所以推論出天鵝是白的(原則)

直接推論、間接推論[编辑]

  • 直接推論--以兩個命題推論。
如:所有人都會死;
所以,有些人會死。
  • 間接推論--以兩個以上的命題推論。
如:所有人都會死;
因為我是人;
所以,我會死。

量項、聯項[编辑]

量項[编辑]
  • 全稱:稱呼某個事物對於所有事物。
如:所有的人都是哺乳動物。
  • 特稱:稱呼某個事物對於特定事物。
如:有些哺乳動物有兩隻腳。
  • 單稱:稱呼某個事物對於一個事物。
如:鴨嘴獸不是胎生動物。
聯項[编辑]
  • 肯定判斷:稱呼對象具有某屬性。
如:所有的人都是哺乳動物。
  • 否定判斷:稱呼對象不具有某屬性。
如:鴨嘴獸不是胎生動物。
性質判斷[编辑]

根據量項與聯項的不同組合,可分成六種:

  • 單稱肯定
如:人是胎生動物。
  • 單稱否定
如:鴨嘴獸不是胎生動物。
  • 特稱肯定
有些哺乳動物有兩隻腳。
  • 特稱否定
有些哺乳動物沒有兩隻腳。
  • 全稱肯定
如:所有的人都是哺乳動物。
  • 全稱否定
如:所有的鴨嘴獸不是胎生動物。

非形式邏輯[编辑]

非形式邏輯--非以一套規則,而是以約定來達成論證。

謬誤[编辑]

错误观点