1. Розділ формальної логіки, що вивчає логічні форми висловлювань (силогізмів) та правила висновку з двох суджень (засновків) третього судження (висновку).
2. Традиційна логічна теорія, заснована Арістотелем, яка систематизує дедуктивні міркування, що мають структуру силогізму.