Розділ «ЛЕКЦІЯ 6. Опосередковані виводи. Силогізми»

У підсумку отримали, що жодне з семи правил не є порушеним, отже, силогізм правильний.

Зафіксовані вище критерії правильності силогізмів забезпечують коректність оцінки правильності силогізмів тільки в разі строго визначеного тлумачення тверджень, позначених символами А, Е, І, 0. Отже, вони чинні для невеликої кількості тверджень, які насправді використовують люди в своїх міркуваннях. Відношення обсягів, позначувані твердженнями А, Е, І, 0, наведені в табл. 6.1.

Якщо твердженням, що позначувані символами А, Е, І, О, поставити у відповідність інші відношення обсягів, наприклад, якщо твердження А тлумачити як загальностверджувальний невидільний вислів, то, з одного боку, можна підібрати приклади силогізмів, які є правильними згідно з наведеними критеріями правильності, однак насправді вони не є правильними, оскільки з істинних засновків отримуємо хибні висновки. З іншого боку, деякі справді правильні силогізми, відповідно до зазначених критеріїв, будуть оцінені як неправильні.

Таблиця 6.1. Відношення обсягів суб'єкта та предиката у твердженнях, для яких чинні критерії правильності силогізмів

6.2. Графічні методи виявлення правильності силогізмів

Правильність силогізмів можна визначити за допомогою графічних методів, один з яких полягає у порівнянні діаграм Ейлера для засновків і для висновку. Цей метод значно простіший (не треба пам'ятати жодних правил). Крім того, він є універсальним, оскільки за його допомогою можна брати засновками довільні твердження, а не тільки ті чотири види тверджень, для яких чинна силогістика.

Інструменти. Алгоритм виявлення правильності силогізму:

Інструменти. Алгоритм виявлення правильності силогізму методом Джона Венна