Лекція 6. Умовиводи. Дедуктивні умовиводи

1.Загальна характеристика умовиводів.

2. Види умовиводів.

3. Умовні умовиводи.

4. Умовно-категоричні умовиводи.

5. Розподільно-категоричні умовиводи.

6. Умовно-розподільні умовиводи (леми).

7. Простий категоричний силогізм.

8. Фігури простого категоричного силогізму і їх особливі правила.

9. Модуси простого категоричного силогізму.

10. Скорочені, складні і складно-скорочені умовиводи: ентимема, полісилогізм, соріт, епіхейрема.

1. Загальна характеристика умовиводів.

Умовиводи – це форма мислення, чи логічна операція, за допомогою якої виводиться нове судження на основі одного чи більше відомих суджень. Відомі судження називаються посилками умовиводу. Нове судження, яке утворюється в результаті співставлення посилок, називається висновком.

Наприклад: Всі студенти ІІ курсу вивчають логіку

Петренко – студент ІІ курсупосилки

Таким чином, Петренко вивчає логіку висновок

Умовиводи діляться на дедуктивні і недедуктивні. Дедукція (від лат. deductio виведення).

Дедуктивні умовиводи: в основі лежить відношення логічного слідування: з судження “” логічно виходить судження “” тоді і тільки тоді, коли:

• імплікація “” є логічним законом;

• “” і “” зв’язані за змістом.

Недедуктивніумовиводи: між посилками і висновком немає закону логічного слідування. За допомогою недедуктивних умовиводів ми отримуємо ймовірне знання.

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

Наприклад:

+ + + - - + - + + + - - + -

+ - - - + + - + - - - - + +

- + + - - + + - + + + + - -

- + - + ++ + - + - + + + +

дедуктивний умовивід недедуктивний умовивід

2. Види умовиводів: (дедуктивних).

Основні види умовиводів:

• умовні:

• умовно-категоричні;

• розподільно-категоричні;

• умовно-розподільні (леми).

3. Умовні умовиводи.

Умовні умовиводи: це такі умовиводи, посилки і висновок яких є умовними (імплікативними) судженнями.

А→В

В→СА, В, С – прості позитивні чи негативні судження

А→С

Наприклад: Якщо хворому зробити операцію, то він одужає.

Якщо він одужає, вінзможе повернутися до роботи.

Таким чином, якщо хворому зробити операцію, він зможе повернутися до роботи.

4. Умовно-категоричний умовивід

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

1. правило: стверджуючий модус (ствердження антецеденту веде до ствердження консеквенту):

А→В Наприклад: Якщо студент вивчає логіку, то він підвищує культуру А мислення.

В Студент К. вивчає логіку.

Таким чином, студент К. підвищує культуру мислення.

2. правило: заперечуючий модус (заперечення консеквенту веде до заперечення антецеденту):

А→В Наприклад: Якщо рослину не забезпечити вологою, вона загине

В Рослина не загинула.

Таким чином, рослину забезпечили вологою.