23.Умозаключения как форма мышления .виды умозаключения (78-79)
24.Непосредственные умозаключения :превращение, обращения(79-84)
25. Непосредственные умозаключения : умозаключения по логическому квадрату.(63-68)
Этот тип умозаключений строится на учете отношений между суждениями: подчинения, частичной совместимости, противоположности и противоречия.
Подчинение характеризует отношение между общеутвердительным (А) и частноутвердительным (I), а также общеотрицательным (Е) и частноотрицательным (О) суждениями. Это отношение выражается формулами A->I и E->О, где символ -> означает импликацию.
Подчинение Частичная совместимость Противоречие
E 
O, ù O IvO , ù O . A Ñ O, ù O
Eù I A
Переписываем умозаключения в виде непосредственных умозаключений:
ù O
E, I, Aù
Неверно, что некоторые S не есть Р.
Неверно, что ни одно S не есть Р (подчинение).
Некоторые S есть Р (частичная совместимость).
Все S есть Р (противоречие).
Пример:
Неверно, что некоторые млекопитающие не дышат легкими.
Неверно, что ни одно млекопитающее не дышит легкими.
Некоторые млекопитающие дышат легкими.
Все млекопитающие дышат легкими.
Мы рассмотрели обращение, превращение, противопоставление предикату и умозаключения по логическому квадрату. Каждое из этих видов умозаключений дает новое знание о субъекте и предикате суждения. Применим теперь эти умозаключения сразу и вместе к конкретным суждениям, чтобы получить целостную картину того нового знания, которое позволяют выводить эти умозаключения.
Непосредственные умозаключения на основе общеутвердительного суждения:
| Все дельфины — сообразительны |
| Все S есть P-. |
| Некоторые из сообразительных существ являются дельфинами. |
| Некоторые P— есть S (обращение) |
| Ни один дельфин не является несообразительным |
| Ни одно S не есть не-P+ (превращение) |
| Ни одно несообразительное существо не является дельфином. |
| Ни одно не-P+ не есть S (противопоставление предикату) |
| Некоторые дельфины сообразительны. |
| Некоторые S есть P (подчинение) |
| Неверно, что ни один дельфин не является сообразительным. |
| Неверно, что ни одно S не есть P (противоположность) |
| Неверно, что некоторые дельфины не являются сообразительными. |
| Неверно, что некоторые S не есть P (противоречие) |
26. Непосредственные умозаключения :противопоставления предикату, противопоставление субъекту(88-90)
27. Простой категорический силлогизм ,его состав(90-92)
28. Общие правила простого категорического силлогизма
Основная цель изучения разделов темы «Умозаключение» состоит, очевидно, в том, чтобы приобрести определенные навыки построения правильного умозаключения. Для достижения этой цели надо уметь выделять правильные формы умозаключений, отличать правильные от неправильных.
Что касается рассматриваемых здесь форм выводов, то само по себе знание того, какие именно формы являются правильными, очевидно, не достаточно и даже, отнюдь, не суть главное. Важнее знать критерии, условия правильности умозаключений. Такие критерии дают общие правила категорического силлогизма.
Эти правила таковы, что каждое из них является необходимым условием, а все вместе они являются достаточным условием правильности вывода. Причем последнее справедливо с учетом условия относительно осмысленности общих суждений. А именно, требования непустоты их субъектов. Это добавление затрагивает лишь один — уже упоминавшийся — модус силлогизма: Camenes четвертой фигуры.
Вспомните, что означают достаточные и необходимые условия ( 31). В данном случае необходимость каждого правила означает, что если оно не выполняется в некотором умозаключении, то умозаключение неправильно. Достаточность же всех общих правил выражается в том, что выполнение каждого из них свидетельствует о правильности умозаключения. Иными словами с и л л о г и з м п р а в и л ь н ы й , если выполнены все правила простого категорического силлогизма
и силлогизм неправилен, если не выполнено хотя бы одно из них. Учитывая сказанное, эти правила можно характеризовать не только как критерии, но и как определенные требования к умозаключениям этого типа, выполнение которых гарантирует получение истины из истины. Имеется пять таких правил, два из них относятся к терминам, а три других касаются посылок и заключения.