8.1. Загальна характеристика дедуктивних умовиводів
Дедуктивним (від латинського слова dеduсtіо — виведення) називається умовивід, у якому висновок про окремий предмет класу робиться на підставі класу в цілому. Наприклад:
Тут висновок про те, що Петренко уклав угоду, зроблено на підставі загального положення про те, що "Всі договори є угоди".
У дедуктивному умовиводі думка рухається від загального до окремого, одиничного, тому дедукцію визначають звичайно як умовивід від загального до часткового.
Дедукція є логічним засобом пізнання конкретного, одиничного на основі знання загального. Вона збагачує наше знання одиничного, дає змогу розглядати окреме з точки зору загальної закономірності, пояснити конкретне, керуючись загальним правилом.
Механізм дедуктивного умовиводу полягає в поширенні загального положення на окремий випадок, у підведенні часткового випадку під загальне правило. Поширюючи загальне положення на окремий конкретний предмет або явище, ми здобуваємо нове знання про цей предмет, знання про те, що даний предмет має ознаку, наявну для всього класу, про який ідеться у загальному положенні. Так, виходячи із загального положення науки кримінального права про те, що "Будь-який злочин є діянням суспільно небезпечним", ми робимо висновок і стосовно будь-якого злочину, скажімо, необережного вбивства, що воно теж суспільно небезпечне. Знаючи, що дача хабара карається позбавленням волі на строк до п'яти років (загальне положення), ми можемо сказати, що і Петренко, який неодноразово давав хабара (частковий випадок), може бути покараний у межах до п'яти років.
Отже, дедукція є пізнання в окремому загального, або інакше, пізнання загального в окремому, одиничному.
Щоб дійти дедуктивного висновку, необхідно мати подвійне знання, засновки:
1) засновок, що має загальне положення або правило, під яке підводиться частковий випадок, і 2) засновок, у якому ідеться про той окремий предмет або частковий випадок, який підводиться під загальне положення.
Загальні положення звичайно є готовими, заздалегідь відомими. До них відносяться закони науки, аксіоми, наукові положення, принципи й інші судження, в котрих міститься знання загального. У юридичній практиці як загальні положення виступають норми права (статті кодексів та інших законодавчих актів), положення правових наук, керівні вказівки органів суду, прокуратури та ін.
Судження про одиничні предмети, навпаки, висловлюються здебільше унаслідок безпосереднього дослідження їх тими, хто розмірковує про них. Так, для того щоб підвести частковий випадок (наприклад, конкретна злочинна подія) під відповідну статтю закону (норму права), безпосередньо дослідити цей випадок чи факт, виявити його істотні ознаки; тільки після цього буде можливість поширити на нього загальне положення. Таким чином, дедуктивний умовивід не є суто умоглядна логічна побудова, він пов'язаний із безпосереднім вивченням конкретних фактів.
Дедукція дає висновки достовірні. У цьому одна з її переваг над іншими видами умовиводів. Якщо засновки дедуктивного умовиводу істинні і правильно пов'язані, то висновок буде неодмінно істинним.
Проте, якщо один із засновків дедуктивного умовиводу буде не достовірним, а імовірним, то й висновок у такому випадку буде імовірним і не може бути достовірним. Дедуктивні умовиводи з імовірними засновками широко використовуються у судовій практиці під час побудови судових версій, висловлювання різноманітних пропозицій.
Висновок дедуктивного умовиводу має примусовий характер. Це означає, що коли якесь загальне положення визнане істинним і якщо відомо, що частковий випадок підлягає під це загальне положення, то не можна не визнати наявність загального у цьому частковому випадку.
Залежно від того, з яких суджень складається дедуктивний умовивід, із категоричних, умовних чи розподільних, розрізняють такі види дедуктивних умовиводів: категоричний силогізм, умовні силогізми і розподільні силогізми. Термін "силогізм" походить від грецького слова sullogismos — здобуття висновку чи виведення наслідку.
8.2. Категоричний силогізм, його визначення і склад
8.3. Аксіома силогізму
8.4. Загальні правила категоричного силогізму
8.5. Фігури і модуси категоричного силогізму
8.6. Категоричні силогізми з виділяючими засновками
8.7. Категоричні силогізми, в яких більшим засновком є судження-визначення
8.8. Категоричні силогізми, побудовані із суджень можливості
8.9. Категоричні силогізми з імовірними засновками
8.10. Логічні помилки, які трапляються в категоричних силогізмах