Файл: posobie_logika.pdf

умозаключение: Все мужчины (М) - люди (Р). Все отцы (S) - мужчи-

ны(М). Следовательно, все отцы(S) - люди(Р).

3.1.Некоторые М есть Р; Некоторые М есть S  Возможно... 3.2. А есть В и С; D есть В Возможно... 3.3. Все М есть Р; Некоторые S есть М... 3.4. Все Р не есть М; Все S есть М... 3.5. Все М есть Р; Некоторые S не есть М... 3.6. А есть В; А есть С Возможно... 3.7. А не есть В; А есть С Возможно... 3.8. А есть В и не-С; D есть В Возможно... 3.9. Все Р не есть М; Некоторые S есть М... 3.10. Некоторые

Рне есть М; Все S есть М... 3.11. Все М есть Р; Все М есть S...

3.12. Все М не есть Р; Все М есть S... 3.13. Все М не есть Р; Некоторые М есть S... 3.14. Некоторые М есть Р; Все М не есть S... 3.15. А есть В и С, но не D Возможно... 3.16. А есть В и С, но не D; Е есть D Возможно... 3.17. А есть В, но не С и не D Возможно... 3.18. А есть В, но не С и не D; Е не есть В Возможно... 3.19. Все Р есть М; Некоторые S не есть М... 3.20. Некоторые Р не есть М; Все S есть М... 3.21. Некоторые Р есть М; Все S не есть М... 3.22. Все Р не есть М; Некоторые S есть М... 3.23. Все Р не есть М; Некоторые М есть S... 3.24. Некоторые Р есть М; Все М есть S... 3.25. Некоторые

Ресть М; Все М не есть S... 3.26. А есть В и С; D есть В... 3.27. А есть В и С ... 3.28. А, В и С есть D...3.29. А и В есть(С и D) ...

3.30. Если А есть С, то и В есть С; А есть С...

3.2.Дедуктивные умозаключения.

По качеству посылок дедуктивные умозаключения делятся на выводы из простых суждений и выводы из сложных суждений. По количеству посылок дедуктивные умозаключения делятся на непосредственные и опосредованные. Наконец, по структуре дедуктивные умозаключения делятся на простые выводы и сложные выводы. Кроме того, в зависимости от степени развёрнутости умозаключения различают полные и сокращённые силлогизмы. Общее представление о классификации дедуктивных умозаключений даёт следующая таблица:

77

дедуктивные

выводы

сокращённые (В)

полные (А)

3.2.-А. ПОЛНЫЕ ВЫВОДЫ.

Полными называются дедуктивные выводы, в структуре которых явным образом указаны все использованные в процессе умозаключения посылки, а также явным образом обозначено заключение.

3.2.-А.a. П р о с т ы е в ы в о д ы .

Простым называется дедуктивный вывод, составляющие которого сами не являются дедуктивными выводами. Простые выводы могут осуществляться как из простых, так и из сложных суждений.

3.2.-А.a.I. Простые выводы из простых суждений.

Данный тип дедуктивных умозаключений в качестве посылок и вывода может содержать только суждения типа А, Е, I, O. Простые выводы из простых суждений могут быть либо опосредованными, либо непосредственными.

78

3.2.-А.a.I.1. Непосредственные простые выводы из простых суждений.

К данному типу умозаключений относят превращение, обращение, противопоставление предикату, контрапозицию и умозаключение

по логическому квадрату.

Превращение - это такое умозаключение, в котором предикат вывода противоречит предикату посылки. Например, “Все психиатры являются психически нормальными. Следовательно, все психиатры не

Обращение - это такое умозаключение, в котором предикат вывода тождественен субъекту посылки, а субъект вывода - предикату посылки. Например, “Все студенты имеют среднее образование. Следовательно, некоторые из лиц, имеющих среднее образование,

Противопоставление предикату - это такое умозаключение, в процессе которого посылка сначала превращается, а затем обращается

(П+О). Например, “Все люди смертны. Следовательно, все бессмерт-

Контрапозиция - это такое умозаключение, в процессе которого посылка сначала превращается, затем обращается и, наконец, снова

79

превращается (П+О+П). Например, “Все работающие заняты делом. Следовательно, все бездельники – безработные”, т.е.

(SaP)(PaS) или Все S есть Р

-------------------------

Все не-Р есть не-S

Другие виды контрапозиций:

(SeP)(PoS), (SoP) (PoS).

Контрапозиция частноутвердительного суждения I не ствляется.

Умозаключение по логическому квадрату - это такое умозаключение, в процессе которого посылка замещается каким-либо сравнимым с ней суждением, для чего используется логический квадрат (см. ниже). Например, используя отношение подчинения, мы можем построить следующее умозаключение: “Все киты - не рыбы. Следовательно, не-

80