Логика. Структурно-аналитические схемы и таблицы. Учебное пособие
.pdf
|
|
|
Т а б л и ц а 2 |
|
Правила классического способа определения понятия |
||
|
|
|
|
|
Правила определения |
|
Ошибки |
|
|
|
|
1. |
Определение должно быть соразмер- |
1. |
Определение: |
|
ным: А = К а |
|
а) слишком широкое: А < К а; |
|
|
|
б) слишком узкое: А > К а |
|
|
|
|
2. Определение не должно заключать в се- |
2. |
Круг в определении: |
|
|
бе круга |
|
а) «порочный круг»; |
|
|
|
б) тавтология |
|
|
|
|
3. Определение не должно быть отрица- |
3. |
Отрицательное определение |
|
|
тельным (т.е. определяемое и опреде- |
|
|
|
ляющее понятия не должны быть между |
|
|
|
собой в отношении противоречия) |
|
|
|
|
|
|
4. |
Определение должно быть ясным, чет- |
4. |
В определении: |
|
ким, недвусмысленным |
|
а) используются художественно – образные |
|
|
|
способы выражения мысли |
|
|
|
б) допускаются двусмысленные выражения |
|
|
|
в) понятие раскрывается через другое, не- |
|
|
|
известное (определение «неизвестного че- |
|
|
|
рез неизвестное») |
|
|
|
|
11
Деление понятий
Деление – логическая операция, раскрывающая объем понятия (как родового) путем указания всех составляющих его (видовых) понятий.
А
ВС
Ди т.п.
А– делимое понятие
В, С, Д и т.п. – члены деления а – основание деления (видообразующий признак)
Общая формула деления понятия: А (а) 
В, С, Д и т.п.
Например: Треугольники (А) бывают прямоугольные (В), тупоугольные (С) и остроугольные (Д). а – величина угла
Виды деления
по видоизменению признака |
|
дихотомическое деление |
|
|
|
Деление по видоизменению признака – деление понятия, в котором члены деления образуются при соответствующем изменении основания деления.
Например: Население Европы делится на англичан, французов, немцев, итальянцев, испанцев и т.д.
Дихотомическое деление – деление понятия на два противоречащих друг другу понятия (по схеме: понятие А делится на В и не – В).
Например: Природа делится на органическую и неорганическую.
12
Т а б л и ц а 3
Правила деления понятий
|
Правила деления |
|
Ошибки |
|
|
|
|
1. |
Деление должно быть соразмер- |
1. |
Деление: |
|
ным: |
а) неполное: А > В+С+…; |
|
|
А = В+С+Д+… |
б) с лишними членами: |
|
|
|
|
А < В+С+Д+Е+… |
|
|
|
|
2. |
Деление должно производиться |
2. |
Деление производится по разным |
|
только по одному основанию |
|
основаниям |
|
|
|
(а1 , а2,…) |
|
|
|
|
3. |
Члены деления должны исклю- |
3. |
Члены деления находятся между |
|
чать друг друга (т.е. находиться |
|
собой в отношении частичной со- |
|
в отношении соподчинения меж- |
|
вместимости или подчинения |
|
ду собой) |
|
|
|
|
|
|
4. |
Деление должно быть последова- |
4. |
Нарушение последовательности |
|
тельным |
|
деления («скачок» в делении) |
|
|
|
|
13
СУЖДЕНИЕ
Суждение – это форма мышления, которая представляет собой некоторое высказывание (утверждение или отрицание, истину или ложь) о предмете (предметах) мысли.
Суждения
Простые – это суждения, выраженные простыми повествовательными предложениями и представляющие собой логическую связь двух понятий
14
|
|
|
|
|
|
Виды простых суждений |
Схема |
|
|
|
|
|
|
|
|
Суждения свойства |
S есть P |
|
|
|
(атрибутивные) |
|
|
|
|
|
|
|
|
|
Суждения с отношениями |
а R в |
|
|
|
(реляционные) |
|
|
|
|
|
|
|
|
|
Суждения существования |
; ( ) |
|
|
|
(экзистенциальные) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Сложные – это суждения, представляющие собой логическую связь нескольких простых суждений
Виды сложных суждений |
Связка |
|
|
|
|
Соединительные суждения (конъюнктивные) |
“и” ( ) |
|
|
||
|
|
|
Разделительные суждения (дезъюнктивные): |
|
|
а) нестрогая дизъюнкция |
“или” ( ) |
|
б) строгая дизъюнкция |
“либо, либо” ( ) |
|
|
|
|
Условные суждения (импликативные) |
“если…, то…” |
|
|
( ) |
« |
|
|
|
|
|
|
Эквивалентные суждения |
“если, и только |
|
(двойная импликация) |
если…, то…”( ) |
|
|
|
|
Атрибутивные (категорические) суждения
Атрибутивное суждение – это такой вид простого суждения, в котором утверждается (или отрицается) связь предмета мысли со своим признаком.
|
|
|
Т а б л и ц а 1 |
|
|
|
Состав атрибутивного суждения |
||
|
|
|
|
|
Символ |
Элемент |
|
Значение |
|
S |
Субъект |
|
Понятие о предмете суждения |
|
P |
Предикат |
|
Понятие о признаке предмета суждения |
|
|
Связка |
|
Элемент суждения, соединяющий субъект и предикат (терми- |
|
|
|
|
ны суждения) и утверждающий о (не) принадлежности пред- |
|
|
|
|
мету данного признака |
|
Общая схема атрибутивного суждения: S есть(не есть) Р
Классификация атрибутивных суждений
по качеству, т.е. относительно принадлежности или непринадлежности предмету признака (определяется по связке – положительной или отрицательной)
по количеству, т.е. относительно (не)принадлежности признака одному предмету, части предметов некоторого класса или всем предметам класса (определяется по объему субъекта)
Утвердительные (S есть Р)
Отрицательные (S не есть Р)
Общие (Все S (не) есть Р)
Частные (Некоторые S (не) есть Р)
Единичные (Это S (не) есть Р)
|
|
Т а б л и ц а 2 |
|
Объединенная классификация атрибутивных суждений |
|
|
|
|
Символ |
Вид суждения |
Формула |
|
|
|
A |
Общеутвердительное суждение |
Все S есть P |
|
|
|
E |
Общеотрицательное суждение |
Ни одно S не есть P |
|
|
|
I |
Частноутвердительное суждение |
Некоторые S есть P |
|
|
|
O |
Частноотрицательное суждение |
Некоторые S не есть P |
|
|
|
15
16
|
|
Отношение между субъектом и предикатом в атрибутивном суждении |
Т а б л и ц а 3 |
||||||
|
|
|
|||||||
|
|
|
|
|
|
|
|
||
|
А: Все S есть P |
|
|
Е: Ни одно S не есть P |
|
I: Некоторые S есть P |
О: Некоторое S не есть P |
||
|
|
|
|
|
|
|
|
|
|
а) S |
P: отношение подчи- |
|
S |
P: отношение несовмес- |
а) S |
P: отношение частичной |
а) S |
P: отношение частич- |
|
нения. По объему S < P |
|
тимости |
|
совместимости |
ной совместимости |
||||
|
P |
|
|
S |
P |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например: Некоторые студенты |
Например: Некоторые студен- |
||
Например:Киты (S) суть мле- |
|
Например: Ни один металл (S) |
ты (S) – не шахматисты (P) |
||||||
копитающие(P) |
|
не прозрачен (P) |
|
(S) – шахматисты (P) |
б) S |
P: отношение подчи- |
|||
б) S |
P: отношение тож- |
|
|
|
|
б) S |
P: отношение подчине- |
нения. По объему S > P |
|
дества. По объему S=P |
|
|
|
|
ния. По объему S > P |
|
|
||
|
SP |
|
|
|
|
|
S |
|
S |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
P |
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например: Некоторые рыбы (S) – |
Например: Некоторые змеи (S) |
||
Например: Барометр (S) есть |
|
|
|
|
не ядовиты (P) |
||||
прибор для измерения атмо- |
|
|
|
|
щуки (P) |
|
|
||
сферного давления (P) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Распределенность терминов в атрибутивном суждении |
Т а б л и ц а 4 |
|
|
|
|
||
|
|
|
|
|
|
Тип суждения |
|
Термины суждения |
|
|
S |
P |
P (при условии S > P) |
|
|
|
|||
|
|
|
|
|
|
A |
+ |
- |
+ |
|
|
|
|
|
|
E |
+ |
+ |
|
|
|
|
|
|
|
I |
– |
– |
+ |
|
|
|
|
|
|
O |
– |
+ |
+ |
17 |
|
|
|
|
|
|
|
|
|
Термин (S или P) распределен, если его объем полностью включается в объем другого термина или полностью исключается из него.
Распределенность термина отмечена в таблице знаком «+».
Термин (S или P) не распределен, если его объем составляет только часть объема другого термина. Нераспределенность термина отмечена в таблице знаком «–».
Отношения между атрибутивными суждениями
Сравнимые суждения – это такие суждения, которые имеют хотя бы один общий термин (S или P). В противном случае суждения являются несравнимыми.
Совместимые суждения – это такие суждения, которые могут быть одновременно истинными. В противном случае суждения являются несовместимыми.
Суждения
Сравнимые Несравнимые
Совместимые |
|
Несовместимые |
|
|
|
Т а б л и ц а 5
Виды отношений
Виды отношений несовместимых суждений Виды отношений совместимых суждений (И1↔И2)
(И1↔И2)
Тождественные (равнозначные) |
Противоположные |
S,P ≡ P1 или S ≡ S1, P |
(контрарные) |
(Л1↔Л2) |
(Л1↔Л2) |
|
|
Подчиняющие (S-P) |
Противоречащие |
и подчиненные (S1-P), т. е S > S1 |
(контрадикторные) |
(Л1?Л2) |
(Л1 ↔ Л2) |
Частично совместимые |
|
(субконтрарные) |
|
(Л1↔Л2) |
|
|
|
Примечание.
И – истина, истинное суждение. Л – ложь, ложное суждение.
И1↔И2 – отношения одновременной истинности двух суждений (И1↔И2 – отсутствие такого отношения). Л1↔Л2 – отношения одновременной ложности двух суждений (Л1↔Л2 – отсутствие такого отношения). ? – отношения неопределенности между суждениями.
18
Отношения между суждениями вида A, E, I, O
(с одинаковыми S и P)
Логический квадрат
|
Т а б л и ц а 6 |
Отношения между суждениями по логическому квадрату |
|
|
|
Вид отношений |
Схемы отношений |
|
|
Отношение подчинения |
AИ→IИ, Aл→I? IИ→A? Iл→Aл |
(A – I ; E – O) |
(для отношения E – O аналогично) |
|
|
Отношение частичной |
IЛ→OИ, OЛ→IИ, IИ→O? OИ→I? |
совместимости (I – O) |
|
|
|
Отношение противопо- |
AИ→EЛ, EИ→AЛ, AЛ→E? EЛ→A? |
ложности (A – E) |
|
|
|
Отношение противоречия |
AИ→ OЛ, AЛ→OИ, EИ→IЛ, EЛ→IИ |
(A – O; E – I) |
|
|
|
19
|
Общая таблица отношений между атрибутивными суждениями |
Т а б л и ц а |
7 |
||
|
|
|
|||
|
|
|
то: |
|
|
Если: |
А |
Е |
I |
O |
|
|
|
||||
А истинно |
|
Л |
И |
Л |
|
А ложно |
|
? |
? |
И |
|
Е истинно |
Л |
|
Л |
И |
|
Е ложно |
? |
|
И |
? |
|
20 |
|
|
|
|
|
I истинно |
? |
Л |
|
? |
|
I ложно |
Л |
И |
|
И |
|
О истинно |
Л |
? |
? |
|
|
О ложно |
И |
Л |
И |
|
|