Тема 5. Міркування. Лекція 3. Опосередковані дедуктивні умовиводи. Розділові умовиводи:

План

Лекція 3. Опосередковані дедуктивні умовиводи.

1. Розділові умовиводи:

а) суто розділовий умовивід;

б) розділово-категоричний умовивід;

в) розділово-умовний умовивід.

1. Умовні умовиводи:

а) суто умовний умовивід;

б) умовно-категоричний умовивід;

в) умовно-розділовий умовивід.

1. Окрім простих категоричних силогізмів, які складаються лише з категоричних висловлювань, існують умовиводи, в яких присутні розділові та умовні висловлювання.

Розділовий умовивід – це дедуктивний умовивід, в якому присутні розділові висловлювання і перший засновок завжди є розділовим. В залежності від того, яким висловлюванням є другий засновок в умовиводі (розділовий, категоричний чи умовний) розрізняють: суто розділовий, розділово-категоричний або розділовий умовивід.

А) Розділово-категоричний умовивід – це розділовий умовивід, в якому другим засновком є категоричне висловлювання, а висновком – категоричне або розділове. Розділово-категоричний умовивід має два модуси: стверджувально-заперечний і заперечно-стверджувальний.

Схема модусів розділово-категоричного умовиводу: 1) модус заперечно-стверджувальний:

1) А є або В або С або Д 2) S є Р або Р₁ або Р₂

А не С і ДS не є Р₁ чи Р₂ (схема)

А є В S є Р₁

3) А В С

В С (знаки логіки)

А

2) модус стверджувально-заперечний:

1) А є або В або С або Д 2) Sє Р або Р₁або Р ₂

А є Д ___________S є Р ₂ _________ (схема)

А не є ні С ні В S не є ні Р ні Р₁

3) А В С

А ______

В С (знаки логіки)

Істинність висновку у розділово-категоричному умовиводі залежить: 1) від того, чи перший засновок поєднаний строгою диз’юнкцією; 2) від того, чи в розподілу поняття висловлення; в) розділово-умовний умовивід – це розділовий умовивід, в якому першим засновком є розділове висловлення, а іншими засновками є умовні висловлювання. При цьому кількість умовних висловлювань залежить від кількості членів поділу в розділовому висловленні.

Формула простого модусу розділово-умовного умовиводу:

1. А є або С або Д.

2. Якщо А є Д, то А є К.

3. Якщо А є С₁, то є К

А є К

Формула складного модусу розділово-умовного умовиводу:

1. А є або С або Д.

2. Якщо А є С₁, то А є К.

3. Якщо А є Д₁, то А є М.

А є або К або М

1. Засн. Право або дане природою або ґрунтується на домовленості між людьми.

2. Право не дане природою.

Отже воно ґрунтується на домовленості.

А є або В або С.

А є С заперечно-стверджувальний

2. Умовний умовивід – це опосередкований дедуктивний умовивід, до якого входять умовні висловлювання і перший засновок завжди є умовним. Залежно від того, якими є інші засновки умовиводу (умовними, категоричними чи розділовими), розрізняють: суто умовний, умовно-категоричний і умовно-розділовий умовивід.

а) Суто умовний умовивід – це умовний умовивід, в якому засновок і висновок є умовними.

Формула умовного умовиводу:

1. Якщо А є Р, то С є Д.

2. Якщо С є Д, то К є М.

Якщо А є В, то К є М.

Умовивід при цьому робиться наслідок, наслідку є наслідком самої підстави.

б) Умовно-категоричний умовивід – це умовний умовивід, в якому другий засновок і висновок є категоричними висловлюваннями. Існує два види умовно-категоричного умовиводу:

1) коли умовне висловлювання є з невиділяючими засновками; 2) коли умовне висловлювання з виділяючи ми засновками. Перший вид має два модуси: стверджувальний і заперечний.

Схеми умовно-категоричного умовиводу

Стверджувальний модус 1. Якщо А то В; А В 2. А В; А

Заперечний модус 1. Якщо А В; В А 2. А В; В

В А

3. А В; А 3. А В; В

В А

4. А В; А 4. А В; В

В А

В стверджувальному модусі менший засновок стверджує підставу більшого засновку, а висновок стверджує наслідок більшого засновку.

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

в) Умовно-розділовий умовивід – це умовний умовивід, до складу якого крім умовного входять ще кілька розділових висловлювань.

В залежності від кількості альтернатив розділяють: дилему, трилему і полімему.

Дилеми поділяють на конструктивні і деструктивні.

Конструктивна дилема – це дилема, до складу якої входять наслідки умовних висловлювань засновків.

Деструктивна дилема – це дилема, яка складається з заперечень, підстав, умовних засновків.

Залежно від структури висновку, дилеми поділяються на прості і складні.

Проста дилема – це дилема, висновком якої є наслідок умовного висловлювання або заперечення підстав.

Складна дилема – це дилема, висновком якої є або диз’юнкція наслідків умовних засновків або диз’юнкція заперечень підстав умовних засновків.

Схема простої конструктивної дилеми:

1. А В, В С, А В

С

2. А В, С D, А С

В D

Схема простої деструктивної дилеми:

1. А В, А С, В С

А

Складна деструктивна дилема:

1. А В, С D, В D

А C

Логіка

Кількість годин на тему:

Дата добавления: 2014-01-07