УМОВИВІД ТА ЙОГО ВИДИ
Умовиводом називається форма мислення, за допомогою якої з двох або кількох суджень виводиться нове судження, котре містить в собі нове знання. Термін “умовивід” вживається у подвійному значенні. Це і розумовий процес виведення нового знання із суджень, і саме нове судження, як наслідок розумової операції. Поняття і судження входять до складу умовиводу як його елементи. Будь-який умовивід складається із засновків і висновку. Засновки – це судження, із яких виводяться нові знання. Висновок – судження, виведене із засновків.
Умовивід – це логічний спосіб здобування нового знання. Об’єктивною підставою умовиводу є зв’язок і взаємозалежність предметів і явищ дійсності. Якщо предмети дійсності не пов’язані між собою, то й судження, що відображають ці предмети, не будуть логічно пов’язані між собою і тому побудувати умовивід не можна. Наприклад, із двох суджень: “Будь-який злочин є діяння суспільно небезпечне”, “усі дерева рослини” – не можна зробити ніякого логічного висновку, тому що ці судження логічно не пов’язані. У будь-якому умовиводі розрізняють три види знань:
1) Вихідне знання, те з якого виводяться нові знання – воно міститься в засновках умовиводу;
2) Висновкові знання – міститься у висновку;
3) Обґрунтовуюче знання – котре пояснює правомірність висновку; Знання бувають безпосередні та опосередковані (висновкові). Безпосередніми називаються знання, здобуті за допомогою безпосереднього сприймання явищ або предметів.
Опосередкованими знаннями називаються знання, які ми виводимо з раніше добутих знань.
Умовиводи бувають різних видів. За кількістю засновків умовиводи поділяються на безпосередні та опосередковані.
Безпосереднім називається такий умовивід, у якому висновок робиться із одного засновку.
Опосередкованим називається такий умовивід, у якому висновок робиться з двох або більше засновків.[1]
За спрямованістю процесу міркування опосередковані умовиводи поділяються на дедуктивні та індуктивні.
У дедуктивних умовиводах висновок іде від знання більшого ступеня спільності до знання меншого ступеня спільності.
В індуктивних умовиводах висновок іде від знання окремих, одиничних предметів до знання всіх предметів класу.
БЕЗПОСЕРЕДНІ УМОВИВОДИ
Безпосередні умовиводи – це одержання нових знань шляхом перетворення логічної форми одного і того ж судження.
Безпосередні умовиводи можна робити з простих і складних суджень. Із простих атрибутивних суджень безпосередні умовиводи робляться або завдяки логічним операціям (трансформації суджень), або через їх відношення (у “логічному квадраті”).
Безпосередні умовиводи через трансформацію суджень можна отримати завдяки операціям перетворення суджень або обернення суджень. Загальне правило для таких умовиводів полягає в тому, що термін, не розподілений в засновку, не може бути розподіленим і у висновку.
Ми можемо отримати такі умовиводи через обернення суджень.
Із загальностверджувальних суджень-засновків можемо отримати або частково стверджувальні судження-висновки (якщо у вихідних судженнях розподілений лише суб’єкт), або загальностверджувальні судження-висновки (якщо у вихідних судженнях розподілені і суб’єкт, і предикат).
Наприклад:
1. ............