Умовивід – це форма мислення, в якій з одного або кількох суджень виводиться нове судження, що містить нове знання.
Сутність, структура та види умовиводів
Умовивід як складна форма мислення
Ми приступаємо до вивчення останньої з основних логічних форм. Можливо, вивчення попередніх форм мислення здалося вам справою дещо абстрактною та відірваною від життя. Пов’язане це з тим, що, вивчаючи поняття та судження, ми наше мислення штучно дробили на складові частини. Але це було необхідно для того, щоб підготуватися до засвоєння найскладнішої логічної форми – умовиводу.
Саме у формі умовиводів ми й мислимо. Умовиводи пов’язані з вивідними знаннями – тобто знаннями, виведеними з тих, що вже є. Ще ці знання називаються опосередкованими – на відміну від безпосередніх, отриманих за допомогою органів почуттів. Логічною формою отримання вивідних знань є умовивід.
Термін «умовивід» застосовується у подвійному значенні. Під умовиводом розуміють:
1) процес виведення нового знання з суджень;
2) саме нове судження як результат логічної операції.
Будь-який умовивід складається із засновків та висновку.
Засновки – це судження, з яких виводиться нове знання.
Висновок – судження, виведене із засновків.
Наприклад, візьмемо умовивід: «Береза – дерево. Дерево – рослина. Отже, береза – рослина». У цьому умовиводі перші два судження є засновками, а третє, що стоїть після слова «отже» – висновок.
Зрозуміло, що нове знання не можна вивести з поєднання будь-яких суджень. Для умовиводу необхідно, щоб між засновками був логічний зв’язок. Наприклад, із таких двох суджень, як «Усі дерева – рослини» та «Залізо – метал» не можна зробити ніякого висновку, тому, що ці судження відображають об’єкти різних предметних областей, ніяк логічно не пов’язані. Отже, поєднання цих суджень не є умовиводом.
У будь-якому умовиводі необхідно розрізняти три види знань:
1) вихідне знання – те, з якого виводиться нове знання – міститься у засновках умовиводу;
2) вивідне знання – міститься у висновку;
3) обгрунтовуюче знання – знання, що пояснює правомірність висновку із засновків. Саме це знання не міститься у судженнях, що входять до складу умовиводів, але без нього правильного умовиводу зробити не можна. Воно міститься в аксіомах та правилах умовиводів і складає логічну основу висновків, тобто чому саме такий висновок з цих суджень правомірний та невідворотній.
За ступенем загальності засновків та висновку умовиводи поділяються на три групи:
1) дедуктивні, коли думка йде від більш загальних знань до менш загальних;
2) індуктивні, коли думка розвивається від менш загальних знань до більш загальних;
3) традуктивні (за аналогією), коли засновки і висновок виражаютиь знання однакового ступеню загальності.
Лише у дедуктивних умовиводах при переході від загального до часткового висновок завжди єдино можливий, обов’язковий та невідворотній.
Тому вони мають найбільше значення.
Приклад дедуктивного умовиводу:
Усі підприємства країни повинні вести бухгалтерський облік згідно з установленими правилами.
ТОВ «Ромашка» – підприємство цієї країни.
Отже, ТОВ «Ромашка» повинне вести бухгалтерський облік згідно з установленими правилами.
Тут висновок іде від знання про цілий клас – усі підприємства, до знання про окремого представника цього класу – ТОВ «Ромашка».
Дедуктивні умовиводи у першу чергу поділяються на безпосередні та опосередковані.
Безпосереднім називається такий дедуктивний умовивід, у якому висновок робиться з одного засновку.
Опосередкованим називається такий дедуктивний умовивід, у якому висновок робиться з двох засновків.