Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Аликин В.А. и др. Логика. Учеб. пос., 2008.doc
Скачиваний:
3
Добавлен:
01.05.2025
Размер:
1.15 Mб
Скачать

6.7 Условные и разделительные силлогизмы

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

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

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

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

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

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

Общее для посылок суждение (q) в одной из посылок является кон-секвентом, в другой — антецедентом.

Пример:

Если [философское учение утверждает о первичности материи по отношению к сознанию (p)], то [оно является материалистическим (q)]

Е сли [философское учение является материалистическим (q)], то [оно признает чувственное познание основой истины (r)]

Если [философское учение утверждает о первичности материи по отношению к сознанию (p)], то [оно признает чувственное познание основой истины (r)].

Разделительный силлогизм состоит из трех разделительных суждений, два из которых являются посылками, а третье — за­ключением. Структурная формула разделительного силлогизма:

В разделительном силлогизме может приме­няться либо слабая, либо сильная дизъюнкция.

Условно-категорический силлогизм имеет два варианта струк­туры или два модуса: утверждающий, или конструктивный и от­рицающий, или деструктивный.

Формула утверждающего модуса:

Пример:

Если [в экономике страны наблюдается прогрессирующая инфляция (p)], то [реальные доходы населения сокращаются (q)]

[ В экономике страны наблюдается прогрессирующая инфляция (p)]

[Реальные доходы населения в стране сокращаются (q)].

Формула отрицающего модуса:

Пример:

Если [договор заключен двумя субъектами права (p)], то [он является двусторонним (q)]

[ Договор не является двусторонним (¬q)]

[Договор не заключен двумя субъектами права (¬p)].

В разделительно-категорическом силлогизме большая посыл­ка является дизъюнктивным суждением, а меньшая — категори­ческим.

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

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

Формула утверждающе-отрицающего модуса:

Пример:

[Материализм является либо метафизическим (p)], либо [диалектическим (q)]

[Материализм М. В. Ломоносова является метафизическим (p)]

[ Материализм М. В. Ломоносова не является диалектическим (¬q)].

Формула отрицающе-утверждающего модуса:

.

И в утверждающе-отрицающем, и в отрицаюше-утверждающем модусах количество альтернатив в большей посылке логи­чески несущественно. Их может быть любое число больше двух.

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

Лемматические силлогизмы подразделяют на два вида: ди­леммы и полилеммы.

Дилеммой называется условно-разделительный силло­гизм, который содержит две альтернативы.

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

Дилемма имеет два правильных модуса: утверждающий (конструктивный) и отрицающий (деструктивный). Дилемма так­же может быть простой и сложной.

Простой конструктивной называется дилемма, в условной посылке кото­рой два основания при одном следствии.

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

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

Формула простой конструктивной дилеммы:

.

Формула сложной конструктивной дилеммы:

.

Примеры:

Простая утверждающая дилеммы:

Если [в результате действия установлены права собственности (p)], то [оно является сделкой (q)], и если [в результате действия прекращены права собственности (r)], то [оно является сделкой (q)]

[ В результате действий указанных граждан права собственности на данный объект установлены (p)] или [прекращены (q)]

[Действия указанных граждан по поводу объекта являются сделкой (q)].

Сложная утверждающая дилемма:

Если [индивид не нарушает установленные законом права и обязанности (p)], то [он не подлежит ответственности перед законом (q)], а если [индивид нарушает права других граждан (r)], то [он подлежит установленной законом ответственности (s)]

[Данный индивид не нарушил установленных законом прав и обязанностей (p)] или [он нарушил права других граждан (r)]

[Данный индивид либо не подлежит (q)], либо [подлежит установленной законом ответственности (s)].

Формула простой деструктивной дилеммы:

.

Формула сложной деструктивной дилеммы:

.

Примеры:

Простая отрицающая дилемма:

Если [индивид участвует в интервью (p)], то [он отвечает на вопросы интервьюера либо в устной (q)], либо [в письменной форме (r)].

[Данный индивид не отвечает на вопросы интервьюера устно (¬p)] или [письменно (¬q)]

[Данный индивид не участвует в интервью (¬p)].

Сложная отрицающая дилемма:

Если [индивид нарушил устав организации (p)], то [на него налагается дисциплинарное взыскание (q)], а если [индивид совершил кражу (r)], то [он подлежит уголовной ответственности (s)].

[Данный индивид не подвергался дисциплинарному взысканию (¬q)] или [не привлекался к уголовной ответственности (¬s)].

[Данный индивид не нарушил устав организации (¬p)] или [не совершил кражу (¬r)].