Основний зміст дедуктивного умовиводи
Дедуктивні умовиводи представляють собою відносини логічного проходження, коли істинність першого гарантує істинність другого. Тобто воно гарантує істинність висновку при істинності посилок, є надійним. Для дедукції характерно підведення окремого випадку під загальне правило або виведення (deduction) із загального правила наслідків щодо окремого випадку. Висновки дедуктивного умовиводи володіють достовірністю і носять примусовий характер. Однак за надійність слід платити. Надійність дедуктивного умовиводи грунтується на тому, що воно не розширює обсягу знань суб'єкта, що здійснює умовивід. Інформація, що міститься на закінчення, складає всього лише частина інформації, що міститься в посилках. p> Дедукція - це умовивід, в якому перехід від загального до приватного є логічно необхідним, отже, з посилок, виражають знання більшою мірою спільності, отримуємо висновок як знання меншою мірою спільності.
Правила дедуктивного виводу визначаються характером посилок, які можуть бути простими або складними судженнями.
Залежно від кількості використовуваних посилок, з яких будується висновок, умовиводи, бувають безпосередні та опосередковані.
Безпосередні умовиводи - Це такі умовиводи, в яких висновок здійснюється з однієї посилки шляхом її перетворень: перетворення, звернення, протиставлення предикату або за В«Логічного квадратуВ». p> Висновки в кожному з цих умовиводів виходять відповідно до певних логічних правил, які обумовлені кількісної та якісної характеристиками судження.
У опосередкованих умовиводах висновок випливає з двох або кількох суджень, логічно пов'язаних між собою. У ньому розрізняють три складових елементи: а) початкове знання (посилки), б) обгрунтовує знання (логічне підставу виводу); в) вивідний знання (висновок).
Серед опосередкованих умовиводів виділяють два види:
1) Дедуктивні умовиводи, засновані на структурі простих категоричних суджень, або силогізми;
2) Дедуктивні умовиводи, засновані на зв'язках між судженнями, чи умовиводи логіки суджень: умовні умовиводи (чисто умовні умовиводи; умовно-категоричні умовиводи); розділові умовиводи (умовно-розділові умовиводи; розділової-категоричні умовиводи); непрямі (непрямі) висновки.
Категоричний силогізм (силогізм від грецького слова syllogism's - В«СосчітиваніеВ») є одним з широко поширених видів опосередкованого умовиводу. Вперше цей вид умовиводів детально досліджував основоположник класичної логіки Аристотель у своїй праці В«АналітикиВ». У цих умовиводах з двох істинних категоричних суджень, пов'язаних загальним терміном, виходить третє судження - висновок. Поняття, що входять до складу силогізму, називаються термінами силогізму. p> В основі виведення щодо категоричної силлогизму лежить аксіома силогізму: Все, що стверджується про рід (чи класі), необхідно стверджується або заперечується про вигляді (або про члена даного класу), що належить до даного роду В».
Наприклад: Всі студенти першого курсу РАП старанно вивчають іноземну - мова. Катя - Іванова студентка першого курсу РАП. p> Отже, Катя Іванова Усередині вивчає іноземну мову.
Це просте категоричне судження. У даному прикладі спочатку наведено загальне судження, обсяг предиката В«старанно вивчає іноземна мова В»ширше обсягу суб'єктаВ« Катя Іванова В».
Термінами тут є Р - В«старанно вивчати іноземна мова В»- предикат висновку, так званий більший термін; S - В«Катя ІвановаВ» - суб'єкт висновку, так званий менший термін; В«М-В« студент першого курсу РАП В»- середній термін (від латинського medius - Середній). За допомогою середнього терміна встановлюється зв'язок між великим і меншим термінами. Якби в силогізм не було середнього терміна, висновок був би неможливий. p> М - посередник. Середній термін входить в кожну посилку, але не входить на закінчення. Його призначення - бути сполучною ланкою. У першій посилці (більшої) він пов'язаний з предикатом (М - Р), а в другій (меншою) - З суб'єктом висновку (S - M). p> Таким чином, висновок з посилок виявляється можливим тому, що середній термін виконує роль сполучної ланки між двома термінами силогізму.
У посилках простого категоричного силогізму середній термін може займати місце суб'єкта або предиката. Різновиди силогізму, розрізняє за положенням середнього терміна В«МВ» в посилках, називаються фігурами силогізму. Розрізняють чотири фігури:
Перша фігура
М_________________________________Р
___________________________________
S M
Наприклад: У великих капіталістичних країнах (М) зростає злочинність (Р)
США (S)-велика капіталістична країна (М)
Отже, в США зростає злочинність (Р)
За допомогою першої фігури із загальних положень виводяться приватні затвердження. У ній велика посилка - загальне судження; менша посилка - с...
