Логические отношения между суждениями
Выделяющие и исключающие суждения
Выделяющие суждения:
Это суждения, которые выражают тот факт или признак, выраженный предикатом, что тот факт, что тот признак выражающийся предикатом принадлежит или не принадлежит данному субъекту.
Пример: Иванов – свидетель происшествия. По этому суждению нельзя установить, является ли Иванов единственным свидетелем происшествия. Пример выделяющего суждения: Только Иванов – свидетель происшествия. Схема: S и только S есть P.
Выделяющие суждения могут быть единичными, частными и общими.
1) Единичное суждение: только это здание было построено в прошлом веке. Схема: Это S и только это S есть P.
2) Частные выделяющие суждения. Пример: Столицами государств могут быть только некоторые города. Схема: некоторые S и только S есть P.
3) Общие: Все преступления и только преступления, предусмотренные законом – общественно опасные деяния. Схема: Все S и только S есть P
Исключающие суждения.
Это суждение, в котором отражается принадлежность или не принадлежность признака, всем предметам за исключением некоторой части. Например: Все студенты нашей группы, кроме Иванова, сдали экзамены. Схема: все S, за исключением S1 есть P. Опознать такие суждения можно по словам: кроме, за исключением, помимо, не считая.
Распределенность терминов суждения
В логических операциях с суждениями возникает необходимость установить, распределены или не распределены термины суждения.
Термин считается:
· распределенным, если он взят в полном объеме.
· нераспределенным, если он взять в части объема
Общеутвердительные суждения:
Пример: Все студенты нашей группы сдали экзамен. Субъект: студенты нашей группы (распределен, т.к. все студенты). Предикат суждения: сдали экзамен(не распределен, т.к. сдавали студенты не только нашей группы).Все S есть P.
|
|
Распределенность/нераспределенность терминов суждения отображается в виде круговых схем. Общеотрицательные. Пример: Не один (студент нашей группы){S} (не является не успевающим){P}. Ни одно S ни есть P.
|
|
S – распределен, P – распределен(взят в полном объеме).Некоторые (студенты нашей группы){S} – (спортсмены){P}.Схема: некоторые S есть P.
|
S – не распределен, P – распределен.
Объем предиката суждения частично включается в объем суждения.
Частно-отрицательные суждения:
|
Пример: Некоторые (студенты){S} нашей группы не (спортсмены){P}.Схема: некоторые S не есть P. Логические отношения между суждениями
Категорические суждения делятся на сравнимые и не сравнимые. Не сравнимые суждения это суждения, имеющие разные термины или различия в одном и терминов.
Например:
1) Некоторые (государства){S} (демократические){P}
2) Некоторые (государства){P} находятся в (Европе){P}
Их сравнивать нельзя. у них разное P
Сравнимые суждения – это суждения, имеющие одинаковые термины, но различающиеся по своим количественным и качественным характеристикам:
Например:
1) некоторые государства демократические
2) Некоторые государства не демократические
Их можно сравнить. они различаются по качеству.
В логических отношениях могут находится только сравнимые суждения. Устанавливая отношения между сравнимыми суждениями, различными по количеству и качеству, т.е.
· общеутвердительными, которые обозначаются - 
· обще отрицательными суждениями – 
· Частно-утвердительные – 
· Частно-отрицательные – 
Определяют зависимость истинности и ложности одних суждений от истинности и ложности других. Эти отношения принято изображать схемой «Логический квадрат»:
 | противоположность |  | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| подчинение |
| подчинение | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 | Частичная совместимость |  |
Отношение между сравнимыми суждениям делятся на совместимые и несовместимые.
1) Отношение несовместимости. Суждение, находящееся в отношениях несовместимости не могут быть одновременно истинными. К ним относятся отношения противоположности
2) противоречие….
Из ложности одного противоположного суждения не следует истинность другого противоположного суждения.
Например:
1) Все члены банды обезоружены.
2) Ни один член банды не безоружен
Вывод: отношения между противоположными суждениями подчинены закону не противоречия.
Закон не противоречия: два не совместимых друг с другом суждения не могут быть одновременно истинными. Одно из них необходимо ложно
Отношение между противоречащими суждениями подчинены закону исключенного третьего.
Закон исключенного третьего:Два противоречащих суждения не могут быть одновременно ложными. Одно из них необходимо истинно.
Отношение совместимости: К этим отношениям относятся отношения частичной совместимости и противоречивости.
1) Отношение частичной совместимости
Из ложности одного суждения вытекает истинность другого суждения, но из истинности одного суждения может следовать как истинность, так и ложность другого.
2) Подчинение
Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот
Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот.
Ни одинкит(s) не является рыбой(p)
Некоторые виды животных являются теплокровными
Некоторые студенты не являются отличниками учёбы
Ни один студент нашей группы не является отличником
Некоторые (кванторное слово) спортсмены не являются(связка) олимпийскими чемпионами
Всякий моряк умеет плавать
У каждой лошади есть хвост
Не одна кошка не дружит с мышами
Есть кошки, которые дружат с собаками
Не все книги содержат полезную информацию
Приведения не существуют
Не которые люди не умеют писать
На всякого мудреца довольно простоты
Ряд водоплавающих не дышат жабрами
Несколько человек не пошли в музей
Многие люди всё ещё верят в злых духов
Люди в подавляющим большинстве хотят добра другим людям
1)субъект предикат
2)остальные слова (кванторное слово) (связка)
3)
· общеутвердительными, которые обозначаются -
· обще отрицательными суждениями –
· Частно-утвердительные –
· Частно-отрицательные –
4)схема все с есть п и т.д.
5)распределён
Не распределён
6)схема
|
|
|
|
|
|
Какие из следующих высказываний противоречат друг другу
Каждый кашалот является водоплавающим
Ни один кашалот не является водоплавающим
Отдельные кашалоты не являются водоплавающим
Некоторые кашалоты водоплавающие
Не все кашалоты дышат жабрами
Нет кашалота, который бы дышал жабрами
Кашалот дышит жабрами
Некоторые кашалоты дышат жабрами
Найти противоположность
| | противоположность | | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| подчинение |
| подчинение | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| | Частичная совместимость | |
1)Какие из приведенных высказываний не могут быть вместе истинными, но могут быть вместе ложными:
Все лыжники мастера спорта
Некоторые лыжники не являются мастерами спорта
Не один лыжник не является мастером спорта
Отдельные лыжники мастера спорта
2)какие из приведенных высказываний могут быть одновременно истинными но не могут быть одновременно ложными:
Все врачи окулисты
Некоторые из врачей окулисты
Некоторые врачи не окулисты
Среди врачей нет окулистов
3)какие из приведенных высказываний находятся в отношении логического следования:
Некоторые люди являются художниками
Некоторые люди не относятся к художникам
Не один человек не является художником
Каждый человек художник