загрузка...
загрузка...
На головну

безпосередні умовиводи

Безпосередні умовиводи - це укладення, що виводяться з однієї посилки. Цей вид умовиводів дозволяє уточнити відносини обсягів понять, що входять в судження. Безпосередні умовиводи - це перетворення, звернення, протиставлення предикату та умовивід по логічному квадрату.

перетворення - вид безпосереднього умовиводу, при якому змінюється якість посилки без зміни її кількості, при цьому предикат висновку є запереченням предиката посилки.

Щоб перетворити судження, потрібно змінити його зв'язку на протилежну, а предикат - на суперечне поняття. При цьому частноутвердительное судження перетворюється в частноотрицательное, і навпаки, а общеутвердительное судження перетворюється в общеотріцательное, і навпаки.

приклади перетворення суджень:

1. Общеутвердітельное судження перетворюється в общеотріцательное:

   (А) Всі S є Р  
 (Е) Жодне S не є не-Р
     

"Все вовки - хижі тварини". - "Ні один вовк не є нехижої тваринам".

2. Общеотріцательное судження перетворюється в общеутвердительное:

   (Е) Жодне S не є Р  
 (А) Всі S є не-Р
     

"Жоден багатогранник не є плоскою фігурою". - "Все багатогранники є неплоскими фігурами".

3.Частноутвердітельное судження перетворюється в приватно-негативне:

   (I) Деякі S є P  
 (О) Деякі S не є не-Р
     

"Деякі гриби їстівні". - "Деякі гриби не є неїстівними".

4.Частноотрицательное судження перетворюється в приватно-стверджувальне:

   (О) Деякі S не є Р  
 (I) Деякі S є не-Р
     

"Деякі злочини не є навмисними". - "Деякі злочини є умисними".

звернення - безпосереднє умовивід, в якому відбувається зміна місць суб'єкта і предиката при збереженні якості судження, т. е. в ув'язненні суб'єктом є предикат, а предикатом - суб'єкт вихідного судження.

Звернення підпорядковується правилу розподіленості термінів у судженні. Розрізняють просте (чисте) звернення і звернення з обмеженням. Звернення буде простим, якщо суб'єкт і предикат вихідного судження або обидва розподілені, або обидва не розподілені. Звернення з обмеженням буває тоді, коли у вихідному судженні суб'єкт розподілений, а предикат НЕ розподілений або, навпаки, суб'єкт не розподілений, а предикат розподілений.

1.Общеотріцательние судження (Е) завжди звертаються чисто:

   (Е) Жодне S + не є Р +  
 (Е) Жодне Р + нема S +
     
   "Жоден невинний не повинен бути засуджений".  
 "Жоден засуджений не повинен бути невинний".
     

2. Общеутвердітельние судження (А):

а) Чисте звернення при збігу обсягів суб'єкта і предиката:

   (А) Всі S + є Р +  
 (А) Всі Р + є S +
     
   "Всі злочини - суспільно небезпечні діяння".  
 "Все суспільно небезпечні діяння - злочину".
     

б) Звернення з обмеженням, коли предикат НЕ розподілений:

   (А) Всі S + є Р  
 (I) Деякі Р- є S +
     
   "Все їли - дерева".  
 "Деякі дерева - ялини".
     

3.Частноутвердітельние судження (I):

а) Просте звернення при нерозподілений обох термінів:

   (I) Деякі S-є Р-  
 (I) Деякі Р-є S-
     
   "Деякі рослини - отруйні організми".  
 "Деякі отруйні організми - рослини".
     

б) Звернення зі зміною обсягу, якщо предикат розподілений:

   (I) Деякі S-є Р +  
 (А) Всі Р + є S-
     
   "Деякі музиканти - композитори".  
 "Все композитори - музиканти".
     

4.Частноотріцательние судження (О) не звертаються, оскільки не можна встановити, виходячи з розподіленості предиката, як ставиться його обсяг до обсягу нерозподіленого суб'єкта.

   (О) Деякі S-не є Р +  
 Усе? Деякі? Р не є S
     

Протиставлення предикату - безпосереднє умовивід, в результаті якого предикатом стає суб'єкт, а суб'єктом - поняття, яке суперечить предикату вихідного судження, і зв'язка змінюється на протилежну.

Протиставлення предикату може бути розглянуто як результат послідовно виконаних операцій перетворення і звернення.

приклади:

1.Общеутвердітельное судження:

   (А) Всі S є Р  
 (Е) Ні одне не-Р не є S
     
   "Все слідчі - юристи".  
 "Жоден не юрист не є слідчим".
     

2.Общеотріцательное судження:

   (Е) Жодне S не є Р  
 (I) Деякі не-Р є S
     
   "Жоден червоний мухомор не є їстівним грибом".  
 "Деякі неїстівні гриби є червоні мухомори".
     

3. Частноотрицательное судження:

   (О) Деякі S не є Р  
 (I) Деякі не-Р є S
     
   "Деякі юристи не є слідчими".  
 "Деякі не слідчі є юристами".
     

4. Частноутвердітельние судження (I) НЕ перетворюються протиставленням предикату, т. К. Певний висновок зробити неможливо.

   Деякі миші - білі.  
 Ні-білі? - Виведення немає.
     
   Деякі шахові фігури - слони.  
 Ні-слони? - Виведення немає.
     

Умовиводи по логічному квадрату також є видом безпосередніх умовиводів. Спираючись на логічний квадрат, можна будувати висновки, встановлювати проходження істинність або хибність суджень залежно від властивостей відносин між ними (див. Відповідний розділ).

Види дедуктивних умовиводів «-- попередня | наступна --» Простого категоричного силогізму
загрузка...
© om.net.ua