Опосередковані висновки, що складаються з кількох (двох і більше) посилок, теж бувають різних видів.

Насамперед виділяються опосередковані висновки з простих суджень і опосередковані висновки зі складних суджень.

Опосередковані висновки з простих суджень, у свою чергу, поділяються на. умовиводи з атрибутивних (категоричних) суджень та висновки з суджень про відносини (реляційні).

І нарешті, висновки з атрибутивних суджень залежно від кількості посилок — двох або більше — поділяються на простий категоричний силогізм та складний (теж категоричний) силогізм.

Простий категоричний силогізм

Найбільш поширеною і важливою формою опосередкованого висновку з простих атрибутивних суджень виступає простий категоричний силогізм (від грец. Syllogismos - висновок, висновок). Наведений вище приклад із Сократом і є класичний приклад такого силогізму.

Детальніше:

Складний категоричний силогізм

Висновок з атрибутивних (категоричних) суджень далеко не завжди вдягається у форму простого силогізму, що включає лише дві посилки. Воно може набувати форми і складного категоричного силогізму, що складається з кількох силогізмів, певним чином пов'язаних між собою. Такий висновок називається полісиллогізмом (від грец. Poly - багато) або складним силогізмом.

Детальніше:

Несилогістичні дедуктивні опосередковані висновки

Крім силогістичних існують ще несиллогістичні дедуктивні опосередковані висновки. Якщо перші є висновки із простих атрибутивних (категоричних) думок, то другі — це висновки з думок про стосунки.

Детальніше: