Розділ «3. Висновки із категоричних суджень»

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

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

- буква m вказує на заміну місцями засновків;

- буква c вказує, що даний модус може бути зведеним до модусу першої фігури шляхом непрямого доведення..

Візьмемо модус "Cesare". Буква С вказує на те, що його можна звести до модусу "Celarent". Буква s вимагає при зведенні обернути більший засновок без обмеження:

Наведені доведення модусів свідчать про те, що зазначений вище список правил висновку достатній для обґрунтування логічної коректності будь-якого модусу II, III та ІУ фігур.

в) Перевірка коректності силогізму.

Розгляд способів обгрунтування спеціальних правил фігур простого категоричного силогізму, модусів фігур переконує в надійності загальних правил простого категоричного силогізму, але у практиці міркування часто виникає потреба перевірки коректності конкретної схеми міркування шляхом співставлення з відповідною фігурою силогізму. Іншими словами, іноді наявна ситуація, коли зовні (завдяки особливостям природної мови) побудова міркування здається логічно бездоганною, висновок істинний, але ми відчуваємо його ненадійність, а то й суперечність звичайним уявленням і твердженням. Наприклад,

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

а) Знайти засновки і висновок даного силогізму.

Зазначимо, що у процесі обміну інформацією та спілкування види міркування не розписуються так як у прикладах, що наведені вище. Тому, треба мати на увазі, що якщо у виразі проголошеному або записаному кимось є слова "тому, що", "так, як" тощо, то висновок буде розташований перед цими словами, а засновки - після вказаних слів. Якщо ж у виразі є слова "отже", "таким чином" тощо, то засновки будуть розташовані перед цими словами, а висновок - після них.

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

б) Визначити середній (М), більший (Р) та менший (S) терміни досліджуваного силогізму.

в) Визначити більший та менший засновок.

г) Перевірити дотримання загальних правил силогізму.

д) Встановити фігуру досліджуваного силогізму.

е) Перевірити чи відповідає даний силогізм правилам, тієї фігури за якою він побудований.

Виходячи із наведеного алгоритму розглянемо наведені вище приклади.

Приклади І та II побудовані за ІI-ю фігурою простого категоричного силогізму. Але в них порушено правило цієї фігури, що один із засновків повинен бути заперечувальним судженням. А у прикладі І і II він стверджувальний. Отже, хоча засновки і висновок у цих прикладах істинні судження, але висновок із даних засновків логічно не слідує, не випливає.

Подібна ситуація часто виникає у слідчій практиці, коли відомо хто вчинив злочин, але потрібно зібрати докази, щоб це довести.