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

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

Наприклад:

Кожен громадянин України має право взяти кредит в банку.

Петренко - громадянин України.

Отже, Петренко має право взяти кредит в банку.

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

Будь-який умовивід складається із засновків і висновку.

Засновки — це судження, із яких виводиться нове знання.

Висновок судження, виведене із засновків.

Наприклад, візьмемо умовивід:

Будь-яке приватне підприємство мас право здійснювати свою діяльність без втручання держави.

«Міко» - приватне підприємство

3) Отже, «Міко» має право здійснювати свою діяльність без втручання держави.

У цьому умовиводі перші два судження є засновками, а третє судження, яке сто'Ггь після слова “отже ”, — висновок.

Умовивід — це логічний засіб здобування нового знання. У процесі умовиводу здійснюється перехід від відомого до невідомого. Це не означає, звичайно, що нове знання можна вивести із сполучення будь-яких суджень. Умовиводом є не будь-яке сполучення, а тільки таке, у якому між судженнями існує логічний зв'язок, який відображає взаємозв'язок предметів і явищ самої дійсності. Якщо ж предмети дійсності не пов’язані між собою, то й судження, що відображають ці предмети, логічно будуть не пов'язаними, і тому вивести із них якесь нове знання, тобто побудувати умовивід, не можливо. Наприклад, із таких двох суджень: “Всі підприємці отримують дохід у вигляді прибутку", 'Усі дерева є рослини” — не можна зробити ніякого висновку тому, що ці судження відображають об'єкти різних предметних областей, логічно не пов'язані. Отже, сполучення цих суджень не є умовиводом.

Висновок в умовиводі може бути або істинним, або хибним. Для того щоб висновок умовиводу був істинним, необхідно дотримуватися таких двох умов:

1. Засновки, з яких роблять висновок, мають бути істинними.

2. Умовивід має бути побудований логічно правильно.

Недотримання однієї з цих умов призводить до того, що висновок із засновків стає хибним.

Умовиводи бувають різних видів. За спрямованістю процесу міркування умовиводи поділяються на дедуктивні та індуктивні.