Правила посылок /п п/

П П - 1. Хотя бы одна из посылок должна быть утвердительной; из двух отрицательных посылок заключение не следует. Например:

Ни один студент не является преподавателем

Студент Данилов не является преподавателем

?

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

П П - 2. Если одна из посылок - отрицательное суждение, то и заклю­чение должно быть отрицательным. Пример правильного вывода:

Ни один папоротник никогда не цветет

________Это растение цветет_______

Это растение не папоротник

П П - 3. Хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует. Например:

Некоторые студенты родились в Москве

Некоторые студенты родились на Урале

?

П П — 4. Если одна из посылок — частное суждение, то и заключение должно быть частным. Например:

Все депутаты - избранники народа

__________Некоторые юристы – депутаты_____-

Некоторые юристы - избранники народа

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I), частноотрицательные (О). На основе их различного сочета­ния выделяют модусы простого категорического силлогизма.

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

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

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

Общую схему полисиллогизма, состоящего из двух простых, можно представить следующим образом:

Все А есть В

Все С есть А

Все С есть В

___Все D есть С___

Все D есть В

• прогрессивный полисиллогизм.

Может быть и другая схема:

Все А есть В

Все В есть С

Все А есть С

__Все С есть D__

Все А есть О

- регрессивный полисиллогизм.

Разновидностями полисиллогизма являются сорит и эпихейрема.

Сорит - сокращенный полисиллогизм, в котором пропущены заключе­ния предшествующих силлогизмов и одна из посылок последующего силло­гизма. Например:

Всякое общественно опасное деяние наказуемо

Преступление - общественно опасное деяние

_____Склонение к потреблению наркотических средств – преступление_____

Следовательно, склонение к потреблению наркотических средств наказуемо

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

Все А есть В

Все С есть А

__Все D есть С__

Все D есть В

• прогрессивный сорит;

Все А есть В

Все В есть С

__Все С есть D__

Все А есть D

- регрессивный сорит.

Эпихейрема - сокращенный силлогизм, в котором обе посылки представ­ляют собой энтимемы. Примером эпихейремы является такое рассуждение:

___Ложь заслуживает презрения, так как она безнравственна___

Лесть есть ложь, так как она есть умышленное искажение истины

Лесть заслуживает презрения

4. Условные и разделительные суждения.

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

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

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

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