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

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

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

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

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

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

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

Дата добавления: 2015-06-29