В В В В В В В В В В В В В
умовивід
План
1. Загальне поняття про умовивід
2. Простий категоричний силогізм
3. Загальні правила силогізму
4. Фігури категоричного силогізму
5. Модуси категоричного силогізму
6. Скорочені і складні силогізми
7. Умовні, розділові й умовно-розділові силогізми
8. Індуктивні умовиводи
1. Загальне поняття про умовивід
У процесі пізнання очевидні твердження становлять лише частина всіх істин. Зазвичай для встановлення істини доводиться в кожному випадку виробляти особливе дослідження, тобто чітко поставити питання, взяти до уваги раніше встановлені істини, зібрати необхідні факти, поставити досліди, осмислити їх результат, перевірити на практиці виникли здогадки і т.д.
Установлення істини можливо і логічним шляхом. Відбувається це за допомогою міркувань. Міркуванням називається ряд суджень, які відносяться до певного предмета або питанню, йдуть одне за іншим таким чином, що з попередніх суджень з необхідністю або високої ймовірністю ідуть інші, а в результаті виходить єдино правильний або прийнятний відповідь на поставлене питання. Визнаючи істинним попередні судження, ми повинні визнавати істинним і які з них судження. Те логічне дія, за допомогою якого виявляється істинність нових суджень, називається умовиводом.
Умовивід - це форма мислення, в якій з одного або кількох істинних суджень на підставі певних правил виведення виходить нове судження, яке з непохитністю мул певним ступенем ймовірності випливає з них.
Яка структура умовиводи?
Елементами будь-якого умовиводу є прості або складні судження. Судження, з яких можна отримати нове знання і з яких, раз вони визнані істинними, з необхідністю випливає якесь нове судження, називаються посилками умовиводи. Судження, яке визнається істинним і отримано шляхом умовиводи, називається висновком, або ув'язненням, або логічним наслідком. Наприклад, з двох посилок: (1) В«Студент Іванов - член збірної команди університету з баскетболу В»і (2)В« Студент Краснов на всіх змаганнях з баскетболу ефективно грає в парі зі студентом Івановим В» випливає висновок (висновок, логічний наслідок): (3) В«Студент Краснов - член збірної команди університету з баскетболу В».
Формальна логіка спеціально займається встановленням правил, дотримання яких забезпечувало б надійний істинний висновок.
Які ж умови істинності висновків?
Перша умова: істинність висновків залежить від істинності посилок умовиводи. При наявності хоча б одного помилкового (повністю або частково) судження (посилки) висновок істинним бути не може. Це тому, що висновок випливає з посилок як думка, пов'язана з посилками необхідної логічної зв'язком.
Друга умова: істинність висновків залежить від наявності правильної логічного зв'язку між посилками, а також між посилками і висновком. Ці правильні логічні зв'язки є закони формальної логіки. Але правила виводу забезпечують лише формальну правильність умовиводу. Якщо все безліч суджень, яке ми беремо в якості посилок, являє собою безсумнівні істини, то логічно невірне зв'язування їх ніколи не зможе дати обгрунтованого правильного висновку.
За ступенем спільності та посилок умовиводи діляться на три групи:
1) дедуктивні, в яких думка йде від більшої до меншої спільності знання;
2) електромагнітні, коли думка розвивається від знання однієї ступеня спільності до нового знання, більшою мірою спільності;
3) умовиводи за аналогією, у яких посилки і висновки висловлюють знання однаковою мірою спільності.
В окремих дедуктивних висновках можна йти від одиничного до приватного (одиничне судження прирівнюється до загального), але неодмінною залишається хід думки від загального до приватного або одиничного. Для дедукції характерно підведення окремого випадку під загальне правило або виведення (deductio) із загального правила наслідків щодо окремого випадку. Тому висновки дедуктивного умовиводи володіють достовірністю і носять примусовий характер.
Посилками дедуктивного умовиводи можуть бути судження всіх типів логічних спілок - категоричні, розділові, умовні судження або різноманітне їх поєднання, що визначає характер виводу. Відповідно цьому дедуктивні умовиводи бувають: категоричні, розділово-категоричні та умовно-розділові.
Розгляд дедуктивних умовиводів прийнято починати з категоричних, з особливою, найбільш типовою для дедукції форми цих умовиводів, званої силогізмом (від грец. syllogismos - сосчітиваніе).
В
2. Простий категоричний силогізм
Силогізм - це дедуктивний умовивід, у якому з двох категоричних суджень - посилок, зв'язаних загальним терміном, виходить третій судження - висновок.
На найпростішому прикладі проаналізуємо структуру ...