Реферат на тему:
Умовивід
План
Умовивід як форма мислення, загальні особливості, істинність та хибність, види умовиводів.
Види дедуктивних умовиводів (силогізм, полісилогізм, ентимема).
Умовні та розподільні умовиводи
Види індуктивних умовиводів.
Загальна характеристика традуктивних умовиводів.
1. Умовивід як форма мислення, загальні особливості, істинність та хибність, види умовиводів
Умовивід – це найбільш складна форма мислення. Вона встановлює нові зв’язки між предметами і явищами на основі вже відомих.
Теорія умовиводів є найбільш ретельно розробленою частиною формальної логіки, яка є уподобанням численних видатних
Умовивід – цілісне розумове утворення і має структуру:
посилка (засновок) – судження, яке віддзеркалює вже відомі зв’язки
заключення (висновок)– судження, яке віддзеркалює нові зв’язки
Заключення буде істинним за наявності двох необхідних умов:
Якщо посилки істинні за змістом.
Якщо умовивід вірний за своєю будовою.
Наприклад:
Засновок 1 - Всі митці тонко відчувають природу
Засновок 2 – Левітан – митець
Заключення – Левітан тонко відчував природу
У цьому умовиводі обидві посилки істинні, і тому він побудований вірно і є цілком істинним. Це випливає з наступної схеми:
А – Левітан
В – митці
С – ті, хто тонко відчувають природу
Навпаки, висновок може бути хибним, якщо:
Хоча б одна з посилок хибна;
Побудова умовиводу є хибною.
Наприклад:
Посилка – Всі свідки правдиві
Посилка – Захаров – свідок
Висновок – Захаров – правдивий
У цьому умовиводі одна з засновків-посилок (перша) є хибною. Висновок, відповідно, істинним не буде.
Стосовно того, наскільки важливою є вірна побудова умовиводу, свідчить відомий в логіці жартівливий приклад, коли з двох істинних посилок висновок отримується безглуздий.
Наприклад:
Посилка – Всі птахи носять пір’я
Посилка – Дикуни іноді теж його носять
Висновок – Іноді дикуни є птахами
С – ті, що носять пір’я
В – птахи
А - дикуни
Подібно до того, що не можна займатися побудовою будинку без добротного матеріалу, неможливо побудувати вірний умовивід без вірних суджень-засновків, які побудовані за правильною схемою.
Види умовиводів
Формальна логіка розрізняє насамперед:
безпосередні умовиводи – висновок будується лише на одній посилці Наприклад, “Петров викликаний до суду у якості свідка, тому він зобов’язаний давати свідчення”;
опосередковані – висновок будується на кількох посилках: “Всі рідини пружні. Ртуть – рідина (за звичайних умов). Відповідно ртуть має пружність”;
У свою чергу виділяють такі види опосередкованих умовиводів:
дедуктивні – рух думки йде від загальної закономірності до часткового випадку (Всі люди смертні. Аристотель – людина. Аристотель – смертний.); Серед дедуктивних опосередкованих умовиводів виділяють зокрема силогізми – висновок базується на двох посилках, які є судженнями і зв’язані з загальним для них поняттям (Всі юристи опікуються правом. Захарченко – юрист. Захарченко опікується правом.). Крім силогізмів виділяють також умовні і розподільні умовиводи;
індуктивні - рух думки йде від часткових випадків до загальної закономірності (Україна – країна Європейського континенту. Білорусь - країна Європейського континенту. Обидві країни – європейські);
традуктивні (за аналогією) - рух думки йде від одного часткового випадку до іншого часткового випадку. Вони обов’язково мають імовірнісний характер. (На планеті Марс існують певні кліматичні умови, які приблизно однакові з земними. На Землі є життя. Можливо (за аналогією) на Марсі є життя);
2. Види дедуктивних умовиводів (силогізм, полісилогізм, ентимема).
Силогізм як вид дедуктивного умовиводу вартий особливої уваги. Змалюємо структуру простого силогізму. Він складається з суб’єкта – меншого за об’ємом терміну (S), предикату – більшого за об’ємом терміну (P) і середнього терміну (M), який не входить до висновку, але входить до обох посилок, забезпечуючи між ними логічний зв’язок, виступаючи опосередкованою ланкою і уможливлюючи зв’язок S і Р.
Приклад:
Всі люди (М) – смертні (Р)
Сократ (S) – людина (М)
Сократ (S) смертний (Р).
Слід окремо зазначити, що існують сталі правила - аксіоми силогізму:
Все, що стверджується або заперечується про клас предметів в цілому стверджується або заперечується стосовно частини або окремого елементу цього класу;
У силогізми мають бути лише три терміни (суб’єкт, предикат і середній термін). Порушення цього правила призводить до логічної помилки, яка має назву “учетверіння термінів”. Наприклад, з того що: “Собака бігає двором”. “Кішка сидить на паркані” не можна зробити будь-якого вірного висновку. Ми бачимо чотири різних терміни (два суб’єкта і два предиката). Середнього терміну, який би пов’язував обидва судження немає. Ця помилка може бути завуальована – коли застосовуютьсь омоніми – слова з різними значеннями. Наприклад, слово “закон” означає: 1. Об’єктивний зв’язок між предметами; 2. Юридичну норму. Помилкою буде таке судження: “Закон – об’єктивний і не залежить від думки людей. Конституція України – закон. Тому вона ніколи не залежить від думки людей”.
Якщо одна з посилок негативна, то і висновок буде негативним. (Будь-який злочин – правопорушення. Моральний проступок – не правопорушення. Моральний проступок не є злочином).
З двох часткових посилок певного висновку зробити не можна. (Деякі депутати Верховної Ради – юристи. Деякі артисти - депутати Верховної Ради. Деякі артисти є юристами).
Якщо одна з посилок часткова і висновок буде частковим. (Деякі пенсіонери працюють. Всі працюючі отримують заробітню платню. Деякі з тих, хто отримує заробітню платню – пенсіонери).
Крім простого силогізму існує також складний силогізм (полісилогізм), який складають кілька простих силогізмів, які певним чином пов’язані між собою.
Наприклад:
Всі рослини – живі організми
Всі квіти - рослини
Всі квіти – живі організми (висновок 1) полісилогізм
Троянда – квітка
Троянда – живий організм (висновок № 2)
Перший проміжний висновок може бути пропущений і тоді умовивід в цілому прийме такий вигляд: “Всі рослини – живі організми. Всі квіти – рослини. Троянда – квітка. Троянда – живий організм”.
Такий силогізм має назву “сорит” –
