Умовиводи - реферат українською
Лекція: Умовиводи.
План
1. Умовивід як форма мислення.
2. Типи виводів логіки предикатів.
3. Простий категоричний силогізм.
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).
Звинувачений (М) має право на захист (Р).
Гусєв (S) – звинувачений (М).
Гусєв (S) має право на захист (Р).
Отже, простий категоричний силогізм – це умовивід про відношення двох крайніх термінів на основі їх відношення до середнього терміну. Логічний перехід від засновків до висновку в категоричному силогізмі базується на аксіомі силогізму: все, що стверджується чи заперечується відносно всіх предметів усякого класу, стверджується або заперечується відносно кожного предмету і будь-якої частини предметів цього класу.
Загальні правила категоричного силогізму:
І. Правила термінів:
1) в силогізмі повинно бути тільки три терміни;
2) середній термін повинен бути розподілений хоча би в одному з засновків (інакше зв’язок між крайніми термінами залишається невизначеним).
(М-) – Р
S – (M -)
3) термін не розподілений в засновку, не може бути розподілений і в висновку:
М – (Р+)
М – (S-)
План
1. Умовивід як форма мислення.
2. Типи виводів логіки предикатів.
3. Простий категоричний силогізм.
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).
Звинувачений (М) має право на захист (Р).
Гусєв (S) – звинувачений (М).
Гусєв (S) має право на захист (Р).
Отже, простий категоричний силогізм – це умовивід про відношення двох крайніх термінів на основі їх відношення до середнього терміну. Логічний перехід від засновків до висновку в категоричному силогізмі базується на аксіомі силогізму: все, що стверджується чи заперечується відносно всіх предметів усякого класу, стверджується або заперечується відносно кожного предмету і будь-якої частини предметів цього класу.
Загальні правила категоричного силогізму:
І. Правила термінів:
1) в силогізмі повинно бути тільки три терміни;
2) середній термін повинен бути розподілений хоча би в одному з засновків (інакше зв’язок між крайніми термінами залишається невизначеним).
(М-) – Р
S – (M -)
3) термін не розподілений в засновку, не може бути розподілений і в висновку:
М – (Р+)
М – (S-)
Скачати реферат Умовиводи
Схожі українські реферати
|
1. Реферат: Умови та порядок отримання банківського кредиту Підприємства отримують кредити на умовах терміновості, повернення, цільового характеру, забезпечення, платності. Принцип терміновості означає, що кредит має бути погашений у визначений термін. Дотримання цього принципу відкриває кожному окремому... 2. Реферат: Умови та порядок отримання банківського кредиту, порядок погашення банківського кредиту підприємством Підприємства отримують кредити на умовах терміновості, повернення, цільового характеру, забезпечення, платності. Принцип терміновості означає, що кредит має бути погашений у визначений термін. Дотримання цього принципу відкриває кожному окремому п... 3. Реферат: Умови та принципи організації безготівкового платіжного обороту Грошовий оборот – це рух грошових коштів в готівковій та безготівковій формах, що обслуговують реалізаціютоварів та послуг, а також нетоварні платежі. За допомогою готівкової та безготівкової форм здійснюється обіг товарів, а також рух позикового та ... 4. Реферат: Умови та розмір виплати допомоги по безробіттю різним категоріям безробітних Зміст 1. Умови призначення та розмір допомоги по безробіттю. 2. Матеріальна допомога по безробіттю. 3. Одноразова матеріальна допомога безробітному та членам його сім'ї. 4. Умови припинення або відкладення виплати допомоги по безробіттю. ... 5. Реферат: Умови та чинники формування і розвитку культурно-освітнього комплексу регіону На формування регіональної мережі об’єктів культурно-освітнього комплексу впливає велика кількість різноманітних за походженням чинників, проте в економічній та суспільно-географічній літературі не існує їх єдиної класифікації. Вивченням даних чинник... 6. Реферат: Умови трудового договору Розширення сфери договірного регулювання суспільно-трудових відносин потребує всебічного дослідження трудових прав учасників трудового договору. В теорії цивільного права договірне регулювання суспільних відносин пов’язується з певними умовами, які ... 7. Реферат: Умови успіху при здійсненні змін в організації. Причини опору змінам. Дослідіть схему планування робочого часу менеджера із застосуванням методу «Альп Контрольна робота Умови успіху при здійсненні змін в організації. Причини опору змінам. Дослідіть схему планування робочого часу менеджера із застосуванням методу «Альпи», принципів Паретто та Ейзенхауера. Проаналізуйте можливість залучення праців... 8. Реферат: Умови функціонування та моделі рівноваги товарного ринку 1. Конкуренція на товарному ринку: функції, показники Важливою умовою для функціонування товарного ринку є економічна свобода його суб`єктів. Вони повинні мати право вільно вибирати галузь виробництва, тип продукції, розпоряджатися нею, встановлюва... 9. Реферат: Умови цивільно-правової відповідальності Цивільно-правова відповідальність може мати місце при наявності складу правопорушення. Саме склад цивільного правопорушення є тим юридичним фактом, який породжує правовідносини між правопорушником і потерпілим .й створює певні претензії потерпілого т... 10. Реферат: Умовивід План Поняття умовиводу, його види. Безпосередні умовиводи. Категоричний силогізм та його різновиди. Ентимема. Полісилогізм. Сорит. Епіхейрема. Індуктивні умовиводи. Аналогія. 1. Умовивід — це форма мислення, у якій з одного чи кількох істинни...
11. Реферат: Умовиводи
Лекція: Умовиводи. План 1. Умовивід як форма мислення. 2. Типи виводів логіки предикатів. 3. Простий категоричний силогізм. 1. Знання, які ми виводимо з уже існуючих є опосередкованими чи виводними. Логічною формою отримання виводних з... 12. Реферат: Умовиводи (лекція) Лекція: Умовиводи. План Умовивід як форма мислення. Типи виводів логіки предикатів. Простий категоричний силогізм. 1. Знання, які ми виводимо з уже існуючих є опосередкованими чи виводними. Логічною формою отримання виводних знань є умовиводи. ... 13. Реферат: Умовиводи та їх види КОНТРОЛЬНА РОБОТА з дисципліни “Логіка” 1. Умовиводи та їх види Умовивід – це логічний засіб здобування нового знання. У процесі умовиводу здійснюється перехід від відомого до невідомого. Об’єктивною підставою умовиводу є зв’язок і взаємоз... 14. Реферат: Умовне засудження Ст.45 підстави умовного засудження – це сукупність факторів, що стосуються обставин справи та особи винного, які свідчать про можливість досягнення мети виправлення та перевиховання засудженої особи без відбування основного покарання шляхом реального... 15. Реферат: Умовний екстремум. Метод множників Лагранжа. Метод найменших квадратів План • Умовний екстремум • Необхідні умови • Метод множників Лагранжа • Знаходження функції на основі експериментальних даних за методом найменших квадратів 1. Умовний екстремум У попередніх параграфах були розглянуті максимуми ... 16. Реферат: Уникнення подвійного оподаткування як напрям удосконалення інституту зовнішньоекономічного співробітництва в Україні Розширення міжнародного співробітництва, переміщення капіталу, товарів, послуг неминуче породжують багатомірність (подвійність) оподаткування. Подвійне оподаткування характеризує таку ситуацію, коли відбувається як горизонтальне, так і вертикальне на... 17. Реферат: Уніатство ПЛАН 1. Соціально - політичні та історичні причини виникнення уніатства. 2. Еволюція та становлення греко-католицької церкви на Галичині. 3. Кревська унія 1385 р. 4. Друга Городельська унія 1413 р. 5. Третя, завершальна Люблінська уні... 18. Реферат: Універсали Центральної Ради План. 1. Утворення Української Центральної Ради. 2. Автономія України – мета та діяльність Центральної Ради. 3. Склад і статус УЦР. 4. Перший універсал ЦР і автономія України. 5. Другий універсал ЦР. 6. Третій універсал ЦР. 1. Ут... 19. Реферат: Універсальна категорія аспекту в українському етноваріанті Однією з провідних галузей функціональної лінгвістики є функціональна граматика, об’єктом вивчення якої є закономірності функціонування одиниць мови. Головний підхід до дослідження лінгвальних одиниць – інтегративний: одиниці різних мовних ендосисте... 20. Реферат: УНІВЕРСАЛЬНА ОВОЧЕРІЗАЛЬНА МАШИНА МРО - 400 -1000 Універсальна овочерізальна машина МРО-400-1000 призначена для фігурного нарізання сирих овочів, а також шинкування капусти. Овочерізальна машина роторного типу має корпус та привідний механізм, який складається з електродвигуна та клиноременної пе... 21. Реферат: Універсальність світогляду Марії Сазонової, її поетична творчість Наш урок літератури рідного краю я хочу почати словами Ліни Костенко „Поезія – це завжди неповторність, Якийсь безсмертний дотик душі”. Сьогодні важко сказати, де і коли розпочалося те джерело, яке на сьогодні, подолавши багато століть, мужн... |
|