безпосередні умовиводи
Дедукція, в якому висновок виводиться з однієї посилки, називається безпосереднім.
Безпосередні умовиводи грають значну роль в процесі логічного мислення, оскільки вони дозволяють уникати неясностей і двозначностей, що зустрічаються в розмовній мові, прояснюють сенс висловлювань. Уточнення наших знань відбувається в таких безпосередніх умовиводах, як перетворення, звернення, протиставлення предикату.
Перетворенням називається такий безпосередній умовивід, в якому у висновку (новому судженні) суб'єктом є суб'єкт вихідного судження, а предикатом - поняття, яке суперечить предикату вихідного судження; при цьому зв'язка замінюється на протилежну. Щоб перетворити стверджувальне судження, треба внести в нього два заперечення: одне - в предикат (перетворивши його в не-Р), друге - в зв'язку перед словом «є». Щоб перетворити негативне судження, потрібно прибрати наявне в його зв'язці перед «є» заперечення і внести заперечення в предикат (перетворивши його в не-Р).
(А) Всі S суть Р (I) Деякі S суть Р
(Е) Жодне S не є не-Р (О) Деякі S не має Ні-Р
(Е) Всі S не є Р (О) Деякі S не має Р
(А) Всі S суть не-Р (I) Деякі S суть не-Р
Сенс перетворення полягає у виявленні того, що мислимий предмет не може мати властивість, таким, що суперечить властивості, віддзеркалюючи предикатом. Висновок не просто повторює вихідне судження, а уточнює його.
Зверненням називається такий безпосередній умовивід, у висновку якого (новому судженні) суб'єктом є предикат вихідного судження, а предикатом - суб'єкт вихідного судження, при цьому зв'язка залишається незмінною.
Розрізняють поводження з обмеженням і просте, або чисте, звернення. Якщо у вихідному судженні предикат не розподілений, то безпосереднє умовивід утворюється шляхом звернення з обмеженням, тобто предикат вихідного судження стає суб'єктом вивідного судження з обмеженням його обсягу. Наприклад, судження «Всі спортсмени - здорові люди» звертається в судження «Деякі здорові люди - спортсмени». Звернення без обмеження обсягу називається простим або чистим зверненням. Наприклад: «Деякі школярі - шахісти» звертається в «Деякі шахісти - школярі».
Щоб звернути судження (тобто побудувати нове судження, в якому предикат стане суб'єктом, а об'єкт - предикатом), потрібно перш за все з'ясувати якість і кількість цього судження, а потім вже застосовувати правила поводження. Потрібно при цьому пам'ятати наступне: судження типу А, як правило, звертаються з обмеженням, але в тих випадках, коли суб'єкт і предикат є рівнозначним поняттями, має місце чисте звернення, тобто судження типу А звертається в А. Наприклад, судження «Будь-яка молекула води має формулу Н20» звертається в «Всяка молекула, що має формулу H20, є молекула води».
Судження типу I, як правило, чисто звертається, може звертатися з приростом (тобто в судження А), якщо суб'єкт цього судження є родовим поняттям по відношенню до предикату. Наприклад, судження «Деякі художники - пейзажисти» звертається в «Все пейзажисти - художники» (але не «деякі»).
Схеми звернення суджень:
Деякі Р суть S (I) Деякі Р суть S
(Е) Жодне S не є Р
(Е) Жодне Р не є S
Частноотріцательние судження (О) - не звертаються.
Сенс операції звернення суджень полягає в тому, що у висновку суб'єктом міркування є не предмет, виражений суб'єктом посилки, а предмет, виражений предикатом посилки.
Звернення грає велику роль в перевірці правильності визначень. Наприклад, перевіримо правильність такого визначення:
«Студент - це людина». На перший погляд це правильне визначення, але якщо ми звернемо це судження, то відразу побачимо помилку, оскільки в результаті звернення ми отримаємо таке судження: «Деякі люди є студентами», тобто тут помилка занадто широкого визначення, оскільки «Студент - це людина, який навчається у вищому навчальному закладі ».
Протиставленням предикату називається такий безпосередній умовивід, в якому у висновку (в новому судженні) суб'єктом є поняття, яке суперечить предикату вихідного судження, а предикатом - суб'єкт вихідного судження; при цьому зв'язка змінюється на протилежну.
При протиставленні предикату потрібно пам'ятати, що: 1) судження спочатку потрібно перетворити, а потім вийшло судження звернути; 2) судження частноутвердительное (I) не можна протиставити предикату.
Всі ссавці - хребетні тварини.
Жодне ссавець не є безхребетним тваринам.
Жодне безхребетних тварин не є ссавцем.
Схеми протиставлення предикату:
(А) Всі S суть Р ________ (О) Деякі S не має Р
(Е) Ні одне не-Р не має S (1) Деякі не-Р суть S
(Е) Жодне S не є Р
(1) Деякі не-Р суть S
Суть перетворення за допомогою протиставлення предикату полягає в тому, що в новому судженні предметом нашої думки вже є предмет, виражений поняттям, таким, що суперечить предикату вихідного судження. У цьому сенсі отриманий висновок дає нове значення.