Глава 7

ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ

§ 1. Отношения между простыми суждениями

Ав: Давайте поспорим!

Сс: Это что? Спор ради спора?

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

Ст: А, я помню. В "Двенадцати стульях" спорят Остап Бендер и Инженер. Первый говорит: "Выношу мебель". Второй говорит: "Нет, не выносите!", а Остап Бендер опять говорит: "Как же "не выношу", когда выношу!"

Ав: Очень хороший пример того, как не следует спорить. Дело в том, что здесь нет никаких аргументов в пользу той или иной точки зрения. Но это дейсрвительно начало спора, поскольку выдвинуто два противоположных суждения и каждая сторона отстаивает свое. Поэтому, чтобы спорить грамотно, следует представлять себе, какое суждение противоположно какому. Например, представим, что ваш оппонент (так называется лицо, придерживающееся в споре противоположного вашему мнения) говорит: "Все великие люди низкого роста". Как вы будете спорить с этим мнением, какое противоположное мнение вы выскажете?

Сс: Все великие люди высокого роста.

Ав: Да, это достаточно протиаоположно, но легко ли отстаивать такое мнение?

Ст: Я думаю, не очень легко, потому что мы знаем многих великих людей невысокого роста.

Ав: Высказав такое суждение, вы не очень многое выиграете в этом споре. А нельзя ли придумать какое-либо суждение, также противоположное или даже противоречащее высказанному мнению, но такое, чтобы его было легче отстаивать?

Ст: Можно. Некоторые великие люди высокого роста.

Ав: Ага, это уже лучше. Но действительно ли это суждение так уж противоположно высказанному? Ведь здесь еще можно открыть дополнительный спор, выясняя отношение между терминами "низкий" и "высокий". А этот дополнительный спор может дать возможность вашему оппоненту ускользнуть от вас.

Сс: Это вы придираетесь!

Ав: Почему придираюсь? Пожалуйста, вот вам суждение: "Некоторые великие люди не являются людьми низкого роста". Как, противоположно ли оно высказанному суждению?

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

Ав: А что мне позволило быстро и аккуратно сформулировать такое суждение?

141

Сс: Ну, конечно, Вы скажете: "логическая культура".

Ав: Это, хотя и правильный, но очень общий ответ. Я хотел сказать только об одной составляющей логической культуры – умении обращаться с отношениями между суждениями.

Ст: Да, сразу у нас это не вполне получилось, хотя, вроде бы, все было ясно.

Ав: Кстати, здесь еще возникают и другие вопросы. Например, могу ли я, отрицая мнение о том, что "Все великие люди низкого роста", в то же время признавать суждение "Некоторые великие люди – низкого роста" или мне обязательно придерживаться мнения о том, что "Все великие люди не низкого роста", и много других подобных проблем. Поэтому, вступая в спор, необходимо знать, какие суждения совместимы друг с другом, а какие – нет, к чему обязывает принятие суждений, а к чему – нет и т.п.

Сс: Это интересно.

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

Сс: Ну, вот все-таки Вы сели на своего любимого конька! Ав: Повторение – мать учения!

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

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

Рассмотрим произвольные категорические суждения С и В, в которых субъект и предикат выражены различными понятиями и которые не являются ни логически истинными, ни логически ложными (как, например, суждение "Все S есть S" или "Ни одно S не есть S").

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

Суждения С и В назовем н е с р а в н и м ы м и , если в суждении В встречается хотя бы один термин, не входящий в С.

П р и м е р . Суждения "Все студенты являются веселыми людьми" и "Все веселые люди являются студентами" сравнимы, а суждения "Все студенты являются веселыми людьми" и "Все студенты являются находчивыми людьми" — несравнимы, так как во втором суждении встречается термин, не входящий в первое.

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

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

142

П р и м е р . Суждения "Все великие люди низкого роста" и "Некоторые великие люди низкого роста" совместимы, так как в случае истинности первого суждения второе также истинно, а суждения "Все великие люди низкого роста" и "Некоторые великие люди не являются людьми низкого роста" – несовместимы, ибо они не могут быть одновременно истинны.

У каждого такого типа отношений есть свои виды. Так, отношения совместимости делятся на отношения подчинения и дополнительности. Отношения несовместимости – на отношения противоположности и противоречия.

Для систематизации и наглядного представления этих отношений еще в Средние века был придуман так называемый "логический квадрат", который выглядит следующим образом:

