Мордовцева - Логика 2006 / Logica / teoria_5

Тема_5.1. Оглавление | Учебник | Тесты| Словарь| Литература Тема 5. СЛОЖНЫЕ СУЖДЕНИЯ И ИХ ВИДЫ Сложные суждения образуются из простых с помощью логических связок, имеющих следующие обозначения на искусственном языке и примерное соответствие в естественном: Логическая связка Обозначение на языке логики предикатов Соответствие союзам естественного языка Конъюнкция ∧ и, а, но Дизъюнкция ∨ или, либо, то (в значении "или") Импликация → если…то, Эквиваленция ≡ тогда и только тогда, когда… Отрицание Ä неверно, что

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

Соединительные суждения (конъюнктивные) - это такие, которые включают в качестве составных частей другие суждения, объединяемые связками "и", "а", "но", "как", "так и", "так же" и др. Например "Язык и мышление взаимодействуют в процессе перевода" или "Студент Иванов живет в Таганроге и учится в ТИУиЭ".

Разделительные суждения (дизъюнктивные) - это такие, которые включают в качестве составных частей суждения, объединяемые связкой "или".

Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция, как правило, возникает, когда употребляется логический союз "либо.., либо", "или.., или", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина "Либо в рыло, либо ручку пожалуйте - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.

Условные суждения (импликативные) - это такие, которые образованы из двух посредством логических союзов "если... то", "там... где", "постольку... поскольку". В качестве примера можно использовать мысль, высказанную поэтом XI в. Кабусом "Если хочешь иметь друзей, то не будь мстительным". Аргумент, начинающийся словом "если", называется основанием, а составляющая, начинающаяся словом "то", следствием.

Суждения эквиваленции (тождества) - это такие, которые в своем составе объединены связкой "тогда и только тогда, когда". Например: "Движение парусника было возможно лишь тогда, когда дул ветер". Формализация рассуждений

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

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

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

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

В состав нашего рассуждения входят следующие простые высказывания (в скобках дан их символ): "я пойду завтра на первое занятие" (а), "я должен буду встать рано" (b), "я буду готовиться вечером к зачету" (с), "я лягу спать поздно" (d), "я буду довольствоваться пятью часами сна" (е).

Используя принятую символику, запишем пять сложных высказываний, из которых состоит рассуждение, в виде формул: первое предложение (импликация с основанием а и следствием b) а→ b; второе (импликация с основанием u и следствием d) u →d; третье (импликация, основанием которой является двучленная конъюнкция, а следствием - e), т.е. (d∧ b)→ е; четвертое (высказывание, отрицающее следствие третьей импликации, ë; пятое - строгая двучленная дизъюнкция отрицаний оснований первых двух импликаций ã∨ü.

Запишем основание общей импликации - конъюнкцию первых четырех высказываний - в виде формулы, обозначая скобками члены конъюнкции: . Присоединив через знак импликации к полученной формуле следствие a u и выделив основание и следствие с помощью скобок, получим окончательную формулу:

5.1. Отношения между суждениями по истинности

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

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

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

Отношения частичной совместимости (субконтрарности): I-О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого. Выводы строятся по схемам

Отношение подчинения: А-I, Е-О. Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть ложным.

Из ложности подчиненного суждения, но не наоборот: из ложности подчиненного суждения ложность подчиняющего суждения с необходимостью не следует, оно может быть истинным, но может быть и ложным.

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

Между сложными суждениями складываются такие же виды отношений, как и между простыми. Характер этих отношений определяется с помощью таблиц истинности.

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