Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
1. Логика - зачёт / УМК Логика для ЮФ грицкевич / Умозаключения Дедуктивные.ppt
Скачиваний:
68
Добавлен:
20.04.2015
Размер:
226.82 Кб
Скачать

К сложным и сложносокращенным силлогизмам относятся

полисиллогизмы, сориты, эпихейрема.

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

Схема прогрессивного

Схема регрессивного

полисиллогизма:

полисиллогизма:

Все А есть В.

 

Все С есть А.

Все В есть С.

Значит, все С есть В

Все А есть В.

Все D есть С.

Все С есть D.

Все D есть В.

Все А есть С.

Все Е есть D.

Все А есть D.

Все Е есть В.

 

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

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

регрессивный сорит:

Все А есть В.

 

Все С есть А. Все D есть С. Все Е есть D. Все Е есть В.

Все В есть С. Все А есть В. Все С есть D. Все А есть D.

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

Все А суть С, так как А суть В. Все D суть А, так как D суть Е. Все D суть С.

Сокращенный силлогизм (энтимема).

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

(от греч. — в уме).

Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности».

Лицо, совершившее преступление (М), подлежит уголовной ответственности (Р).

Н. (S) совершил преступление (М).

Н. (S) подлежит уголовной ответственности (Р).

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

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

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

(в).

Если они признаются соавторами изобретения (в), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (с)

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

Схема чисто

Если

а, то в.

 

условного умозаключения:

Если в,

то с.

 

Если а, то с.

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

1) В утверждающем модусе (modus ponens)

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

Например:

Если иск предъявлен недееспособным лицом(а), то суд оставляет иск без рассмотрения(в).

Иск предъявлен недееспособным лицом (а). Суд оставляет иск без рассмотрения (в).

Можно строить достоверные умозаключения от утверждения основания к утверждению

следствия.

Схема: Если а, то в.

а

в