КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Дедуктивні умовиводи. Категоричний силогізмБезпосередні умовиводи Умовиводи: поняття, структура, класифікація План. Лекція 5. Умовиводи Умовиводом називається форма мислення,за допомогою якої з одного або декількох суджень виводиться нове судження, що містить у собі нове знання. Наприклад: «Ссавці п'ють материнське молоко. Людина також п'є материнське молоко. Отже, людина є ссавцем». Сам термін умовивід позначає як процес висновування умовиводу з, декількох суджень, так і кінцевий результат такого міркування. Структура умовиводу містить у собі: 1) засновки; 2) висновки. Засновки — це судження, з яких виводяться нові знання. Висновки — це заключні судження, до яких за певними правилами приходять на підставі аналізу засновків. Висновки в умовиводі можуть бути або істинними, або хибними. Для того щоб висновки в умовиводі були істинними, необхідно дотримуватися двох основних передумов: 1) самі засновки, з яких робиться висновок, мають бути істинними; 2) умовивід має бути зроблено з дотриманням усіх норм логічного мислення. Існує досить розгалужена класифікація умовиводів, яка оперує безліччю різнорідних критеріїв. За кількістю засновків умовиводи підрозділяються на: • безпосередні, виведені з одного засновку, • опосередковані, де висновки зроблені з двох чи більшої кількості засновків. У свою чергу, опосередковані умовиводи поділяються на: • дедуктивні; • індуктивні; • трансдуктивні (за аналогією). У дедуктивних умовиводах висновок робиться від загального до окремого. Наприклад: «Усі дівчата небайдужі до чоловічої уваги. Марія — дівчина. Тож Марія небайдужа до чоловічої уваги». Серед дедуктивних опосередкованих умовиводів виділяють: • силогізми. У них висновок базується на двох засновках, які є судженнями і зв'язані зі спільним для них поняттям. Наприклад: «Усі економісти мають знатися на математиці. Захарченко — економіст. Отже, Захарченко має знатися на математиці». Крім простого силогізму, існує також складний силогізм (полісилогізм), який складають кілька простих силогізмів, певним чином пов'язаних між собою. Скорочений полісилогізм без якогось проміжного висновку має назву сорит — він застосовується для простеження тривалої залежності між класами предметів. Скорочений силогізм без одного засновку називається ентимемою. В ентимемі може бути відсутнім навіть висновок. Силогізм із двома альтернативами, з-посеред яких необхідно вибрати тільки одну, — це дилема. • умовні умовиводи. Умовивід є умовним, якщо принаймні один із засновків є умовним (імплікативним) судженням. Наприклад: «Якщо день сонячний, то сосновий ліс пахне смолою. День сонячний. Відповідно, сосновий ліс пахне смолою». • розподільні умовиводи. Умовивід дістає назву розподільного, коли хоча б один з його засновків є розподільним судженням. Приклад: «Формами співучасті у кримінальному злочині є співучасть із розподілом ролей або співучасть без розподілу ролей. Цю співучасть здійснено без розподілу ролей. Відповідно, це не була співучасть із розподілом ролей». В індуктивних умовиводах висновок робиться окремого до загального. Наприклад: «Іван не склав модуля з логіки. Юля не склала модуля з логіки.Індуктивний висновок: деякі студенти не склали модуля з логіки». У трансдуктивнихумовиводах (умовиводах за аналогією) рух думки йде від одного часткового випадку до іншого часткового випадку. Ці умовиводи мають імовірнісний характер. Скажімо: «Кліматичні умови планети Марс схожі із земними. На Землі є життя. Можливо (за аналогією), й на Марсі є життя».
2. У безпосередніх умовиводах висновок робиться з одного засновку. Наприклад, із засновку «Основний закон ринкової економіки — закон вартості» можна дійти висновку: «Закон вартості є основною ознакою ринкової економіки». Висновок у безпосередньому умовиводі робиться на основі перетворення суджень. Існують три основні способи перетворення безпосередніх умовиводів. 1. Власне перетворення. Унаслідок цієї операції вихідне судження перетвориться на судження рівнозначне за змістом, але інше за структурою. Для кожного з 4-х основних видів суджень перетворення відбувається за власною схемою. 1.1. Загальноствердні судження (А) перетворюються на загальза-перечні (Е): усі S є Р → жодне S не є не -Р. 1.2. Частковоствердні судження (І) перетворюються на частково-залеречні (0): деякі S є Р → деякі S не є не -Р. 1.3. Загальнозаперечні судження (£) залишаються загальноза-перечними, але змінюють свою структуру: жодне S не є Р → усі S є не -Р.; 1.4. Частковозаперечні судження (J) перетворюються на частковоствердні: деякі S не є Р → деякі S є не -Р. 2. Оберненням називається така операція, у процесі якої суб'єкт вихідного судження стає предикатом, а предикат → суб'єктом вихідного судження., Загальна схема обернення така: S є Р → Р є 5. Основне правило обернення безпосередніх суджень: якість обох суджень (вихідного й кінцевого) залишається тією самою. Якщо засновком було, приміром, ствердне судження, то й висновок має бути ствердним. Якщо засновкове судження було заперечним, то й висновок має бути заперечним. Якщо кількісна характеристика судження не змінюється, то таке обернення називають чистим. Якщо кількісна характеристика судження змінюється, то таке обернення називають оберненням з обмеженням. Для кожного з 4-х основних типів суджень існує своя схема обернення: 2.1. Загальноствердні судження обертаються частіше з обмеженням, за схемою: усі S є Р → деякі P є S. 2.2. Загальнозаперечні судження обертаються без обмеження за схемою: жодне S не є Р → усі Р не є S. 2.3. Частковоствердні судження обертаються чисто за схемою: деякі S є P → деякі P є S. 2.4. Частковозаперечні судження не обертаються. 3. Протиставлення до предиката. Протиставленням до предиката називається таке висновкове судження/суб'єкт якого суперечить за змістом предикатові вихідного, засновкового судження. Загалом протиставлення являє собою синтез двох розглянутих вище фоорм висновування безпосередніх умовиводів. Щоб зробити висновок на підставі протиставлення, необхідно вихідне судження спершу перетворити, а потім обернути. Загальна схема протиставлення така: S є Р → не- Р не є S. Наприклад: «Будь-який злочин є суспільно небезпечне діяння. Жодне діяння, що не становить суспільної небезпеки, не є злочином». Для кожного з 4-х основних типів суджень існує своя схема протиставлення: 3.1. Загальноствердні судження перетворюються на загальнозаперечні: усі S є Р → жодне не- Р не є S. 3.2. Загальнозаперечні судження перетворюються на частковоствердні: жодне S не є Р → деякі, не- Р є S. 3.3. Частковозаперечні судження під час протиставлення стають частковоствердними: деякі S не є Р → деякі не- Р є S. 3.4. Частковоствердні судження шляхом протиставлення не змінюються.
3. Дедуктивним називається умовивід від загального до часткового. Механізм дедуктивного умовиводу полягає в розширенні загального твердження на окремий випадок. Поширюючи загальне твердження на кожен окремий випадок-або явище, маємо нове знання про цей предмет, а саме: цей предмет має ознаку, властивому всьому класові, про який ідеться в загальному твердженні. Умови можливості дедуктивного умовиводу такі: 1) один засновок повинен мати загальний характер; 2) другий засновок має стосува^я окремого предмета, що належить до певного класу. Особливість дедуктивних умовиводів (і їхня перевага в порівнянні з іншими різновидами умовиводів) полягає в тім, що дедуктивний умовивід, як правило, дає правильні або імовірнісні висновки/Гарантією правильності висновків служить загальність, самоочевидність вихідних засновків. До цих засновків зазвичай належать закони, теорії, аксіоми загальнонаукового, парадигмального плану. Дедуктивні умовиводи є умовиводами опосередкованими й тому мають досить складну структуру. У них виділяють три терміни: більший, середній і менший, і дві засновки — більший й менший. Менший термін — це поняття, що посідає місце Суб'єкта у висновку. Позначається латинською літерою S. Більший термін — це поняття, що посідає місце предиката у висновку. Позначає латинською літерою Р. Середній термін — це поняття, наявне в обох засновках, але відсутнє у висновку. Позначається латинською літерою М (medium). Отже, структура дедуктивного умовиводу має приблизно такий вигляд:
Дата добавления: 2014-01-07; Просмотров: 1396; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |