15. Проблема истинности сложных суждений; таблицы истинности сложных суждений.

16. Отношения между простыми суждениями. Определение истинности простых суждений по логическому квадрату.

Несравнимыми среди простых суждений являются суждения, имеющие различные субъекты или предикаты.

Сравнимыми являются суждения с одинаковыми субъектами и предикатами.

Д ля иллюстрации отношений между простыми суждениями используется логический квадрат:

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

Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и противоречивость (контрадикторность).

I. Отношением подчинения связаны суждения А и I, Е и О. Общие суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для суждений находящихся в отношении подчинения, имеет значение условие истинности: Если истинно А(Е), то истинно и I(O), но не наоборот.

II. Отношением противоречия связаны суждения Е и I, А и О. Два противоречивых суждения (согласно законам логики) не могут быть одновременно ни истинными, ни ложными Если А - истинно, то О - ложно

Если А - ложно, то О - истинно

Если О - истинно, то А - ложно

Если О - ложно, то А - истинно

Если Е - истинно, то I - ложно

Если Е - ложно, то I - истинно

Если I -истинно, то E - ложно

Если I - ложно, то E - истинно

III. Отношением контрарности (противоположности) связаны только общие суждение А и Е. Закон исключения третьего к таким суждениям не применим. А и Е могут оказаться одновременно ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).

IV. Отношение субконтрарности существует между частными суждениями I и О. I и О могут быть одновременно истинными, но не могут быть одновременно ложными (пример: оба суждения "Некоторые люди любят логику" и "некоторые люди не любят логику" - истинны)

17. Операции с простыми суждениями.

Обращение (также часто называемое конверсией) – это преобразование простого суждения, при котором его субъект и предикат меняются местами. Например, суждение: Все акулы являются рыбами преобразуются путем обращения в суждение: Некоторые рыбы являются акулами. Здесь может возникнуть вопрос, почему исходное суждение начинается с квантора все, а новое – с квантора некоторые? Этот вопрос на первый взгляд кажется странным, ведь нельзя сказать: Все рыбы являются акулами, следовательно, единственное, что остается, это: Некоторые рыбы являются акулами. Однако в данном случае мы обратились к содержанию суждения и по смыслу поменяли квантор все на квантор некоторые; а логика, как уже говорилось, отвлекается от содержания мышления и занимается только его формой, будучи формальной логикой. Поэтому обращение суждения: Все акулы являются рыбами можно выполнить формально, не обращаясь к его содержанию (смыслу). Для этого установим распределенность терминов в данном суждении с помощью круговой схемы. Термины суждения, т.е. субъект (акулы) и предикат (рыбы) находятся в отношении подчинения.

Превращение как преобразование простого суждения

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

Противопоставление предикату как преобразование простого суждения

Третий способ преобразования простых суждений – противопоставление предикату – состоит в том, что сначала суждение подвергается превращению, а потом обращению. Например, чтобы преобразовать путем противопоставления предикату суждение Все акулы являются рыбами, надо сначала подвергнуть его превращению. Получится: Все акулы не являются не рыбами. Теперь надо совершить обращение с этим получившимся суждением, т.е. поменять местами его субъект (акулы). И предикат (не рыбы). В данном случае, чтобы не ошибиться, вновь прибегнем к установлению распределенности терминов с помощью круговой схемы. Субъект и предикат в этом суждении находятся в отношении несовместимости.