Види умовиводів

У залежності від характеру логічного слідування між засновками та висновком усі умовиводи поділяються на необхідні (демонстратив­ні) та ймовірні (правдоподібні).

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

Основним видом необхідних умовиводів є дедуктивні (від латин­ського dcductio - виведення) умовиводи. ^Дедуктивним називають необхідний умовивід, в якому з одного або декількох суджень - за­сновків отримують судження - висновок.

У залежності від характеру суджень - засновків дедуктивні умови­води поділяють на категоричні умовиводи та умовиводи логіки ви­словлювань. Категоричні умовиводи в залежності від кількості су­джень - засновків поділяють на безпосередні категоричні умовиводи та Опосередковані категоричні умовиводи (див. наступну схему).

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

Основним видом імовірних умовиводів є індуктивні (від латин ського inductio - наведення) виводи. Індуктивним називають імовір ний умовивід, в якому на основі повторюваності деякої ознаки у час тини предметів даного класу роблять правдоподібний висновок пр приналсжнісі ь цієї ознаки всім предметам даного класу.

3.