Розділ Х. Умовивід

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

Серед мислиннєвих операцій важливе місце займає умовивід. На відміну від поняття та судження умовивід є логічною операцією, завдяки якій із однієї або декількох думок виводять нову думку. Можна навести й таке визначення умовиводу:

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

Умовивід складається із:

- засновків та

- висновку.

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

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

Наприклад,

1. Будь-який обвинувачуваний має право на захист.

2. Мій приятель є обвинувачуваним.

3. Отже, мій приятель має право на захист.

1 і 2 судження будуть засновками, а 3 судження - висновком.

Процес отримання нової думки (надалі - виведення), базується на певних правилах та законах логіки. Тому виведення в умовиводі носить закономірний характер. Це зумовлює таку особливість умовиводу, на відміну від поняття і судження, що він характеризується не адекватністю, істинністю або хибністю, а правильністю чи неправильністю.

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

- дедуктивні та

- індуктивні.

Назва "дедуктивний умовивід" походить від латинського слова deductio (виведення).

У дедуктивних умовиводах між засновками та висновком існує відношення логічного слідування.