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