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