Умовивід як форма мислення
У процесі пізнання ми набуваємо нові знання. Деякі з них - безпосередньо, в результаті впливу предметів зовнішнього світу на органи чуття. Але більшу частину знань - шляхом виведення нових знань з знань вже наявних. Ці знання називаються опосередкованими, або вивідними.
Безпосередні умозаключення
Судження, що містить нове знання, може бути отримано за допомогою перетворення судження. Так як вихідне (преобразуемое) судження розглядається як посилка, а судження, отримане в результаті перетворення, - як висновок, умозаключення, побудовані за допомогою перетворення суджень, називаються безпосередніми. До них відносяться: 1) перетворення, 2) звернення, 3) протиставлення предикату.
Простий категоричний силогізм
1. Склад простого категоричного силогізму
Широко розповсюдженим видом опосередкованих умовиводів є категоричний силогізм. Він складається з трьох категоричних суджень, два з яких є посилками, а третє - висновком. Наприклад:
Умовиводи із суджень з відношеннями
Умовивід, посилки і висновок якого є судженнями з відношеннями, називається умовиводом з відносинами.
Наприклад:
Петро - брат Івана.
Іван - брат Сергія.
-----------------------------
Петро - брат Сергія.