Умовивід ЯК ФОРМА МИСЛЕННЯ. БЕЗПОСЕРЕДНІ Умовиводи
Під висновком розуміється форма мислення, в якій з одного або декількох суджень на підставі певних правил виведення виходить нове судження.
Структура будь-якого умовиводу має на увазі посилки (вихідні судження), укладення (висновки з цих посилок) і логічний зв'язок між посилками і висновком.
Логічний перехід від посилок до висновку називається висновком. Наприклад: «Всі метали проводять електричний струм. Залізо - метал. Залізо проводить електричний струм ».
Деякі істини встановлюються без будь-яких міркувань, шляхом простого розсуду того, що показує спостереження, або того, що представляється очевидним для думки. Так, наприклад: «Зараз небо похмуро». Істинність цього судження доводити не доводиться, тому що вона очевидна.
Умовивід є витяг нової істини з раніше визнаних і відомих істин. Умовивід не просто приєднує нову істину до відомим, а виводить нову істину з посилок таким чином, що її приєднання до посилок зізнається як абсолютно необхідне і обов'язкове для думки.
Так як умовивід дає у висновку нову думку і розкриває необхідність зв'язку між посилками і висновком, то умовивід є дуже важливою формою логічного мислення. Зв'язок між поняттями, розкривається висновком, необхідна. Якщо посилки істинні, а в ході висновки не зроблено жодної логічної помилки, то висновок завжди буде істинним. Умовивід розкриває необхідність зв'язку, що існує між посилками і висновком.
Безпосередніми висновками називаються дедуктивні умовиводи, що робляться з одних посилок. До них належать такі: перетворення, звернення, протиставлення предикату та умовиводи по «логічного квадрату».
Перетворення - вид безпосереднього умовиводу, при якому змінюється якість посилки без зміни її кількості, при цьому предикат висновку є запереченням предиката посилки. Схема перетворення: 5 є Р; 8 немає НЕ Р.
Зверненням називається такий безпосередній умовивід, в якому в ув'язненні суб'єктом є предикат, а предикатом - суб'єкт вихідного судження, тобто відбувається зміна місць суб'єкта і предиката при збереженні якості судження. Схема звернення: 5 є Р; Рест 5.
Протиставлення предикату - це безпосереднє умовивід, при якому предикатом є суб'єкт, суб'єктом - поняття, яке суперечить предикату вихідного судження, і зв'язка змінюється на протилежну. Його схема: 5 є Р; НЕ Р не є 5.
Умовивід за «логічним квадратом» - це визначення істинності чи хибності одного судження з істинність або хибність іншого.