Класифікація умовиводів

За складом умовиводи поділяються на прості та складні. Складними називаються умовиводи, які складаються з двох, або більше простих умовиводів і утворюються шляхом перетворення висновку одного умовиводу в засновок наступного.

За характером висновку умовиводи діляться на достовірні та ймовірні (вірогідні). Візьмемо приклад.

Всі громадяни України мають право на працю

Іванов - громадянин України. Значить, Іванов має право на працю.

Цей висновок, очевидно, достовірний. А от інший приклад:

Для того, щоб вступити до вузу, треба добре навчатися.

Учениця N добре навчається Отже, учениця N вступить до вузу

Звичайно, що в даному випадку висновок буде тільки ймовірним, оскільки вступ до вузу за нинішніх умов залежить не тільки від хорошого навчання, а й від багатьох інших обставин.

За характером спрямованості виводу виділяють дедуктивні, індуктивні та традуктивні умовиводи.

Дедуктивними називають умовиводи, в яких думка рухається від загального до часткового, від знання про ознаки певного класу предметів до знання про ознаки окремих предметів цього класу.

Всі планети світять відображеним світлом

Марс - планета

Отже, Марс світить відображеним світлом

Індуктивними є умовиводи, в яких ми від знання про властивості окремих предметів класу робимо висновок про властивості всього класу предметів.

Місяць легший за Землю

Фобос і Деймос легші за Марс

Супутники Юпітера легші за Юпітер

Супутники Сатурна легші за Сатурн

Супутники Урана легші за Уран

Супутники Нептуна легші за Нептун

Харон легший за Плутон

Всі супутники легші за свої планети

Умовиводи, в яких ми з засновків якогось певного ступеня загальності одержуємо висновки такого ж ступеня загальності, називають традуктивними. В деяких підручниках поділяють умовиводи за спрямованістю виводу на дедуктивні, індуктивні та умовиводи за аналогією.

Іван більший за Петра Петро більший за Сергія. Іван більший за Сергія.

Цей умовивід не є ні дедуктивним, ні індуктивним. В той же час це не є умовивід за аналогією. Це традуктивний умовивід. А аналогія - це тільки один із видів традуктивних умовиводів.

За кількістю засновків умовиводи ділять на безпосередні та опосередковані. Безпосередніми називають такі умовиводи, в яких висновок робиться з одного засновку. Для цього використовують операції перетворення, обернення та протиставлення предикату. Розрізняють також так звані умовиводи за логічним квадратом.

До опосередкованих належать умовиводи, в яких висновок робиться з двох чи більше засновків.

За характером засновків можна виділити умовиводи, засновки яких є простими судженнями, та умовиводи, засновки яких є складними судженнями. Серед умовиводів, засновки яких є простими судженнями, в свою чергу, можна виділити дві групи умовиводів, до одної з яких можна віднести так звані прості категоричні силогізми, а до іншої - безпосередні умовиводи. У випадку, коли засновки умовиводів - складні судження, їх поділяють на умовні, умовно-категоричні (modus ponens, modus tollens), розділові (ponendo tollens, tollendo ponens), умовно-розділові (проста конструктивна дилема, складна конструктивна дилема, проста деструктивна дилема, складна деструктивна дилема).

6.3.