Умовивід, Детальна інформація
Умовивід
Побудова умовиводу є хибною.
Наприклад:
Посилка – Всі свідки правдиві
Посилка – Захаров – свідок
Висновок – Захаров – правдивий
У цьому умовиводі одна з засновків-посилок (перша) є хибною. Висновок, відповідно, істинним не буде.
Стосовно того, наскільки важливою є вірна побудова умовиводу, свідчить відомий в логіці жартівливий приклад, коли з двох істинних посилок висновок отримується безглуздий.
Наприклад:
Посилка – Всі птахи носять пір’я
Посилка – Дикуни іноді теж його носять
Висновок – Іноді дикуни є птахами
С – ті, що носять пір’я
В – птахи
А - дикуни
Подібно до того, що не можна займатися побудовою будинку без добротного матеріалу, неможливо побудувати вірний умовивід без вірних суджень-засновків, які побудовані за правильною схемою.
Види умовиводів
Формальна логіка розрізняє насамперед:
безпосередні умовиводи – висновок будується лише на одній посилці Наприклад, “Петров викликаний до суду у якості свідка, тому він зобов’язаний давати свідчення”;
опосередковані – висновок будується на кількох посилках: “Всі рідини пружні. Ртуть – рідина (за звичайних умов). Відповідно ртуть має пружність”;
У свою чергу виділяють такі види опосередкованих умовиводів:
дедуктивні – рух думки йде від загальної закономірності до часткового випадку (Всі люди смертні. Аристотель – людина. Аристотель – смертний.); Серед дедуктивних опосередкованих умовиводів виділяють зокрема силогізми – висновок базується на двох посилках, які є судженнями і зв’язані з загальним для них поняттям (Всі юристи опікуються правом. Захарченко – юрист. Захарченко опікується правом.). Крім силогізмів виділяють також умовні і розподільні умовиводи;
індуктивні - рух думки йде від часткових випадків до загальної закономірності (Україна – країна Європейського континенту. Білорусь - країна Європейського континенту. Обидві країни – європейські);
традуктивні (за аналогією) - рух думки йде від одного часткового випадку до іншого часткового випадку. Вони обов’язково мають імовірнісний характер. (На планеті Марс існують певні кліматичні умови, які приблизно однакові з земними. На Землі є життя. Можливо (за аналогією) на Марсі є життя);
2. Види дедуктивних умовиводів (силогізм, полісилогізм, ентимема).
Силогізм як вид дедуктивного умовиводу вартий особливої уваги. Змалюємо структуру простого силогізму. Він складається з суб’єкта – меншого за об’ємом терміну (S), предикату – більшого за об’ємом терміну (P) і середнього терміну (M), який не входить до висновку, але входить до обох посилок, забезпечуючи між ними логічний зв’язок, виступаючи опосередкованою ланкою і уможливлюючи зв’язок S і Р.
Приклад:
Всі люди (М) – смертні (Р)
Сократ (S) – людина (М)
Сократ (S) смертний (Р).
Слід окремо зазначити, що існують сталі правила - аксіоми силогізму:
Наприклад:
Посилка – Всі свідки правдиві
Посилка – Захаров – свідок
Висновок – Захаров – правдивий
У цьому умовиводі одна з засновків-посилок (перша) є хибною. Висновок, відповідно, істинним не буде.
Стосовно того, наскільки важливою є вірна побудова умовиводу, свідчить відомий в логіці жартівливий приклад, коли з двох істинних посилок висновок отримується безглуздий.
Наприклад:
Посилка – Всі птахи носять пір’я
Посилка – Дикуни іноді теж його носять
Висновок – Іноді дикуни є птахами
С – ті, що носять пір’я
В – птахи
А - дикуни
Подібно до того, що не можна займатися побудовою будинку без добротного матеріалу, неможливо побудувати вірний умовивід без вірних суджень-засновків, які побудовані за правильною схемою.
Види умовиводів
Формальна логіка розрізняє насамперед:
безпосередні умовиводи – висновок будується лише на одній посилці Наприклад, “Петров викликаний до суду у якості свідка, тому він зобов’язаний давати свідчення”;
опосередковані – висновок будується на кількох посилках: “Всі рідини пружні. Ртуть – рідина (за звичайних умов). Відповідно ртуть має пружність”;
У свою чергу виділяють такі види опосередкованих умовиводів:
дедуктивні – рух думки йде від загальної закономірності до часткового випадку (Всі люди смертні. Аристотель – людина. Аристотель – смертний.); Серед дедуктивних опосередкованих умовиводів виділяють зокрема силогізми – висновок базується на двох посилках, які є судженнями і зв’язані з загальним для них поняттям (Всі юристи опікуються правом. Захарченко – юрист. Захарченко опікується правом.). Крім силогізмів виділяють також умовні і розподільні умовиводи;
індуктивні - рух думки йде від часткових випадків до загальної закономірності (Україна – країна Європейського континенту. Білорусь - країна Європейського континенту. Обидві країни – європейські);
традуктивні (за аналогією) - рух думки йде від одного часткового випадку до іншого часткового випадку. Вони обов’язково мають імовірнісний характер. (На планеті Марс існують певні кліматичні умови, які приблизно однакові з земними. На Землі є життя. Можливо (за аналогією) на Марсі є життя);
2. Види дедуктивних умовиводів (силогізм, полісилогізм, ентимема).
Силогізм як вид дедуктивного умовиводу вартий особливої уваги. Змалюємо структуру простого силогізму. Він складається з суб’єкта – меншого за об’ємом терміну (S), предикату – більшого за об’ємом терміну (P) і середнього терміну (M), який не входить до висновку, але входить до обох посилок, забезпечуючи між ними логічний зв’язок, виступаючи опосередкованою ланкою і уможливлюючи зв’язок S і Р.
Приклад:
Всі люди (М) – смертні (Р)
Сократ (S) – людина (М)
Сократ (S) смертний (Р).
Слід окремо зазначити, що існують сталі правила - аксіоми силогізму:
The online video editor trusted by teams to make professional video in
minutes
© Referats, Inc · All rights reserved 2021