Рис. 1

Логический квадрат позволяет легко запомнить характеристики логических отношений между категорическими суждениями.

Охарактеризуем каждое из этих отношений в отдельности.

Совместимость

1. Подчинение.

Подчинение характеризует отношения между А и I, Е и О, причем частные суждения подчиняются общим.

А (Е) назовем подчиняющим суждением, I (О) — подчиненным суждением.

а) Истинность подчиняющего суждения обусловливает истинность подчиненного, т.е. если суждение "Все великие люди низкого роста" (А) истинно, то истинно и суждение "Некоторые великие люди низкого роста" (I). То же для Е и О.

б) Ложность подчиненного суждения обусловливает ложность подчиняющего

суждения. Если суждение "Некоторые эпузы гантируются" (I) ложно, то суждение

"Все эпузы гантируются" (A) также ложно. То же для О и Е.

в) Вместе с тем подчиняющее и подчиненное суждения могут быть вместе ложны. Так, суждения "Ни один человек не является смертным" (E) и "Некоторые люди не являются смертными" (O) одновременно ложны.

143

Если для обозначения отношения подчинения ввести знак "╞", то указанные отношения будут выглядеть следующим образом:

A╞ I

Е╞ О

2. Дополнительность1.

Дополнительность характеризует отношения между I и О.

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

Отсюда вытекает:

а) они могут быть вместе истинными;

б, в) одно из них может быть истинным, а другое – ложным.

П р и м е р . Рассмотрим суждения "Некоторые студенты являются веселыми людьми" и "Некоторые студенты не являются веселыми людьми". Очевидно, что они могут быть вместе истинными. Но мобут ли они быть вместе ложными? Предположим,

что суждение "Некоторые студенты являются веселыми людьми" ложно. Это означает, что среди студентов нет ни одного веселого человека, т.е. суждение "Ни один студент не является веселым человеком" истинно, тогда в силу отношения подчинения суждение "Некоторые студенты не являются веселыми людьми" будет истинным, и

следовательно, не может быть ложным.

Дополнительность характеризует отношения между I и О следующим образом.

Если I ложно, то О истинно. Если О ложно, то I истинно.

Н е с о в м е с т и м о с т ь

1. Противоречие.

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

В отношении противоречия находятся суждения А и О, Е и I.

П р и м е р . Именно отношение противоречия помогло нашим героям найти наилучшую стратегию в споре. Суждения "Все великие люди имеют низкий рост" и

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

Противоречие можно охарактеризовать следующим образом.

1 В других источниках вы найдете такие названия для этого отношения: субконтрарность,

подпротивность, противность.

144

Если А (Е) истинно, то О (I) ложно. Если А (Е) ложно, то О (I) истинно. Если О (I) истинно, то А (Е) ложно. Если О (I) ложно, то А (Е) истинно.

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

Отношение противоречия – одно из самых важных видов логических отношений вообще. Вы могли убедиться в этом, когда мы решали задачи о рыцарях и лжецах, или когда вы использовали метод доказательства от противного при решении математических задач. Обратите внимание на то, что нам удавалось добиться прогресса в решении задачи, когда мы обнаруживали противоречие между суждениями и устраняли его.

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

2. Противоположность.

Суждения А и В находятся в отношении противоположности, если они не могут быть вместе истинными.

Очевидно, что мни могут быть вместе ложными. В отношении противоположности находятся суждения А и Е. Между ними имеются следующие отношения:

Если А истинно, то Е ложно, Если Е истинно, то А ложно.

П р и м е р . Суждения "Все великие люди — низкого роста" и "Ни один великий человек не является человеком низкого роста" находятся в отношении противоположности.

Ав: Подведем итоги. Пусть наш оппонент в споре выдвигает суждение "Все интеллигенты — бездельники". Как мы с ним будем спорить?

Ст: Здесь велик соблазн броситься защищать мнение "Ни один интеллигент не является бездельником". Но теперь мы знаем, что это не лучшая стратегия, если ты хочешь выиграть спор.

Сс: Правильно. Теперь ясно, что следует пользоваться отношением противоречия, потому что именно суждение, находящееся в отношении противоречия, является наиболее полным отрицанием того, что сказано в исходном суждении. Если нам удастся обосновать противоречащее суждение, то из этого определенно следует ложность суждения нашего оппонента.

Ав: А почему неправильно пользоваться отношением противоположности?

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

145