нове знання про цілу гамі інших відносин цих структурних елементів сужденія- P до S, S до не-P, P до не-S, що не-P до S.
Загальне правило безпосереднього умовиводи голосують, термін, нерозподілений в посилці, не може бути розподілений і в ув'язненні.
У умовиводі через звернення судження ми, знаючи ставлення S до P, з'ясовуємо зворотне отношеніе- P до S. Наведемо приклад такого умовиводу, де посилка - общеутвердітельное судження (А):
Логічна схема такого умовиводу: Всі S є P. Отже, деякі P є S raquo ;. Висловимо ці взаємини S і P графічно:
, де S-поети, P-вразливі люди.
Безпосередні умовиводи на основі звернення можуть бути отримані також з общеотріцательних (Е) і частоутвердітельних (I) суджень. Що стосується частоотріцательних суджень (О), то вони не звертаються, тому умовиводи з них зробити не можна. Інакше буде порушено загальний правило распределенности термінів: суб'єкт, не розподілений в посилці, виявиться розподіленим у висновку.
У безпосередньому умовиводі через перетворення судження наше знання про ставлення S до P дозволяє зробити висновок про ставлення S до не-P (оскільки воно знаходиться у відношенні суперечності до P).
Ось приклад такого умовиводу, де посилка- общеутвердітельное судження (А):
Логічна формула такого умовиводу: Всі S є P. Отже, жодне S не є не-P
, де S- поети, P-вразливі люди, що не-P-невпечатлітельние люди.
Безпосередні умовиводи на основі протиставлення суб'єкту або предикату зробити неважко, якщо згадати, що самі ці логічні операції є лише те чи інше поєднання обігу та перетворення.
Приклад умовиводи на основі протиставлення суб'єкту:
Приклад умовиводи через протиставлення предикату:
Безпосередні умовиводи через відношення суджень. Згадаймо, що в логічному квадраті зафіксовані такі найважливіші відносини між судженнями, як логічне підпорядкування, протилежність (контрарность), субконтрарность, протиріччя. Безпосередні умовиводи можливі тут тому, що між судженнями, які перебувають у цих відносинах, існують певні залежності по істинності і хибності. Враховуючи, що кожне сужденіе- А, Е, I, Про- може знаходиться в трьох відносинах з іншими, з нього можна зробити три висновки.
Безпосередні умовиводи можуть бути отримані також з простих реляційних суджень. Логічним підставою тут служить характер відносини R між предметами x і y. Так, якщо встановлено, що Жінки рівні в правах з чоловіками raquo ;, то звідси можна зробити висновок, що Чоловіки рівні в правах з жінками raquo ;. Якщо відомо, що Конституційні закони вище інших законів країни raquo ;, то звідси випливає, що Решта законів країни не вище (нижче) конституційних .
. 2 Безпосередні умовиводи із складних суджень
Посилкою безпосереднього умовиводи може бути не тільки просте - атрибутивної або реляційне, але й складне судження.
Візьмемо як приклад умовне судження (імплікації): Якщо завтра буде сонячна погода, то ми підемо в ліс raquo ;. З нього можна зробити висновок: Якщо ми не пішли в ліс, то погода не була сонячною .
Подібне умовивід грунтується на законі контрапозиции. Він означає, що будь-яке справжнє умовне судження, якщо в ньому поміняти місцями підставу і наслідок і піддати їх одночасно заперечення, може дати в якості висновку теж істинне умовне судження.
Безпосереднє умовивід можна зробити і з кон'юнкції. Якщо істинно, що Казань знаходиться на Волзі, і Саратов знаходиться на Волзі raquo ;, то істинним буде і висновок: Саратов знаходиться на Волзі, і Казань знаходиться на Волзі .
Висновок з нестрогой диз'юнкції: якщо істинно, що Продуктивність праці залежить від технічного прогресу або від кваліфікації працівника raquo ;, то звідси випливає, що істинно і таке судження: Продуктивність праці залежить від кваліфікації працівника або від технічного прогресу raquo ;. В основі цих безпосередніх умовиводів з кон'юнкції і диз'юнкції лежить їх властивість коммутативности (перестановочность).
Нарешті, можна робити умовиводи з суворої диз'юнкції і еквіваленціі.
II. Опосередковані умовиводи з простих суджень
Опосередковані умовиводи, що складаються з декількох (двох і більше) посилок, теж бувають різних видів.
Насамперед, виділяються опосередковані умовиводи з простих суджень і опосередковані умовиводи із складних суджень.
Опосередковані умовиводи з ...
