Головна Головна -> Інше українською -> Логіка -> Умовиводи

Умовиводи

Назва:
Умовиводи
Тип:
Інше
Мова:
Українська
Розмiр:
9,72 KB
Завантажень:
149
Оцінка:
 
поточна оцінка 5.0


Скачати цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6 
Лекція: Умовиводи.
План
Умовивід як форма мислення.
Типи виводів логіки предикатів.
Простий категоричний силогізм.
1. Знання, які ми виводимо з уже існуючих є опосередкованими чи виводними. Логічною формою отримання виводних знань є умовиводи.
Умовивод – це форма мислення, за допомогою якої із одного чи декількох суджень виводиться нове судження. Любий умовивід складається з засновків і висновка, перехід – вивод (логічне – слідування).
В залежності від строгості правил виводу розрізняють два види умовиводів: демонстративні (необхідні) – наслідок необхідно слідує із засновків і недемонстративні (правдоподібні) – лише ймовірне слідування висновку із засновків. По направленості логічного слідування, тобто по характеру зв’язку між знанням різної ступені загальності, яке виражене в засновках і висновку. З цієї точки зору розрізняють три види умовиводів: дедуктивні (від загального знання до часткового), індуктивні (від часткового до загального) і умовиводи по аналогії (від часткового до часткового).
Розглянемо дедуктивний умовивод.
Дедуктивним (лат. deductio – “виведення”) є умовивод, в якому перехід від загального до часткового є логічно необхідним. В залежності від кількості засновків дедуктивні виводи з категоричних суджень діляться на безпосередні – висновок виводиться з одного засновку, і опосередковані – з двох засновків.
До побудованих за допомогою переробки безпосередніх умовиводів відносяться: 1) перетворення, 2) обернення; 3) протиставлення предикату; 4) умовивод за логічним квадратом.
1) Перетворення – переробка судження в судження, протилежне по якості з предикатом, який протирічить предикату вихідного судження (~~р?р). А перетворюється в Е ; Е в А ;
І в О ; О в І .
2) Обернення – перетворення судження в результаті якого суб’єкт вихідного судження стає предикатом, а предикат – S висновку. Підкоряється правилу: термін, не розподілений в засновку, не може бути розподілений в висновку. Простим чи чистим є обернення без зміни кількості судження – це обернення судження, в яких обидва терміни розподілені чи нерозподілені. Якщо ж вихідного судження нерозподілений, то він залишиться таким в висновку, де він стане S, тому його обсяг обмежиться. Це обернення з обмеженням.
А обертається в І, тобто з обмеженням (S+) – (P-) (S-) – (P-).
І в І
Е в Е
Частковоствердне виділяючи судження (Р+) перетворюється в загально -ствердне
О – не підлягає оберненню.
3) Протиставлення предикату – це перетворення судження, в результаті якого S стає поняття, яке протирічить Р, а Р – S вихідного судження.
А перетворюється в Е
Е в І
І за допомогою протиставлення не перетворюється.
О в І
4) Умовиводи за “логічним квадратом”. Виводи встановлюють слідування істинності чи хибності одного судження з істинністю чи хибністю іншого.
Розглянемо ці виводи:
Відношення протиріччя (котрадикторності) (А-О, Е-І) схеми: A~O, ~AO, E~I, ~EI.
Відношення протилежності (контрарності) (А-Е) схеми: A~E, E~A, ~A(Ev~E), ~E(Av~A).
Відношення часткової сумісності (субконтрарності) (І-О) схеми по яким будуються виводи: ~IO, ~OI, I(Ov~O), O(Iv~I).
Відношення підпорядкування (А-І, Е-О) схеми: AI, EO, EO, I(Av~A), O(Ev~E), ~I~A, ~O~E, ~A(Iv~I), E(Ov~O).
3. Широко розповсюдженим видом опосередкованих умовиводів є простий категоричний силогізм – який містить три категоричних судження – два засновки і висновок.
Поняття, які входять в силогізм є термінами силогізму. Розрізняють три терміни силогізму: менший, більший і середній.
Менший термін – це поняття, яке у висновку стає суб’єктом; більшим терміном є поняття, яке у висновку стає предикатом. Це крайні терміни і відповідно позначаються: менший – S, більший – Р. S – міститься у меншому засновку, Р – у більшому. Середній термін це поняття, яке входить в засновки, але відсутнє у висновку – позначається латинською буквою М (medin).
Звинувачений (М) має право на захист (Р).

Завантажити цю роботу безкоштовно
Пролистати роботу: 1  2  3  4  5  6 



Інше на тему: Умовиводи

BR.com.ua © 1999-2017 | Реклама на сайті | Умови використання | Зворотній зв'язок