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

У процесі міркування прості силогізми виступають в логічному зв'язку один з одним, утворюючи ланцюг силогізмів, в якій висновок попереднього силогізму стає посилкою подальшого. Попередній силогізм називається проашогізмом, наступний - епісімогізмом.

З'єднання простих сі.іогізмов, в яка висновок попереднього силогізму (просіллогізма) стає посилкою подальшого сі.глогізма (епісі.іогізма), називається складним силогізмів, або полисиллогизм.

Розрізняють прогресивний і регресивний полисиллогизм.

У прогресивному полисиллогизм висновок просіллогізма стає більшою посипанням епісіллогізма. Наприклад:

Суспільно небезпечне діяння (А) карається (В).
Злочин (С) - суспільно небезпечне діяння (А).

-------------------------------------------------------------------------

Злочин (С) карається (В).
Давання хабара (D) - злочин (С).

-------------------------------------------------------------------------

Давання хабара (D) карна (В).

В регресивному полісі.гюгізме висновок просіллогізма стає меншою посилкою епісіллогізма. Наприклад:

Злочини у сфері економіки (А) - суспільно небезпечне діяння (В).
Незаконне підприємництво (С) - злочин у сфері економіки (А).

------------------------------------------------------------------------------------------------

Незаконне підприємництво (С) - суспільно небезпечне діяння (В).

------------------------------------------------------------------------------------------------

Суспільно небезпечні діяння (В) карані (D).
Незаконне підприємництво (С) - суспільно небезпечне діяння (В).

------------------------------------------------------------------------------------------------

Незаконне підприємництво (С) карається (D).

Обидва наведених прикладу представляють собою з'єднання двох простих категоричних силогізмів, побудованих за модусу AAA 1-ї фігури. Однак полисиллогизм може бути з'єднанням більшого числа простих силогізмів, побудованих за різними модусу різних фігур. Ланцюг силогізмів може включити в себе як прогресивну, так і регресивну зв'язок.

Складними можуть бути чисто уиовние силогізми, які мають схему:

(p → q) Λ (q → r) Λ (r → s) Λ ... Λ (r₁ → s₁)

---------------------------------------------------------------------------

p → s₁

Зі схеми видно, що, як і в простому чисто умовному умовиводі, висновок являє собою импликативную зв'язок заснування першої посилки зі слідством останньої.

У процесі міркування полисиллогизм приймають зазвичай скорочену форму; деякі з його засновків опускаються. Полисиллогизм, в якому пропущені деякі посилки, називається сорітом. Розрізняють два види соритів: прогресивний полисиллогизм з пропущеними більшими посилками епісіллогізмов і регресивний полисиллогизм з пропущеними меншими засновками.