Розділ Х. Умовивід

А назва "індуктивні умовиводи" походить від латинського слова inductio (наведення).

В індуктивних умовиводах між засновками та висновком існує відношення наведення.

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

У дедуктивному умовиводі ми переходимо від загального до часткового, або одиничного; в індуктивному - від одиничного до загального.

За ступенем обґрунтованості висновку умовиводи поділяють на:

- демонстративні та

- правдоподібні (імовірні).

У демонстративних умовиводах висновок необхідно істинний, а в правдоподібних - імовірно істинний.

За кількістю засновків умовиводи поділяються на

- безпосередні та

- опосередковані.

Б е з п о с е р е д н і м умовиводом називається такий умовивід, в якому висновок отримують із одного засновку.

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

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

2. Умовиводи логіки суджень

а) Типологія правил висновку.

Умовивід аналізується на двох рівнях: синтаксичному і семантичному.

З точки зору синтаксису умовивід являє собою правило висновку. Правилом висновку є норма, що дозволяє із суджень однієї логічної структури як засновків отримувати судження певної логічної структури як висновок.

Кожне правило репрезентує нескінченну множину умовиводів різноманітних за змістом, але єдиної синтаксичної структури.

Ця логічна структура є правилом висновку, яке регламентує найрізноманітніші міркування лише в рамках схеми, заданої цим правилом.