Складні та складноскорочені силогізми (полісилогізми, сорити, еігіхейрема)
Міркування рідко виступає у формі одного силогізму. У процесі пізнання часто застосовується ланцюжок умовиводів, поєднаних між собою за змістом. Таке поєднання називають полісилогізмом ("полі" з грецької означає "багато").
Полісилогізм - це міркування, яке утворюється із двох або більше силогізмів, поєднаних між собою таким чином, що висновок попереднього силогізму (просилогізму) стає одним із засновків наступного (епісилогізму).
Наприклад:
Продукти, які містять вітаміни, є корисними.
Фрукти є продуктами, які містять вітаміни
Фрукти корисні
Фрукти корисні
Цитрусові плоди - фрукти
Цитрусові плоди корисні
Цитрусові плоди - фрукти
Лимони суть цитрусові плоди
Лимони корисні
Розрізняють два види полісилогізмів - прогресивний і регресивний. У прогресивному полісилогізмі висновок попереднього силогізму стає більшим засновком наступного. У такому полісилогізмі міркування рухається від більшого ступеня загальності до знання меншого ступеня загальності. В регресивному полісилогізмі висновок просилогізму стає меншим засновком епісилогізму. В такому полісилогізмі міркування рухається від менш загального до більш загального. Аналіз полісилогізму зводиться до аналізу його складових силогізмів і визначення їх логічної правильності.
У процесі мислення полісилогізми часто застосовуються у скороченій формі - у формі соритів ("сорит" з грецької означає "купа", "нагромадження"). Оскільки є два види полісилогізмів, то і є два види соритів - прогресивний і регресивний.
Прогресивний або гокленіївський сорит утворюється із прогресивного полісилогізму, в якому опускаються висновки попередніх силогізмів і більші засновки наступних. Він починається засновком, який містить предикат висновку і закінчується засновком, який містить суб'єкт висновку. Скоротивши наведений вище полісилогізм, отримаємо сорит:
Продукти, які містять вітаміни, є корисні
Фрукти є продуктами, які містять вітаміни
Цитрусові плоди суть фрукти
Лимони суть цитрусові плоди
Лимони корисні.
Регресивний або арістотелівський сорит утворюється із регресивного полісилогізму шляхом відкидання висновків просилогізмів і менших засновків епісилогізмів. Він починається засновком, який містить суб'єкт висновку і закінчується засновком, який містить предикат висновку.
Якщо у міркуванні засновками виступають скорочені прості категоричні силогізми (ентимеми), то таке міркування називається епіхейремою.
6.