Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Сорит и эпихейремы

Характеристика эпихейремы

Определение 1

Сорит и эпихейрема – это виды сокращенных силлогизмов.

Прежде, чем рассматривать виды сокращенных силлогизмов, необходимо определить базовые понятия.

Определение 2

Силлогизмы – это дедуктивные умозаключения (вывод для частного случая в них делается на основе общего правила).

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

Пример 1

Пример простого категорического силлогизма:

Все сашины игрушки сложены в коробку.

Мячик – сашина игрушка.


Мячик лежит в коробке.

Простые силлогизмы являются одним из наиболее распространенных видов умозаключения, широко используемым как в научном, так и в повседневном мышлении. Однако на практике строгая логическая структура силлогизма соблюдается редко. По правилам, простой категорический силлогизм включает:

В речи и мышлении обычно упускают (подразумевают, но не проговаривают явно) отдельные элементы, в результате чего получают сокращенную форму силлогизма.

Пример 2

Например, полный вариант силлогизма:

Все слоны не умеют летать.

Эдуард – слон.


Эдуард не умеет летать.

В сокращенной форме он примет вид: «Эдуард не умеет летать, потому что он слон» или «Эдуард не умеет летать, потому что ни один слон не умеет летать». В первом варианте пропущена большая посылка, во втором – меньшая.

Определение 3

Энтимемой называется простой силлогизм, в котором пропущена одна из трех частей (посылка или вывод).

«Сорит и эпихейремы» 👇
Помощь эксперта по теме работы
Найти эксперта
Решение задач от ИИ за 2 минуты
Решить задачу
Найди решение своей задачи среди 1 000 000 ответов
Найти

Из любого силлогизма могут быть получены три энтимемы (в соответствии с пропущенным элементом).

Определение 4

Эпихейремой называется силлогизм, посылками которого служат две энтимемы.

Рассмотрим пример построения эпихейремы.

Для этого сначала возьмем два простых категорических силлогизма.

Первый силлогизм:

Все привычки, вредящие здоровью, есть порок.

Курение вредит здоровью.


Курение – порок.

Опустив большую посылку, получим энтимему: «Курение – порок, потому что оно вредит здоровью».

Второй силлогизм:

Все виды вдыхания дыма препаратов, тлеющих в потоке вдыхаемого воздуха, в целях насыщения организма активными веществами путем всасывания их в дыхательных путях и легких, - это курение.

Табакокурение предполагает вдыхание дыма тлеющих табачных листьев для насыщения организма (через дыхательные пути и легкие) никотином.


Табакокурение – это курение.

Опустив большую посылку, получим энтимему: «Табакокурение – это курение, поскольку оно предполагает вдыхание дыма тлеющих табачных листьев для насыщения организма (через дыхательные пути и легкие) никотином».

Расположив эти энтимемы друг за другом и сделав на их основании вывод, получим новый силлогизм, являющийся эпихейремой:

Курение – порок, потому что оно вредит здоровью.

Табакокурение – это курение, поскольку оно предполагает вдыхание дыма тлеющих табачных листьев для насыщения организма (через дыхательные пути и легкие) никотином.


Табакокурение – это порок.

Таким образом, в составе эпихейремы выделяется три силлогизма:

  • два силлогизма (в виде энтимемы) являются посылочными,
  • третий силлогизм строится из выводов посылочных силлогизмов.

Характеристика сорита

Определение 5

Полисиллогизмом называют два или более простых силлогизма, которые связаны между собой так, что вывод одного из них служит посылкой другого.

Пример полисиллогизма:

Все продукты, содержащие витамины, полезны.

Все фрукты содержат витамины.


Все фрукты полезны.

Яблоко – это фрукт.


Яблоки полезны.

В приведенном примере вывод первого силлогизма выступает в роли большей посылки второго. Такие полисиллогизмы называются прогрессивными. Если же вывод первого силлогизма служит меньшей посылкой второго, то полисиллогизм называют регрессивным.

Пример регрессивного полисиллогизма:

Все звезды имеют высокую температуру.

Солнце – это звезда.


Солнце имеет высокую температуру.

Все горячие объекты излучают тепловую энергию.


Солнце излучает тепловую энергию.

Полисиллогизм может состоять и из большего (чем два) количества простых силлогизмов. Такие полисиллогизмы очень громоздки, и на практике их часто сокращают, пропуская промежуточные выводы. В результате получаются сориты.

Определение 6

Сорит – это сложносокращенный силлогизм; полисиллогизм с пропущенной посылкой последующего силлогизма, являющейся выводом предыдущего силлогизма.

Пример прогрессивного сорита, построенного из рассмотренного прогрессивного полисиллогизма:

Все продукты, содержащие витамины, полезны.

Все фрукты содержат витамины.

Яблоко – это фрукт.


Яблоки полезны.

Пример регрессивного сорита, построенного из регрессивного полисиллогизма:

Все звезды имеют высокую температуру.

Солнце – это звезда.

Все горячие объекты излучают тепловую энергию.


Солнце излучает тепловую энергию.

Для прогрессивных и регрессивных соритов используются специальные названия в честь ученых, впервые их описавших:

  • аристотелевский сорит (прогрессивный) – по имени древнегреческого философа Аристотеля,
  • гоклениевский сорит (регрессивный) – по имени средневекового философа Рудольфа Гоклениуса.

Решить сорит – это значит вывести заключение из предложенных силлогизмов. В случае, когда силлогизмов много, причем сорит не является аристотелевским или гоклениевским, это достаточно сложно сделать. Существуют различные формализованные методы решения соритов. В частности, для этих целей может использоваться мощный метод решения разнообразных логических задач – метод резолюций, предполагающий последовательность действий:

  • исходное предложение разбивают на произведения сумм,
  • каждую сумму (дизъюнкцию) записывают на отдельной строке,
  • вместо доказываемого предложения берут его отрицание, которое тоже записывают на отдельной строке,
  • строки попарно объединяют и сокращают (резольвируют) противоречащие друг другу,
  • если в результате объединения получено пустое множество, можно утверждать, что выявлено противоречие, демонстрирующее истинность доказываемого суждения.
Дата последнего обновления статьи: 12.01.2024
Найди решение своей задачи среди 1 000 000 ответов
Крупнейшая русскоязычная библиотека студенческих решенных задач
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot