4. 三段論推理
4.1 基本定義
「三段論推理」(Syllogistic Inference)是古典邏輯重點研究的推理，曾經幾乎成為古典邏輯的同義詞。在古典邏輯中，「三段論」(Syllogism)是指由三個命題組成的推理，其中兩個是「前提」(Premise)，其餘一個是「結論」 (Conclusion)。根據三個命題的內部結構，古典邏輯學家把三段論區分為不同的「格」(Figure)和「式」(Mood)。此外，古典邏輯還有一個獨特的「周延性」(Distribution)概念：全稱命題(即包含「所有」的命題)的主語以及否定命題的謂語是周延的，而特稱命題(即包含「有(至少一個)」的命題)的主語以及肯定命題的謂語則是不周延的。
