23. Умозаключения без учета внутренней структуры суждений.

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

Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные (импликативные) и разделительные (дизъюнктивные) суждения (высказывания), выступающие в разных сочетаниях друг с другом или с простыми категорическими суждениями. К ним относятся чисто-условные, условно-категорические, разделительно-категорические, условно-разделительные умозаключения.

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

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

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

Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.

1. В утверждающем модусе (modus ponens) рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

2. В отрицающем модусе (modus tollens) рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Разделительно-категорическим называется умозаключение, в котором одна из посылок - разделительное, а другая посылка и заключение - категорические суждения.

Условно-разделительным (лемматическим, lemma (лат.) - предположение) называется умозаключение, в котором несколько посылок условные суждения, а одна - разделительное суждение. Разделительное суждение может содержать 2, 3 и больше альтернатив (дизъюнктов), поэтому такие умозаключения делятся на дилеммы (2 альтернативы), трилеммы (3 альтернативы) и т.д.

Различают два вида дилемм (dillemma - двойное предположение, иногда понимается как сложный выбор из двух нежелательных альтернатив по принципу “из двух зол надо выбирать меньшее”): конструктивную (созидательную или утверждающую) и деструктивную (разрушительную или отрицательную), каждая из которых делится на простую и сложную.

В силлогизме, как и в любом правильном умозаключении, не может содержаться информация, отсутствующая в посылках. Заключение только развертывает информацию посылок, но не может вносить новую информацию, отсутствующую в них.

26. Сокращенные, сложные и сложносокращенные силлогизмы

Полисиллогизм (сложный силлогизм) – это соединение простых категорических силлогизмов, в котором заключение предшествующего силлогизма становится посылкой последующего. Различают прогрессивный и регрессивный полисиллогизмы.

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

В регрессивном полисиллогизме заключение предшествующего силлогизма становится меньшей посылкой последующего.

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

Различают два вида соритов:

1) гоклениевский (прогрессивный);

2) аристотелевский (регрессивный).

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

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

К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется такой сложносокращенный силлогизм, обе посылки которого являются сокращенными простыми категорическими силлогизмами (энтимемы). Например: «Благородный труд заслуживает уважения, так как благородный труд способствует прогрессу общества». Данная посылка эпихейремы представляет собой энтимему, у которой одна из посылок опущена. Эпихейремы так же, как и энтимемы, значительно упрощают рассуждения.

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

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