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