逻辑学导论/逻辑及其分类
外观
< 逻辑学导论
◄ | 逻辑学导论 逻辑及其分类 |
► | 无矛盾律 排中律 |
「邏輯,或稱為推理、理則。邏輯是希臘語 λόγος 發展到近代西方語言相應詞匯(英語logic,法語logique)的音譯,最初的意思有詞語、思想、概念、論點、推理之意。」--《維基百科》
定義
[编辑]分類
[编辑]形式邏輯
[编辑]- 形式邏輯--以一套規則來達成論證。
演譯、歸納
[编辑]- 演譯(Deductive)--以原則推到事例。
- 如:知道有地心引力(原則),所以推論出蘋果會掉下來(事例)。
- 歸納(Induction)--以事例推到原則。
- 如:看到的天鵝都是白的(事例),所以推論出天鵝是白的(原則)。
直接推論、間接推論
[编辑]- 直接推論--以兩個命題推論。
- 如:所有人都會死;
- 所以,有些人會死。
- 間接推論--以兩個以上的命題推論。
- 如:所有人都會死;
- 因為我是人;
- 所以,我會死。
量項、聯項
[编辑]量項
[编辑]- 全稱:稱呼某個事物對於所有事物。
- 如:所有的人都是哺乳動物。
- 特稱:稱呼某個事物對於特定事物。
- 如:有些哺乳動物有兩隻腳。
- 單稱:稱呼某個事物對於一個事物。
- 如:鴨嘴獸不是胎生動物。
聯項
[编辑]- 肯定判斷:稱呼對象具有某屬性。
- 如:所有的人都是哺乳動物。
- 否定判斷:稱呼對象不具有某屬性。
- 如:鴨嘴獸不是胎生動物。
性質判斷
[编辑]根據量項與聯項的不同組合,可分成六種:
- 單稱肯定
- 如:人是胎生動物。
- 單稱否定
- 如:鴨嘴獸不是胎生動物。
- 特稱肯定
- 有些哺乳動物有兩隻腳。
- 特稱否定
- 有些哺乳動物沒有兩隻腳。
- 全稱肯定
- 如:所有的人都是哺乳動物。
- 全稱否定
- 如:所有的鴨嘴獸不是胎生動物。
非形式邏輯
[编辑]非形式邏輯--非以一套規則,而是以約定來達成論證。
謬誤
[编辑]错误观点