Формальная логика есть не что иное, как учение о свойствах, общих всякой классификации, — разъясняет Анри Пуанкаре. — Она учит нас, что два солдата, являющихся частью одного полка, тем самым принадлежат к одной и той же бригаде, следовательно, к одной и той же дивизии; к этому-то и сводится вся теория силлогизмов[1].
Простой категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных суждений: двух посылок и одного заключения.
Простой категорический силлогизм состоит из трех простых атрибутивных суждений (посылок и заключения) и включает в себя три понятия — «термины простого категорического силлогизма».
Тут "распределен" значит "используется во всей полноте", т.е., суждение касается всех значений термина (напр., "все люди", "ни одна рептилия").
Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках:
Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения.