Возьмём такой пример. Допустим, что мы имеем два суждения:

Все ученики нашего класса решили заданные на дом задачи по алгебре.

Некоторые ученики нашего класса не решили заданные на дом задачи по алгебре.

Нетрудно заметить, что данные суждения не могут быть сразу оба истинными. В самом деле, если все ученики решили задачи, то это значит, что нет учеников, которые не решили задач. И наоборот, если хоть один ученик не решил задачи, то нельзя сказать, что все ученики решили задачи.

Следовательно, если истинно первое суждение, то ложно второе; если же истинно второе, то ложно первое; оба эти суждения одновременно не могут быть истинными.

Но эти суждения не могут быть сразу оба и ложными. Действительно, если ложно, что «Все ученики решили заданные задачи», то это значит, что среди учеников были такие, которые не решили заданные задачи, и, следовательно, суждение «Некоторые ученики не решили заданные задачи» истинно. И наоборот, если ложно суждение, что «Некоторые ученики не решили заданные задачи», то это значит, что суждение «Все ученики решили заданные задачи» истинно.

Значит, оба эти суждения одновременно не могут быть ложными. Одно из этих двух суждений должно быть истинным.

Только что разобранные суждения относятся к группе противоречащих суждений.

Можно сформулировать такое правило сопоставления противоречащих суждений:

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

На противоположные суждения это правило не распространяется.

Возьмём известные уже нам противоположные суждения:

Эта бумага белая.

Эта бумага чёрная.

Оба данных суждения не могут быть истинными. Бумага или белая, или чёрная. Если истинно, что бумага белая, то необходимо вытекает, что суждение «Бумага чёрная» ложно. Но, в отличие от противоречащих суждений, противоположные суждения могут оказаться оба ложными.

Поясним это на таком простом примере.

Допустим, что мы присутствуем при таком споре: один из участников утверждает, что стена древней крепости, которую он видел в Средней Азии, была белой; другой участник спора опровергает это и уверяет, что стена этой крепости была не белой. Это — противоречащие суждения. В процессе спора выясняется, что утверждение первого («стена была белой») ложно. Этого достаточно, чтобы признать суждение второго оппонента («стена была не белой») истинным. Оба такие суждения не могут быть одновременно ложными.

Допустим, мы теперь присутствуем при таком споре: один из участников утверждает, что стена древней крепости была белой, а другой, что стена этой крепости была чёрной. В процессе спора выясняется, что утверждение первого («стена была белая») ложно, но отсюда не вытекает, что стена обязательно была чёрная. Она могла быть и красной, и коричневой и т. д.

Значит, если ложно одно из противоположных суждений, то это отнюдь не значит, что другое истинно. Они оба могут быть ложными.

Можно сформулировать такое правило сопоставления противоположных суждений:

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

Нам остаётся познакомиться ещё с правилами отношений между подчинёнными суждениями.

Возьмём, например, два таких суждения:

Все жидкости упруги.

Некоторые жидкости упруги.

Предположим, что истинно суждение «Все жидкости упруги». Совершенно очевидно, что подчинённое суждение «Некоторые жидкости упруги» также истинно. При этом следует иметь в виду, что слово «некоторые» понимается в смысле «по крайней мере некоторые». Подчинённое суждение истинно и в случае сопоставления отрицательных суждений.

Если установлено, что «Ни одна сибирская река не течёт на юг», то не может быть сомнений в том, что также истинно и суждение «Некоторые сибирские реки не текут на юг» («по крайней мере некоторые»).

Имеются правила, которые необходимо соблюдать при операциях с суждениями, находящимися в отношениях подчинения:

1. Из истинности общего суждения следует истинность подчинённого ему частного суждения.

Так, например, если истинно суждение «Все галогены — химические элементы», то истинно и суждение «Некоторые галогены — химические элементы».

2. Из ложности частного суждения следует ложность соответствующего общего суждения.

Так, например, если ложно суждение «Некоторые деревья не нуждаются в азоте», то ложно и суждение «Все деревья не нуждаются в азоте».

3. Из истинности частного суждения не следует необходимо истинность соответствующего общего суждения.

Так, например, из истинности суждения «Некоторые ученики нашей школы знают стенографию» вовсе не вытекает истинность соответствующего общего суждения «Все ученики нашей школы знают стенографию».

4. Из ложности общего суждения не вытекает ни ложность, ни истинность подчинённого ему частного суждения.

В самом деле, возьмём такое суждение:

«Все ученики нашего класса увлекаются спортом». Предположим, что это суждение ложно. Что происходит в таком случае с частным суждением? Мы не можем сказать, будет ли истинным или ложным суждение «Некоторые ученики нашего класса увлекаются спортом».

Таковы основные виды отношений между суждениями и некоторые, наиболее часто применяемые в наших высказываниях правила сопоставления различных суждений. Их надо знать, чтобы уметь быстро и безошибочно сделать вывод из сопоставляемых суждений.

Чтобы облегчить запоминание отношений между суждениями, в которых одно и то же подлежащее и сказуемое, но которые имеют разные качества или количества, иногда прибегают к помощи так называемого «логического квадрата».

Схема этого квадрата такова: левый верхний угол обозначается буквой А (общеутвердительное суждение), правый верхний угол — буквой В (общеотрицательное суждение), левый нижний угол обозначается буквой I (частноутвердительное суждение) и правый нижний угол — буквой О (частноотрицательное суждение) (см. черт. 13).

Каждая линия на этом квадрате изображает определённое отношение между двумя видами суждений.

Так, суждения A и I, а также Е и О находятся в отношении подчинения. Это видно и на рисунке: суждение А соединяется с суждением I линией, идущей сверху вниз. Суждения А и Е — противоположные или противные. И, наконец, суждения А и О, Е и I — суждения противоречащие. Это отображают линии, которые идут с угла на угол.

Логический квадрат — это средство, облегчающее запоминание. Никакого другого значения логический квадрат не имеет.

1. Что такое суждение?

2. Из каких частей состоит суждение?

3. В каком отношении находятся части логического суждения к членам грамматического предложения?

4. Дайте примеры единичного утвердительного и единичного отрицательного суждений.

5. Дайте примеры частноутвердительного и общеотрицательного суждений.

6. Какое значение имеют общие суждения?

7. Что такое условное суждение? (Приведите пример условного суждения.)

8. Что такое разделительное суждение? (Приведите пример разделительного суждения.)

9. Дайте пример категорического суждения.

10. Что такое суждение возможности? (Приведите пример суждения возможности.)

11. Что такое суждение действительности? (Приведите пример суждения действительности.)