Логика (полный курс)
Страница 4
8. Только некоторые люди, и только люди – врачи.
9. Все студенты 971 группы, за исключением Иванова, сдали зачет по логике.
В целях получения выводного знания и использования суждений в умозаключениях употребляется объединенная классификация суждений по количеству и качеству, и вводится понятие распределенности в них терминов- субъекта и предиката.
Объединенная классификация суждений:
1. Общеутвердительные суждения – А
«Все S суть Р» – Все поэты впечатлительные люди.
2. Общеотрицательные суждения – Е
« Ни одно S не есть Р» – Ни один человек не всеведущ.
3. Частноутвердительное суждение – I
« Некоторые S суть Р» - суть Р» - Некоторые люди имеют курчавые волосы.
4. Частноотрицательное суждение – О
« Некоторые S не есть Р» – Некоторые люди не умеют слушать.
Распределенность терминов в суждениях.
Термины |
Виды суждений | |||
А |
Е |
I |
О | |
S |
+ |
+ |
- |
- |
Р |
- |
+ |
- |
+ |
Термин является распределенным, если его объем полностью входит в объем другого термина или полностью исключается из него, распределенность термина обозначается знаком «+». Термин является нераспределенным, если его объем составляет только часть объема другого термина, нераспределенность термина обозначается знаком «-». На кругах Эйлера это можно изобразить следующим образом:
S
![]() |
I. А – Все рыбы позвоночные.
|
![](images/image046-21.gif)
|
S
Все квадраты суть параллелограммы с равными сторонами и равными углами
Р
![]() |
S
II. Е – ни одно насекомое не есть позвоночное.
Р
![]() | ![]() |
S
III. I – Некоторые книги полезны.
Р
|
|
S
Не которые животные суть позвоночные.
|
|
![](images/image053-18.gif)
S
IV. – Некоторые книги не суть полезны.
![]() |
Р
|
| ||||
S
Некоторые змеи не имеют ядовитых зубов.
|
Р
![]() |
Простые суждения, имеющие одинаковые термины и различающиеся по качеству и количеству, находятся в определенных отношениях по истинности и ложности, которые можно вывести с помощью схемы, называемой логическим квадратом.
Противоположность
А ( контрарность) Е
п п
о о
д д
ч ч
и и
н н
е е
н н
и и
е е
I Частичная совместимость О
(субконтрарность)
Устанавливать типы отношений между суждениями по логическому квадрату важно при получении выводных знаний, сопоставлении разных точек зрения по дискуссионным вопросам, редактирования текстов и в других случаях.
После изучения данного блока учебного курса рекомендуется составить таблицу истинности и таблицу ложности суждений А, Е, О, I, обозначив истинность символом «1» и ложность символом «0». Эти таблицы не нужно знать наизусть, но должно уметь их выводить.
Если А 1, то Е 0, О 0, I 1;
Если Е 1, то О 1; I 0, А 0;