「大前提−小前提−結論」という形式を持った推論
目的に従って行為を導き出すための推論
全称肯定判断・全称否定判断・特殊肯定判断・特殊否定判断の4つの組み合わせにより256通りの三段論法が存在する
あるAはBでない
すべてのAはBである
すべてのAはBでない
あるAはBである