№43 Розділово-категоричний умовивід

Розділово — категоричним умовиводом називається умовивід у якому один засновок розділове судження, а другий засновок і висновок категоричні судження. Наприклад, До Києва із Одеси можна доїхати потягом або автобусом. До Києва із Одеси не можна доїхати автобусом. Отже, до Києва з Одеси можна доїхати потягом. Розділово-категоричний силогізм має два правильних різновиди:

— « modus tollendo ponens » і — « modus ponendo tollens ». « modus tollendo ponens », у перекладі з латинської мови означає «заперечувально-стверджуючий модус». Наприклад, Злочин міг скоїти N або М. N не був причетним до злочину. Отже, злочин скоїв М. Структура цього умовиводу така:

[(р v q) Λ ] |= q. Очевидно, що тут диз'юнкція береться у з'єднувально-розділовому смислі. Другим правильним різновидом розділово-категоричного умовиводу є стверджу вально-заперечу вальний модус, або латинською мовою « modus ponendo tollens ». Наприклад, Цей студент киянин або іногородній. Цей студент — іногородній. Отже, цей студент не є мешканцем м. Києва. Логічна структура цього умовиводу така: [(р v q) Λ q] |= . При побудові розділово-категоричних умовиводів

необхідно дотримуватися таких правил: 1. У стверджу вально-заперечу вальному модусі більший засновок має сполучник «або», який вживається у строго розділовому смислі. 2. У більшому засновку повинні бути перераховані усі альтернативи2. Якщо цього не зробити, то отримаємо

хибний засновок, а це означає, що такий умовивід буде не ефективним. Наприклад, Студенти бувають вечірньої або заочної форми навчання. Він не є студентом заочної форми навчання. Отже, він студент вечірньої форми навчання.

⇐ Предыдущая 23 24 25 26 272829 30 31 32 Следующая ⇒