§ 2. Отношения между сложными суждениями

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

Начнем мы также с отношений сравнимости и несравнимости.

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

Совместная таблица для суждений А и В строится следующим образом:

Вход таблицы строим как для суждения, т.е. на входе выписываем объединение множества простых суждений из А и В, а затем вычисляем истинностные значения суждений А и В отдельно.

Пример. Рассмотрим суждения и.

Объединением множества простых суждений из А и В будет {p, q, r}. Следовательно, строим вход таблицы с тремя простыми суждениями, а далее вычисляем истинностные значения А и В по отдельности¹.

p	q	r
И	И	И	Л	И	Л	Л
И	И	Л	Л	И	Л	Л
И	Л	И	И	И	Л	Л
И	Л	Л	И	И	Л	Л
Л	И	И	Л	Л	И	И
Л	И	Л	Л	Л	И	Л
Л	Л	И	И	И	И	И
Л	Л	Л	И	И	И	Л

Мы видим, что в совместной таблице возможны различные сочетания истинностных значений сложных суждений А и В. В общем случае (И И), (И Л), (Л И), (Л Л) - все возможные комбинации значений истинности двух суждений.

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

Пример.Сужденияиявляются несравнимыми, поскольку в совместной таблице встречаются все возможные комбинации истинностных значений. См. строки 4, 5, 6, 7.

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

Пример. Сужденияисравнимы, потому что в совместной таблице отсутствует комбинация истинностных значений (Л И).

Проверьте это сами.

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

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

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

Вопрос о том, могут или не могут данные суждения быть одновременно истинными (ложными), решается при помощи таблиц истинности. Теперь мы можем уточнить, что значит быть одновременно истинными (ложными).

СужденияАи В одновременно истинны (ложны), если они принимают значения И (Л) в одной и той же строке, построенной для них совместно таблицы.

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

Мы рассмотрим три вида отношения совместимости:

а) эквивалентность; б)дополнительность; в)логическое следование.

а) Эквивалентность

Рассмотрим следующий диалог:

Вадим: Ты завтра пойдешь на лекцию по логике и со мной на концерт?

Ольга: Нет!

Что сказала Ольга? К чему ее обязывает этот ответ? Ее несогласие с требованием, содержащимся в вопросе, означает, что она считает истинным суждение "Неверно, что я завтра пойду на лекцию по логике и с Вадимом на концерт". Но что означает это суждение? К чему оно ее обязывает? Следует ли для того, чтобы сдержать свое обещание, не ходить ни туда, ни туда, или надо вести себя как-нибудь по-другому?

Проверим нашу гипотезу. Одно ли и то же сказать: "Неверно, что я завтра пойду на лекцию по логике и с тобой на концерт" и сказать: "Я завтра не пойду на лекцию по логике и не пойду с тобой на концерт".

Первое суждение мы запишем в виде , второе суждение в виде. Построим для них таблицу истинности.

p	q
И	И		Л	Л	И	Л	Л
И	Л		Л	И	Л	И	Л
Л	И		И	Л	Л	И	Л
Л	Л		И	И	Л	И	И

Мы видим, что эти суждения имеют различные таблицы истинности, а значит, означают не одно и то же.

Рассмотрим другую гипотезу. Предположим, что суждение "Неверно, что я пойду на лекцию по логике и завтра с тобой на концерт" означает то же самое, что и "Я завтра не пойду на лекцию по логике или не пойду с тобой на концерт", т.е..

p	q
И	И		Л	Л	Л	Л
И	Л		Л	И	И	И
Л	И		И	Л	И	И
Л	Л		И	И	И	И

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

Отношение между суждениями, уточняющее идею "означать одно и то же", мы будем называть эквивалентностью.

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

Мы будем следующим образом обозначать эквивалентность суждений А и В:

А~В.

Так, если обобщить разобранный нами ранее случай при помощи метапеременных, то мы получим следующую эквивалентность:

~

Рассмотрим еще один диалог:

Отец: Если ты будешь с ним встречаться, то я лишу тебя наследства.

Дочь: Нет, ни за что!"

Что хочет сказать дочь своим отказом?

Суждение, которое высказывает отец, можно записать в следующей форме: pq, гдеp- "Ты будешь с ним встречаться",q- "Я лишу тебя наследства".

Дочь отрицает это суждение, т.е. утверждает, . Что же это означает? Построим таблицу для.

p	q
И	И		И	Л
И	Л		Л	И
Л	И		И	Л
Л	Л		И	Л

Какое более понятное суждение эквивалентно данному? Попробуем .

p	q
И	И		Л	Л
И	Л		И	И
Л	И		Л	Л
Л	Л		И	Л

