Логическая цепочка с опущенными промежуточными звеньями
Сорит (от греч. soros — «куча») — форма дедуктивного умозаключения, представляющая собой серию силлогизмов, связанных друг с другом так, что предикат предыдущего является субъектом последующего. В явном виде формулируются только первая посылка и заключение, а все промежуточные посылки опускаются как самоочевидные или излишне громоздкие.
Близкие слова
- сокращённый силлогизмБолее общий термин, который может включать и энтимемы (с одним пропуском), тогда как сорит подразумевает именно цепочку.
- цепочка умозаключенийОписывает структуру процесса, но не обязательно указывает на опущение промежуточных посылок.
«Все квадраты — прямоугольники; все прямоугольники имеют равные диагонали; значит, все квадраты имеют равные диагонали» (в устной речи часто говорят: «Квадрат — это прямоугольник, а у всех прямоугольников диагонали равны, поэтому и у квадрата они равны», опуская формальные связки).
«А есть Б; Б есть В; В есть Г; значит, А есть Г». В речи это может звучать как: «А есть Б, а значит, А есть Г», где звенья про Б и В подразумеваются.
«Он опоздал на поезд, а значит, не успеет на встречу» (подразумеваются промежуточные звенья: поезд уйдёт без него; встреча начнётся до его приезда).
Отличие сорита от энтимемы и обычного силлогизма
Часто возникает путаница между тремя понятиями. Обычный категорический силлогизм содержит две посылки и одно заключение, все части которых явно названы. Энтимема — это сокращённый силлогизм, в котором пропущена одна из посылок или само заключение (например: «Он человек, значит, он смертен», где опущена посылка «Все люди смертны»).
Сорит же является более сложной структурой. Это цепочка силлогизмов, свёрнутая в одну фразу. Если энтимема пропускает одно звено, то сорит может пропускать несколько промежуточных посылок, оставляя только начало цепи и финальный вывод. Название «сорит» (куча) отражает этот эффект накопления смысловых слоёв, которые слушатель должен восстановить сам.
Структура сорита
Классический сорит строится по принципу передачи термина. Пусть у нас есть цепочка: А есть Б, Б есть В, В есть Г. Логически из этого следует, что А есть Г. В форме сорита мы можем сказать только: «А есть Б... значит, А есть Г», опустив звенья про Б и В. Однако для корректности логического вывода все промежуточные связи должны быть истинными и понятными контексту.
Существует два основных типа соритов: прогрессивный (категорический) и регрессивный. Прогрессивный идёт от общего к частному или от причины к следствию, выстраивая цепь вперёд. Регрессивный (или ретроспективный) часто используется в доказательствах, где вывод строится назад от заключения к исходным посылкам, также с опущением промежуточных шагов.
Где встречается сорит
Сориты широко используются в юриспруденции, математических доказательствах и философских трактатах, где важно не перегружать текст лишними словами. Например, в юридических аргументах: «Договор заключён; значит, он имеет юридическую силу», подразумевая цепочку норм закона, которые связывают факт заключения с фактом силы.
В повседневной речи мы часто используем сориты бессознательно. Важно помнить, что ошибка в любом пропущенном звене сорита делает всё умозаключение неверным. Поскольку эти звенья не произнесены вслух, их трудно проверить оппоненту, что иногда используется в манипулятивной риторике для создания ложных ассоциаций.