Читайте также:
|
Конструктивний доказ або доведення наданням прикладу — це конструювання конкретного прикладу з властивостями, для того щоб довести, що існують приклади з цими властивостями. Наприклад, Жозеф Ліувілль, для того щоб довести існування трансцендентних чисел, явно сконструював таке число.
26. Принцип сходження від абстрактного до конкретного
Сходження від абстрактного до конкретного - метод вивчення дійсності, суть якого в послідовному переході від абстрактних і однобічних уявлень про неї до усе більш конкретного її відтворення в теоретичному мисленні. Термін сходження фіксує ту обставину, що всі попередні поняття в русі не втрачаються, а зберігаються, входять у знятому вигляді в наступні.
27. Умовні умовиводи
Умовний умовивід — опосередкований дедуктивний умовивід, до складу якого входять умовні судження; перший засновок у ньому завжди є умовним. Залежно від того, якими судженнями (умовними, категоричними чи розділовими) є другий засновок і висновок, умовні судження поділяють на суто умовні, умовно-категоричні та умовно-розділові. Суто умовний умовивід — умовний умовивід, в якому обидва засновки і висновок є умовними судженнями.Формула умовного умовиводу:Якщо А є С, то В є D. Якщо В є D, то К є М.Отже, якщо А є С, то К є М. Приклад: Якщо виробництво товарів у державі є неефективним, то до її скарбниці не надходять податки. Якщо до скарбниці держави не надходять податки, то держава не має змоги виплачувати пенсії. Отже, якщо виробництво товарів у державі є неефективним, то держава не має змоги виплачувати пенсії. Залежність між судженнями в умовному умовиводі передається таким положенням: наслідок наслідку є наслідком підстави. Це положення називають аксіомою, умовного умовиводу.28. Правила фігур силогізмів. Правила термінів
Простий категоричний силогі́зм (грец. міркування) — міркування, що складається з трьох простих атрибутивних висловлювань: двох засновків і одного висновку. Засновок силогізму поділяють на більший (який містить предикат висновку) і менший (який містить суб'єкт висновку). За положенням середнього терміну силогізми поділяють на фігури, а останні за логічною формою засновків і висновку — на модуси.
Приклад силогізму:
Усі люди є смертними (більший засновок)
Аристотель — людина (менший засновок)
Аристотель — смертний (висновок)
У силогізм входить рівно три терміна:
S — менший термін: суб'єкт висновку (входить також у менший засновок);
P — більший термін: предикат висновку (входить також у більший засновок);
M — середній термін: входить в обидва засновки, але не входить у висновок.
Правила простого категоричного силогізму
Середній термін має бути розподілений хоча би в одному із засновків.
Термін, нерозподілений у засновку, не має бути розподіленим у висновку.
Кількість негативних засновків має дорівнювати кількості негативних висновків.
У кожному силогізмі має бути тільки три терміни.
Від того на якому місці в засновках стоять терміни розрізняють 4 фігури силогізмів:
M P P M M P P M
S M S M M S M S
| Фігура 1 | Фігура 2 | Фігура 3 | Фігура 4 | |
| Більший засновок: | M—P | P—M | M—P | P—M |
| Менший засновок: | S—M | S—M | M—S | M—S |
| Висновок: | S—P | S—P | S—P | S—P |
29. Класифікація умовиводів по складу, кількості засновків,
характеру виводу
По складу: прості, складні.
Складні складаються з двох і більше умовиводів і утворюються додаванням засновком першого умовиводу і висновку іншого.
В простих лише один висновок.
По кількості засновків: безпосередні, опосередковані.
Безпосередні — висновок робиться з одного засновку.
Опосередковані — висновок робиться з двох і більше засновків.
За характером виводу: достовірні, імовірні
Дата добавления: 2015-01-05; просмотров: 101 | Поможем написать вашу работу | Нарушение авторских прав |