10. Умовиводи та їх види.

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

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

Кожний умовивід складається з вихідних знань (посилань), обґрунтувань (логічних основ виведення) і вивідного знання (заключення, висновку). Посилками називають вихідні відомі судження, з яких робиться висновок в формі нового судження; виводом – сама форма, процес обґрунтування, логічного переходу від посилання до заключення; заключеннями (висновками) – одержані логічним шляхом нові судження.

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

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

Дедуктивними (від латинського слова “deductio” – виведення) називаються умовиводи, в яких перехід від знання загального до знання часткового є логічно необхідним. Якщо в дедуктивному умовиводі висновок робиться на основі однієї посилки, то такий умовивід вважається безпосереднім. Безпосередні виводи оперують лише змістом елементів (S, P, є і не-є) одного і того ж судження. Якщо ж в дедуктивному умовиводі вивід робиться на основі декількох посилань, то він називається опосередкованим.

Приклад дедуктивного опосередкованого умовиводу (силогізму):

Береза – дерево.Дерево – рослина.Береза – рослина

Індуктивними ( від латинського слова “inductio” – включення) називаються такі умовиводи, в формі якого відбувається емпіричне узагальнення; коли на основі ознаки, яка повторюється у окремих явищ та предметів, робиться висновок про належність цієї ознаки всім явищам/предметам певного класу.

За аналогією називаються умовиводи, в яких на основі належності певної ознаки у одного (першого) предмета робиться висновок про належність цих ознак у всіх подібних предметах/явищах, подібних до першого.

11. Категоричний силогізм: поняття та структура.

Категоричним силогізмом називають дедуктивний умовивід, який складається із двох засновків і висновку, представленихсудженнями.Простий категоричний силогізм--це такий дедуктивний умовивід, в якому висновок здійснюється із двох категоричних суджень на основі співвідношення дескриптивних термінів.Будь-який умовивід породжує нове знання.Оскільки категоричний силогізм належить до класу умовиводів,то він породжує нове знання. Аналізуючи наведений приклад категоричного силогізму, стає очевидним, що він за структурою складається із трьох термінів- Термін, що входить до висновку як його суб'єкт, називається меншим, Термін, який виконує роль предиката висновку, називається більшим, Термін, що входить в обидва засновки, але відсутній у висновку, називається середнім. До загальних правил категоричного силогізму відносяться такі: У простому категоричному силогізмі повинно бути лише три терміни. Середній термін повинен бути розподіленим хоча б в одному з засновків. Із двох заперечувальних суджень висновок отримати не можливо,та ін.