Получается, что второе суждение имеет те же самые значения, что и первое, а следовательно, суждение эквивалентно суждению ,а это означает, что Дочь на самом деле утверждает следующее: "Ябуду с ним встречаться, и ты не лишишь меня наследства".

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

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

Пояснение. Все логически истинные (и, соответственно, логические ложные) суждения эквивалентны друг другу.

б) Дополнительность

Представьте себе, что Ваш приятель рассказывает такую историю: "Слушай, что со мной было! Я вчера пообещал своему преподавателю, что пойду к нему на лекцию по логике. А своей подруге пообещал, что если я с утра пойду на лекцию по логике, то вечером пойду с ней в кино. И представляешь, я оба обещания не сдержал". Что бы Вы сказали о Вашем приятеле? Мне трудно представить, что Вы думаете, поэтому давайте проанализируем его слова. Обозначим суждения "Я пойду на лекцию по логике" черезp, а суждение "Я пойду с тобой в кино" - черезq. Тогда он утверждает, что и суждениеpи суждениеp→qодновременно ложны. Проверим это его утверждение и построим таблицу:

p	q		p
И	И		И	И
И	Л		И	Л
Л	И		Л	И
Л	Л		Л	И

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

Такое отношение между суждениями называется дополнительность.

СужденияАи В назовем дополнительными, если в построенной для них совместно таблице не встречается комбинация значений (Л Л), но встречаются все остальные возможные комбинации их значений.

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

Пример.Рассмотрим сложные суждения и

p	q
И	И		Л	И
И	Л		И	И
Л	И		И	И
Л	Л		И	Л

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

3. Отношение логического следования

Предположим, что ваш приятель дал вам обещание: "Завтра я не пойду на лекцию по логике, но пойду с тобой в кино".

Логическая форма этого суждения .

К каким еще обещаниям вынуждает его это обещание¹? Что вынуждает его сделать данное обещание? Или точнее,что он может еще пообещать, чтобы не могло получиться так, что первое обещание он сдержал, а второе не сдержал?

Очевидно, что .

Очевидно, что q.

А какие еще более сложные?

Например, обязывает ли его данное обещание к следующему обещанию: (а) "Если я не пойду на лекцию по логике, то пойду с тобой в кино". Или (б) "Если я не пойду на лекцию по логике, то не пойду с тобой в кинм".

(а) имеет форму .

(б) имеет форму .

Проверим по таблице.

p	q
И	И		Л	И	И
И	Л		Л	И	И
Л	И		И	И	Л
Л	Л		Л	Л	И

Очевидно, что он может смело давать обещание (а), поскольку в случае истинности ,также истинно. Но нельзя без риска давать обещание (б), так как может сложиться такая ситуация, когда его первое общение выполнено, а обещание (б) - нет, поскольку в третьей строке таблицы истинно, а суждение ложно.

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

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

Иначе говоря, суждения А и В находятся в отношении логического следования, если из истинности А обязательно вытекает истинность В. Отношение логического следования самое вадное отношение в логике. Один неизвестный автор конца ХХ века придумал такой девиз для логиков: "Логикам следует как следует следование исследовать!" Для этого отношения в логике ввели специальный знак.

Отношение логического следования между суждениями А и В будем обозначать

А╞В.

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

Пример

p	q
И	И		Л	Л
И	Л		Л	Л
Л	И		Л	И
Л	Л		И	И

Мы видим, что случай, когда первое суждение истинно, а второе ложно, отсутствует в таблице, а значит, всякий раз, когда первое суждение истинно, истинно и второе суждение. Эти суждения находятся в отношении логического следования, т.е.. Позже мы увидим, что приведенное логическое следование соответствует одному из важнейших типов умозаключений - условно-категорическому.

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

Отношение несовместимости сводится к двум типам: а) противоречию и б)противоположности.

а) Противоречие

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

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

Нам осталось выяснить, какое же суждение будет находиться к суждению Аашего оппонента в отношении противоречия. Проверим то суждение, которое было предложено выше. Обозначим "Наполеон - великий человек" черезp, а "Прекрасно все то, что он совершил" черезq. Тогда первое суждение запишем как, второе – как.

Построим таблицу.

p	q
И	И		И	Л
И	Л		Л	Л
Л	И		Л	Л
Л	Л		Л	И

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

p	q
И	И		И	Л
И	Л		Л	И
Л	И		Л	И
Л	Л		Л	И

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

Таким образом, мы с вами убедились в следующем положении:

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

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

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

б) Противоположность

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

СужденияАи В находятся в отношении противоположности, если в построенной для них совместно таблице не встречается комбинации значений (И И), но встречаются все остальные возможные комбинации.

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

В результате мы имеем следующую кйассификацию отношений между сложными суждениями.

Рис. 3

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